中村正樹 NAKAMURA Masaki

研究者番号	40345658
その他のID
外部サイト
所属 (現在)	2025年度: 富山県立大学, 情報工学部, 教授
所属 (過去の研究課題情報に基づく) *注記	2024年度: 富山県立大学, 情報工学部, 教授 2022年度 – 2023年度: 富山県立大学, 工学部, 教授 2019年度 – 2022年度: 富山県立大学, 工学部, 准教授 2011年度 – 2015年度: 富山県立大学, 工学部, 講師 2008年度 – 2010年度: 金沢大学, 電子情報学系, 助教 2007年度: 北陸先端科学技術大学院大学, 情報科学研究科, 助教 2003年度 – 2006年度: 北陸先端科学技術大学院大学, 情報科学研究科, 助手
審査区分/研究分野	研究代表者ソフトウエア / 小区分60020:数理情報学関連研究代表者以外ソフトウエア / 小区分23030:建築計画および都市計画関連 / 中区分38:農芸化学およびその関連分野 / 理工系
キーワード	研究代表者代数仕様 / 形式手法 / Maude / CafeOBJ / 項書き換えシステム / 仕様変換 / モジュールシステム / 項書換えシステム / 群制御 / 移動体 … もっと見る / 数理最適化 / マルチエージェントシミュレーション / 自動運転車群制御 / 確率システム / 自動運転車 / SUMO / UPPAAL / OTS/CafeOBJ法 / 統計的モデル検査 / 実時間システム / ハイブリッドシステム / シミュレーション / モデル検査 / 定理証明 / UML / 仕様検証 / プログラム変換 / テスト生成 / 項書換システム / 自動ソフトウェアテスト / ソフトウェアテスト / 検証システム … もっと見る研究代表者以外 CafeOBJ / 振舞仕様 / システム検証 / 形式手法 / behavioral specification / formal methods / system verification / システム安全性 / 安全性 / ソフトウェア工学 / 仕様記述・仕様検証 / 証明スコア / 問題モデル / 住民合意形成 / マルチエージェントシミュレーション / 橋梁の統廃合計画 / 位置情報ビッグデータ / 可溶性変異 / 医薬品合成 / 人工知能 / デジタル技術 / 酵素 / requirement specification / system safety / problem model / 要求仕様 / フォーマルメソッド / e-commerce protocol / authentication protocol / unknown virus detection / system security / 抽象機械 / 移動コード / 実時間システム / セキュアプロトコル / 安全性検証 / Java仮想機械 / CadeOBJ / UNITY / 自動証明器PigNose / 振舞モデル検査 / ウィルス検査 / 検証 / cafeOBJ / 電子商取引プロトコル / 認証プロトコル / 未知ウイルス検知 / 定理証明 / 代数仕様 / 信頼性 / 安全性・信頼性 / 場合分け / 帰納法 / 仕様検証 / 仕様記述隠す

ビッグデータを活用した橋梁の統廃合計画及び住民合意形成に資する住民不利益の定量化
- 研究代表者
  
  立花潤三
- 研究期間 (年度)
  2023 – 2025
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分23030:建築計画および都市計画関連
- 研究機関
  富山県立大学
バイオ技術とデジタル技術の融合による酵素開発と医薬品合成への利用
- 研究代表者
  
  浅野泰久
- 研究期間 (年度)
  2022 – 2024
- 研究種目
  
  基盤研究(A)
- 審査区分
  
  中区分38:農芸化学およびその関連分野
- 研究機関
  富山県立大学
形式手法と数理最適化による高信頼かつ高効率な自動運転車群制御システムの構築研究代表者
- 研究代表者
  
  中村正樹
- 研究期間 (年度)
  2019 – 2024
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分60020:数理情報学関連
- 研究機関
  富山県立大学
証明スコア法に基づく革新的仕様検証システムの構築
- 研究代表者
  
  二木厚吉
- 研究期間 (年度)
  2011 – 2015
- 研究種目
  
  基盤研究(S)
- 研究分野
  
  ソフトウエア
- 研究機関
  北陸先端科学技術大学院大学
モジュラー書換え理論に基づく代数型ソフトウェア開発言語の構築研究代表者
- 研究代表者
  
  中村正樹
- 研究期間 (年度)
  2010 – 2012
- 研究種目
  
  若手研究(B)
- 研究分野
  
  ソフトウエア
- 研究機関
  富山県立大学
   金沢大学
証明スコアによる問題モデルの検証技術
- 研究代表者
  
  二木厚吉
- 研究期間 (年度)
  2006 – 2009
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  ソフトウエア
- 研究機関
  北陸先端科学技術大学院大学
モジュラーな項書き換えシステムに基づく仕様検証システムの開発研究代表者
- 研究代表者
  
  中村正樹
- 研究期間 (年度)
  2006 – 2008
- 研究種目
  
  若手研究(B)
- 研究分野
  
  ソフトウエア
- 研究機関
  金沢大学
   北陸先端科学技術大学院大学
振舞仕様に基づく問題モデルの構築と検証
- 研究代表者
  
  二木厚吉
- 研究期間 (年度)
  2003 – 2005
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  ソフトウエア
- 研究機関
  北陸先端科学技術大学院大学
振舞仕様に基づく安全性検証の研究
- 研究代表者
  
  二木厚吉
- 研究期間 (年度)
  2000 – 2003
- 研究種目
  
  特定領域研究
- 審査区分
  
  理工系
- 研究機関
  北陸先端科学技術大学院大学

[雑誌論文] Thermostability enhancement of l-glutamate oxidase from Streptomyces sp. NT1 by full consensus protein design2022
- 著者名/発表者名
  Hayashi Yuka、Nakamura Masaya、Nakano Shogo、Ito Sohei、Asano Yasuhisa、Sugimori Daisuke
- 雑誌名
  
  Journal of Bioscience and Bioengineering
  
  巻: 133 号: 4 ページ: 309-315
- DOI
  10.1016/j.jbiosc.2021.12.008
- NAID
  210000159574
- 査読あり
- データソース
  KAKENHI-PROJECT-17H06169, KAKENHI-PROJECT-22H00361
