JST日記を書いてから寝る前まであれをやっていました。最新作で、四作目に当たる。18.05.03いわゆる脱出ゲームの一種。プレイヤーは特殊な接眼鏡を使って、隠された部品を調べたり、本来なら人間が通れないような小さなを通ってミニチュアの世界に入り、パズルを解いて脱出を目指す。CGも中々綺麗で音の作り込みもよく、これまでの三作も大いに堪能した。今回はこれまでの三部作よりも前の時間が舞台で、独立した物語であるようだ。引き続き登場するが、まあいずれにせよマクガフィンみたいなものなので、この作品からプレイし始めても問題はなさそう。3ステージくらいクリアしたところで、翌日の予定のために寝る。昼前に起きて、仕事その3の打合せに都内へ。早く終わったな〜と思っていると、大学の事務仕事が降ってくる。別に来週までに終わらせればいいのだが、まあ早めに片してしまいましょうということでその足で大学にトンボ返り。転送しようとすると訳のわからない粗いビットマップ画像に変換され紙の寸法もクソみたいになるということがわかった。なんだこれ......。大学の郵便受けを探ると、注文していた『Coq/SSReflect/MathCompによる定理証明:フリーソフトではじめる数学の形式化』が届いている。新しい数学を体験するぞ!飯を喰って帰宅。シャワーを浴びて雨の音と共に布団にくるまっていたらなんか気付くと七時半から深夜一時くらいまで昏々と眠り続けている。