起床は7時、出勤してコードスプリント。様相論理システムの第一バージョンが完成、昼のミーティングで一部発表する。いろいろ突っ込まれる、要改善。 午後は講演会、H氏の話（項書き換え系におけるTerminasionを多項式によってinterpretationする）は面白か…