FSR読み切った! 連絡 次回(7/10)は神林さんが出張なので一回休み 次の回は7/24(詳しくはconnpass要確認) 今回読んだ範囲は p26 2.3 THE CRITIQUE OF FINAL-STATE SERIALIZABILITYから p30 Incorrect Viewsまで 次回は p31 2.4 VIEW SERIALIZABILITYから ノー…

関数HALT(a,x)の計算は不可能。 前提 関数HALT(a,x) コードaとそれに対する入力xを引数に取る 有限時間で停止する場合はHALT(a,x)→1 それ以外0 証明 証明は背理法で行う HALTを計算するチューリングマシン MHALTを定義する MHALTが矛盾した計算不可能関数UC…