今日寒すぎだろ。

そういえばやろうと思ったっきりやってなくて、その間に近所のゲーセンも潰れたなと。 相変わらず太陽の城*1だが、１回やって帰るつもりが、昇格チャンスなのでもう１クレ。 これで完勝して、４クレの最短であっさりはるかなる大海原*2へ。 上がったはいいけ…

帰りがけに急にやりたくなったので。いつもよりちょっと早かったし、３〜４クレのつもりで。 まあそんだけじゃ終わらないんだけどね。１３１２１１３２*1で+30万パワーぐらい。 ２位をとってもジリ貧っていうこの状況がもういい加減厳しいんだけど、 誤答覚…

さっき作ったばかりのプログラムでUPPAALを紹介して、 「今やってることとは直接関係ないかもしれないけど、検証ツールとしての価値はある」 って発表したら、それがちゃんと使えれば論文レベルになるからしっかりやってくれて。 まあ論文になるならやるのは…

少し遅れて到着したら、どうやら今日も30分押しのよう。 っていうかそれどころじゃなくて、この後のミーティングのためにUPPAALのプログラムをしないと。 というわけで初めて合法的にＢゼミを休ませてもらって、ごりごりプログラムを書く。 といっても他のプ…

自分が乗った電車を10分勘違いして、乗換駅で走るのを忘れて急行行っちゃうっていう。 その分久しぶりに高校からの友人と話す機会を持てたから、±０ってところか。 それにしてもその友人が、５年後には東南アジアかカリフォルニアに飛ばされる予定とは。 本…