[雑誌論文] Specification and Verification of Multitask Real-Time Systems Using the OTS/CafeOBJ Method2022
- 著者名/発表者名
  NAKAMURA Masaki、HIGASHI Shuki、SAKAKIBARA Kazutoshi、OGATA Kazuhiro
- 雑誌名
  
  IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
  
  巻: E105.A 号: 5 ページ: 823-832
- DOI
  10.1587/transfun.2021MAP0007
- NAID
  130008091333
- ISSN
  0916-8508, 1745-1337
- 年月日
  2022-05-01
- 言語
  英語
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-19K11842
[雑誌論文] Formal Verification of Multitask Hybrid Systems by the OTS/CafeOBJ Method2021
- 著者名/発表者名
  Nakamura Masaki、Sakakibara Kazutoshi、Okura Yuki、Ogata Kazuhiro
- 雑誌名
  
  International Journal of Software Engineering and Knowledge Engineering
  
  巻: 31 号: 11n12 ページ: 1541-1559
- DOI
  10.1142/s0218194021400118
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-19K11842
[雑誌論文] Stability of termination and sufficient-completeness under pushouts via amalgamation2020
- 著者名/発表者名
  Gaina Daniel、Nakamura Masaki、Ogata Kazuhiro、Futatsugi Kokichi
- 雑誌名
  
  Theoretical Computer Science
  
  巻: 848 ページ: 82-105
- DOI
  10.1016/j.tcs.2020.09.024
- 査読あり / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-19K11842, KAKENHI-PROJECT-20K03718
[雑誌論文] 構成子に基づく順序ソートパラメータ化仕様の十分完全性について2015
- 著者名/発表者名
  中村正樹，ガイナダニエルミルチェア，緒方和博，二木厚吉
- 雑誌名
  
  電子情報通信学会，信学技報
  
  巻: vol.114, no.510, SS2014-55 ページ: 1-6
- 謝辞記載あり
- データソース
  KAKENHI-PROJECT-23220002
[雑誌論文] Proving Sufficient Completeness of Constructor-based Algebraic Specifications2015
- 著者名/発表者名
  Masaki Nakamura, Daniel Gaina, Kazuhiro Ogata and Kokichi Futatsugi
- 雑誌名
  
  Springer Lecture Notes in Electrical Engineering (Advances in Computer Science and Ubiquitous Computing)
  
  巻: 373 ページ: 15-21
- DOI
  10.1007/978-981-10-0281-6_3
- ISBN
  9789811002809, 9789811002816
- 査読あり / 謝辞記載あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-23220002
[雑誌論文] An incremental approach to local equality predicates in OBJ specification languages2014
- 著者名/発表者名
  Masaki Nakamura, Kokichi Futatsugi
- 雑誌名
  
  Proc. of Intl. Joint Conference on Computer Science and Software Engineering (11th JCSSE), IEEE
  
  巻: - ページ: 337-342
- DOI
  10.1109/jcsse.2014.6841891
- 査読あり / 謝辞記載あり
- データソース
  KAKENHI-PROJECT-23220002
[雑誌論文] Incremental proofs of termination, confluence and sufficient completeness of OBJ specifications2014
- 著者名/発表者名
  Masaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi
- 雑誌名
  
  Specification, Algebra, and Software, LNCS, Springer
  
  巻: 8373 ページ: 92-109
- DOI
  10.1007/978-3-642-54624-2_5
- ISBN
  9783642546235, 9783642546242
- 査読あり / 謝辞記載あり
- データソース
  KAKENHI-PROJECT-23220002
[雑誌論文] A Hierarchical Approach to Operational Termination of　Algebraic Specifications2013
- 著者名/発表者名
  Masaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi
- 雑誌名
  
  Proceedings of the International Conference on Electronics, Information and Communication (ICEIC 2013)
  
  巻: - ページ: 144-145
- 査読あり
- データソース
  KAKENHI-PROJECT-23220002
[雑誌論文] Incremental Proofs of Operational Termination with Modular Conditional Dependency Pairs2013
- 著者名/発表者名
  Masaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi
- 雑誌名
  
  Proceedings of the International MultiConference of Engineers and Computer Scientists 2013
  
  巻: I, IMECS ページ: 516-521
- 査読あり
- データソース
  KAKENHI-PROJECT-23220002
[雑誌論文] On Proving Operational Termination Incrementally with Modular Conditional Dependency Pairs2013
- 著者名/発表者名
  Masaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi
- 雑誌名
  
  IAENG International Journal of Computer Science
  
  巻: 40-2 ページ: 117-123
- 査読あり
- データソース
  KAKENHI-PROJECT-23220002
[雑誌論文] On ProvingOperational TerminationIncrementally with ModularConditional Dependency Pairs2013
- 著者名/発表者名
  Masaki Nakamura, KazuhiroOgata, andKokichi Futatsugi
- 雑誌名
  
  IAENGInternational Journal of ComputerScience
  
  巻: 40 ページ: 117-123
- URL
  http://www.iaeng.org/IJCS/issues_v40/issue_2/index.html
- 査読あり
- データソース
  KAKENHI-PROJECT-22700027
[雑誌論文] On Describing Terminating Algebraic Specifications Based on Their Models2012
- 著者名/発表者名
  Masaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi
- 雑誌名
  
  Proc.of the International MultiConference of Engineers and Computer Scientists 2012
  
  ページ: 269-274
- 査読あり
- データソース
  KAKENHI-PROJECT-23220002
[雑誌論文] Translation of StateMachines from Equational Theoriesinto Rewrite Theories with ToolSupport2011
- 著者名/発表者名
  Min Zhang, Kazuhiro Ogata, MasakiNakamura
- 雑誌名
  
  IEICE Transactions94-D(5)
  
  ページ: 976-988
- URL
  http://dx.doi.org/10.1587/transinf.E94.D.976
- データソース
  KAKENHI-PROJECT-22700027
[雑誌論文] Translation of State Machines from Equational Theories into Rewrite Theories with Tool Support2011
- 著者名/発表者名
  Min Zhang, Kazuhiro Ogata, Masaki Nakamura
