鄭顕志 (Kenji Tei) - マイポータル

基本情報

所属: 東京科学大学情報理工学院准教授

学位: 博士（工学）(2008年3月早稲田大学)

研究者番号: 40434295
ORCID iD: https://orcid.org/0000-0003-1106-1709
J-GLOBAL ID: 201101059665937624
Researcher ID: HJI-6556-2023
researchmap会員ID: B000000994

2008 年早稲田大学大学院理工学研究科博士課程修了．

同大学助手，助教，国立情報学研究所助教，准教授，早稲田大学研究院准教授/主任研究員を経て 2019 年より早稲田大学准教授．2023年より東京工業大学情報理工学院准教授．現在は東京科学大学情報理工学院准教授．現在，早稲田大学基幹理工学部客員准教授，国立情報学研究所 GRACEセンター特任研究員を兼任．

博士 (工学) (早稲田大学)．

自己適応システム，ソフトウェアアーキテクチャ，モデル駆動工学の研究に従事．

情報処理学会，電子情報通信学会，ACM，IEEE Computer Society各会員．

主要な研究キーワード

もっとみる

研究分野

情報通信 / ソフトウェア /

主要な経歴

2024年10月 - 現在

東京科学大学, 情報理工学院, 准教授
2023年9月 - 2024年9月

東京工業大学, 情報理工学院, 准教授
2019年9月 - 2023年8月

早稲田大学, 理工学術院国際理工学センター, 准教授
2018年4月 - 2019年9月

早稲田大学, 理工学術院総合研究所, 研究院准教授 / 主任研究員
2015年4月 - 2018年3月

国立情報学研究所, アーキテクチャ科学研究系, 准教授
2010年4月 - 2015年3月

国立情報学研究所, アーキテクチャ科学研究系, 助教
2008年4月 - 2010年3月

早稲田大学, メディアネットワークセンター, 助教
2008年4月 - 2010年3月

早稲田大学, メディアネットワークセンター
2006年4月 - 2008年3月

早稲田大学, 理工学術院

もっとみる

受賞

2024年11月

Best Paper Awards: Bronze Prize, MLPP-DCS: Machine Learning-based Performance Prediction for Discrete Controller Synthesis, ICCE-Asia 2024

Takumi Ikeda, Takenori Hirano, Takuto Yamauchi, Jialong Li, Kenji Tei
2022年9月

情報処理学会卓越研究賞 (SE研究会), Towards scalable model checking of reflective systems via labeled transition systems, 情報処理学会ソフトウェア工学研究会

Kenji Tei, Yasuyuki Tahara, Akihiko Ohsuga
2022年6月

Best Presentation Award, 2nd IEEE International Conference on Software Engineering and Artificial Intelligence (SEAI2022)

Nianzhao Zheng, Jialong Li, Zhenyu Mao, Kenji Tei
2022年2月

WASEDA e-Teaching Award 大賞, C Programming (3), 早稲田大学

鄭顕志
2022年2月

早稲田大学ティーチングアワード総長賞, C Programming (3), 早稲田大学

鄭顕志
2021年5月

ICIEA‘ 2021 Excellent Oral Presentation, Differential Controller Synthesis at Runtime Using Changed Parts of Environment Model, ICIEA‘ 2021

Takanori Hirano, Kenji Tei, Kazuya Aizawa, Shinichi Honiden
2021年4月

科学技術分野の文部科学大臣表彰科学技術賞, 先端スマートシステム技術の普及啓発, 文部科学省

鷲崎弘宜, 本位田真一, 鄭顕志, 内平直志, 深澤良彰
2019年

2019年度情報処理学会SE研究会功績賞受賞, トップエスイープロジェクトの推進, 情報処理学会

本位田真一, 石川冬樹, 鄭顕志
2016年9月

優秀論文賞, 自己適応システムのための実行時環境モデル学習手法, 合同エージェントワークショップ＆シンポジウム2016 (JAWS2016)

田邉萌香, 鄭顕志, 深澤良彰, 本位田真一
2016年5月

Best Paper Award, Assured and Correct Dynamic Update of Controllers, 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2016)

Leandro Nahabedian, Victor Braberman, Nicolas D’Ippolito, Shinichi Honiden, Jeff Kramer, Kenji Tei, Sebastian Uchitel
2012年8月

