研究者
J-GLOBAL ID：201101039844375662   更新日: 2024年04月12日

中村 正樹

Nakamura Masaki
所属機関・部署：
富山県立大学 工学部 情報システム工学科

富山県立大学 工学部 情報システム工学科 について


職名： 教授
ホームページURL (1件)： http://www.pu-toyama.ac.jp/IS/MN/
研究分野 (2件)： 情報学基礎論 ,  ソフトウェア
研究キーワード (19件)： 帰納法 ,  検証 ,  要求仕様 ,  安全性・信頼性 ,  モジュールシステム ,  フォーマルメソッド ,  検証システム ,  認証プロトコル ,  代数仕様 ,  証明スコア ,  項書き換えシステム ,  ソフトウェア工学 ,  項書換システム ,  問題モデル ,  CafeOBJ ,  システム安全性 ,  形式手法 ,  振舞仕様 ,  システム検証
競争的資金等の研究課題 (2件)：
  • 2022 - 2025 バイオ技術とデジタル技術の融合による酵素開発と医薬品合成への利用
  • 2019 - 2024 形式手法と数理最適化による高信頼かつ高効率な自動運転車群制御システムの構築
論文 (64件)：
  • 松﨑 仁平, 榊原 一紀, 立花 潤三, 中村 正樹. ゴミ収集・運搬サービスを対象としたステーション配置および経路の同時最適化. 電気学会論文誌C(電子・情報・システム部門誌). 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
  • 小谷 祥悟, 中村 正樹, 榊原 一紀, 本吉 達郎, 星川 圭介. 形式概念分析と機械学習による交通事故予測手法の開発. 計測自動制御学会論文集. 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
もっと見る
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
もっと見る
学歴 (3件)：
  • 1999 - 2002 北陸先端科学技術大学院大学 情報科学研究科 博士後期課程
  • 1997 - 1999 北陸先端科学技術大学院大学 情報科学研究科 博士前期課程
  • 1993 - 1997 富山大学 理学部 数学科
学位 (1件)：
  • 博士(情報科学) (JAIST)
経歴 (7件)：
  • 2023/04 - 現在 富山県立大学 工学部 情報システム工学科 教授
  • 2020/04 - 2023/03 富山県立大学 工学部 情報システム工学科 准教授
  • 2017/04 - 2020/03 富山県立大学 工学部 電子・情報工学科 准教授
  • 2011 - 2017 富山県立大学 工学部 情報システム工学科 講師
  • 2008 - 2011 金沢大学 理工研究域 電子情報学系 助教
全件表示
委員歴 (1件)：
  • 電子情報通信学会 システム数理と応用研究専門委員
受賞 (4件)：
  • 2022/11 - 計測自動制御学会 SSI最優秀論文賞 形式概念分析と機械学習による交通事故予測システムの検討
  • 2021/11 - 計測自動制御学会 SSI研究奨励賞 自動運転車群運行の全体最適化
  • 2019/08 - 電子情報通信学会 システムと信号処理サブソサエティ貢献賞 実行委員会幹事として「回路とシステムワークショップ」の運営に尽力しその発展に貢献した
  • 2015/12 - The 7th International Conference on Computer Science and its Application (CSA-15) Best Paper Award
所属学会 (3件)：
日本ソフトウェア科学会 ,  情報処理学会 ,  電子情報通信学会
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM