私の研究室での2012年度の修士論文の発表者とタイトルは次のとおりです。
上之園 倫哉 自作アプリケーションに対するユーザーテストにおいて思考発話が与える影響の分析
岡部 竜 CBMCを用いたC言語関数の事後条件導出によるゼロ除算例外処理の検出
私の研究室の修士論文発表会は2月6日(水) 9:25より北九州市立大学ひびきのキャンパスN410-4で行います。
今年も残念ながらネット中継や録画等はしません。直接参加いただくか，「このテーマの詳細希望」というようなコメント・メッセージを右下の MessageLeaf にいただけたら対応します。
