Repo
kjana00@gmail.com
2011-07-21 00:24:55
今朝はくもり。朝ごはんはパンとサラダとソーセージ。台風はまた南の方で折れたかね、という感じで楽々移動。風はあるけど涼しくていいんじゃないっていうぐらい。
状態の一覧を出したことだし、ということで状態遷移も洗ってみて、結局普通に状態遷移機械を作るよりも遷移条件での分岐だけで考えた方が簡単そうだなと納得してみたり、それに沿ってコードを書いてより深く納得したり。スイッチで決まる入出力の経路で状態が定義されて、それでどの状態からでも自己遷移含めてどの状態にでも行けるってなると。おまけに入出力経路っていうのが結局二つのほぼ独立した出力に対してどの入力を使うのかっていうのできれいに整理出来ちゃうから。普通の状態遷移機械の書き方を適当にやると、同じことを何度も書くはめになる未来しか思い浮かばない。
細かい話は置いておいてスケルトンコードを書いて、ちょっと時間もあるからとそのフローを絵にして……ってまあ、普通と順序が逆と言えば逆。でもフローチャートがわかり易いとはちっとも思ってないっていうのと、結局のところフローチャートって文法が違う別のプログラミング言語なんだよねっていうのとあって、普通だったら全然書く気にならないところだからねぇ。変な暇があるから書いてるだけで。
……とそんな感じでおしまい。評価ボードが直ってこないと実験系の話は進まないし、しょうがない。台風は過ぎ去って晴れ間が見える。でもあんまり湿気も温風も吹き込まなかったみたいで台風一過にしては爽やかな感じ。……って言うにはまだ早いか。でもまあ、まだ涼しく感じる。京橋の温度計は 36℃ とか言ってたけどきっときのせい。
ちょっと一休みして晩ごはんに麻婆豆腐。最近買った豆板醤が前のよりちょっと辛めな気がするけど気のせいかもしれない。オイスターソースが変に甘くないのは間違いないんだけど。何にしろ、麻婆豆腐はせめてこれぐらいの辛さないと、とお昼のメニューに思いを馳せる感じで。
後は WWW 見たりゲームしたり。ちょっと勝てそうな気がしたけど気のせいだった、とかな。