2019-08diary0731昨晩はなんかゲームしてました。ひさびさにこう、攻略メモを書くタイプのゲームをやったんだけど、びっくりするほど漢字が書けなくて、あと字が下手になってて愕然とした。字の練習をしないとだめかもしれない。字を書く機会というのはここぞというときに訪れるものだ。今日の仕事は不具合対応など。なんかまあさまざまな闇など。この案件を見ていると1秒に5回くらい「どうして......」という気持ちになるけれど、まあ僕だってたまにはアンチパターンを踏むものさ、と構えている。いうかそうでもないとやってられない。夜はほこらんさんやKさんやねておきたさんとすっぽんを食べました。刺身や唐揚げや鍋などを食べたけど、まあこれは普通に肉だなという感じだった。あと生き血?などを飲んだけど、これは日本酒とブレンドしてあったためか、日本酒だなあという感じだった。なかったら生き血なんて飲めないのかもしれない。はー、明日も仕事です。Capsuleのハードディスクに直接接続してみたんだけど、何も認識しませんね。物理的に死んだ可能性がある。失われたものはあまりに大きい。AirMacユーティリティは何かしらのディスクを認識してるんだよな。出てくるのでどんどん倒す作業。重たいやつはなんとかねじ伏せた、と思うのであとは軽いのをさばいていきましょう。トレーディングカードゲーム、新しいカードが追加されるたびにゲームバランスが崩壊しないように調整したりルールを修正したりする必要が出てくるので、いっそ形式的に検証可能な文法でカードの作用を記述したらどうだろうかと思った。すれば、あるカードを追加することで何らかの操作が無限回できてしまわないかどうかを自動証明できるかもしれない。これは停止性問題と関係している気もして、それだとできないかもしれない。22:28:59https://ofni.necocen.info/33890802仕事はなんだっけ。不具合対応なんですけど。さまざまな情報不足と闘いながら不具合を直す。僕は少なくとも「どうしてこういう修正をしたか」についての情報を(仮に過剰であっても)できるかぎり残そうと思う。それはそれとして、過去の自分が悪手を踏んだところを直したりもする。これなー、いろいろ擁護を考えるけど、やはり悪手だと思うなー。