@meizen_os
めいぜんおーえす
51
6270
Follow 39
Followers 19
Traces 0
未登録
未登録
meizen_os

所属組織

解説
大学数学以上
by
めいぜんおーえす
at
2021年12月02日
5つの圏の定義とCoqによる実装
圏論，Coq
260
7
文献あり
解説
大学数学以上
by
めいぜんおーえす
at
2021年10月10日
単射のよくある間違い
集合論，単射，選択公理
159
3
文献あり
議論
大学数学以上
by
めいぜんおーえす
at
2021年02月21日
なんで証明中の選択公理が目立つのかって話
集合論，選択公理
184
6
文献あり
解説
大学数学以上
by
めいぜんおーえす
at
2021年01月13日
外延性公理は等号の定義じゃないよ！
集合論
318
5
解説
大学数学以上
by
めいぜんおーえす
at
2021年01月03日
naive comprehension axiom が矛盾することをCoqで実装してみた
集合論，Coq
28
0
文献あり
議論
大学数学以上
by
めいぜんおーえす
at
2020年12月19日
ZFCの公理一覧と誤解しやすいポイント
集合論，ZFC
808
6
文献あり
議論
大学数学以上
by
めいぜんおーえす
at
2020年12月16日
ペアノの公理で誤解しやすいポイント
ペアノの公理，ペアノ算術，自然数
3675
9
文献あり
問題
大学数学以上
by
めいぜんおーえす
at
2020年12月02日
たのしいめいだいろんり！
形式的証明，命題論理，Coq
203
2
議論
大学数学以上
by
めいぜんおーえす
at
2020年11月24日
ぼくがコンピューターで数学をするようになった理由
数学，形式的証明，定理証明支援系
180
8
議論
大学数学以上
by
めいぜんおーえす
at
2020年11月22日
数学で「わからない」を悪化させないためには
数学
108
0
議論
大学数学以上
by
めいぜんおーえす
at
2020年11月20日
実際に出会った数学ができない人の特徴
数学
347
5