配属希望の分析＆反省;_; メインのマシンがまたハング→頻繁なのでDELLのサポートに電話→HDD故障判明→バックアップとか;_;;_;（明日の10時に修理がくる） ゼミ：shape analysisのお話を聞く 修士学生さんのミーティング×２

前から怪しかったのだが、一日一回ぐらいハングしはじめたので、またDellに電話して診断テストをやったらHDD故障だった。;_; バックアップやら再インストールやら頭が痛い。下らない雑用ばかり増えて研究ができない〜

忘年会費や親睦会費がすごい金額で馬鹿になりません。今月だけでｎ万円（ｎ＞３）。酒が飲めない＆旅行などもほとんど参加できないので、丸損です。ぬー。

http://www15.ocn.ne.jp/~rodinia/Blog/MyJournal47.html#p6 ただし、原則として有限状態機械しかあつかえないため、ソフトウェアを完全に形式化することはできず、近似をすることになります。 そこで型システムとかソフトウェアモデル検査なのです。と我田…

どうも最近、何を書いても後から読むと、嫌味っぽくて自己嫌悪。自分がそういう人間なのだろうか。そんなつもりじゃないんですが。「つもり」だけだったり…？