本日(2014/11/11)の予定

講義
「メタシステム」とは
先週の資料を用いる
Mathematica によるプログラミング基礎 (2)
実習
ペアノの公理に基く「数」の構築
有理数の計算