- 雑誌名
  
  IEICE Transactions on Information and Systems
  
  巻: E94-D 号: 5 ページ: 976-988
- DOI
  10.1587/transinf.E94.D.976
- NAID
  10029506958
- ISSN
  0916-8532, 1745-1361
- 言語
  英語
- 査読あり
- データソース
  KAKENHI-PROJECT-22700027
[雑誌論文] Translation of State Machines from Equational Theories into Rewrite Theories with Tool Support2011
- 著者名/発表者名
  Min Zhang, Kazuhiro Ogata, Masaki Nakamura
- 雑誌名
  
  IEICE TRANSACTIONS on Information and Systems
  
  巻: E94-D(5) ページ: 976-988
- NAID
  10029506958
- 査読あり
- データソース
  KAKENHI-PROJECT-23220002
[雑誌論文] Reducibility of operation symbols in term rewriting systems and its application to behavioral specifications2010
- 著者名/発表者名
  Masaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi
- 雑誌名
  
  J. Symb. Comput 45(5)
  
  ページ: 551-573
- NAID
  120003338960
- 査読あり
- データソース
  KAKENHI-PROJECT-18300008
[雑誌論文] Reducibility ofoperation symbols in term rewritingsystems and its application tobehavioral specifications2010
- 著者名/発表者名
  Masaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi
- 雑誌名
  
  Journal of Symbolic Computation
  
  巻: 45 ページ: 551-573
- URL
  http://dx.doi.org/10.1016/j.jsc.2010.01.008
- データソース
  KAKENHI-PROJECT-22700027
[雑誌論文] Reducibility of operation symbols in term rewriting systems and its application to behavioral specifications2010
- 著者名/発表者名
  中村正樹, 緒方和博, Kokichi Futatsugi
- 雑誌名
  
  J.Symb.Comput. 45(5)
  
  ページ: 551-573
- NAID
  120003338960
- 査読あり
- データソース
  KAKENHI-PROJECT-18300008
[雑誌論文] Reducibility of operation symbols in term rewriting systems and its application to behavioral specifications.2010
- 著者名/発表者名
  Masaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi
- 雑誌名
  
  Journal of Symbolic Computation
  
  巻: 45 ページ: 551-573
- NAID
  120003338960
- 査読あり
- データソース
  KAKENHI-PROJECT-22700027
[雑誌論文] Generating test cases for invariant properties from proof scores in the OTS/CafeOBJ method2009
- 著者名/発表者名
  Masaki Nakamura, Takahiro Seino
- 雑誌名
  
  IEICE TRANSACTI ONS on Information and Systems Vol.E92-D, No.5(in press)
- NAID
  10026809324
- 査読あり
- データソース
  KAKENHI-PROJECT-18700024
[雑誌論文] User-defined on-demand matching2009
- 著者名/発表者名
  Masaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi
- 雑誌名
  
  IEICE TRANSACTIONS on Information and Systems Vol.E92-D, No.7(in press)
- NAID
  10026810203
- 査読あり
- データソース
  KAKENHI-PROJECT-18700024
[雑誌論文] Generating test cases for invariant properties from proof scores in the OTS/CafeOBJ method2009
- 著者名/発表者名
  Masaki Nakamura, Takahiro Seino
- 雑誌名
  
  IEICE TRANSACTIONS on Information and Systems Vol.E92-D, No.5(in press)
- NAID
  10026809324
- 査読あり
- データソース
  KAKENHI-PROJECT-18700024
[雑誌論文] User-Defined On-Demand Matching2009
- 著者名/発表者名
  Masaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi
- 雑誌名
  
  IEICE Transactions 92-D(7)
  
  ページ: 1401-1411
- NAID
  10026810203
- 査読あり
- データソース
  KAKENHI-PROJECT-18300008
[雑誌論文] CafeOBJ入門(1)-(6)、コンピュタソフトウェア2009
- 著者名/発表者名
  二木厚吉, 緒方和博, 中村正樹
- 雑誌名
  
  日本ソフトウェア科学会論文誌 25(2),25(2),25(3),25(4),26(1),26(2)
- 査読あり
- データソース
  KAKENHI-PROJECT-18300008
[雑誌論文] CafeOBJ入門 (6)-通信プロトコルの検証2009
- 著者名/発表者名
  緒方和博, 二木厚吉, 中村正樹
- 雑誌名
  
  Iコンピュータソフトウェア (日本ソフトウェア科学会論文誌) 26(2)
  
  ページ: 284-306
- NAID
  10025982447
- 査読あり
- データソース
  KAKENHI-PROJECT-18300008
[雑誌論文] User-Defined On-Demand Matching2009
- 著者名/発表者名
  中村正樹, 緒方和博, Kokichi Futatsugi
- 雑誌名
  
  IEICE Transactions 92-D(7)
  
  ページ: 1401-1411
- NAID
  10026810203
- 査読あり
- データソース
  KAKENHI-PROJECT-18300008
[雑誌論文] CafeOBJ入門(5)-認証プロトコルの検証2008
- 著者名/発表者名
  緒方和博, 二木厚吉, 中村正樹
- 雑誌名
  
  コンピュータソフトウェア(日本ソフトウェア科学会学会誌) 26-1
  
  ページ: 71-83
- NAID
  130004549136
- 査読あり
- データソース
  KAKENHI-PROJECT-18300008
[雑誌論文] CafeOBJ入門(2)-構文と意味2008
- 著者名/発表者名
  中村正樹, 二木厚吉, 緒方和博
- 雑誌名
  
  コンピュータソフトウェア(日本ソフトウェア科学会学会誌) 25-2
  
  ページ: 14-27
- NAID
  110006664763
- 査読あり
- データソース
  KAKENHI-PROJECT-18300008
[雑誌論文] CafeOBJ 入門(1)-形式手法とCafeOBJ, コンピュータソフトウェア2008
- 著者名/発表者名
  二木厚吉, 緒方和博, 中村正樹
- 雑誌名
  
  日本ソフトウェア科学会論文誌 25(2)
  
  ページ: 1-13
- 査読あり
- データソース
  KAKENHI-PROJECT-18300008
