会話……
λμ 計算どこで知れるの~と思ったら TaPL に書いてあるらしい。この間 TaPL の話したばっかりでそんなことあるのね
あまりコンピュータサイエンスをする気はなかったのに気づいたらコンピュータサイエンスしないといけない状況になっているかもしれない
The Nth DAY. (N=3443) 【角川ドワンゴ学園×ドワンゴ 教育事業発表会】 - YouTube https://www.youtube.com/live/8O0JeqtUQso
うゆゆ〜
インフルエンサーの皆さんには是非とも抽象的な話をですね
安野貴博・黒岩里奈・片石貴展・岸谷蘭丸(敬称略)の飲み動画、なんなんだ(なんなんだも何もないのだが)
眠い
臆病なので誰も見ていない場所で好き勝手に言うのが楽しい(X は本人に届いてしまうのでこわい)
代数と幾何は双対だよね~という雰囲気だったのに唐突に型は空間ですとか言い出すのやっぱり HoTT おかしいよ……と思ったけど位相的意味論もそうか