tkhの日記： やばいなぁ

昨晩Hennesy & Pattersonを読んでいたら眠くなってしまい、ソファーで4時間程寝てしまった。起きたのが朝の2時で眠気も無くなってしまったので、計算理論の勉強を始めた。今日は計算可能性を中心にすえて

• Primitive Recursive Function
• Partial Recursive Function
• Arithmetization of Turing Machine (Godel Numbering)
• s-m-n theorem

を復習した。完全に理解できた気分になっているけれど、このうぬぼれが一番危険。証明を書きまくらないと。

今日は、これから税金関係の書類を大学に提出して、来学期どういう方向でやっていくかについて指導教授と話し合い。