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

基本情報

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年査読有り
Automated test case generation from OTS/CafeOBJ specifications by specification translation

Ryusei Mori, Masaki Nakamura

10TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS - ICSTW 2017 403 - 404 2017年査読有り
Foreword.

Masaki Nakamura

IEICE Transactions 100-D(6) 1157 2017年
制約充足問題に対する人間-機械の協調型最適化手法と制約構造の可視化を目的とした形式概念分析の試み : 大学時間割作成業務を対象として (特集論文人を誘う(いざなう、さそう)インタフェース)

ヒューマンインタフェース学会論文誌 The transactions of Human Interface Society 18(1) 133 - 140 2016年査読有り

OTS/CafeOBJ法によるマルチタスク実時間システムの形式的検証 (システム数理と応用)

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

電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 119(470) 25 - 30 2020年3月9日
マシニングセンタにおけるスケジューリングの最適化 (情報システム研究会知的情報システム・その他一般)

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

電気学会研究会資料. IS 2019(60) 55 - 58 2019年11月9日
マシニングセンターにおけるスケジューリング問題のモデル検証の試み

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

回路とシステムワークショップ論文集 Workshop on Circuits and Systems 32 289 - 292 2019年8月22日
UPPAALを用いた自動運転車の群制御アルゴリズムの性能モデル検証

佐原優衣, 中村正樹, 榊原一紀, 玉置久

システム制御情報学会研究発表講演会講演論文集 63 18 - 24 2019年5月22日
OTS/CafeOBJ法によるマルチタスク実時間システムの仕様記述 (システム数理と応用)

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

電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 118(499) 13 - 18 2019年3月14日

社会意識形成過程の形式概念分析に基づく解析の試み

秋葉健人, 中大輔, 榊原一紀, 中村正樹, 吉本達郎, 濱貴子

計測自動制御学会システム・情報部門学術講演会講演論文集(CD-ROM) 2017年11月25日
階層型マルチエージェント・シミュレーションに基づく駐車場レイアウトの評価・最適化

尾山武史, 青木真一郎, 榊原一紀, 中村正樹, 松本卓也, 大原誠

計測自動制御学会システム・情報部門学術講演会講演論文集(CD-ROM) 2017年11月25日
マルチエージェント・シミュレーションに基づく駐車場レイアウトの評価技法の開発

尾山武史, 青木真一郎, 榊原一紀, 中村正樹, 松本卓也, 大原誠

電気学会電子・情報・システム部門大会講演論文集(CD-ROM) 2017年9月6日
代数仕様によるエレベータシステムの設計検証

安藤大貴, 中村正樹, 榊原一紀

システム制御情報学会研究発表講演会講演論文集 2017年5月23日
モデル検査を用いたOTS/CafeOBJ仕様からのテストケース自動生成手法

森隆晴, 中村正樹

電子情報通信学会大会講演論文集(CD-ROM) 2017年3月7日