Repo
kjana00@gmail.com
2010-06-02 01:58:44
今朝は晴れ。朝ごはんはパンとソーセージとゆでたまごとサラダ。適当に茹でて食べるっていうんだとこのソーセージより別ののがおいしいかな……味付けの癖の違いと皮の厚さぐらいの差だけど。
本格的に仕事するのは別の人だけど経験者としてサポートしてねっていう仕事の打合せから。09:00 からと言われて 09:00 にチャイムが鳴ってから動き出すのはいかにも遅い……けど他の参加者っていうか招集者もそうだからいいか、とりあえず。ちょっぴり無茶振りチックなところがあるけど本当に何とかなるのかね……目標今月末っていうのがまた、無茶な感じなんだけど。
いじってもらったサンプルを眺めるのだとか調べものの続きだとか。仕様を表現したモデルのバグとその仕様で検証されたりテストケースを作られたりするモデルのバグが渾然一体となりかねないな、この形。やっぱり真理値表で表現するみたいな全然違う形の方がいい。implication の表現だから \not P \or Q で……とかやってるのもあれだし、何が P で何が Q でとか悩むのもあれだし。仕様書くのに内部情報いるから SubSystem の中に仕様を入れなきゃならないとかいうのは……そのために信号を引っ張り出すより本末転倒具合は低いか。
別口で書き直してもらった資料に口を出すだの何だの。ついでにテスト用のツールで評価版が使えそうなのに請求を出してみるだの。言いたいことを絞るとえらく簡潔になる英文メール。でも絞らないと書けないという。
で、適当に帰る。晩ごはんは焼売と野菜スープ。スープのベーコンが案外多かったかも。スライスだと多く感じるものではあるけど。玉ねぎが無いから他のボリューム感が乏しかったっていう話もあるかな。それでふっくらしてなかなかおいしい焼売、と。
WWW 見てゲームしてさくっと死んでみたりして。盲目でいる間に殴り殺されるとか虚しいですね。特に治療出来る薬を持ってる状況だと。思ったより一撃が痛かった……それで気を取り直して何故か魔道具術師とか始めてみたり。ワンドから取り込んだ魔法も回復するのか。結構強いかも。