Masaki Nakamura

Profile Information

Affiliation: Professor, Faculty of Engineering Department of Information Systems Engineering, Toyama Prefectural University

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

J-GLOBAL ID: 201101039844375662
researchmap Member ID: B000001715

External link: http://www.pu-toyama.ac.jp/IS/MN/

Research Interests

Research Areas

Research History

2003 - 2007

Japan Advanced Institute of Science and Technology
2007 - 2008

Japan Advanced Institute of Science and Technology
2008 - 2011

Assistant Professor, Institute of Science and Engineering, Kanazawa University
2011 - 2017

Faculty of Engineering Department of Information Systems Engineering, Toyama Prefectural University
Apr, 2017 - Mar, 2020

Associate Professor, Faculty of Engineering, Department of Electrical and Computer Engineering, Toyama Prefectural University
Apr, 2020 - Mar, 2023

Associate Professor, Faculty of Engineering, Department of Information Systems Engineering, Toyama Prefectural University
Apr, 2023 - Present

Professor, Faculty of Engineering, Department of Information Systems Engineering, Toyama Prefectural University

Awards

Papers

Simultaneous Optimization of Stations Location and their Routing for Garbage Collecting Service

Jin Matsuzaki, Kazutoshi Sakakibara, Junzo Tachibana, Masaki Nakamura

IEEJ Transactions on Electronics, Information and Systems, 144(4) 363-371, Apr 1, 2024 Peer-reviewed
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, Feb 10, 2024 Peer-reviewed
Prediction Methods for Traffic Accidents Using Formal Concept Analysis and Machine Learning

Shogo KOTANI, Masaki NAKAMURA, Kazutoshi SAKAKIBARA, Tatsuo MOTOYOSHI, Keisuke HOSHIKAWA

Transactions of the Society of Instrument and Control Engineers, 59(10) 440-447, Oct, 2023 Peer-reviewed
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, Jul 1, 2023 Peer-reviewed
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), Jun 25, 2023 Peer-reviewed
Rolling Scheduling by Hybrid Optimization Mixing Mathematical Programming and Meta-heuristics

Kazutoshi Sakakibara, Kosuke Nakata, Jin Matsuzaki, Masaki Nakamura

Transactions of the Institute of Systems, Control and Information Engineers, 36(6) 172-178, Jun 15, 2023 Peer-reviewed
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, Jun, 2023 Peer-reviewed
A Stochastic Programming Model for Production Scheduling Problems Considering Workstyles of Operators

SAKAKIBARA Kazutoshi, NAKA Daisuke, NAKATA Kosuke, NAKAMURA Masaki

Transactions of the Society of Instrument and Control Engineers, 59(2) 77-87, 2023 Peer-reviewed
実時間モデル検査による機械加工スケジュール導出ツールの構築—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, Jul, 2022 Peer-reviewed
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 Peer-reviewed
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 Peer-reviewed
Machine Learning for Protein Solubility Prediction.

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

ICMLC, 237-241, 2022 Peer-reviewed
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 Peer-reviewed
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 Peer-reviewed
Evaluation of Supplemental Countermeasures to Prevent Fall Accidents into Irrigation Channels— Based on the questionnaire survey and measurement with laser range finder —

HOSHIKAWA Keisuke, MIYAGUCHI Tomoya, TERADA Kazuma, SAKAKIBARA Kazutoshi, NAKAMURA Masaki, OHARA Makoto, TAMURA Satoshi, TAKEZAWA Yoshiharu

Transactions of The Japanese Society of Irrigation, Drainage and Rural Engineering, 90(2) I_251-I_258, 2022 Peer-reviewed
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 Peer-reviewed
Formal verification of multitask hybrid systems by the OTS/CafeOBJ method.

Masaki Nakamura, Kazutoshi Sakakibara, Yuki Okura, Kazuhiro Ogata

SEKE, 114-119, 2021 Peer-reviewed
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 Peer-reviewed
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, Dec 24, 2020 Peer-reviewedCorresponding author
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, Sep 23, 2020 Peer-reviewed

Misc.

107

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

電気学会研究会資料. ST / システム研究会 [編], 2021(7-9) 15-20, Apr 30, 2021
A Hybrid Optimization Method Mixing Metaheuristics and Mathematical Programming Techniques Based on A Mixed Integer Programming Model: Machine Scheduling Problems Considering Workloads of Operaters

Kosuke Nakata, Sawaeda Yoshiki, Tsunoda Yuya, Sakakibara Kazutoshi, Nakamura Masaki

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

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

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

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

回路とシステムワークショップ論文集 Workshop on Circuits and Systems, 33 84-89, Nov 7, 2020
Specification description and verification of multitask hybrid systems in the OTS/CafeOBJ method

Masaki Nakamura, Kazutoshi Sakakibara, Kazuhiro Ogata

CoRR, 119(470) 25-30, Oct 28, 2020
A Mathematical Programming Model for Operational Planning of Vehicles in High-Density Areas

64 943-947, May 20, 2020
Mathematical Programming Model for Operational Planning of Vehicles in High-Density Areas

2020(14) 13-16, May 19, 2020
Formal concept analysis of properties of proteins based on amino-acid sequences and structure information

119(470) 5-8, Mar 9, 2020
On Cooperative Control for Multi-agent Systems Based on Nonlinear Optimal Control

Okura Yuki, Kojima Chiaki, Nakamura Masaki, Sakakibara Kazutoshi, Motoyoshi Tatsuo

Proceedings of the Japan Joint Automatic Control Conference, 63 1110-1113, 2020
Optimization of passenger transportation services by autonomous vehicles in high density environments

2019(54) 5-10, Dec 7, 2019
Optimization of Schedules on CNC machines

2019(60) 55-58, Nov 9, 2019

Teaching Experience

Professional Memberships

Research Projects

Bio- and digital technologies for the enzyme development and application for pharmaceutical synthesis

Grants-in-Aid for Scientific Research Grant-in-Aid for Scientific Research (A), Grant-in-Aid for Scientific Research (A), Japan Society for the Promotion of Science, Apr, 2022 - Mar, 2025
形式手法と数理最適化による高信頼かつ高効率な自動運転車群制御システムの構築

科学研究費助成事業基盤研究(C), 基盤研究(C), 日本学術振興会, Apr, 2019 - Mar, 2024

中村正樹

Education

Committee Memberships

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

Profile Information

Research Interests

Research Areas

Research History

Awards

Papers

Misc.

Teaching Experience

Professional Memberships

Research Projects

Education

Committee Memberships

Menu

Coauthors