- 365 名前：デフォルトの名無しさん mailto:sage [2008/02/08(金) 04:26:00 ]
- 簡約によって副作用が生じる場合と生じない場合で「表現すること」と「計算すること」の同値性が崩れる場合があって，
「表現するだけでは足りないのだよ・・・副作用は表現では現れない」という結論を導きたかった．
具体的に言うと「ニューラルネットワークは重み付グラフで表せますか？」は
「ニューラルネットワークは自身の重みを時間の推移に従って書き換えていく（副作用）があるので，あらわせない」だ．
で，簡約で副作用を容易に持ち込めるlispを使って例を挙げたかったがあきらめた(＾ｐ＾
重み付き非決定性グラフとかあれば表現可能かも
