数学順序問題の話題も出てて、またTaPL読みたくなった><;(オレンジはその問題は型理論で解決できると考えてる><)
数学順序問題の話題も出てて、またTaPL読みたくなった><;(オレンジはその問題は型理論で解決できると考えてる><)
今日のこれおもしろかったしなんか共感した><;(一番最後に「刺々しい事言い過ぎたとか後悔してないですか?」みたいに聞かれてて、「お酒飲みながら放送見て、酔いがさめて青くなってあわててネットの評判見てる」みたいな事言ってた><;)--
林先生が驚く 初耳学 | MBS公式 http://www.mbs.jp/mimi/
This account is not set to public on notestock.
This account is not set to public on notestock.
LANケーブル断線して、数日間古いwifiルータ多段接続で謎挙動接続でPCからマストドン見れなかったけど、ケーブル交換してLAN復旧しました><;