今日は休息の日とした

diary

rest

休むことは良いことと自分に言い聞かせる。

hat

帽子が欲しい。Jewish Hatが欲しい。

昨日、西武に行ったら対して良さげでもないものが、3万超えていた。やはりユダヤ教徒が普段使う落ち着いた帽子が丁度良いと思う。

今日の勉強

team

リーダーシップパターン

isabelle

証明すること:

fold c empty ~ c

求められること:

equiv_up_to:

p |= c ~ c'
    = 
ALL s s'. P s --> (c,s) => s' = (c', s) => s'

bequiv_up_to:

p |= b <~> b'
    = 
ALL s . P s --> bval b s = bval b' s