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

中村 正樹

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

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


職名： 教授
ホームページURL (1件)： http://www.pu-toyama.ac.jp/IS/MN/
研究分野 (2件)： 情報学基礎論 ,  ソフトウェア
研究キーワード (19件)： 帰納法 ,  検証 ,  要求仕様 ,  安全性・信頼性 ,  モジュールシステム ,  フォーマルメソッド ,  検証システム ,  認証プロトコル ,  代数仕様 ,  証明スコア ,  項書き換えシステム ,  ソフトウェア工学 ,  項書換システム ,  問題モデル ,  CafeOBJ ,  システム安全性 ,  形式手法 ,  振舞仕様 ,  システム検証
競争的資金等の研究課題 (2件)：
  • 2022 - 2025 バイオ技術とデジタル技術の融合による酵素開発と医薬品合成への利用
  • 2019 - 2024 形式手法と数理最適化による高信頼かつ高効率な自動運転車群制御システムの構築
論文 (67件)：
  • 本吉 達郎, 朝見 義樹, 榊原 一紀, 中村 正樹, 高木 昇, 澤井 圭, 増田 寛之, 高野 博史. e-learningシステムの解答履歴データに対する形式概念分析を用いた解答傾向の分析手法の構築-Method for Analyzing Answer Tendency Analysis of e-learning System Answer History Data Using Formal Concept Analysis-SCI'23論文 特集号(4). システム制御情報学会論文誌 = Transactions of the Institute of Systems, Control and Information Engineers. 2024. 37. 7. 185-194
  • 松﨑 仁平, 榊原 一紀, 立花 潤三, 中村 正樹. ゴミ収集・運搬サービスを対象としたステーション配置および経路の同時最適化. 電気学会論文誌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
もっと見る
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
  • 星川圭介, 寺田和真, 田村悟志, 榊原一紀, 中村正樹, 本吉達郎. 動画撮影とAIを組み合わせた用水路沿いの歩行動線の分析. 農業農村工学会大会講演会講演要旨集(CD-ROM). 2022. 2022
もっと見る
学歴 (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