新規作成
うお。
21
2133
趣味の話をするマン。
14
Followers
14
Follow
ホーム
記事
6
本
0
高評価
人気の記事
大学数学基礎
解説
2020年11月30日
万能帰納的関数に関する逆張り話。
5
0
675
0
大学数学基礎
解説
2021年8月6日
Cartesian Category 上での NNO の定義 (元 RIMS 出願用レポート)
5
0
597
0
大学数学基礎
解説
2020年12月12日
Ackermann Function in CCC with weak NNO
4
0
174
0
4
4
大学数学基礎
解説
2020年12月18日
Birkhoff's variety theorem from Freyd's adjoint functor theorem
3
0
222
0
5
5
大学数学基礎
議論
2021年4月5日
【疑問】 weak parametrized NNO について。
2
0
381
0
新着の記事
大学数学基礎
解説
2021年8月6日
Cartesian Category 上での NNO の定義 (元 RIMS 出願用レポート)
5
0
597
0
大学数学基礎
議論
2021年4月5日
【疑問】 weak parametrized NNO について。
2
0
381
0
大学数学基礎
解説
2020年12月18日
Birkhoff's variety theorem from Freyd's adjoint functor theorem
3
0
222
0
大学数学基礎
解説
2020年12月12日
Ackermann Function in CCC with weak NNO
4
0
174
0
大学数学基礎
解説
2020年11月30日
万能帰納的関数に関する逆張り話。
5
0
675
0
