前回(2013/10/29)の復習

講義
システム : (興味)の「対象」と対象の「操作」からなる (cf. 親と子の関係)
「操作」を学ぶ事により「対象」を望みの形にする事が可能になる
メタシステム : 「操作」を「操作の対象」にするシステム (cf. 祖父母と親の関係)
「操作」を操作する事により、「間接的」に「対象」を操作する
「間接的」なので「難しい」が、「とても強力」な仕組
計算機に於けるメタシステム : 対象はデータで、操作はソフト
プログラミング : ソフトを「作る」作業 (メタシステム)
実習
Mathematica で「数」を作る
ペアノの公理に基く「自然数」と「四則」の実現