HIGH-FLYER ARCHIVES       AVERAGE ARCHIVES       GERMAN ARCHIVES       OTHER RESOURCES       PROGRAMMING/ INTERNET       LANGUAGES/ SCRIPTING     

MetaDirectory

ほかの言語でのこのカテゴリ
	英語  (805)   ドイツ語  (8)   スペイン語  (9)   フランス語  (21)   イタリア語  (4)   ポーランド語  (6)   ロシア語  (4)

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

 

 

 

 

 

 

 

 

 

 

Help build the largest human-edited directory on the web. Submit a Site - Open Directory Project - Become an Editor

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 Link Tip
   Google Dance Tool
   Royalty Free Stock Photos

• term papers
• ipod converter
• Data Recovery
• scheduling jobs

 

 

 Partner Sites
   PHP Scripts
   Online Appointment Scheduling