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

目次

講義資料

当日の OHP 資料

当日のOHP資料です。

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

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

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

Links

Local Server

• Local Web Server
• VNC Server : 10.9.209.128

関連 Link

Mathematica の使い方

• Mathematica の Top Page
• Wolfram Research 社の日本語の Top Page
• Mathematica の紹介 OHP
• Mathematica の demonstrations (英語) : Mathematicaの色々な実行例があるので、ひとつひとつ試すと楽しい。
• Mathematica の Online Manual
• 計算処理の一時停止 : [Alt]+','
• 書式付きテキスト表示
• 下付き文字の入力
• CDF PLAYER : Mathematicaがなくても*.cdf形式のファイルを表示して確認する事ができる。

Mathematica でのプログラミング

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

再帰的定義

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

メタ

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

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

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