投稿日: Feb 13, 2015 12:35:31 PM
情報科学科 卒業研究 発表会 (2015-02-16 & 2015-02-23)
木下研学生発表：
芦原智隆 LEGO MINDSTORMS EV3制御システム信頼性の評価について 要旨
武井皓平 LEGO MINDSTORMS EV3制御プログラムのモデル検査について 要旨
藤井拓也 整数及び整数を要素とする配列に関する論理式の正しさについて 要旨