総高評価数
58
総閲覧数
11690
Home
Contents
Goods
記事
本
解説...
めいぜんおーえす
2月6日
環やベクトル空間の定義から可換性が除けることについての一般化
105
1
文献あり
解説...
めいぜんおーえす
2021年12月1日
5つの圏の定義とCoqによる実装
453
6
文献あり
解説...
めいぜんおーえす
2021年10月10日
単射のよくある間違い
254
4
文献あり
議論...
めいぜんおーえす
2021年2月20日
なんで証明中の選択公理が目立つのかって話
322
7
文献あり
解説...
めいぜんおーえす
2021年1月13日
外延性公理は等号の定義じゃないよ！
836
8
解説...
めいぜんおーえす
2021年1月3日
naive comprehension axiom が矛盾することをCoqで実装してみた
56
0
文献あり
議論...
めいぜんおーえす
2020年12月19日
ZFCの公理一覧と誤解しやすいポイント
2688
7
文献あり
議論...
めいぜんおーえす
2020年12月16日
形式的なペアノの公理で誤解しやすいポイント
6064
10
文献あり
問題...
めいぜんおーえす
2020年12月2日
たのしいめいだいろんり！
215
2
議論...
めいぜんおーえす
2020年11月24日
ぼくがコンピューターで数学をするようになった理由
249
8
議論...
めいぜんおーえす
2020年11月22日
数学で「わからない」を悪化させないためには
120
0
議論...
めいぜんおーえす
2020年11月20日
実際に出会った数学ができない人の特徴
426
5
読み込み中