VDM++仕様記述から日本語仕様を 自動生成するツールVlastの試作
コードレイアウトの自由化を目的 としたコード整形ツール『ALICE』の試作
ArduinoシミュレータADVISにおける 抵抗器の抵抗値選択による有用性の 向上と電流によるArduino本体および モジュール破損の回避を目的とした改良
解析表現文法を対象とした文法 チェックツールTamiasの開発
機械学習を用いた仕様書からのテスト ケース自動生成ツールSpec2Testの試作
熱気球の競技飛行におけるフライトプラン 自動作成ツールSkyPathの試作