新規作成
Limg
1
2700
0
Followers
0
Follow
ホーム
記事
2
本
0
高評価
人気の記事
大学数学基礎
解説
3月6日
NBG集合論について
公理
,
クラス
,
NBG
1
0
88
1
初心者
文献あり
自己紹介・記録
解説
2月11日
テトリス代数の覚書
モノイド
,
代数
,
テトリス代数
3
0
743
1
初心者
文献あり
現代数学
解説
2024年10月3日
輪と位相
代数学
,
輪
,
位相
2
0
138
0
初心者
文献あり
4
4
エンタメ
解説
2024年3月30日
ZFCで遊ぼう!(2)
形式的証明
,
Coq
,
ZFC
2
0
126
0
初心者
文献あり
5
5
自己紹介・記録
議論
2024年2月5日
Coq初心者の忘備録
計算機科学
,
形式的証明
,
Coq
0
0
56
0
初心者
文献あり
新着の記事
大学数学基礎
解説
3月6日
NBG集合論について
公理
,
クラス
,
NBG
1
0
88
1
初心者
文献あり
自己紹介・記録
解説
2月11日
テトリス代数の覚書
モノイド
,
代数
,
テトリス代数
3
0
743
1
初心者
文献あり
現代数学
解説
2024年10月3日
輪と位相
代数学
,
輪
,
位相
2
0
138
0
初心者
文献あり
エンタメ
解説
2024年3月30日
ZFCで遊ぼう!(2)
形式的証明
,
Coq
,
ZFC
2
0
126
0
初心者
文献あり
自己紹介・記録
議論
2024年2月5日
Coq初心者の忘備録
計算機科学
,
形式的証明
,
Coq
0
0
56
0
初心者
文献あり