World Japanese 科学 自然科学 数学 数理論理学・数学基礎論
4
数理論理学及び数学基礎論に関するサイトを扱います。
情報証明論
Proof Checkerを用いた、コンピュータプログラムの数学的証明の解説。
数学基礎論史
林晋による一般読者向けの解説。ゲーデルゆかりの土地の旅行記。
数学基礎論若手の会
学生・若手研究者の研究交流を目的とする、合宿形式の研究集会。
高校数学+α
数学基礎論から論理的に解説した高校数学。雑記帳や議論掲示板。

ほかの言語でのこのカテゴリ 7

[Statistics_Mozilla]
更新日:
2014年 9月 26日 12:35:13 UTC
科学
オンラインショップ
社会
スポーツ
All Languages
アート
ビジネス
コンピュータ
ゲーム
健康
家庭
ニュース
レクリエーション
各種資料
地域