3/5〜6 に、リリカル合宿に参加してきました! 朝 7時に電車乗って、開場よりちょっと前に到着。喫茶店でティラミス食べた。 F#について (bleis) → コンピューテーション式 (bleis → mzp) → モナドについて (mzp) → Coq について + option がモナドであるこ…
もう3月か・・・ ここんとこ研究ばっかであまり書けなかったな・・・ というか、12月末に研究テーマ決まる(しかも変わった)とかあり得ないだろjk・・・ まぁ何とかなったけど。 論文も提出できたし、結果待ちだが多分大丈夫。 もうすぐ東京住まいか。新生活…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。