にっき20180504
早起きに失敗したので、ポスター刷った以外は特に何もしない日だった……。 夜は外で食べた。以上。
なお明後日は文フリで、その準備のために明日（今日）は日記の更新が滞ります。 東京流通センターで僕と握手！
かいものにっき20180503
途中起きてゲームやってたとはいえ、昨日は異様に早く寝た計算になるのに、なんか気付いたら昼の三時くらいまで寝ていた。気圧が悪い。 取り敢えず茶漬とからあげを食べて買い物へ。牛乳が切れたので。 買い物が済むと祝日ダイアなのでバスが暫く来ず、喫茶店で時間を潰す。
おいしかった。同じカフェで豆を買っても自宅で淹れるとどうも良い味が出ず（悪くはないけど）どうしたものか……。
帰宅し、洗濯をして文フリの準備などをする。大したことはしていないが。 諸々の印刷は明日にしようと思う。
あとそろそろサイトジェネレータの依存関係解決がおかしいのを何とかしなくてはいけない。 取り敢えず直ったとおもうが、これで今後やりやすいのかは知らない。 やっぱりShakeのモナドそのものに依存するのをやめて、その上にHigh-levelなモナドを構築したほうが良さそうだなあ、という気分になってきた。 まあ今日はとりえずこの程度で終わり、ということで……。
えらかったにっき20180502
日記を書いてから寝る前まであれをやっていました。“The Room: Old Sins”。
これは Fireproof Games という所がつくっているアドヴェンチャーゲームシリーズ “The Room” の最新作で、四作目に当たる。
いわゆる脱出ゲームの一種。プレイヤーは特殊な接眼鏡を使って、隠された部品を調べたり、本来なら人間が通れないような小さなを通ってミニチュアの世界に入り、パズルを解いて脱出を目指す。 CGも中々綺麗で音の作り込みもよく、これまでの三作も大いに堪能した。 今回はこれまでの三部作よりも前の時間が舞台で、独立した物語であるようだ。シリーズの核である謎の元素 “The Null” は引き続き登場するが、まあいずれにせよマクガフィンみたいなものなので、この作品からプレイし始めても問題はなさそう。 3ステージくらいクリアしたところで、翌日の予定のために寝る。
昼前に起きて、仕事その3の打合せに都内へ。 思いの外早く終わったな〜と思っていると、大学の事務仕事が降ってくる。別に来週までに終わらせればいいのだが、まあ早めに片してしまいましょうということでその足で大学にトンボ返り。えらい。 ところでオンライン上で動的に生成されたPDFを iPhone から AirDrop で転送しようとすると訳のわからない粗いビットマップ画像に変換され紙の寸法もクソみたいになるということがわかった。なんだこれ……。
大学の郵便受けを探ると、注文していた『Coq/SSReflect/MathCompによる定理証明:フリーソフトではじめる数学の形式化』が届いている。 全く新しい数学を体験するぞ！
飯を喰って帰宅。シャワーを浴びて雨の音と共に布団にくるまっていたらなんか気付くと七時半から深夜一時くらいまで昏々と眠り続けている。ミスター昏だけに。 ひょえーやべえと思って起きて、何故か The Room: Old Sins の続きをやりはじめる。 深夜五時くらいには全クリをする。計五時間くらいで出来たよう。かなり堪能しました。 登場するJapan Roomがどちらかというと日本というより中国の意匠（特に龍とか）が多かった気がするし、何故か葵の御紋推しだったりしたが、まあ1900年代初頭のイギリスっぽい国が舞台なので、まあこの時代の日本理解なんてこんなもんか、と思うことにする。 漆棚があったので、どちらかというと漆の意味の “Japan” だったのかもしれない。
クリアしたら嬉しかったのでそのまま寝ました。
あついんだがあほなのかにっき20180501
早起きしてセミナーに顔を出す。 やる気を出したので9時には起きたんですが、待望の☆5アサシンが出たFGOにもやる気が出てしまい、若干遅刻してしまう（すいませんでした）。
その後仕事その3関連の作業を屠る。 なんかここ一週間くらい研究をしていない気がするが、まあ、〆切二つ屠った後だし許してほしい……。 ところでその屠ったやつのうち二日で2ページのアブスト書いた方の結果が起きたら来ていて、残念ながらrejectとなった。 こちらは博士修了要件には関わらないやつだったので困りはしないが、少し残念。 前回はそうでもなかったけど、公開されたプログラムを見ると今回は理論寄りの話で固まっていて、私のは実装・応用系の話だったので、まあ仕方ないかなあという感じもある。 余力があれば纏めてどっか投稿するのもあり、まあ面倒くさければそのままでもいいかな、という感じ。 まあ落ちたけど折角だしイギリスには行きたいので、話聴くだけでもイギリスに行こうかなと思いつつある。
修了に関わる本命のの結果が出るのはまだ一月先なので、まあ気楽にやっていきましょう。
なんか一週間くらい掛けていなかったらバックアップの準備だけで数時間を要しやがったので、終了を待っていたら家に帰ってくるのが八時になってしまった。今夜は冷やし中華でした。何も考えずに茹で卵を茹でてしまったが、よく考えたら我が家流冷やし中華では卵は茹でるのではなく薄焼きにしていた。まあ美味しかったので良しとする。
うたったうた
終日U2を聴き歌った。
- New Year’s Day
- Hawkmoon 269
- The Ground Beneath Her Feet
ほか
ほんかくにっき20180430
今日は午前中には起きて作業をしてからお出かけ……の予定が、明け方6時くらいまで Cities: Skylines をやってしまったので、14時くらいまで寝てた。
昨日のパスタのミートソースでピザトーストを作って食べ、うだうだFGOのイベントを進めたのち都内へ。 『21世紀映像本格ミステリ大全』のトークショウの観覧。
映像作品を楽しむ側・作る側両面から濃い話が聞けて大変有意義でした。 話者のお一人が推理作家の大倉崇裕さんで、原作が映像化されるときには基本的に好きなように改変して構いません、なんなら犯人変えてもいいですよ、その方が原作者も意外性を楽しめますし、といったらドラマ制作顔合わせの場が騒然となった、というような話をされていて、なんて理解のある原作者なんだ……と思った。 他にも話者のお三方が選んだ21世紀映像本格ベスト10の発表などもあり、後半はそういえばそんなドラマあったなあとか、そんなドラマもあったのかという発見をした。 サイン会の際に大倉先生に『から紅の恋文』は古畑任三郎第3期のあの作品の本歌取りという側面もあったんでしょうか……？という質問をさせていただいたんですが、気さくに答えていただいて、そこまでではないけど、コナン制作サイドの方から倒叙やってもいいよと言われて、でもコナンと倒叙はそのままだと食い合わせが悪いからどうしようか工夫してみた、とのこと。
うたったうた
とくになし。