2010-01-17から1日間の記事一覧

状態は引数と戻り値の狭間に埋まってしまうのかも知れない

チューリングマシンには状態がある。ラムダ計算はチューリングマシンと等価な数理モデルだが、状態がない。これは一体どう考えればいいんだろう? というのが 前回 までのお話。以下の考え方や用語の使い方は間違っているかも知れない。そもそもまったくオハ…