  |
記号論理と情報科学研究集会 - http://www.sato.kuis.kyoto-u.ac.jp/SLACS/
記号論理学と情報科学の境界領域に関する研究発表や研究討論。 |
| |
高校数学＋α - http://www.h6.dion.ne.jp/~hsbook_a/
数学基礎論から論理的に解説した高校数学。雑記帳や議論掲示板。 |
| |
数学基礎論史 - http://www.shayashi.jp/HistorySociology/
林晋による一般読者向けの解説。ゲーデルゆかりの土地の旅行記や掲示板。 |
| |
数学基礎論若手の会 - http://www.mi.s.osakafu-u.ac.jp/~kada/wakate/
学生・若手研究者の研究交流を目的とする、合宿形式の研究集会。 |
| |
情報証明論 - http://markun.cs.shinshu-u.ac.jp/learn/iproof/
Proof Checkerを用いた、コンピュータプログラムの数学的証明の解説。 |