In Partnership with AOL

ほかの言語でのこのカテゴリ
  • 情報証明論 - Proof Checkerを用いた、コンピュータプログラムの数学的証明の解説。
    [!]
  • 数学基礎論史 - 林晋による一般読者向けの解説。ゲーデルゆかりの土地の旅行記。
    [!]
  • 数学基礎論若手の会 - 学生・若手研究者の研究交流を目的とする、合宿形式の研究集会。
    [!]
  • 高校数学+α - 数学基礎論から論理的に解説した高校数学。雑記帳や議論掲示板。
    [!]
このカテゴリはエディタを募集中です
Copyright © 1998-2014 AOL Inc. 使用条件
姉妹サイトへ  Mozilla-Japan | MusicMoz | Wikipedia

最終更新日: 9月 26, 2014 at 12:35:13 UTC - 編集