0801
壊れたAirMac Time Capsuleのハードディスクに直接接続してみたんだけど、何も認識しませんね。物理的に死んだ可能性がある。まじかよ。失われたものはあまりに大きい。でもAirMacユーティリティは何かしらのディスクを認識してるんだよな。なんだろう、これ。
仕事は不具合対応。不具合がどんどん出てくるのでどんどん倒す作業。重たいやつはなんとかねじ伏せた、と思うのであとは軽いのをさばいていきましょう。
トレーディングカードゲーム、新しいカードが追加されるたびにゲームバランスが崩壊しないように調整したりルールを修正したりする必要が出てくるので、いっそ形式的に検証可能な文法でカードの作用を記述したらどうだろうかと思った。そうすれば、あるカードを追加することで何らかの操作が無限回できてしまわないかどうかを自動証明できるかもしれない。ただこれは停止性問題と関係している気もして、それだとできないかもしれない。
明日は金曜日だね。