| 講演名 | 2018-11-13 代数仕様を用いた数理計画モデルの形式的検証について 中村 正樹(富山県立大), 榊原 一紀(富山県立大), |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 最適化ソルバーを数理計画モデルに適用するためには，ソルバーが適用可能な形式にモデル化する必要がある．本研究では，与えられた問題が正しく定式化されているかどうかを代数仕様言語CafeOBJを用いて形式的に検証する方法について検討する． |
| 抄録(英) | To apply a solver for optimization problems, we need to formalize a problem into a form acceptable by the solver. In this study, we investigate a way to verify the correctness of a given formalization by using CafeOBJ formal specification language. |
| キーワード(和) | 数理計画 / 形式手法 / CafeOBJ |
| キーワード(英) | Mathematical programming / Formal methods / CafeOBJ |
| 資料番号 | CAS2018-76,MSS2018-52 |
| 発行日 | 2018-11-05 (CAS, MSS) |
| 研究会情報 | |
| 研究会 | MSS / CAS / IPSJ-AL |
|---|---|
| 開催期間 | 2018/11/12(から2日開催) |
| 開催地（和） | 熱海伊豆山温泉 ハートピア熱海 |
| 開催地（英） | |
| テーマ（和） | システムのモデリングと制御・検証・最適化の手法，機械学習的アプローチ及び一般 |
| テーマ（英） | |
| 委員長氏名（和） | 名嘉村 盛和(琉球大) / 岡崎 秀晃(湘南工科大) |
| 委員長氏名（英） | Morikazu Nakamura(Univ. of Ryukyus) / Hideaki Okazaki(Shonan Inst. of Tech.) |
| 副委員長氏名（和） | 髙井 重昌(阪大) / 山脇 大造(日立) |
| 副委員長氏名（英） | Shigemasa Takai(Osaka Univ.) / Taizo Yamawaki(Hitachi) |
| 幹事氏名（和） | 豊嶋 伊知郎(東芝エネルギーシステムズ) / 金澤 尚史(阪大) / 橘 俊宏(湘南工科大) / 中村 洋平(日立) |
| 幹事氏名（英） | Ichiro Toyoshima(Toshiba) / Takahumi Kanazawa(Osaka Univ.) / Toshihiro Tachibana(Shonan Inst. of Tech.) / Yohei Nakamura(Hitachi) |
| 幹事補佐氏名（和） | 金城 秀樹(沖縄大) / 山口 基(ルネサスエレクトロニクス) |
| 幹事補佐氏名（英） | Hideki Kinjo(Okinawa Univ.) / Motoi Yamaguchi(Renesas Electronics) |
| 講演論文情報詳細 | |
| 申込み研究会 | Technical Committee on Mathematical Systems Science and its applications / Technical Committee on Circuits and Systems / Special Interest Group on Algorithms |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 代数仕様を用いた数理計画モデルの形式的検証について |
| サブタイトル（和） | |
| タイトル（英） | On formal verification of mathematical programming models by algebraic specifications |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 数理計画 / Mathematical programming |
| キーワード(2)（和/英） | 形式手法 / Formal methods |
| キーワード(3)（和/英） | CafeOBJ / CafeOBJ |
| 第 1 著者 氏名（和/英） | 中村 正樹 / Masaki Nakamura |
| 第 1 著者 所属（和/英） | 富山県立大学(略称：富山県立大) Toyama Prefectural University(略称：Toyama Pref. Univ.) |
| 第 2 著者 氏名（和/英） | 榊原 一紀 / Kazutoshi Sakakibara |
| 第 2 著者 所属（和/英） | 富山県立大学(略称：富山県立大) Toyama Prefectural University(略称：Toyama Pref. Univ.) |
| 発表年月日 | 2018-11-13 |
| 資料番号 | CAS2018-76,MSS2018-52 |
| 巻番号（vol） | vol.118 |
| 号番号（no） | CAS-295,MSS-296 |
| ページ範囲 | pp.127-130(CAS), pp.127-130(MSS), |
| ページ数 | 4 |
| 発行日 | 2018-11-05 (CAS, MSS) |