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

基本情報

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

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

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

研究キーワード

研究分野

経歴

論文

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日査読有り
Formal verification and mathematical optimization for autonomous vehicle group controllers

Masaki Nakamura, Kazutoshi Sakakibara

Proceedings - 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2019 732-733 2019年9月査読有り
On Verifying Formula Transformations in Optimization Problems by Algebraic Specifications

Proceedings of the SICE Annual Conference 2018 1350-1353 2018年9月査読有り
限量記号消去法に基づく最適化問題に対する感度解析

浅井康平, 榊原一紀, 中村正樹

進化計算学会論文誌 9(2) 53-60 2018年査読有り
A preliminary study on formal verification of formula transformations for mathematical programming

Masaki Nakamura, Kazutoshi Sakakibara

Lecture Notes in Engineering and Computer Science 2233 112-116 2018年査読有り
Automated Test Case Generation from OTS/CafeOBJ Specifications by Specification Translation

Ryusei Mori, Masaki Nakamura

Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2017 403-404 2017年4月査読有り
Foreword.

Masaki Nakamura

IEICE Transactions 100-D(6) 1157 2017年
A preliminary study of test case generation by CafeOBJ rewrite specifications

Masaki Nakamura

2016 IEEE 5th Global Conference on Consumer Electronics, GCCE 2016 1-2 2016年12月27日査読有り
The visualization system of center of pressure and base of support in sit-to-stand movement

Masaki Nakamura, Akira Urashima, Tomoji Toriyama, Toshihiro Ninomiya, Noriyuki Fukumoto, Yuuki Aiboshi

2015 IEEE 4th Global Conference on Consumer Electronics, GCCE 2015 502-503 2016年2月3日査読有り
制約充足問題に対する人間-機械の協調型最適化手法と制約構造の可視化を目的とした形式概念分析の試み : 大学時間割作成業務を対象として (特集論文人を誘う(いざなう、さそう)インタフェース)

ヒューマンインタフェース学会論文誌 The transactions of Human Interface Society 18(1) 133-140 2016年査読有り
看護師向け指差し呼称検知システムの開発

浦島智, 鳥山朋二, 中村正樹, 中川美都子, 大島淳一, 吉野修, 野村忠雄

電子情報通信学会論文誌D J99-D(2) 224-231 2015年査読有り
FOREWORD

NAKAMURA Masaki

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences 98(2) 611-611 2015年
Proving sufficient completeness of constructor-based algebraic specifications

Masaki Nakamura, Daniel Gaina, Kazuhiro Ogata, Kokichi Futatsugi

Lecture Notes in Electrical Engineering 373 15-21 2015年
An incremental approach to local equality predicates in OBJ specification languages

Masaki Nakamura, Kokichi Futatsugi

2014 11th Int. Joint Conf. on Computer Science and Software Engineering: "Human Factors in Computer Science and Software Engineering" - e-Science and High Performance Computing: eHPC, JCSSE 2014 337-342 2014年
Incremental proofs of termination, confluence and sufficient completeness of OBJ specifications

Masaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 8373 92-109 2014年査読有り
Incremental proofs of operational termination with modular conditional dependency pairs

Masaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi

Lecture Notes in Engineering and Computer Science 2202 516-521 2013年
On proving operational termination incrementally with modular conditional dependency pairs

Masaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi

IAENG International Journal of Computer Science 40(2) 117-123 2013年
Preliminary results of pointing and calling detection system for nurses

Akira Urashima, Masaki Nakamura, Tomoji Toriyama, Junichi Oshima, Mitsuko Nakagawa, Tadao Nomura

ACM International Conference Proceeding Series 192-194 2013年査読有り
On describing terminating algebraic specifications based on their models

Masaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi

Lecture Notes in Engineering and Computer Science 2195 269-274 2012年