先週の復習

先週の内容
講義
Mathematica による関数定義:関数の再帰的定義
コーディング:自然数 (ペアノの公理)の定義
講義内容
関数の定義
代入文によって関数の値が定義できる
パターン : 具体的な方が選択される
再帰的定義 : 関数の定義にこれから定義する関数が利用できる
コーディング
新しい要素(集合)を、旧知の要素(集合)で表現する:なんでも表現可能
新しい要素の操作は旧知の要素の操作で実現できる:なんでも実現可能
計算機が「万能」な理由 : 万能エミュレーション機械