Nakamura Masaki

Affiliation and department：
Job title： Professor
Homepage URL (1)： http://www.pu-toyama.ac.jp/IS/MN/

Research field (2)： Information theory , Software

Research keywords (19)：帰納法 , 検証 , 要求仕様 , 安全性・信頼性 , モジュールシステム , フォーマルメソッド , 検証システム , 認証プロトコル , 代数仕様 , 証明スコア , 項書き換えシステム , ソフトウェア工学 , 項書換システム , 問題モデル , CafeOBJ , システム安全性 , 形式手法 , 振舞仕様 , システム検証

Research theme for competitive and other funds (2)：

2022 - 2025 Bio- and digital technologies for the enzyme development and application for pharmaceutical synthesis
2019 - 2024 形式手法と数理最適化による高信頼かつ高効率な自動運転車群制御システムの構築

Papers (64)：

Jin Matsuzaki, Kazutoshi Sakakibara, Junzo Tachibana, Masaki Nakamura. Simultaneous Optimization of Stations Location and their Routing for Garbage Collecting Service. IEEJ Transactions on Electronics, Information and Systems. 2024. 144. 4. 363-371
Jin Matsuzaki, Kazutoshi Sakakibara, Masaki Nakamura, Shinya Watanabe. Large neighborhood local search method with MIP techniques for large-scale machining scheduling with many constraints. The Journal of Supercomputing. 2024
Shogo KOTANI, Masaki NAKAMURA, Kazutoshi SAKAKIBARA, Tatsuo MOTOYOSHI, Keisuke HOSHIKAWA. Prediction Methods for Traffic Accidents Using Formal Concept Analysis and Machine Learning. Transactions of the Society of Instrument and Control Engineers. 2023. 59. 10. 440-447
Yifan Wang, Masaki Nakamura, Kazutoshi Sakakibara, Yuki Okura. Formal Specification and Verification of an Autonomous Vehicle Control System by the OTS/CafeOBJ method (S). International Conferences on Software Engineering and Knowledge Engineering. 2023
Yifan Wang, Masaki Nakamura, Kazutoshi Sakakibara. Investigation of Formal Verification of the Autonomous Vehicle Control System by Specification Translation. 2023 International Technical Conference on Circuits/Systems, Computers, and Communications (ITC-CSCC). 2023

ｍore...

MISC (107)：

浅井智也, 中村正樹, 榊原一紀. 到達可能性解析と定理証明を用いたハイブリッドシステムの形式的検証の検討-A preliminary study of formal verification of hybrid systems using reachability analysis and theorem proof. システム制御情報学会研究発表講演会講演論文集. 2022. 66. 801-806
吉田暉, 松崎仁平, 榊原一紀, 中村正樹. 自動運転車群運行の全体最適化のための機械学習を用いたモデル予測制御-Model Predictive Control Using Machine Learning for Total Optimization of Multiple Autonomous Vehicle Systems. システム制御情報学会研究発表講演会講演論文集. 2022. 66. 1032-1039
北條佑斗, 鈴木皓大, 榊原一紀, 中村正樹, 渡邉幸夫, 篠田優, 浅野泰久. タンパク質可溶化予測のための機械学習モデルの形式概念分析による可視化-Visualization of machine learning models for predicting protein solubilization using formal concept analysis. システム制御情報学会研究発表講演会講演論文集. 2022. 66. 1118-1125
甲斐雅也, 中村正樹, 榊原一紀. 自動運転システムのSimulinkによるモデル化とSpaceExによる形式的検証-Modeling of autonomous driving systems using Simulink and their verification using SpaceEx. システム制御情報学会研究発表講演会講演論文集. 2022. 66. 807-813
松﨑仁平, 榊原一紀, 立花潤三, 中村正樹. ゴミ回収サービスにおけるステーション配置および回収ルートの同時最適化-Simultaneous Optimization of Stations Placement and their Routing for Garbage Collection Service-システム/分野横断型新システム創成合同研究会都市全体最適化・確率的最適化の動向と産業応用ベンチマーク問題. 電気学会研究会資料. ST / システム研究会 [編]. 2021. 2021. 44-49. 7-11

ｍore...

Education (3)：

1999 - 2002 Japan Advanced Institute of Science and Technology Department of Information Science Doctoral Program
1997 - 1999 Japan Advanced Institute of Science and Technology Department of Information Science Master’s Program
1993 - 1997 University of Toyama Faculty of Science Department of Mathematics

Professional career (1)：

博士(情報科学) (JAIST)

Work history (7)：

2023/04 - 現在 Toyama Prefectural University Faculty of Engineering, Department of Information Systems Engineering Professor
2020/04 - 2023/03 Toyama Prefectural University Faculty of Engineering, Department of Information Systems Engineering Associate Professor
2017/04 - 2020/03 Toyama Prefectural University Faculty of Engineering, Department of Electrical and Computer Engineering Associate Professor
2011 - 2017 Toyama Prefectural University Faculty of Engineering Department of Information Systems Engineering
2008 - 2011 Kanazawa University Institute of Science and Engineering Assistant Professor

Show all

Committee career (1)：

電子情報通信学会システム数理と応用研究専門委員

Awards (4)：

2022/11 - SICE SSI Best Paper Award
2021/11 - SICE SSI
2019/08 - 電子情報通信学会システムと信号処理サブソサエティ貢献賞実行委員会幹事として「回路とシステムワークショップ」の運営に尽力しその発展に貢献した
2015/12 - The 7th International Conference on Computer Science and its Application (CSA-15) Best Paper Award Proving Sufficient Completeness of Constructor-Based Algebraic Specifications by Rewriting

Association Membership(s) (3)：

日本ソフトウェア科学会 , 情報処理学会 , 電子情報通信学会

※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page