岸研究室

About关于研究室

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

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

Research研究课题

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

※示意图

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

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

※示意图

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

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

※示意图

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

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

Voices学长学姐的评价

评价基于在读（或曾在读）学生的个人经历，不代表研究室官方观点。评价的有无或数量不代表对研究室的评价。

对于接受采访的学生，无论内容如何，我们可能会赠送谢礼（价值1,000日元的礼品）。