人工無能からの連想。 まあ、現状としてはバズワード以外の何者でもないのだけれど、私はそれなりの価値がある概念だと思っている。クオリアを仮定することによって今までより綺麗なモデルが立てられるという価値があるという意味で。 数学--物理学--化学--…

関数を一般化したものが部分継続なのではないか。 継続として見る場合 継続 部分継続 CPUに送る命令 goto call という関係。

http://d.hatena.ne.jp/m-hiyama/20090311/1236729482から連想したwikipedia:停止性問題の話。 前から疑問だったのだけども 「プログラムAとデータxが与えられたとき、A(x)が有限時間で停止するかどうかを決定せよ」の「データx」は不要な情報ではないのかな…