前回(2014/11/11)の内容

前回(2014/11/11)の内容
システム : (興味)の「対象」と対象の「操作」からなる (cf. 親と子の関係)
「操作」を学ぶ事により「対象」を望みの形にする事が可能になる
メタシステム : 「操作」を「操作の対象」にするシステム (cf. 祖父母と親の関係)
「操作」を操作する事により、「間接的」に「対象」を操作する
「間接的」なので「難しい」が、「とても強力」な仕組
計算機に於けるメタシステム : 対象はデータで、操作はソフト
プログラミング : ソフトを「作る」作業 (メタシステム)
Mathematica Programming (2)
自分独自の「関数」が定義できる
式で定義された関数 : 「f[x_] := x^2」とすると、関数「f(x)=x^2」が定義できる
漸化式で定義された関数 : 「g[1]:=a」、「g[n_] := g[n-1]*r」とすれば、等比数列
Mathematica で「数」を作る
ペアノの公理に基く「自然数」と「四則」の実現