めいぜんおーえす
めいぜんおーえす
70
21623
ホーム
記事10
本0
大学数学基礎解説
めいぜんおーえす
2021年12月1日
5つの圏の定義とCoqによる実装
8
0
831
0
文献あり
大学数学基礎解説
めいぜんおーえす
2021年10月10日
単射のよくある間違い
4
0
517
0
文献あり
大学数学基礎議論
めいぜんおーえす
2021年2月20日
なんで証明中の選択公理が目立つのかって話
7
0
614
0
文献あり
大学数学基礎解説
めいぜんおーえす
2021年1月13日
外延性公理は等号の定義じゃないよ！
10
0
1835
3
大学数学基礎解説
めいぜんおーえす
2021年1月3日
naive comprehension axiom が矛盾することをCoqで実装してみた
0
0
127
0
文献あり
大学数学基礎議論
めいぜんおーえす
2020年12月19日
ZFCの公理一覧と誤解しやすいポイント
11
0
6183
3
文献あり
大学数学基礎議論
めいぜんおーえす
2020年12月16日
形式的なペアノの公理で誤解しやすいポイント
13
0
10035
0
文献あり
大学数学基礎問題
めいぜんおーえす
2020年12月2日
たのしいめいだいろんり！
2
1
271
0
大学数学基礎議論
めいぜんおーえす
2020年11月24日
ぼくがコンピューターで数学をするようになった理由
10
0
567
0
大学数学基礎議論
めいぜんおーえす
2020年11月20日
実際に出会った数学ができない人の特徴
5
0
643
0
読み込み中