| 講演名 | 2017-12-22 ［招待講演］半正定値緩和手法によるランダム制約充足問題の反駁の限界 森 立平(東工大), |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | |
| 抄録(英) | |
| キーワード(和) | |
| キーワード(英) | |
| 資料番号 | ISEC2017-87,COMP2017-41 |
| 発行日 | 2017-12-14 (ISEC, COMP) |
| 研究会情報 | |
| 研究会 | ISEC / COMP |
|---|---|
| 開催期間 | 2017/12/21(から2日開催) |
| 開催地（和） | 高知工科大学永国寺キャンパス |
| 開催地（英） | Eikokuji Campus, Kochi University of Technology |
| テーマ（和） | 一般 |
| テーマ（英） | |
| 委員長氏名（和） | 小川 一人(NHK) / 伊藤 大雄(電通大) |
| 委員長氏名（英） | Kazuto Ogawa(NHK) / Hiro Ito(Univ. of Electro-Comm.) |
| 副委員長氏名（和） | 藤岡 淳(神奈川大) / 盛合 志帆(NICT) / 宇野 裕之(阪府大) |
| 副委員長氏名（英） | Atsushi Fujioka(Kanagawa Univ.) / Shiho Moriai(NICT) / Yushi Uno(Osaka Pref. Univ.) |
| 幹事氏名（和） | 水木 敬明(東北大) / 大東 俊博(東海大) / 脊戸 和寿(成蹊大) / 斎藤 寿樹(九工大) |
| 幹事氏名（英） | Takaaki Mizuki(Tohoku Univ.) / Toshihiro Ohigashi(Tokai Univ.) / Kazuhisa Seto(Seikei Univ.) / Toshiki Saito(Kyushu Inst. of Tech.) |
| 幹事補佐氏名（和） | 江村 恵太(NICT) / 駒野 雄一(東芝) / 須賀 祐治(インターネットイニシアティブ) |
| 幹事補佐氏名（英） | Keita Emura(NICT) / Yuichi Komano(TOSHIBA) / Yuuji Suga(IIJ) |
| 講演論文情報詳細 | |
| 申込み研究会 | Technical Committee on Information Security / Technical Committee on Theoretical Foundations of Computing |
|---|---|
| 本文の言語 | JPN-ONLY |
| タイトル（和） | ［招待講演］半正定値緩和手法によるランダム制約充足問題の反駁の限界 |
| サブタイトル（和） | |
| タイトル（英） | |
| サブタイトル（和） | |
| キーワード(1)（和/英） | |
| 第 1 著者 氏名（和/英） | 森 立平 / Ryuhei Mori |
| 第 1 著者 所属（和/英） | 東京工業大学(略称：東工大) Tokyo Institute of Technology(略称：Tokyo Tech) |
| 発表年月日 | 2017-12-22 |
| 資料番号 | ISEC2017-87,COMP2017-41 |
| 巻番号（vol） | vol.117 |
| 号番号（no） | ISEC-369,COMP-370 |
| ページ範囲 | pp.103-105(ISEC), pp.103-105(COMP), |
| ページ数 | 3 |
| 発行日 | 2017-12-14 (ISEC, COMP) |