[雑誌論文] CafeOBJ入門(1)-形式手法とCafeOBJ2008
- 著者名/発表者名
  二木厚吉, 緒方和博, 中村正樹
- 雑誌名
  
  コンピュータソフトウェア(日本ソフトウェア科学会学会誌) 25-2
  
  ページ: 1-13
- NAID
  130004549105
- 査読あり
- データソース
  KAKENHI-PROJECT-18300008
[雑誌論文] A Specification Translation from Behavioral Specifications to Rewrite Specifications2008
- 著者名/発表者名
  Masaki Nakamura, Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi
- 雑誌名
  
  IEICE Transactions 91-D(5)
  
  ページ: 1492-1503
- NAID
  10026803820
- 査読あり
- データソース
  KAKENHI-PROJECT-18300008
[雑誌論文] CafeOBJ入門(3)-等式推論と項書換システム2008
- 著者名/発表者名
  中村正樹, 二木厚吉, 緒方和博
- 雑誌名
  
  コンピュータソフトウェア(日本ソフトウェア科学会学会誌) 25-3
  
  ページ: 69-80
- NAID
  110006840405
- 査読あり
- データソース
  KAKENHI-PROJECT-18300008
[雑誌論文] A specification translation from behavioral specifications to rewrite specifications2008
- 著者名/発表者名
  Masaki Nakamura, Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi
- 雑誌名
  
  IEICE TRANSACTIONS on Information and Systems Vol.E91-D, No.5
  
  ページ: 492-1503
- NAID
  10026803820
- 査読あり
- データソース
  KAKENHI-PROJECT-18700024
[雑誌論文] Maude : 書換え論理に基づく計算機言語および処理系2008
- 著者名/発表者名
  緒方和博, 中村正樹, 二木厚吉
- 雑誌名
  
  コンピュータソフトウェア(日本ソフトウェア科学会学会誌) 25-2
  
  ページ: 78-84
- NAID
  130004549110
- 査読あり
- データソース
  KAKENHI-PROJECT-18300008
[雑誌論文] CafeOBJ入門(4)-証明譜による検証法2008
- 著者名/発表者名
  二木厚吉, 緒方和博, 中村正樹
- 雑誌名
  
  コンピュータソフトウェア(日本ソフトウェア科学会学会誌) 25-4
  
  ページ: 68-84
- NAID
  130004549122
- 査読あり
- データソース
  KAKENHI-PROJECT-18300008
[雑誌論文] On equahty predicates in algebraic specification languages2007
- 著者名/発表者名
  Masaki Nakamura and Kokichi Futatsugi
- 雑誌名
  
  Proceedings of the 4th International Colloquium on Theoretical Aspects of Computing (ICTAC2007), LNCS4711, Springer
  
  ページ: 381-395
- 査読あり
- データソース
  KAKENHI-PROJECT-18300008
[雑誌論文] 実行可能な代数仕様の停止性証明について2007
- 著者名/発表者名
  中村正樹, 二木厚吉
- 雑誌名
  
  報科学技術レターズ Vol.6
  
  ページ: 27-30
- 査読あり
- データソース
  KAKENHI-PROJECT-18700024
[雑誌論文] Creme: An Automatic Invariant Prover Of Behavioral Specifications2007
- 著者名/発表者名
  Masahiro Nakano, Kazuhiro Ogata, Masaki Nakamura, and Kokichi Futatsugi
- 雑誌名
  
  International Journal of Software Engineering and Knowledge Engineering(IJSEKE) Vol.17, No. 6
  
  ページ: 783-804
- 査読あり
- データソース
  KAKENHI-PROJECT-18700024
[雑誌論文] Creme : An Automatic Invariant Prover of Behavioral Specifications, International Journal of Software Engineering and Knowledge Engineering2007
- 著者名/発表者名
  Masahiro Nakano, Kazuhiro Ogata, Masaki Nakamura and Kokichi Futatsugi
- 雑誌名
  
  World Scientific Vol.17, No.6
  
  ページ: 783-804
- 査読あり
- データソース
  KAKENHI-PROJECT-18300008
[雑誌論文] On equality predicates in algebraic specification languages2007
- 著者名/発表者名
  Masaki Nakamura, Kokichi Futatsugi
- 雑誌名
  
  Proc. of the 4th International Colloquium on Theoretical Aspects of Computing (ICTAC 2007) 4711
  
  ページ: 381-395
- 査読あり
- データソース
  KAKENHI-PROJECT-18300008
[雑誌論文] Creme: An Automatic Invariant Prover Of Behavioral Specifications2007
- 著者名/発表者名
  Masahiro Nakano, Kazuhiro Ogata, Masaki Nakamura, and Kokichi Futatsugi
- 雑誌名
  
  International Journal of Software Engineering and Knowledge Engineering(IJSEKE) Vol. 17, No.6
  
  ページ: 783-804
- 査読あり
- データソース
  KAKENHI-PROJECT-18700024
[雑誌論文] Creme: An Automatic Invariant Prover of Behavioral Specifications2007
- 著者名/発表者名
  Masahiro Nakano, Kazuhiro Ogata, Masaki Nakamura and Kokichi Futatsugi
- 雑誌名
  
  International Journal of Software Engineering And Knowledge Engineering 17(6)
  
  ページ: 783-804
- 査読あり
- データソース
  KAKENHI-PROJECT-18300008
[雑誌論文] 実行可能な代数仕様の停止性証明について2007
- 著者名/発表者名
  中村正樹, 二木厚吉
- 雑誌名
  
  情報科学技術レターズ Vol.6
  
  ページ: 27-30
- 査読あり
- データソース
  KAKENHI-PROJECT-18700024
[雑誌論文] Elimination Transformations for Associative-Commutative Rewriting Systems2006
- 著者名/発表者名
  K. Kusakari, M. Nakamura and Y. Toyama
- 雑誌名
  
  Journal of Automated Reasoning Vol. 37, No. 3
  
  ページ: 205-229
- 査読あり
- データソース
  KAKENHI-PROJECT-18700024
[雑誌論文] モジュラーな代数仕様言語のための項書き換えシステム2006
- 著者名/発表者名
  中村正樹, 二木厚吉
- 雑誌名
  
  コンピュータソフトウェア(日本ソフトウェア科学会論文誌) 23・3
  
  ページ: 35-50
- NAID
  110004815103
- データソース
  KAKENHI-PROJECT-18300008
[雑誌論文] A Behavioral Specification of Imperative Programming Languages2006
- 著者名/発表者名
  Masaki Nakamura, Watanabe, M., Kokichi Futatsugi
- 雑誌名
  
  IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences(電子情報通信学会論文誌) E89-A・6
  
  ページ: 1558-1565
- NAID
  110007502878
- データソース
  KAKENHI-PROJECT-18300008
[雑誌論文] Automating Invariant Verification of Behavioral Specifications2006
- 著者名/発表者名
  M.Nakano, K.Ogata, M.Nakamura, K.Futatsugi
- 雑誌名
  
  In Proceedings of The Sixth IEEE International Conference on Quality Software (QSIC2006)
  
  ページ: 49-56
- データソース
  KAKENHI-PROJECT-18700024
[雑誌論文] Automating Invariant Verification of Behavioral Specifications2006
- 著者名/発表者名
  Masahiro Nakano, Kazuhiro Ogata, Masaki Nakamura, Kokichi Futatsugi
- 雑誌名
  
  Proceedings of the 6th International Conference on Quality Software (6^<th> QSIC)
  
  ページ: 49-56
- データソース
  KAKENHI-PROJECT-18300008
[雑誌論文] A Behavioral Specification of Imperative Programming Languages2006
- 著者名/発表者名
  M.Nakamura, M.Watanabe, K.Futatsugi
- 雑誌名
  
  IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences Vol.E89-A・No.6
  
  ページ: 1558-1565
- NAID
  110007502878
- データソース
  KAKENHI-PROJECT-18700024
[雑誌論文] モジュラーな代数仕様言語のための項書き換えシステム2006
- 著者名/発表者名
  中村正樹, 二木厚吉
- 雑誌名
  
  コンヒュータソフトウェア Vol. 23・No.3
  
  ページ: 35-50
- NAID
  110004815103
- データソース
  KAKENHI-PROJECT-18700024
[雑誌論文] A Behavioral Specificationof Imperative Programming Languages2006
- 著者名/発表者名
  M. Nakamura, M. Watanabe and K. Futatsugi
- 雑誌名
  
  IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences Vol. E89-A, No.6
  
  ページ: 1558-1565
- 査読あり
- データソース
  KAKENHI-PROJECT-18700024
[雑誌論文] Elimination Transformations for Associative-Commutative Rewriting Systems2006
- 著者名/発表者名
  K.Kusakari, M.Nakamura, Y.Toyama
- 雑誌名
  
  Journal of Automated Reasoning Vol. 37 ・No. 3
  
  ページ: 205-229
- データソース
  KAKENHI-PROJECT-18700024
[雑誌論文] モジュラーな代数仕様言語のための項書き換えシステム2006
- 著者名/発表者名
  中村正樹, 二木厚吉
- 雑誌名
  
  コンピュータソフトウェア Vol. 23, No. 3
  
  ページ: 35-50
- NAID
  110004815103
- 査読あり
- データソース
  KAKENHI-PROJECT-18700024
[雑誌論文] 項書き換えシステムにおける可簡約演算子とその応用2005
- 著者名/発表者名
  中村正樹, 緒方和博, 二木厚吉
- 雑誌名
  
  情報処理学会論文誌:プログラミング 46-SIG6
  
  ページ: 47-59
- NAID
  110002769559
- データソース
  KAKENHI-PROJECT-15300007
[雑誌論文] Chocolat/SMV : A Translator from CafeOBJ into SMV2005
- 著者名/発表者名
  Kazuhiro Ogata, Masahiro Nakano, Masaki Nakamura, Kokichi Futatsugi
- 雑誌名
  
  Proceedings of the 6th International Conference on Parallel and Distributed Computing, Applications and Technologies (6th PDCAT),(IEEE Computer Society Press)
  
  ページ: 416-420
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-15300007
[雑誌論文] Chocolat/SMV : A Translator from CafeOBJ into SMV2005
- 著者名/発表者名
  Kazuhiro Ogata, Masahiro Nakano, Masaki Nakamura, Kokichi Futatsugi
- 雑誌名
  
  Proceedings of the 6th International Conference on Parallel and Distributed Computing, Applications and Technologies (6th PDCAT) (IEEE Computer Society Press)
  
  ページ: 416-420
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-15300007
[雑誌論文] 項書き換えシステムにおける可簡約演算子とその応用2005
- 著者名/発表者名
  中村正樹, 緒方和博, 二木厚吉
- 雑誌名
  
  情報処理学会論文誌 : プログラミング 46 SIG 6(PRO25)
  
  ページ: 47-59
- NAID
  110002769559
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-15300007
[雑誌論文] 項書き換えシステムにおける可簡約演算子とその応用2005
- 著者名/発表者名
  中村正樹, 緒方和博, 二木厚吉
- 雑誌名
  
  情報処理学会論文誌:プログラミング (To appear)
- NAID
  110002769559
- データソース
  KAKENHI-PROJECT-15300007
[雑誌論文] 構造的代数仕様のための等価述語の提案と実装2004
- 著者名/発表者名
  中村正樹, 二木厚吉
- 雑誌名
  
  ソフトウェア工学の基礎 XI
  
  ページ: 117-128
- データソース
  KAKENHI-PROJECT-15300007
[学会発表] Formal verification of an autonomous vehicle control system by the timed OTS/CafeOBJ method2023
- 著者名/発表者名
  Masaki Nakamura, Tatsuya Igarashi, Yifan Wang, Kazutoshi Sakakibara
- 学会等名
  The 29th Int'l Conf on Parallel and Distributed Processing Techniques and Applications: Workshop on Mathematical Modeling and Problem Solving (PDPTA'23, MPS144)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-19K11842
