2007-12-03から1日間の記事一覧

家庭教師

ちょっと授業に対してのビハインドが大きいので、臨時で指導することに。 ひたすら数列。前回基礎固めをしたので、もうちょっと実践的な問題を。 それにしても学校ではもう漸化式に入ったらしい。さすがにそのペースはどうかと思う。 うちが学校で数列やって…

人のいない日は

研究室をいつもより早めに抜けてきたのだが、例会の日でもないので部室は手薄。 2人だけじゃクイズもままならないってのと、ちょっと昨日のフラストレーションとで、 なぜかイントロ。昔のテスト中にイントロの特訓しまっくてたころを思い出すわ… にしても…

学位申請

修論の第0次手続きとして、研究科の窓口に必要書類を受け取りに行くことに。 第1次手続きとして来週には論文のタイトルを提出しないといけないんだけど、 この時点で「論文を書く」という実感はないんだけど、 「書かなくちゃいけない」っていう実感ばかり…

UPPAAL

この前からそんなに変な数値を入れてるつもりはないのだが、 どうにもこうにも1つの検証に対して、結果が返ってくるまでに時間がかかりすぎる。 あまり数値を減らしても正しい結果が出ると思えないのだが、やむなく1桁減らすことに。 …終わらん。

ミーティング

そういえば今回は何を発表するってのを決めてなかった。発表なしじゃ大目玉じゃ済まない。 急遽UPPAALで20分分*1の発表をでっち上げる。 ぶっつけのやっつけで説明したけど、思ったよりも好評だったんで助かった。 *1:にじっぷんぶん