中村正樹 (Masaki Nakamura) - マイポータル

基本情報

所属: 富山県立大学工学部情報システム工学科教授

学位: 博士（情報科学）(JAIST)

J-GLOBAL ID: 201101039844375662
researchmap会員ID: B000001715

外部リンク: http://www.pu-toyama.ac.jp/IS/MN/

研究キーワード

研究分野

経歴

2003年 - 2007年

北陸先端科学技術大学院大学情報科学研究科, 助手
2007年 - 2008年

北陸先端科学技術大学院大学情報科学研究科, 助教
2008年 - 2011年

金沢大学, 理工研究域電子情報学系, 助教
2011年 - 2017年

富山県立大学, 工学部情報システム工学科, 講師
2017年4月 - 2020年3月

富山県立大学, 工学部電子・情報工学科, 准教授
2020年4月 - 2023年3月

富山県立大学, 工学部情報システム工学科, 准教授
2023年4月 - 現在

富山県立大学, 工学部情報システム工学科, 教授

受賞

2022年11月

SSI最優秀論文賞, 形式概念分析と機械学習による交通事故予測システムの検討, 計測自動制御学会

小谷祥悟, 中村正樹, 榊原一紀, 本吉達郎, 星川圭介
2021年11月

SSI研究奨励賞, 自動運転車群運行の全体最適化, 計測自動制御学会

吉田暉, 榊原一紀, 中村正樹
2019年8月

システムと信号処理サブソサエティ貢献賞, 実行委員会幹事として「回路とシステムワークショップ」の運営に尽力しその発展に貢献した, 電子情報通信学会

中村正樹
2015年12月

Best Paper Award, The 7th International Conference on Computer Science and its Application (CSA-15)

Masaki Nakamura, Daniel Gaina, Kazuhiro Ogata, Kokichi Futatsugi

論文

ゴミ収集・運搬サービスを対象としたステーション配置および経路の同時最適化

松﨑仁平, 榊原一紀, 立花潤三, 中村正樹

電気学会論文誌Ｃ（電子・情報・システム部門誌） 144(4) 363-371 2024年4月1日査読有り
Large neighborhood local search method with MIP techniques for large-scale machining scheduling with many constraints

Jin Matsuzaki, Kazutoshi Sakakibara, Masaki Nakamura, Shinya Watanabe

The Journal of Supercomputing 2024年2月10日査読有り
形式概念分析と機械学習による交通事故予測手法の開発

小谷祥悟, 中村正樹, 榊原一紀, 本吉達郎, 星川圭介

計測自動制御学会論文集 59(10) 440-447 2023年10月査読有り
Formal Specification and Verification of an Autonomous Vehicle Control System by the OTS/CafeOBJ method (S)

Yifan Wang, Masaki Nakamura, Kazutoshi Sakakibara, Yuki Okura

International Conferences on Software Engineering and Knowledge Engineering 2023年7月1日査読有り
Investigation of Formal Verification of the Autonomous Vehicle Control System by Specification Translation

Yifan Wang, Masaki Nakamura, Kazutoshi Sakakibara

2023 International Technical Conference on Circuits/Systems, Computers, and Communications (ITC-CSCC) 2023年6月25日査読有り
数理計画法とメタヒューリスティクスのハイブリッド型最適化によるローリング・スケジューリング

榊原一紀, 中田康祐, 松﨑仁平, 中村正樹

システム制御情報学会論文誌 36(6) 172-178 2023年6月15日査読有り
Formal verification of multi-car elevator systems using statistical model checking

Yuki Kitahara, Masaki Nakamura, Kazutoshi Sakakibara

The 38th International Technical Conference on Circuits/Systems, Computers, and Communications (ITC-CSCC), Special session: Mathematical Systems Science and its Applications 618-623 2023年6月査読有り
作業者の働き方を考慮した生産スケジューリングの確率計画モデル

榊原一紀, 中大輔, 中田康佑, 中村正樹

計測自動制御学会論文集 59(2) 77-87 2023年査読有り
実時間モデル検査による機械加工スケジュール導出ツールの構築—Developing a Scheduling Tool for Machining Centers Using Real-time Model Checking

澤枝良樹, 中田康佑, 角田裕也, 中村正樹, 榊原一紀

システム制御情報学会論文誌 = Transactions of the Institute of Systems, Control and Information Engineers 35(7) 182-191 2022年7月査読有り
Formal Verification of the Lim-Jeong-Park-Lee Autonomous Vehicle Control Protocol using the OTS/CafeOBJ Method.

Tatsuya Igarashi, Masaki Nakamura, Kazutoshi Sakakibara

SEKE 574-579 2022年査読有り
The MIP-Based Large Neighborhood Local Search Method for Large-Scale Optimization Problems with Many Constraints: Application to the Machining Scheduling.

Jin Matsuzaki, Kazutoshi Sakakibara, Masaki Nakamura

ICMLC 242-247 2022年査読有り
Machine Learning for Protein Solubility Prediction.

Kodai Suzuki, Kazutoshi Sakakibara, Masaki Nakamura, Suguru Shinoda, Yasuhisa Asano

