2007-02-01 一時締め切り 日記 卒論本体と概要の提出オワタ\(^。^)/ 最終的にP111で4万文字程度でFA とりあえず _| ̄|○<UPPAALの検証表現能力の低さにがっかりした 明日からは課題のWeb開発と卒論発表の準備 また学校でデスマが確定されますた ひゃっほー 風呂行ってきま 湯 λ........