コンピュータ概論A/B (2013/10/22)
Ver. 1.0

目次

講義資料

当日の OHP 資料

当日のOHP資料です。

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

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

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

Links

関連 Link

WinSCP

• WinSCP
• Windows用SCP/SFTPクライアント「WinSCP」の使い方、設定：安全なファイル転送
• WinSCPの使い方

Mathematica でのプログラミング

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

再帰的定義

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

メタ

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

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

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

• 2013/05/28 の講議資料