[学会発表] Investigation of Formal Verification of the Autonomous Vehicle Control System by Specification Translation2023
- 著者名/発表者名
  Yifan Wang, Masaki Nakamura and Kazutoshi Sakakibara
- 学会等名
  The 38th International Technical Conference on Circuits/Systems, Computers, and Communications (ITC-CSCC)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-19K11842
[学会発表] Formal verification of multi-car elevator systems using statistical model checking2023
- 著者名/発表者名
  Yuki Kitahara, Masaki Nakamura and Kazutoshi Sakakibara
- 学会等名
  The 38th International Technical Conference on Circuits/Systems, Computers, and Communications (ITC-CSCC)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-19K11842
[学会発表] Formal verification of an autonomous vehicle control system by the timed OTS/CafeOBJ method2023
- 著者名/発表者名
  Yifan Wang, Masaki Nakamura, Kazutoshi Sakakibara
- 学会等名
  The 29th Int'l Conf on Parallel and Distributed Processing Techniques and Applications: Workshop on Mathematical Modeling and Problem Solving (PDPTA'23, MPS144)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-19K11842
[学会発表] Formal Specification and Verification of an Autonomous Vehicle Control System by the OTS/CafeOBJ method2023
- 著者名/発表者名
  Yifan Wang, Masaki Nakamura, Kazutoshi Sakakibara, Yuki Okura
- 学会等名
  The Thirty Fifth International Conference on Software Engineering and Knowledge Engineering (SEKE 2023)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-19K11842
[学会発表] 機械学習を用いたモデル予測制御による自動運転車群運行の全体最適化2022
- 著者名/発表者名
  吉田暉，松崎仁平，榊原一紀，中村正樹
- 学会等名
  計測自動制御学会システム・情報部門学術講演会2022，SS04-06，pp.377-382，2022年11月25-27日
- データソース
  KAKENHI-PROJECT-19K11842
[学会発表] 自動運転車群運行の全体最適化のための機械学習を用いたモデル予測制御2022
- 著者名/発表者名
  吉田暉, 松﨑仁平, 榊原一紀, 中村正樹
- 学会等名
  第66回システム制御情報学会研究発表講演会, Proceedings of the 66th annual Conference of the Institute of Systems, Control and Information Engineering (ISCIE), 342-5, pp.1032-1039, 2022.5.18-20
- データソース
  KAKENHI-PROJECT-19K11842
[学会発表] Formal Verification of the Lim-Jeong-Park-Lee Autonomous Vehicle Control Protocol using the OTS/CafeOBJ Method2022
- 著者名/発表者名
  Igarashi Tatsuya、Nakamura Masaki、Sakakibara Kazutoshi
- 学会等名
  The Thirty Fourth International Conference on Software Engineering and Knowledge Engineering (SEKE 2022), pp.574-579, July 1-10, 2022
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-19K11842
[学会発表] 統計的モデル検査を用いたエレベータ制御則の設計検証の検討2022
- 著者名/発表者名
  北原祐希，中村正樹，榊原一紀
- 学会等名
  電子情報通信学会システム数理と応用研究会
- データソース
  KAKENHI-PROJECT-19K11842
[学会発表] Rational identification of aggregation hotspots by machine learning techniques2022
- 著者名/発表者名
  D. Matsui, M. Nakamura, K. Sakakibara, and Y. Asano
- 学会等名
  Active Enzyme Molecule 2022 Posters
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-22H00361
[学会発表] 自動運転システムのSimulinkによるモデル化とSpaceExによる形式的検証2022
- 著者名/発表者名
  甲斐雅也, 中村正樹, 榊原一紀
- 学会等名
  第66回システム制御情報学会研究発表講演会, Proceedings of the 66th annual Conference of the Institute of Systems, Control and Information Engineering (ISCIE), 321-4, pp.807-813, 2022.5.18-20
- データソース
  KAKENHI-PROJECT-19K11842
[学会発表] Visualization of machine learning models for predicting protein solubilization using formal concept analysis2022
- 著者名/発表者名
  Y. Hojo, K. Suzuki, K. Sakakibara, M. Nakamura, Y. Watanabe, S. Shinoda and Y. Asano
- 学会等名
  Active Enzyme Molecule 2022 Posters
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-22H00361
[学会発表] 統計的モデル検査を用いたマルチカーエレベータシステムの設計検証2022
- 著者名/発表者名
  北原祐希，中村正樹，榊原一紀
- 学会等名
  計測自動制御学会システム・情報部門学術講演会2022，SS04-12，pp.397-402，2022年11月25-27日
- データソース
  KAKENHI-PROJECT-19K11842
[学会発表] An investigation of formal verification of control policy of multi-car elevator systems using statistical model checking2022
- 著者名/発表者名
  Yuki Kitahara, Masaki Nakamura, Kazutoshi Sakakibara
- 学会等名
  The Proceedings of the International Conference on Machine Learning and Cybernetics (ICMLC) , 6010, Toyama, 9-11 Sep. 2022
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-19K11842
[学会発表] 到達可能性解析と定理証明を用いたハイブリッドシステムの形式的検証の検討2022
- 著者名/発表者名
  浅井智也, 中村正樹, 榊原一紀
- 学会等名
  第66回システム制御情報学会研究発表講演会, Proceedings of the 66th annual Conference of the Institute of Systems, Control and Information Engineering (ISCIE), 321-3, pp.801-806, 2022.5.18-20
- データソース
  KAKENHI-PROJECT-19K11842
[学会発表] How to use AlphaFold2 in Toyama PrefectureUniversity -Installation and protein structure prediction-;2022
- 著者名/発表者名
  K.Suzuki, Y.Hojo, K,Sakakibara, M. Nakamura, S.Shinoda and Y. Asano
- 学会等名
  Active Enzyme Molecule 2022 Posters
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-22H00361
[学会発表] Modeling an Autonomous Vehicle Group Control System as Hybrid Automata and its Specification and Verification in Rewriting Logic2021
- 著者名/発表者名
  Yifan Wang, Masaki Nakamura, Kazutoshi Sakakibara
- 学会等名
  The 36th International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC 2021)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-19K11842
[学会発表] 形式手法の社会システムへの応用に向けた取り組み2021
- 著者名/発表者名
  中村正樹
