Diary/2011-3-7

UBI研究会

に出席するために京成大久保にある東邦大学へ．
まさかの雪の中での移動なので寒いし，大変でした...
学生さんの発表は，まあまあかな．
厳しくも的を射た質問ばかりだったので，過不足なく伝わったということでしょう．

(9) 14:20 - 14:45
通信プログラム開発を支援するデータ入出力および検証コード生成
坂根 裕・鈴木敦志（デジタルセンセーション）・岡田昌也（静岡大）

が面白かった．
通信プロトコルを規定する専用言語を設計している，とのこと．