タグ直観主義を含む動画:1件 1ページ目を表示
2024年6月19日 07時10分に生成された05時00分のデータです
2024-03-17 19:00:00
直観主義論理の気持ち @第29回日曜数学会お酒を飲みながら数学の話をするイベント「日曜数学会」。そのメイン企画である数学LT(5分間の発表)の部分を、抜粋してお送りします。
日曜数学会は、年3回(1月、6月、10月)の開催予定です。ご興味のある方は、ぜひコミュニティ登録やTwitterフォローをお願いします。
コミュニティ:co3098377
日曜数学会マイリスト:mylist/54162119
Twitter:https://twitter.com/nichimath
発表タイトル:直観主義論理の気持ち
発表者:キグロ
発表資料等:https://kakuyomu.jp/works/16817330668267473152
※第29回日曜数学会は、オンラインとオフラインのハイブリッド開催を致しました88888888888888888 Null含めなきゃいけないもんな ほなウカシェヴィチの方かー(wikipedia見ながら) 逆だったかもしれねェ クリーネの3値論理?(未定義を残した論理) T/F 神憑りの翻訳家はいつも大変 Minnie The...
- 401
- 133.2
- 112.7
- 20.5 YouTubeで検索