2001-10-07 [長年日記]
λ. チューリング機械
先日のチューリング機械のプログラムで「テープの左にも無限に移動できてしまうあたりは本物と違う」と書いたけど、向井先生に訊いたら「Turing machineの定義として,両方向無限のテープを持つとするのもあります.さらに2本以上のテープを持つモデルもあります.いずれにせよそれらはすべて等価になります.」とのこと。
λ. Windows Update
色々な人の日記を見てると、誰も更新に成功していないような気がする。果たして成功してる人っているのだろうか?
λ. シェーファーの棒
「|」を Sheffer stroke すなわちnandとして使っているプログラミング言語って無いのだろうか?
λ. 読んだコミックス
- 『ブラックキャット 5 - 革命の狼煙』
- 矢吹健太郎[著]
- 『彼氏彼女の事情 12』
- 津田雅美[著]