| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
コンピュテーション研究会 (COMP) (検索条件: 2021年度)
「from:2021-08-25 to:2021-08-25」による検索結果
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| COMP, IPSJ-AL (連催) |
2021-08-25 11:00 |
ONLINE | オンライン開催 | 分散計算における誘導サイクル発見問題の下界 ルガル フランソワ・○宮本昌幸（名大）  COMP2021-9 |
部分グラフ発見問題は入力ネットワークが特定のグラフを部分グラフとして持つかを判定する問題である。本研究では分散計算モデル... [more] | COMP2021-9 pp.1-8 |
| COMP, IPSJ-AL (連催) |
2021-08-25 15:30 |
ONLINE | オンライン開催 | ［招待講演］グラフ上での持ち込みと持ち帰りを許す輸送問題 ○浅野哲夫（金沢大） COMP2021-10 |
輸送問題として分類される問題は数多く存在する．本文で考察するのは，車両を用いた持ち込みと持ち帰りを許す場合の輸送問題であ... [more] | COMP2021-10 p.9 |
| COMP, IPSJ-AL (連催) |
2021-08-25 16:30 |
ONLINE | オンライン開催 | 量子計算を古典委託するための合理的なサムチェックプロトコル ○竹内勇貴（NTT）・森前智行（京大）・谷 誠一郎（NTT） COMP2021-11 |
近年，合理的な委託量子計算という新しい委託量子計算モデルが提案された。 このモデルでは，クライアントがサーバに量子計算... [more] |
COMP2021-11 pp.10-13 |
| COMP, IPSJ-AL (連催) |
2021-08-25 17:00 |
ONLINE | オンライン開催 | 定理証明支援系Coqによる二人単貧民の定理の証明 ○大渡勝己 COMP2021-12 |
数学の証明を，計算機上で再現性のあるルールの元で厳密な記述する形式的証明は，定理の妥当性を検証する有効な手段であり，Co... [more] | COMP2021-12 pp.14-18 |
[研究会発表申込システムのトップページに戻る]