久々にたべたくなってきた。 個人的に今まで食べた京都ラーメンで5位、6位ぐらいの高ランク。2011年3月27日に混み過ぎによる近隣からの苦情のため、閉店したようです。 紫蔵 ランク ★★★★★ 種類 とんこつ：太麺 特徴 とんこつ命。店長いい人すぎ。 コメント …

改訂版：TMの停止問題は非可解であることの証明。 旧版がカオスになったので書き直す。TM停止問題 - hat-tunの日記 L={ρi| TMρiは列ρiに対して停止して受理しない} という言語が必ず停止するTMで認識できないことは証明されているとする。 まず問題を分析す…

今日は11時起きという、ひどい生活。 ああ、せっかく昨日1時すぎには寝たのに。 時間が足りないことに気づきつつも、効率は上がらない焦燥感とともに、 勉強してるので、さらに効率があがりません。 負の無限ループ！ そういえば、一昨日、1月になって初めて…