2015-02-16 (Mon)

投稿日: Feb 13, 2015 12:35:31 PM

情報科学科 卒業研究 発表会 (2015-02-16 & 2015-02-23)

木下研学生発表：

• 芦原智隆 LEGO MINDSTORMS EV3制御システム信頼性の評価について 要旨

• 武井皓平 LEGO MINDSTORMS EV3制御プログラムのモデル検査について 要旨

• 藤井拓也 整数及び整数を要素とする配列に関する論理式の正しさについて 要旨