!UBI研究会 に出席するために京成大久保にある東邦大学へ. まさかの雪の中での移動なので寒いし,大変でした... 学生さんの発表は,まあまあかな. 厳しくも的を射た質問ばかりだったので,過不足なく伝わったということでしょう. (9) 14:20 - 14:45 通信プログラム開発を支援するデータ入出力および検証コード生成 坂根 裕・鈴木敦志(デジタルセンセーション)・岡田昌也(静岡大) が面白かった. 通信プロトコルを規定する専用言語を設計している,とのこと.