鄭研究室

About关于研究室

しなやかなソフトウェアの実現へ。

鄭研究室は、実行時の変化に対して柔軟に進化・適応できる、自律ソフトウェアシステムの実現を目指しています。
ソフトウェアが物理世界や社会インフラと密接に関わるようになり、変化に対して自己修復・自己最適化・自己防御する「しなやかなソフトウェア」が求められています。
クラウドネイティブシステム、ロボット、連合学習、ヒューマンインタフェースなど、さまざまな領域を対象にしています。
自己適応技術、形式的合成手法、生成AI、人間-自律システムインタラクションの4領域を中心に、理論から応用まで取り組んでいます。

Research研究课题

実行時の変化に対して柔軟に進化・適応できる自律ソフトウェアシステムを実現するための研究を行っています。自己適応技術、形式的合成手法、生成AI、人間-自律システムインタラクションの4領域を中心に、理論から応用まで幅広く取り組んでいます。

※示意图

自己適応ソフトウェア↗

ソフトウェアが動く環境は絶えず変わり、その変化を開発のときにすべて予測することはできません。環境の変化を見つけ、どんな変更が必要かを決め、自分自身を作り変える機能をあらかじめ組み込む研究です。

※示意图

離散制御器合成↗

ラベル付き遷移システムで表した環境のモデルと、安全性・活性の条件から、正しさが数学的に保証された制御器を自動生成する技術です。探索アルゴリズムの効率化や、強化学習・LLMを組み合わせた合成にも取り組みます。

※示意图

生成AIとソフトウェア工学↗

大規模言語モデル（LLM）や生成AIを、ソフトウェア工学に統合する研究です。自己適応システムへの応用、LLMに導かれた離散制御器合成、進化計算やAutoMLの効率化、セキュリティへの応用などをあつかいます。

※示意图

人と自律システムの関わり↗

自動運転車・ドローン・ロボットなどの自律システムと、人間の共存・協働に関する研究です。車の外に向けたヒューマンマシンインタフェースの設計や、半自動運転で運転を引き継いでもらうときの伝え方などを調べています。

Voices学长学姐的评价

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

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