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

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