講演名 | 2017-11-17 2つのコミュニケーション図からの状態機械合成アルゴリズムの構築と実装 冨永 一矢(阪大), 木下 聖基(阪大), 宮本 俊幸(阪大), |
---|---|
PDFダウンロードページ | PDFダウンロードページへ |
抄録(和) | |
抄録(英) | |
キーワード(和) | |
キーワード(英) | |
資料番号 | CAS2017-60,MSS2017-44 |
発行日 | 2017-11-09 (CAS, MSS) |
研究会情報 | |
研究会 | CAS / MSS / IPSJ-AL |
---|---|
開催期間 | 2017/11/16(から2日開催) |
開催地(和) | 日立中央研究所 |
開催地(英) | |
テーマ(和) | システムのモデリングと制御・検証・最適化の手法,機械学習的アプローチ及び一般 |
テーマ(英) | |
委員長氏名(和) | 平木 充(ルネサス エレクトロニクス) / 名嘉村 盛和(琉球大) / 堀山 貴史(埼玉大学) |
委員長氏名(英) | Mitsuru Hiraki(Renesas) / Morikazu Nakamura(Univ. of Ryukyus) / Takashi Horiyama(Saitama University) |
副委員長氏名(和) | 岡崎 秀晃(湘南工科大) / 髙井 重昌(阪大) |
副委員長氏名(英) | Hideaki Okazaki(Shonan Inst. of Tech.) / Shigemasa Takai(Osaka Univ.) |
幹事氏名(和) | 山口 基(ルネサス エレクトロニクス) / 橘 俊宏(湘南工科大) / 豊嶋 伊知郎(東芝) / 金澤 尚史(阪大) / 岡本 吉央(電気通信大学) / 川原 純(奈良先端科学技術大学院大学) / 河村 彰星(東京大学) |
幹事氏名(英) | Motoi Yamaguchi(Renesas) / Toshihiro Tachibana(Shonan Inst. of Tech.) / Ichiro Toyoshima(Toshiba) / Takahumi Kanazawa(Osaka Univ.) / Yoshio Okamoto(The University of Electro-Communications) / Jun Kawahara(Nara Institute of Science and Technology) / Akitoshi Kawamura(University of Tokyo) |
幹事補佐氏名(和) | 中村 洋平(日立) / 金城 秀樹(沖縄大) |
幹事補佐氏名(英) | Yohei Nakamura(Hitachi) / Hideki Kinjo(Okinawa Univ.) |
講演論文情報詳細 | |
申込み研究会 | Technical Committee on Circuits and Systems / Technical Committee on Mathematical Systems Science and its applications / Special Interest Group on Algorithms |
---|---|
本文の言語 | JPN |
タイトル(和) | 2つのコミュニケーション図からの状態機械合成アルゴリズムの構築と実装 |
サブタイトル(和) | |
タイトル(英) | Development and Implementation of an Algorithm to Synthesize State Machines from Two Communication Diagrams |
サブタイトル(和) | |
キーワード(1)(和/英) | |
第 1 著者 氏名(和/英) | 冨永 一矢 / Kazuya Tominaga |
第 1 著者 所属(和/英) | 大阪大学(略称:阪大) Osaka University(略称:Osaka Univ.) |
第 2 著者 氏名(和/英) | 木下 聖基 / Toshiki Kinoshita |
第 2 著者 所属(和/英) | 大阪大学(略称:阪大) Osaka University(略称:Osaka Univ.) |
第 3 著者 氏名(和/英) | 宮本 俊幸 / Toshiyuki Miyamoto |
第 3 著者 所属(和/英) | 大阪大学(略称:阪大) Osaka University(略称:Osaka Univ.) |
発表年月日 | 2017-11-17 |
資料番号 | CAS2017-60,MSS2017-44 |
巻番号(vol) | vol.117 |
号番号(no) | CAS-300,MSS-301 |
ページ範囲 | pp.135-140(CAS), pp.135-140(MSS), |
ページ数 | 6 |
発行日 | 2017-11-09 (CAS, MSS) |