コンピュータ概論A/B (2012/11/27)
Ver. 1.0

目次

講義資料

当日の OHP 資料

当日のOHP資料です。

• 表示用(HTML)
• 印刷用(PDF)

当日のダウンロードリンク

• 演習に利用する Mathematica ファイル (sample-20121127.nb)
• 演習に利用する Mathematica ファイル (work-20121127.nb)
• 演習に利用する nat.txt
• 演習に利用する 20121127.txt

Links

関連 Link

Mathematica でのプログラミング

• 関数型プログラミング
• 手続き型プログラミング
• Mathematicaプログラミング
• Mathematicaプログラミング

再帰的定義

• 再帰的定義 (wikipedia)
• 再帰呼び出し 【recursive call】 （リカーシブコール） ( e-words.jp )
• 再帰的な定義の例
  • 自然数の定義 ( ペアノの公理 )

メタ

• メタ
• メタ言語とは(meta language)用語解説
• メタデータ
• 超数学
• メタ認知
• メタ思考
• ヒルベルト・プログラム
• 『数学』を数学的に考える (pdf)
• メタとは何か？　自己言及の世界の危険と不思議そして語ることの重要性
• 双対原理 :

  【双対原理】射影平面内の幾何に関して，定理で用いられている『点』に関する用語と『線』に関する用語を，そっくり入れ換えれば，入れ換えて作った定理も成り立ちます．

• 床屋のパラドックス
• ラッセルのパラドックス
• ゲーデルの不完全性定理