岸研究室

About研究室について

先進的なソフトウェア開発をリードする。

岸研究室は、モデリング技術を活用したソフトウェアデザインを中心に、ソフトウェア工学の問題に取り組んでいます。
ソフトウェア工学は、変化の激しいビジネスと技術の環境の中で、ソフトウェアをどう作り、どう使い、どう進化させるかを研究する分野です。
ソフトウェアをどんなアーキテクチャで作るか、似たソフトウェアをどう効率よく作るか、作ったソフトウェアの正しさをどう確認するか、といった問題を扱います。
実社会とのつながりの中でソフトウェアを理解し、さまざまな視点と技術で問題を解こうとしています。

Research研究テーマ

岸研究室では、モデリング技術を活用したソフトウェアデザインを中心テーマに、ソフトウェア工学のさまざまな問題に取り組んでいます。実社会とのつながりの中でソフトウェアを理解し、いろいろな視点や技術で問題を解決しようとしています。

※イメージ画像

機械学習で速くするモデル検査↗

ソフトウェアが仕様どおり動くかをすべての場合について確かめる「モデル検査」は、規模が大きいと時間がかかりすぎます。機械学習の助けや並列化で、大きなシステムでも検査できる方法を考えています。

※イメージ画像

AIのテストを自動でつくる↗

ニューラルネットワークを使ったソフトウェアも、きちんとテストする必要があります。ネットワークの各層のニューロンがどれだけ働いたかを手がかりに、テストケースを自動で作る方法を研究しています。

※イメージ画像

少しずつ違う製品群を設計する↗

同じ土台から少しずつ違う製品をたくさん作るソフトウェアでは、違い（可変性）をうまく整理することが大切です。可変性のモデルの分け方や、既存のコードから可変性を見つけ出す方法を研究しています。

Voices先輩の声

評価・クチコミは、在籍している（していた）学生個人の経験に基づくもので、研究室の公式見解ではありません。クチコミの有無や件数は、研究室の評価を表すものではありません。

インタビューに協力いただいた学生に、内容にかかわらず謝礼（1,000円分のギフト）をお渡しすることがあります。