新規作成
Mathematical Context
0
70
主に数学基礎論、公理的集合論、ラムダ計算、計算可能性理論、様相論理などに興味があります。
0
Followers
0
Follow
ホーム
記事
2
本
0
高評価
全てのカテゴリ
算数
中学数学
高校数学
大学数学基礎
現代数学
応用数学
競技数学
数学史・伝記
未解決問題
勉強法・学習支援
エンタメ
イベント告知
自己紹介・記録
作成日順
評価順
現代数学
議論
Mathematical Context
1月1日
AIの限界を探る
計算機科学
,
人工知能
0
0
43
0
現代数学
解説
Mathematical Context
2024年9月10日
CoqでZFC公理系において2つのペアが等しいときその対応する要素もそれぞれ等しいことを証明する。(1)
公理的集合論
,
Coq
,
ZFC公理系
0
0
27
0
読み込み中...
読み込み中