SENSORCOMM 2012 Best paper award, Classification of Faults in Sensor Readings withStatistical Pattern Recognition, International Academy, Research, and Industry Association

Valentina Baljak, Kenji Tei, Shinichi Honiden
2007年7月

DICOMO2007優秀プレゼンテーション賞

鄭顕志
2006年10月

JAWS2006学生奨励賞

鄭顕志

主要な共同研究・競争的資金等の研究課題

想定に漏れた環境変化に対して最大限の機能を維持する実行時モデルフレームワーク

文部科学省科学研究費補助金基盤研究(B) 基盤研究(B) 2023年4月 - 2027年3月

鄭顕志
想定に漏れた環境変化にしなやかに耐える実行時モデルフレームワーク

文部科学省科学研究費補助金: 基盤研究(B) 2018年4月 - 2022年3月

鄭顕志
ブロックチェーン・ビッグデータ・クラウド及びIoTを使用したハイパーコネクテッドスマートシティを実現するマルチレイヤセキュリティ技術

NICT/H2020 欧州との連携によるハイパーコネクテッド社会のためのセキュリティ技術の研究開発（課題番号195） 2018年7月 - 2021年6月

東日本電信電話株式会社
スマートシティにおける市民の影響力を拡張するビッグデータ・クラウド・IoT融合基盤技術

NICT/H2020 欧州との連携による公共ビッグデータの利活用基盤に関する研究開発 2016年7月 - 2019年6月

東日本電信電話会社
ClouT: Cloud of Things for empowering the citizen clout in smart cities

FP7/NICT 新世代ネットワークの実現に向けた欧州との連携による共同研究開発 2013年4月 - 2016年3月
センサネットワークにおけるセンサデータの自己修復に関する研究

文部科学省科学研究費補助金(基盤研究(C)) 基盤研究(C) 2014年 - 2016年

鄭顕志
対象追跡システムのための無線センサーネットワーク感度調整に関する研究

科学研究費補助金若手研究（Ｂ） 2011年 - 2013年

鄭顕志

もっとみる

主要な委員歴

2021年 - 現在

IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS), Program Committee
2021年 - 現在

ACM Transactions on Autonomous and Adaptive Systems (TAAS), Associate Editor
2016年 - 現在

International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), Program Committee
2024年10月 - 2025年9月

6th IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS 2025), General Chair
2023年10月 - 2024年9月

5th IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS 2024), Workshop Chair
2023年 - 2023年

4th IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS 2023), Demo & Poster Chair
2022年 - 2022年

The IEEE Technical Community on Software Engineering (TCSE), TCSE Distinguished Service Award Chair
2021年 - 2021年

ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS2021), Tool and Demonstration Track Chair
2018年 - 2021年

International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), Steering Committee
2019年 - 2019年

No.153 NII Shonan Meeting on The 3rd Controlled Adaptation of Self-adaptive Systems (CASaS2020), Organizer
2018年 - 2018年

No.118 NII Shonan Meeting on Modelling and Analysing Resilient Cyber-Physical Systems, Organizer
2018年 - 2018年

International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS2019), Program co-Chair
2017年 - 2017年

No.110 NII Shonan Meeting on The 2nd Controlled Adaptation of Self-adaptive Systems (CASaS2017), Organizer
2015年 - 2015年

No.077 NII Shonan Meeting on Controlled Adaptation of Self-adaptive Systems (CASaS), Organizer

もっとみる

論文

197

Graph Contextual Reinforcement Learning for Efficient Directed Controller Synthesis

Toshihide UBUKATA, Enhong MU, Takuto YAMAUCHI, Mingyue ZHANG, Jialong LI, Kenji TEI

IEICE Transactions on Information and Systems 1-12 2026年9月査読有り最終著者
Knowledge Graph-enhanced Large Language Model for Incremental Game PlayTesting

Enhong MU, Jinyu CAI, Yijun LU, Mingyue ZHANG, Kenji TEI, Jialong LI

IEICE Transactions on Information and Systems abs/2511.02534 1-11 2026年9月査読有り
Automatic Syntax Error Repair for Discrete Controller Synthesis using Large Language Model.

