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

目次

講義資料

当日の OHP 資料

当日のOHP資料です。

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

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

• 演習に利用する Math Book ファイル (sample-20111101.nb)
• Mathematica での自然数の定義 (nat.txt) : 2011/11/01版
  • 前回[ 2011/10/25 ]配布した物はバグがあるので、再度、これをダウロードしてください。

Links

関連 Link

Mathematica でのプログラミング

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

再帰的定義

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