ICMLC 237-241 2022年査読有り
Toward Prediction of Traffic Accidents Using Formal Concept Analysis of Actual Accidents and Related Data.

Shogo Kotani, Masaki Nakamura, Kazutoshi Sakakibara, Tatsuo Motoyoshi, Keisuke Hoshikawa

ICMLC 209-214 2022年査読有り
An Investigation of Formal Verification of Control Policy of Multi-Car Elevator Systems Using Statistical Model Checking.

Yuki Kitahara, Masaki Nakamura, Kazutoshi Sakakibara

ICMLC 118-193 2022年査読有り
用水路転落事故防止に向けた簡易的対策手法の検討― アンケート調査と測域センサを用いた歩行動線分析から ―

星川圭介, 宮口知也, 寺田和真, 榊原一紀, 中村正樹, 大原誠, 田村悟志, 竹沢良治

農業農村工学会論文集 90(2) I_251-I_258 2022年査読有り
Specification and Verification of Multitask Real-Time Systems Using the OTS/CafeOBJ Method.

Masaki Nakamura, Shuki Higashi, Kazutoshi Sakakibara, Kazuhiro Oga

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences 105-A(5) 823-832 2022年査読有り
Formal verification of multitask hybrid systems by the OTS/CafeOBJ method.

Masaki Nakamura, Kazutoshi Sakakibara, Yuki Okura, Kazuhiro Ogata

SEKE 114-119 2021年査読有り
Formal Verification of Multitask Hybrid Systems by the OTS/CafeOBJ Method.

Masaki Nakamura, Kazutoshi Sakakibara, Yuki Okura, Kazuhiro Ogata

International Journal of Software Engineering and Knowledge Engineering 31(11&12) 1541-1559 2021年査読有り
Stability of termination and sufficient-completeness under pushouts via amalgamation

Daniel Găină, Masaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi

Theoretical Computer Science 848 82-105 2020年12月24日査読有り責任著者
Formal verification of Fischer's real-time mutual exclusion protocol by the OTS/CafeOBJ method

Masaki Nakamura, Shuki Higashi, Kazutoshi Sakakibara, Azuhiro Ogata

2020 59th Annual Conference of the Society of Instrument and Control Engineers of Japan, SICE 2020 1210-1215 2020年9月23日査読有り

もっとみる

MISC

107

到達可能性解析と定理証明を用いたハイブリッドシステムの形式的検証の検討—A preliminary study of formal verification of hybrid systems using reachability analysis and theorem proof

浅井智也, 中村正樹, 榊原一紀

システム制御情報学会研究発表講演会講演論文集 66 801-806 2022年5月
自動運転車群運行の全体最適化のための機械学習を用いたモデル予測制御—Model Predictive Control Using Machine Learning for Total Optimization of Multiple Autonomous Vehicle Systems

吉田暉, 松崎仁平, 榊原一紀, 中村正樹

システム制御情報学会研究発表講演会講演論文集 66 1032-1039 2022年5月
タンパク質可溶化予測のための機械学習モデルの形式概念分析による可視化—Visualization of machine learning models for predicting protein solubilization using formal concept analysis

北條佑斗, 鈴木皓大, 榊原一紀, 中村正樹, 渡邉幸夫, 篠田優, 浅野泰久

システム制御情報学会研究発表講演会講演論文集 66 1118-1125 2022年5月
自動運転システムのSimulinkによるモデル化とSpaceExによる形式的検証—Modeling of autonomous driving systems using Simulink and their verification using SpaceEx

甲斐雅也, 中村正樹, 榊原一紀

システム制御情報学会研究発表講演会講演論文集 66 807-813 2022年5月
ゴミ回収サービスにおけるステーション配置および回収ルートの同時最適化—Simultaneous Optimization of Stations Placement and their Routing for Garbage Collection Service—システム/分野横断型新システム創成合同研究会都市全体最適化・確率的最適化の動向と産業応用ベンチマーク問題

松﨑仁平, 榊原一紀, 立花潤三, 中村正樹

電気学会研究会資料. ST / システム研究会 [編] 2021(44-49) 7-11 2021年12月5日
用水路事故の実態解明と防止策評価のための人流測定の試み—On Human Flow Measurement Techniques for Analyzing Fall Accidents into Waterways and Evaluation of Preventives—システム研究会システム技術一般

寺田和真, 榊原一紀, 星川圭介, 中村正樹, 大原誠

電気学会研究会資料. ST / システム研究会 [編] 2021(14-22) 17-21 2021年6月12日
シェアリング車両群最適運行のための数理計画モデルの一構成法—A mathematical programming model for group of sharing vehicles

杉山達也, 榊原一紀, 中村正樹, 稲元勉, 玉置久

システム制御情報学会研究発表講演会講演論文集 65 707-714 2021年5月
OTS/CafeOBJ法を用いた実時間制約による自動運転車群制御アルゴリズムの形式的検証—Formal verification for group control algorithms of autonomous vehicles using the Timed OTS/CafeOBJ method

五十嵐竜也, 中村正樹, 榊原一紀

