search
web directory
news
travel
maps
forums
free voip
chat irc
games
video
live tv
add site

ほかの言語でのこのカテゴリ    英語  (829)   ドイツ語  (10)   スペイン語  (10)   フランス語  (23)   イタリア語  (4)   ロシア語  (4)  

情報証明論 - Proof Checkerを用いた、コンピュータプログラムの数学的証明の解説。
数学基礎論史 - 林晋による一般読者向けの解説。ゲーデルゆかりの土地の旅行記や掲示板。
数学基礎論若手の会 - 学生・若手研究者の研究交流を目的とする、合宿形式の研究集会。
記号論理と情報科学研究集会 - 記号論理学と情報科学の境界領域に関する研究発表や研究討論。
高校数学＋α - 数学基礎論から論理的に解説した高校数学。雑記帳や議論掲示板。

"数理論理学・数学基礎論"をサーチ: