導入講義は優、基幹講義は良という結果に。可がなくてよかった。

本配属の結果が出る。第１志望で決定。ま、よかった。

町山さんのサイトにほぼネタバレのコメントが載った。当然全部読んでしまった。で、ますます見たくなった。 共和党サイドは必死にこの映画の排斥を訴えているようだが、かえってそれが人気に火をつけているようにしか思えない。

久しぶりにカラオケ。最近よく声が出てくれるようになり、高音部でも出せるような気がしていたが、やはり平井堅はむずかしめですな。 Linkinはきつい。

例えば、A,Bが計算可能であった場合、ＡまたはＢの集合も計算可能であることを示す場合は、条件がＯＲのプログラムを作ってやれば証明が可能である。同様にＮＯＴとＡＮＤも証明することができる。

これは、オートマトンの最後の授業でもあったとおり。枚挙可能は、値が求まるときは、停止して値を返すが、求まらないときは停止しないような関数である。

数式がHTMLではうまく書けないので、文章で説明することにする。 まず、関数ｆが計算可能とは、あるプログラムＵが存在して、そのプログラムに任意の入力ｘを与えた場合、停止して結果が、ｆ（ｘ）であるようなものである。 簡単な例でいえば２倍するような…

この日はHaltすなわち、ある関数が停止するかどうかということについて、計算することができる関数を作ることができるかということ。そしてそれが、計算不可能であるということに関する証明の説明。