タグ 直観主義論理 が登録されている動画 ： 1 件中 1 - 1 件目

お酒を飲みながら数学の話をするイベント「日曜数学会」。そのメイン企画である数学LT（５分間の発表）の部分を、抜粋してお送りします。
日曜数学会は、年３回（１月、６月、１０月）の開催予定です。ご興味のある方は、ぜひコミュニティ登録やTwitterフォローをお願いします。

コミュニティ：co3098377
日曜数学会マイリスト：mylist/54162119
Twitter：https://twitter.com/nichimath

発表タイトル：直観主義論理の気持ち
発表者：キグロ
発表資料等：https://kakuyomu.jp/works/16817330668267473152

※第29回日曜数学会は、オンラインとオフラインのハイブリッド開催を致しました

http://www.nicovideo.jp/watch/sm43534987