システム制御情報学会研究発表講演会講演論文集 65 494-501 2021年5月
住民アンケートを反映したゴミステーション再配置のための数理計画モデル—A Mathematical Programming Model for Relocation of Garbage Stations Reflecting Questionnaires to Residents

松﨑仁平, 森耕平, 宮窪航希, 内藤日向子, 榊原一紀, 立花潤三, 中村正樹

システム制御情報学会研究発表講演会講演論文集 65 688-694 2021年5月
住民の利便性および回収コストを反映したゴミ回収サービスの数理計画モデル—A Mathematical Programming Model of Garbage Collection Services Considering Both of Convenience of Residents and Routing Costs—システム研究会都市のモデル化およびその周辺技術

松﨑仁平, 榊原一紀, 立花潤三, 中村正樹

電気学会研究会資料. ST / システム研究会 [編] 2021(7-9) 15-20 2021年4月30日
混合整数計画モデルに基づくメタヒューリスティックスと数理計画法のハイブリッド型最適化技法—作業者の働き方を考慮した機械加工スケジューリング

中田康佑, 澤枝良樹, 角田裕也, 榊原一紀, 中村正樹

進化計算学会論文誌 12(3) 61-72 2021年
数理最適化と機械学習に基づく高効率な高密度自動運転車群制御システムの開発—Mathematical Programming and Machine Learning Models for High Efficient Autonomous Vehicle Control Systems—システム分野横断型新システム創成合同研究会都市全体最適化・確率的最適化の動向と産業応用ベンチマーク問題

榊原一紀, 山碕達己, 中村正樹, 杉山達也, 玉置久, 稲元勉

電気学会研究会資料. ST / システム研究会 [編] 2020(54-61) 1-3 2020年12月12日
機械加工スケジューリング問題の時間オートマトンによるモデル化とモデル検査による最適化—Modeling of machine scheduling problems in timed automata and optimization by model checking

澤枝良樹, 中田康佑, 中村正樹, 榊原一紀

回路とシステムワークショップ論文集 Workshop on Circuits and Systems 33 84-89 2020年11月7日
OTS/CafeOBJ法によるマルチタスク実時間システムの形式的検証 (システム数理と応用)

東周輝, 中村正樹, 榊原一紀, 緒方和博

電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 119(470) 25-30 2020年10月28日
高密度移動体の運行計画最適化に関する研究

杉山達也, 榊原一紀, 中村正樹, 大倉裕貴, 稲元勉, 玉置久

システム制御情報学会研究発表講演会講演論文集 64 943-947 2020年5月20日
高密度移動体運行最適化のための数理計画モデルの一構成法 (システム研究会都市のモデル化およびその周辺技術)

杉山達也, 榊原一紀, 中村正樹, 大倉裕貴, 稲元勉, 玉置久

電気学会研究会資料. ST 2020(14) 13-16 2020年5月19日
アミノ酸配列と構造情報に基づくタンパク質の諸性質を対象とした形式概念分析の試み (システム数理と応用)

尾﨑裕樹, 山碕達己, 土屋勇貴, 次田凌, 中村正樹, 榊原一紀, 篠田優, 浅野泰久

電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 119(470) 5-8 2020年3月9日
非線形最適制御によるマルチエージェントシステムの協調制御について

大倉裕貴, 小島千昭, 中村正樹, 榊原一紀, 本吉達郎

自動制御連合講演会講演論文集 63 1110-1113 2020年
高密度空間における自動運転車群による旅客輸送サービスの最適化 (システム分野横断型新システム創成合同研究会都市全体最適化・確率的最適化の動向と産業応用ベンチマーク問題)

山碕達己, 榊原一紀, 中村正樹, 杉山達也, 玉置久

電気学会研究会資料. ST 2019(54) 5-10 2019年12月7日
マシニングセンタにおけるスケジューリングの最適化 (情報システム研究会知的情報システム・その他一般)

中田康佑, 中大輔, 澤枝良樹, 榊原一紀, 中村正樹

電気学会研究会資料. IS 2019(60) 55-58 2019年11月9日

もっとみる

担当経験のある科目(授業)

所属学協会

共同研究・競争的資金等の研究課題

バイオ技術とデジタル技術の融合による酵素開発と医薬品合成への利用

日本学術振興会科学研究費助成事業基盤研究(A) 基盤研究(A) 2022年4月 - 2025年3月

浅野泰久, 山口拓也, 榊原一紀, 中村正樹
形式手法と数理最適化による高信頼かつ高効率な自動運転車群制御システムの構築

日本学術振興会科学研究費助成事業基盤研究(C) 基盤研究(C) 2019年4月 - 2024年3月

中村正樹

学歴

1993年 - 1997年

富山大学, 理学部, 数学科
1997年 - 1999年

北陸先端科学技術大学院大学, 情報科学研究科, 博士前期課程
1999年 - 2002年

北陸先端科学技術大学院大学, 情報科学研究科, 博士後期課程

委員歴

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

中村正樹

基本情報

研究キーワード

研究分野

経歴

受賞

論文

MISC

担当経験のある科目(授業)

所属学協会

共同研究・競争的資金等の研究課題

学歴

委員歴

メニュー

共著者の一覧