鄭顕志

Tei Kenji

所属機関・部署：
職名：准教授

研究分野 (1件)：ソフトウェア

研究キーワード (11件)：ソフトウェア工学 , 自己適応システム , モデル駆動工学 , 要求工学 , ソフトウェアアーキテクチャ , Internet of Things , Cyber-Physical System , Software Pattern , Wireless Sensor Network , Distributed Computing , モバイルエージェント

競争的資金等の研究課題 (15件)：

2023 - 2027 想定に漏れた環境変化に対して最大限の機能を維持する実行時モデルフレームワーク
2018 - 2022 想定に漏れた環境変化にしなやかに耐える実行時モデルフレームワーク
2018 - 2022 IoT向け自律協調自己適応機構とその形式検証手法の研究
2018 - 2022 行動の意図を把握するソーシャルセンサ~物理センサ融合マイニング基盤
2017 - 2022 しなやかなシステムを実現するマルチビュー実行時モデルフレームワーク

全件表示

論文 (177件)：

Yusei Ishimizu, Jialong Li, Takuto Yamauchi, Sinan Chen, Jinyu Cai, Takanori Hirano, Kenji Tei. Towards Efficient Discrete Controller Synthesis: Semantics-Aware Stepwise Policy Design via LLM. IEEE/IEIE The 9th International Conference On Consumer Electronics Asia (ICCE-Asia). 2024
Takumi Ikeda, Takenori Hirano, Takuto Yamauchi, Jialong Li, Kenji Tei. MLPP-DCS: Machine Learning-based Performance Prediction for Discrete Controller Synthesis. IEEE/IEIE The 9th International Conference On Consumer Electronics Asia (ICCE-Asia). 2024
Hiroki Takeuchi, Takenori Hirano, Takuto Yamauchi, Jialong Li, Kenji Tei. Efficient Directed Controller Synthesis Using Action Priority. IEEE/IEIE The 9th International Conference On Consumer Electronics Asia (ICCE-Asia). 2024
Shogo Morita, Yan Zhang, Takuto Yamauchi, Sinan Chen, Jialong Li, Kenji Tei. Towards Context-aware Support for Color Vision Deficiency: An Approach Integrating LLM and AR. 2024 IEEE 13th Global Conference on Consumer Electronics (GCCE 2024). 2024
Jinyu Cai, Jialong Li, Nianyu Li, Mingyue Zhang, Ruijia Yang, Kenji Tei. Overcooked Plus: A Comprehensive Cooking Scenario TestBed for Enhancing the Evaluation of Autonomous Planning Algorithms. 5th IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS2024). 2024

MISC (12件)：

鄭顕志. 自己適応システム入門. 日本ロボット学会誌. 2022. 40. 3. 195-198
吉岡信和, 鵜林尚靖, 石川冬樹, 鄭顕志, 鷲崎弘宜. ICSE 2018 参加報告. コンピュータソフトウェア. 2019. 1-8
鵜林尚靖, 鷲崎弘宜, 鄭顕志. 機械学習工学研究会キックオフシンポジウム参加報告. コンピュータソフトウェア. 2018. 35. 3. 96-101
中川博之, 鄭顕志, 田原康之. ソフトウェア工学の最前線〜ソフトウェアが社会のすべてを定義する時代〜:[未来に向かって]10.IoT時代の環境適応型ソフトウェア. 情報処理. 2017. 58. 8. 702-704
Kenji Tei, Levent Gürgen, Takuro Yonezawa. ClouT: Cloud of Things for Empowering Citizen's Clout in Smart Cities. Enablers for Smart Cities. 2016. 107-126

講演・口頭発表等 (40件)：

An experience riding the IoT wave
(IEEE 8th World Forum on Internet of Things (WF-IoT2022), Young Professional Forum 2022)
ニュース映像における縦動画への自動変換ツール
(2022年度人工知能学会全国大会(第36回) 2022)
再利用制御器合成を用いた自己適応システムにおける実行時の離散制御器合成時間削減手法
(2022年度人工知能学会全国大会(第36回) 2022)
離散制御器合成におけるメイクスパン比較時間削減のための部分問題化アルゴリズム
(2022年度人工知能学会全国大会(第36回) 2022)
ドメイン依存性の低い画像分類モデルを活用したゼロショットインスタンスセグメンテーション手法
(2022年度人工知能学会全国大会(第36回) 2022)

Works (2件)：

Middleware for Wireless Sensor Network : XAC Middleware
Kenji Tei 2009 -
無線センサーネットワークミドルウェア:XACミドルウェア
鄭顕志 2009 -

学位 (1件)：

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

経歴 (18件)：

2023/09 - 現在早稲田大学基幹理工学部客員准教授
2023/09 - 現在東京工業大学情報理工学院准教授
2023/04 - 現在国立情報学研究所 GRACEセンター特任研究員
2019/09 - 2023/08 早稲田大学理工学術院国際理工学センター准教授
2018/04 - 2022/09 国立情報学研究所 GRACEセンター特任准教授

全件表示

委員歴 (17件)：

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/09 6th IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS 2025) General Chair
2023/10 - 2024/09 5th IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS 2024) Workshop Chair

全件表示

受賞 (12件)：

2022/09 - 情報処理学会ソフトウェア工学研究会情報処理学会卓越研究賞 (SE研究会) Towards scalable model checking of reflective systems via labeled transition systems
2022/06 - 2nd IEEE International Conference on Software Engineering and Artificial Intelligence (SEAI2022) Best Presentation Award
2022/02 - 早稲田大学 WASEDA e-Teaching Award 大賞 C Programming (3)
2022/02 - 早稲田大学早稲田大学ティーチングアワード総長賞 C Programming (3)
2021/05 - ICIEA‘ 2021 ICIEA‘ 2021 Excellent Oral Presentation Differential Controller Synthesis at Runtime Using Changed Parts of Environment Model

全件表示

所属学会 (3件)：

ACM , IEEE Computer Society , 情報処理学会

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

前のページに戻る

鄭 顕志

鄭顕志