2011-03-01から1ヶ月間の記事一覧

リリカル合宿

3/5〜6 に、リリカル合宿に参加してきました! 朝 7時に電車乗って、開場よりちょっと前に到着。喫茶店でティラミス食べた。 F#について (bleis) → コンピューテーション式 (bleis → mzp) → モナドについて (mzp) → Coq について + option がモナドであるこ…

3月

もう3月か・・・ ここんとこ研究ばっかであまり書けなかったな・・・ というか、12月末に研究テーマ決まる(しかも変わった)とかあり得ないだろjk・・・ まぁ何とかなったけど。 論文も提出できたし、結果待ちだが多分大丈夫。 もうすぐ東京住まいか。新生活…