やったこと

HFA→DFAの変換の証明をした

そんなに難しくなくて、文字列の長さに関する帰納法で証明することができる。ただ、誰かが解答を確認してくれるわけじゃないので合っているのか少し自信がない。

あと、半順序集合の空ではない有限の部分集合は極小/極大元を少なくとも一つは持つはずだと思うのだけど、これは間違いではないよね？　このこともちゃんと確認したい。

4869、navitakeと秋葉で会った

4869、navitakeとなぜか秋葉で会った。一昨日あたりから約束していたのだけど。ちなみにボクの秋葉に行った主な目的はオカルティックナインのVita版の予約だったのだけど、それは果たせなかった。

アキヨドの本屋で待ち合わせたのでそのまま本を見て、そのあとはアキヨドの上のフードコートみたいなところで夕食をとった。特盛のローストビーフを食べた。量はともかく味が濃くてちょっと飽きるが悪くない。写真を撮ればよかった。

食べ終わってだらだらと近況を語ったりしたのち、オカルティックナインの予約のためソフのアミュ館に行った。けれど、既に閉まっていた。このとき20:30くらい。結構早い。

仕方がないので電気街口の方に戻っているうちに、4869の誕生日プレゼントにFate/stay nightのスマホ版の全ルートを購入できるくらいのGoogle Playカードを贈ろうと考えていたことを思い出す。そのまま勢いで3200円分のPlayカードを買って贈り付けた。Fateのスマホ版は1GB以上あるらしくその場ですぐにインストールはできなかったけど、とりあえずプレイしてくれそうな雰囲気を作り出すことに成功した。

駅の広告で新約とある19巻が出たことに驚いたりして帰宅。

思うところ

どうも充電器をcybozuのオフィスに忘れたっぽい。しんどい。しんどいので今日はCrystalを弄るのはおやすみ。