- 学会等名
  第65回システム制御情報学会研究発表講演会（Proceeding of the 65th Annual Conference of the Institute of Systems, Control and Information Engineers (ISCIE)）
- 招待講演
- データソース
  KAKENHI-PROJECT-19K11842
[学会発表] Formal verification of multitask hybrid systems by the OTS/CafeOBJ method2021
- 著者名/発表者名
  M. Nakamura, K. Sakakibara, Y. Okura, K. Ogata
- 学会等名
  The Thirty Third International Conference on Software Engineering and Knowledge Engineering (SEKE 2021)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-19K11842
[学会発表] OTS/CafeOBJ法によるLim-Jeong-Park-Lee交差点制御プロトコルの形式的検証2021
- 著者名/発表者名
  五十嵐竜也, 中村正樹, 榊原一紀
- 学会等名
  計測自動制御学会システム・情報部門学術講演会2021
- データソース
  KAKENHI-PROJECT-19K11842
[学会発表] 自動運転車群運行の全体最適化2021
- 著者名/発表者名
  吉田暉, 松﨑仁平, 榊原一紀, 中村正樹
- 学会等名
  計測自動制御学会システム・情報部門学術講演会2021
- データソース
  KAKENHI-PROJECT-19K11842
[学会発表] Formal verification of Fischer’s real-time mutual exclusion protocol by the OTS/CafeOBJ method2020
- 著者名/発表者名
  Nakamura Masaki、Higashi Shuki、Sakakibara Kazutoshi、Ogata Kazuhiro
- 学会等名
  2020 59th Annual Conference of the Society of Instrument and Control Engineers of Japan (SICE)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-19K11842
[学会発表] A Mathematical Programming Model for Operational Planning of Autonomous Vehicles in High-Density Areas2020
- 著者名/発表者名
  T. Sugiyama, K. Sakakibara, M. Nakamura, T. Inamoto, and H. Tamaki
- 学会等名
  2020 59th Annual Conference of the Society of Instrument and Control Engineers of Japan (SICE)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-19K11842
[学会発表] Investigation of formal specification and verification for autonomous vehicles based on rewriting logic2020
- 著者名/発表者名
  Y. Wang, M. Nakamura, K. Sakakibara,
- 学会等名
  2020 59th Annual Conference of the Society of Instrument and Control Engineers of Japan (SICE)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-19K11842
[学会発表] A preliminary study on specification translation from timed OTS/CafeOBJ specifications to UPPAAL specifications2020
- 著者名/発表者名
  中村正樹
- 学会等名
  第63回自動制御連合講演会
- データソース
  KAKENHI-PROJECT-19K11842
[学会発表] Modeling and Verification of Autonomous Vehicle Group Control Algorithms2019
- 著者名/発表者名
  M. Nakamura, Y. Sahara, C. Kojima, K. Sakakibara and H. Tamaki
- 学会等名
  Proceedings of the SICE Annual Conference 2019 (SICE 2019)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-19K11842
[学会発表] A Simulation Model for Decentralized Control of Autonomous Vehicles in High-dencity Areas2019
- 著者名/発表者名
  T. Sugiyama, K. Sakakibara, M. Nakamura and H. Tamaki
- 学会等名
  Proceedings of the SICE Annual Conference 2019 (SICE 2019)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-19K11842
[学会発表] Formal verification and mathematical optimization for autonomous vehicle group controllers2019
- 著者名/発表者名
  M. Nakamura and K. Sakakibara
- 学会等名
  Proceedings of 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-19K11842
[学会発表] Formal specification of multitask real-time systems using the OTS/CafeOBJ method2019
- 著者名/発表者名
  S. Higashi, M. Nakamura, K. Sakakibara, C. Kojima and K. Ogata
- 学会等名
  Proceedings of the SICE Annual Conference 2019 (SICE 2019)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-19K11842
[学会発表] A HierarchicalApproach toOperational Terminationof Algebraic Specifications, Proceedings of the InternationalConference on Electronics2013
- 著者名/発表者名
  Masaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi
- 学会等名
  Information andCommunication, ICEIC 2013
- 発表場所
  Bali, Indonesia
- データソース
  KAKENHI-PROJECT-22700027
[学会発表] IncrementalProofs of Operational Terminationwith ModularConditional DependencyPairs2013
- 著者名/発表者名
  Masaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi
- 学会等名
  Proceedings of theInternational MultiConference ofEngineers and Computer Scientists2013
- 発表場所
  Hong Kong, China
- データソース
  KAKENHI-PROJECT-22700027
[学会発表] Incremental Proofs of Operational Termination with Modular Conditional Dependency Pairs2013
- 著者名/発表者名
  NAKAMURA Masaki
- 学会等名
  The International MultiConference of Engineers and Computer Scientists 2013
- 発表場所
  Hong Kong, China
- データソース
  KAKENHI-PROJECT-22700027
[学会発表] A Hierarchical Approach to Operational Termination of Algebraic Specifications2013
- 著者名/発表者名
  NAKAMURA Masaki
- 学会等名
  The 12th International Conference on Electronics, Information, and Communication (ICEIC 2013)
- 発表場所
  Bali, Indonesia
- データソース
  KAKENHI-PROJECT-22700027
[学会発表] On DescribingTerminating AlgebraicSpecificationsBased on Their Models2013
- 著者名/発表者名
  Masaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi
- 学会等名
  Proceedings oftheInternational MultiConference ofEngineers and Computer Scientists2012, IMECS 2012
- 発表場所
  Hong Kong, China
- データソース
  KAKENHI-PROJECT-22700027
[学会発表] On Describing Terminating Algebraic Specifications Based on Their Models2012
- 著者名/発表者名
  Masaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi
- 学会等名
  International MultiConference of Engineers and Computer Scientists 2012
- 発表場所
  China, Hong Kong
- 年月日
  2012-03-16
- データソース
  KAKENHI-PROJECT-22700027
[学会発表] Specification Translationof State Machines from EquationalTheories into Rewrite Theories2010
- 著者名/発表者名
  Min Zhang, KazuhiroOgata and MasakiNakamura