Yusei Ishimizu, Takuto Yamauchi, Sinan Chen, Jinyu Cai, Jialong Li, Kenji Tei

Journal of Information Processing (JIP) 34 569-580 2026年8月査読有り最終著者
Simulation of language evolution under regulated social media platforms: a synergistic approach of large language models and genetic algorithms

Jinyu Cai, Mingyue Zhang, Yusei Ishimizu, Munan Li, Jialong Li, Kenji Tei

Journal of Computational Social Science 9(3) 1-28 2026年7月7日査読有り最終著者
Bridging the Interpretation Gap in Accessibility Testing: Empathetic and Legal-Aware Bug Report Generation via Large Language Models

Ryoya Koyama, Zhiyao Wang, Devi Karolita, Jialong Li, Kenji Tei

The 8th IEEE International Conference on Artificial Intelligence Testing (AITest) 1-8 2026年7月査読有り最終著者
SAGE: Semantic-Aware Gray-Box Game Regression Testing with Large Language Models.

Jinyu Cai, Jialong Li, Nianyu Li, Zhenyu Mao, Mingyue Zhang, Kenji Tei

Automated Software Engineering Journal 33(102) 1-39 2026年7月査読有り最終著者
See What I See: An Attention-Guiding eHMI Approach for Autonomous Vehicles

Jialong Li, Zhenyu Mao, Zhiyao Wang, Yijun Lu, Shogo Morita, Nianyu Li, Kenji Tei

ACM CHI Conference on Human Factors in Computing Systems (CHI) 1-5 2026年4月査読有り最終著者
Ubi-AAL: A Self-Adaptive Ubiquitous Computing System Problem Exemplar in Ambient Assisted Living

Javier Cámara, Ilias Gerostathopoulos, Livia Lestingi, Michele Loreti, Hiroyuki Nakagawa, Marjan Sirjani, Kenji Tei

21st International Conference on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2026) 1-5 2026年4月査読有り最終著者
Robust Exploration in Directed Controller Synthesis via Mixture-of-Experts Reinforcement Learning

Toshihide Ubukata, Mingyue Zhang, Zhiyao Wang, Nianyu Li, Jialong Li, Kenji Tei

the 21st International Conference on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2026) 1-5 2026年4月査読有り最終著者
AeroScale: A Resizable Drone-Based POV Display for Mobile and Shared Augmented Reality

Shogo Morita, Zhenyu Mao, Mingyue Zhang, Nianyu Li, Jialong Li, Kenji Tei

2026 IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops (VRW) 1069-1070 2026年3月21日査読有り最終著者
大規模言語モデルを用いた適応ルールの自動生成と最適化

石水優成, 許経略, 山内拓人, 蔡金雨, 伊庭斉志, 李家隆, 鄭顕志

情報処理学会論文誌 67(3) 546-557 2026年3月査読有り最終著者
Robust Exploration in Directed Controller Synthesis via Reinforcement Learning with Soft Mixture-of-Expert

Toshihide Ubukata, Zhiyao Wang, Yusei Ishimizu, Enhong Mu, Jialong Li, Kenji Tei

IEICE Transactions on Information and Systems 2026年査読有り最終著者
Automated Smoking Testing For Multiple-endings Game Quest via Large Language Models

Jinyu Cai, Mingyue Zhang, Nianyu Li, Jinglue Xu, Tianshui Li, Jialong Li, Hitoshi Iba, Kenji Tei

IEEE Transactions on Games 2026年査読有り最終著者
Towards MPC-driven Software Adaptation: A Dual-Layer Approach Combining ICNN-based Modeling and Delta-based Tuning

Yitong Shi, Chenyu Hu, Mingyue Zhang, Nianyu Li, Jialong Li, Kenji Tei

International Workshop on Intelligent Software Engineering (ISE2025) 236-243 2025年11月査読有り最終著者
Graph-Contextual Reinforcement Learning for Efficient Exploration in Directed Controller Synthesis

Toshihide Ubukata, Mingyue Zhang, Takuto Yamauchi, Jialong Li, Kenji Tei

IEEE 25th International Conference on Software Quality, Reliability, and Security (QRS) 777-779 2025年7月査読有り最終著者
Global Progress or Local Intent? Exploring Human Perceptions of Communication Strategies in Human-Robot Collaboration

