Rchr
J-GLOBAL ID:201101097489080206
Update date: Sep. 25, 2024
Ubayashi Naoyasu
ウバヤシ ナオヤス | Ubayashi Naoyasu
Affiliation and department:
Job title:
Professor
Other affiliations (1):
-
Kyushu University
Professor Emeritus
Homepage URL (2):
https://posl.ait.kyushu-u.ac.jp/~ubayashi/index_jp.html
,
https://posl.ait.kyushu-u.ac.jp/~ubayashi/
Research field (1):
Software
Research keywords (5):
ソフトウェア工学
, 人工知能のソフトウェア工学への応用
, ソフトウェアリポジトリマイニング
, Programming Language Mechanisms
, Formal Methods / Formal Verification
Research theme for competitive and other funds (18):
- 2020 - 2024 A Study on Self-adaptation Mechanism Under Time Constraints
- 2020 - 2023 Comprehensive Analysis and Repairing Techniques for Stateful Deep Learning Systems
- 2019 - 2022 Automated Testing of Deep Learning Systems
- 2018 - 2021 Crowd Knowledge Ecosystems for Automatic Bug Fixing
- 2015 - 2018 Construction of Information Retrieval System for Studying Musical Notation with Undeciphered Codes
- 2014 - 2017 A Study on Model-Driven Development Embracing Uncertainty
- 2011 - 2016 研究領域「ポストペタスケール高性能計算に資するシステムソフトウェア技術の創出」 研究課題名「ポストペタスケール時代のスーパーコンピューティング向けソフトウェア開発環境」
- 2013 - 2015 A Study on Fluid Design Abstraction
- 2011 - 2013 A Comprehensive Study on Database System for Musical Notation with Undeciphered Code
- 2011 - 2013 A Study on Constructing Reliable Software Architecture
- 2010 - 2013 A Study on modularization mechanisms to integrate hierarchical and crosscutting decomposition for the post-aspect era
- 2010 - 2011 安全ソフトウェア設計に関する調査研究, 経済産業省平成22 年度産業技術研究開発委託費, 中小企業システム基盤開発環境整備事業(システム開発の高度化に関する調査研究)
- 2011 - 2011 形式検証技術に基づいたディペンダブルソフトウェアアーキテクチャ構築に関する研究
- 2010 - 2010 高信頼ソフトウェアアーキテクチャ構築法に関する研究
- 2007 - 2009 A Study on Verifying Model Compiler
- 2006 - 2009 Aspect-Oriented Software Development Methodology for Enhancing Productivity and Safety
- 2004 - 2006 A Study on Extensible Domain-specific Languages
- 2001 - 2005 High Reliability Component-Based Software Engineering
Show all
Papers (136):
-
Kei Koyanagi, Dong Wang, Kotaro Noguchi, Masanari Kondo, Alexander Serebrenik, Yasutaka Kamei, Naoyasu Ubayashi. Exploring the Effect of Multiple Natural Languages on Code Suggestion Using GitHub Copilot. CoRR. 2024. abs/2402.01438
-
Dong Wang, Masanari Kondo, Yasutaka Kamei, Raula Gaikovina Kula, Naoyasu Ubayashi. When conversations turn into work: a taxonomy of converted discussions and issues in GitHub. Empirical Software Engineering. 2023. 28. 6. 138-138
-
MATSUDA Yuga, YAMATE Kyosuke, KONDO Masanari, KASHIWA Yutaro, KAMEI Yasutaka, UBAYASHI Naoyasu. Analyzing the Impact of Automatic Test Case Generation Considering Execution Paths on Automated Program Repair. Computer Software. 2023. 40. 1. 1_45-1_56
-
Jianhong Wang, Yuta Ishimoto, Masanari Kondo, Yasutaka Kamei, Naoyasu Ubayashi. Uncertainty-aware Metamorphic Testing for Robust Object Detection Models. QRS Companion. 2023. 9-17
-
Yuta Ishimoto, Ken Matsui, Masanari Kondo, Naoyasu Ubayashi, Yasutaka Kamei. An Initial Analysis of Repair and Side-effect Prediction for Neural Networks. CAIN. 2023. 80-85
more...
MISC (177):
-
稲田司, 石本優太, 近藤将成, 亀井靖高, 鵜林尚靖. Dockerfileの開発を支援するインタラクティブツールの提案. 電子情報通信学会技術研究報告(Web). 2023. 122. 432(SS2022 47-73)
-
和田寛太, 山本大貴, 森田一成, 近藤将成, 亀井靖高, 鵜林尚靖. プログラム自動修正に向けた行単位のバグ予測手法の提案. 電子情報通信学会技術研究報告(Web). 2023. 122. 432(SS2022 47-73)
-
宇都宮魁斗, 秋山楽登, 近藤将成, 亀井靖高, 鵜林尚靖. 大規模言語モデルを用いた初学者のためのデバッグ作業支援の初期評価. 電子情報通信学会技術研究報告(Web). 2023. 122. 432(SS2022 47-73)
-
野口広太郎, 小柳慶, 近藤将成, 亀井靖高, 鵜林尚靖. GitHub Copilotを用いたコード自動生成における入力データ順序の影響調査. 電子情報通信学会技術研究報告(Web). 2023. 122. 444(KBSE2022 54-69)
-
友池真輝, 沖野健太郎, 近藤将成, 亀井靖高, 鵜林尚靖. 初学者支援を目的としたコードエディタにおけるPythonの型プレビュー機能実装に関する研究. 電子情報通信学会技術研究報告(Web). 2023. 122. 444(KBSE2022 54-69)
more...
Books (2):
-
IT Text ソフトウェア工学
オーム社 2017
-
ソフトウェア工学の基礎XIX: FOSE2012 (レクチャーノート・ソフトウェア学)
近代科学社 2012
Works (1):
-
iArch-U
Naoyasu Ubayashi, Takuya Fukamachi, Syunya Nakamura, Keisuke Watanabe, Takuya Watanabe 2016 -
Education (3):
- 1996 - 1999 The University of Tokyo Graduate School of Arts and Sciences Department of Multi-Disciplinary Sciences,General Systems Sciences
- 1994 - 1996 University of Tsukuba
- 1978 - 1982 Hiroshima University Faculty of Science Department of Mathematics
Professional career (1):
Work history (6):
Committee career (10):
- 2015/06 - 現在 情報処理学会 フェロー
- 2019/06 - 2023/06 日本ソフトウェア科学会 理事
- 2017/10 - 2022/03 九州大学 [文部科学省]成長分野を支える情報技術人材の育成拠点の形成(enPiT-Pro) スマートエスイー 連携大学 九州大学事業責任者
- 2016/10 - 2021/03 九州大学 [文部科学省]成長分野を支える情報技術人材の育成拠点の形成(第2期 enPiT) 組込みシステム分野 連携大学 九州大学事業責任者
- 2016/05 - 2017/03 日本ソフトウェア科学会 実践的IT教育研究会 (rePiT) 主査
- 2013/04 - 2017/03 情報処理学会ソフトウェア工学研究会 主査
- 2012/10 - 2017/03 文科省 分野・地域を超えた実践的情報教育恊働ネットワーク enPiT 幹事
- 2010/04 - 2016/03 電子情報通信学会ソフトウェアサイエンス研究会 運営委員
- 2011/04 - 2013/03 情報処理学会ソフトウェア工学研究会 幹事
- 2010/04 - 九州組込みソフトウェアコンソーシアム (QUEST) 理事
Show all
Awards (6):
- 2020/04 - 情報処理学会 情報処理学会論文誌ジャーナル/JIP特選論文
- 2019/09 - 情報処理学会 ソフトウェア工学研究会 情報処理学会 ソフトウェアエンジニアリングシンポジウム 2019 (SES 2019) 最優秀論文賞
- 2018/10 - ACM/IEEE 12th International Symposium on Empirical Software Engineering and Measurement (ESEM 2018) Best Industry Paper Award
- 2016/09 - 情報処理学会 ソフトウェア工学研究会 情報処理学会 ソフトウェア工学研究会 卓越研究賞
- 2013/09 - 情報処理学会 ソフトウェア工学研究会 情報処理学会 ソフトウェアエンジニアリングシンポジウム 2013 (SES 2013) 最優秀論文賞
- 2003/07 - 情報処理学会 山下記念研究賞
Show all
Association Membership(s) (5):
THE INSTITUTE OF ELECTRONICS, INFORMATION AND COMMUNICATION ENGINEERS
, INFORMATION PROCESSING SOCIETY OF JAPAN
, JAPAN SOCIETY FOR SOFTWARE SCIENCE AND TECHNOLOGY
, IEEE-CS
, ACM SIGSOFT
Return to Previous Page