No Such Blog or Diary

Coq を入れて proof general 入れてごにょごにょ．結構メンドイなぁ．証明の仕方がわかっても具体的に Coq をそのとおりに動かすのが慣れてないので手間かかる．うーん．

無事にお仕事その一は終了したが，お昼とかに周りの連中の会話を聞いていたのだけど全くフランス語がわからない．赤ん坊とかどうやって言語獲得してんだ？　とりあえず第二外国語はドイツ語だったし，フランス語とか基本の単語もわからない．出口が Sortie だとか駅が Gare だとか確定が Valider だとか程度の名詞がいくつか分かる程度の能力．

うーん，悲しいのでちょいとフランス語をお勉強しよう．

閑話休題．

時差ボケがまだ……

オルレアンへ移動した．RERのBが改装中につきシャルル・ド・ゴール国際空港から５駅ぐらいが使えないという罠にハマった以外は平和だった（バスで B のもう一方の端まで輸送中）．

さて，明日は仕事だ．寝るか．

ホテルの予約１日分間違ってたので面倒という罠．ま，いいか．

明日は早いので空港近くに移動．

荷物をぎりぎりの重さに仕上げてきているのでちょっと投げ捨てたい気分．適当に買った吊りばかりが意外と便利（超過料金払うギリギリの線を狙うのに）．

閑話休題．

ようやく scala のインタプリタの動作の感覚がつかめてきた．コンパイルできてもインタプリタでロードできないファイルが有るとかやめて欲しいんだけど．とりあえずデモるにはインタプリタのほうが楽なのでソースをゴニョゴニョ修正．インタプリタで読み込むと，頭から順に処理してくれるのでファイルの後ろのほうで定義しているものを頭のほうで使うと文句を言われるっぽい．本当にそうなのか知らんがとりあえず定義の順を直したら通った．

閑話休題．

来週の月曜って日本だと休日なのか……　月曜に海外でお仕事した場合って休日出勤扱いなのか？　よくわからん．

つまりはそういうことであったと．記憶力がない．

閑話休題．

Monoid とか関係なく図形のライブラリ作りましたな気が……　というか，Monoid がどう嬉しいんかが全くわからん．タイトルだけ見て期待していたのだけどビミョーな気分を味わった．

閑話休題．

PCの充電を忘れていた → ACアダプタを取ってきた → コネクタ忘れてコンセントに刺さらない罠．タコ足配線で大本しかコネクタかましてないので忘れてた．

閑話休題．

ペットボトルとかの回収システムが楽しい．中でくるくる回ってスキャンされるのでボトルを潰しちゃダメなのがちょっと難点だけど．