Jialong Li, Shogo Morita, Wei Wang, Yan Zhang, Takuto Yamauchi, Kenji Tei

IEICE Transactions on Information and Systems (Letter paper) 1-4 2025年6月査読有り最終著者
Adapting Aggregation Rule for Robust Federated Learning under Dynamic Attacks

Chenyu Hu, Mingyue Zhang, Nianyu Li, Jialong Li, Zheng Yang, Muneeb Ul Hassan, Kenji Tei

IEEE/ACM 20th International Conference on Software Engineering for Adaptive and Self-Managing Systems (SEAMS2025) 171-177 2025年4月査読有り最終著者
Multi-grained Guaranteeable Requirement Analysis for Iterative Adaptation

Jialong Li, Takuto Yamauchi, Takanori Hirano, Jinyu Cai, Kenji Tei

IEICE Transactions on Information and Systems 108-D(4) 1-12 2025年3月査読有り最終著者
Adaptive Preferences: Pivoting Through User Complaints

Mingyue Zhang, Jialong Li, Nianyu Li, Eunsuk Kang, Kenji Tei

ACM Transactions on Autonomous and Adaptive Systems (TAAS) 1-32 2025年査読有り最終著者
Exploring the Impact of eHMI Display Location and Vehicle Type on Pedestrian Perceptions: A VR User Study

Nianzhao Zheng, Jialong Li, Yan Zhang, Kenji Tei

IEEE Access 13 4947-4956 2025年1月査読有り最終著者

もっとみる

MISC

自己適応システム入門

鄭顕志

日本ロボット学会誌 40(3) 195-198 2022年3月招待有り筆頭著者最終著者責任著者
ICSE 2018 参加報告

吉岡信和, 鵜林尚靖, 石川冬樹, 鄭顕志, 鷲崎弘宜

コンピュータソフトウェア 1-8 2019年査読有り
機械学習工学研究会キックオフシンポジウム参加報告

鵜林尚靖, 鷲崎弘宜, 鄭顕志

コンピュータソフトウェア 35(3) 96-101 2018年10月
ソフトウェア工学の最前線〜ソフトウェアが社会のすべてを定義する時代〜：［未来に向かって］10．IoT時代の環境適応型ソフトウェア

中川博之, 鄭顕志, 田原康之

情報処理 58(8) 702-704 2017年7月招待有り
ClouT: Cloud of Things for Empowering Citizen's Clout in Smart Cities

Kenji Tei, Levent Gürgen, Takuro Yonezawa

Enablers for Smart Cities 107-126 2016年7月査読有り
Shared Wireless Sensor Networks as Enablers for a Context Management System in Smart Cities

Kenji Tei

Enablers for Smart Cities 1-21 2016年7月査読有り
Qualitative Analysis for Multiple Adaptation Loops

Kenji Tei, Ryuichi Takahashi, Nicolas D’Ippolito Hiroyuki Nakagawa, Shinichi Honiden

GRACE Technical Report 1-29 2015年6月
個別構築されたIoTシステムのサービス連携における課題検討

平山秀昭, 鄭顕志, 清雄一, 大須賀昭彦

研究報告マルチメディア通信と分散処理（DPS） 2015(37) 1-6 2015年2月26日
Scalaの並行プログラム検査における状態空間探索手法

島田工, 前澤悠太, 鄭顕志, 田辺良則, 本位田真一

ソフトウェアエンジニアリングシンポジウム2014論文集 2014 54-59 2014年8月25日
EASSy2013参加報告

石川冬樹, 日高宗一郎, 鄭顕志

日本ソフトウェア科学会論文誌コンピュータソフトウェア 2014年5月査読有り招待有り
ソフトウェアを見える化するモデルベース開発って？

鄭顕志

システム制御情報学会誌 56(7) 389-390 2012年7月査読有り招待有り
XAC project: Towards a middleware for open wireless sensor networks

Kenji Tei, Shunichiro Suenaga, Yoshiyuki Nakamura, Yuichi Sei, Hikotoshi Nakazato, Yoichi Kaneki, Nobukazu Yoshioka, Yoshiaki Fukazawa, Shinichi Honiden

Designing Solutions-Based Ubiquitous and Pervasive Computing: New Issues and Trends 214-231 2010年査読有り