ソフトウェア検証

ソフトウェア設計検証
研究室の紹介
准教授新田直也
研究室について

研究室の場所
13号館2階



学生実験室 13-217
新田研究室 13-206
Webページ
http://silverbullet.is.konan-u.ac.jp

スタッフ
准教授新田直也
研究テーマ

主に2つの領域で研究しています
ソフトウェア
工学
コンピュータ
ゲーム
拡張現実
物理演算
ゲームエンジン
ゲームエンジン
アーキテクチャ
ソフトウェア設計
アーキテクチャ評価
ソフトウェア解析
研究室の特色



理論よりも実践を重視します．
役に立つ研究を指向しています．
ゼミ生全員で1つのソフトウェアの開発に取
り組みます．




技術者としての基礎訓練のため．
研究の意義を実感するため．
研究で使えるプロジェクトデータの収集のため．
チームとして1つのことに取り組む経験のため．
研究の例（1）

ソフトウェア解析手法
分担してソフトウェアを開発する場合や，ソフト
ウェアを再利用する場合に，他人が書いたソフト
ウェアを理解しなければならない場合があります．
本研究では，どこから読んでいけば良いかさえ
わからないような巨大なソフトウェアを効率よく理
解するためのソフトウェア解析手法について取り
組んでいます．現在，デルタプロジェクトが進行
中です．
研究の例（2）

ソフトウェアアーキテクチャの評価手法
ソフトウェアアーキテクチャはソフトウェアの全体
構造です．アーキテクチャの設計が良くないとプ
ロジェクトが混乱したり，最悪の場合プロジェクト
が失敗する可能性もあります．本研究ではその
ような事態を避けるために事前にアーキテクチャ
を評価する手法の開発に取り組んでいます．
研究の例（３）

拡張現実のゲームへの応用
拡張現実（AR）という技術をコンピュータゲーム
に応用することを考えています．具体的にはマー
カを使わないAR（マーカレスAR）を用いて，キャラ
クタがあたかも実世界に登場しているかのように
見せるゲームの開発を行っています．マーカレス
ARのために，ロボット工学や惑星探査でも有用
なSLAM問題と呼ばれる問題を解く独自のアルゴ
リズムを開発しました．

Download Report