- 学会等名
  12thInternational Conference on FormalEngineering Methods (ICFEM2010)Lecture Notes in Computer Science
- 発表場所
  Shanghai, China.
- データソース
  KAKENHI-PROJECT-22700027
[学会発表] OTS/CafeOBJ 法に基づく並行システムの実装とテスト生成2010
- 著者名/発表者名
  清野貴博, 中村正樹
- 学会等名
  電子情報通信学会技術研究報告
- 発表場所
  信学技報
- データソース
  KAKENHI-PROJECT-22700027
[学会発表] OTS/CafeOBJ 法における証明譜からのテスト生成2010
- 著者名/発表者名
  中村正樹
- 学会等名
  第20回形式手法研究会
- 発表場所
  専修大学神田校舎
- データソース
  KAKENHI-PROJECT-22700027
[学会発表] OTS/CafeOBJ法における証明譜からのテスト生成2007
- 著者名/発表者名
  中村正樹,清野貴博
- 学会等名
  ソフトウェアサイエンス研究会(SS)
- 発表場所
  松江
- 年月日
  2007-12-17
- データソース
  KAKENHI-PROJECT-18700024
[学会発表] On equality predicates in algebraic specification languages2007
- 著者名/発表者名
  Masaki Nakamura and Kokichi Futatsugi
- 学会等名
  the 4th International Colloquium on Theoretical Aspects of Computing
- 発表場所
  Macau
- 年月日
  2007-09-26
- データソース
  KAKENHI-PROJECT-18700024
[学会発表] 実行可能な代数仕様の停止性証明について2007
- 著者名/発表者名
  中村正樹,二木厚吉
- 学会等名
  第6回情報科学技術フォーラム(FIT)
- 発表場所
  豊田
- 年月日
  2007-09-07
- データソース
  KAKENHI-PROJECT-18700024
[学会発表] 実行可能な代数仕様の停止性証明について2007
- 著者名/発表者名
  中村正樹, 二木厚吉
- 学会等名
  情報科学技術レターズ(FIT2007)
- 発表場所
  愛知県豊田市
- 年月日
  2007-09-21
- データソース
  KAKENHI-PROJECT-18300008
[学会発表] A complete specification transformation from OTS/CafeOBJ to OTS/Maude2006
- 著者名/発表者名
  Masaki Nakamura, Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi
- 学会等名
  ソフトウェアサイエンス研究会(SS)
- 発表場所
  岡山
- 年月日
  2006-06-22
- データソース
  KAKENHI-PROJECT-18700024
[学会発表] Sufficient completeness of parameterized specifications in CafeOBJ
- 著者名/発表者名
  Masaki Nakamura, Daniel Gaina, Kazuhiro Ogata, Kokichi Futatsugi
- 学会等名
  12th Asian Symposium on Programming Languages and Systems, APLAS 2014
- 発表場所
  Singapore, the Republic of Singapore
- 年月日
  2014-11-17 – 2014-11-19
- データソース
  KAKENHI-PROJECT-23220002

1. 二木厚吉 (50251971)

共同の研究課題数: 4件

共同の研究成果数: 37件
2. 緒方和博 (30272991)

共同の研究課題数: 2件

共同の研究成果数: 9件
3. 榊原一紀 (30388110)

共同の研究課題数: 2件

共同の研究成果数: 3件
4. 青木利晃 (20313702)

共同の研究課題数: 1件

共同の研究成果数: 0件
5. 千葉勇輝 (10509756)

共同の研究課題数: 1件

共同の研究成果数: 0件
6. 清野貴博 (10397226)

共同の研究課題数: 1件

共同の研究成果数: 0件
7. 飯田周作 (80338590)

共同の研究課題数: 1件

共同の研究成果数: 0件
8. 森彰 (30311682)

共同の研究課題数: 1件

共同の研究成果数: 0件
9. PREINING Norbert (60571247)

共同の研究課題数: 1件

共同の研究成果数: 0件
10. GAINA Daniel (80595778)

共同の研究課題数: 1件

共同の研究成果数: 3件
11. 天野憲樹 (30313703)

共同の研究課題数: 1件

共同の研究成果数: 0件
12. 岡田光弘 (30224025)

共同の研究課題数: 1件

共同の研究成果数: 0件
13. 浅野泰久 (00222589)

共同の研究課題数: 1件

共同の研究成果数: 4件
14. 山口拓也 (00748527)

共同の研究課題数: 1件

共同の研究成果数: 0件
15. 立花潤三 (60397502)

共同の研究課題数: 1件

共同の研究成果数: 0件
16. 中野祥吾

共同の研究課題数: 0件

共同の研究成果数: 1件

中村 正樹 NAKAMURA Masaki

研究課題

研究成果

共同研究者

ビッグデータを活用した橋梁の統廃合計画及び住民合意形成に資する住民不利益の定量化

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

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

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

形式手法と数理最適化による高信頼かつ高効率な自動運転車群制御システムの構築研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

証明スコア法に基づく革新的仕様検証システムの構築

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

モジュラー書換え理論に基づく代数型ソフトウェア開発言語の構築研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

証明スコアによる問題モデルの検証技術

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

モジュラーな項書き換えシステムに基づく仕様検証システムの開発研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

振舞仕様に基づく問題モデルの構築と検証

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

振舞仕様に基づく安全性検証の研究

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

[雑誌論文] Thermostability enhancement of l-glutamate oxidase from Streptomyces sp. NT1 by full consensus protein design2022

著者名/発表者名

雑誌名

DOI

NAID

データソース

[雑誌論文] Specification and Verification of Multitask Real-Time Systems Using the OTS/CafeOBJ Method2022

著者名/発表者名

雑誌名

DOI

NAID

ISSN

年月日

言語

データソース

[雑誌論文] Formal Verification of Multitask Hybrid Systems by the OTS/CafeOBJ Method2021

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] Stability of termination and sufficient-completeness under pushouts via amalgamation2020

著者名/発表者名

中村正樹 NAKAMURA Masaki

[雑誌論文] A Hierarchical Approach to Operational Termination of　Algebraic Specifications2013