電子情報通信学会技術研究報告

Online edition: ISSN 2432-6380

Volume 121, Number 149

コンピュテーション

開催日 2021-08-25 / 発行日 2021-08-18

[PREV] [NEXT]

[TOP] | [2018] | [2019] | [2020] | [2021] | [2022] | [2023] | [2024] | [Japanese] / [English]

[PROGRAM] [BULK PDF DOWNLOAD]


目次

COMP2021-9
分散計算における誘導サイクル発見問題の下界
ルガル フランソワ・○宮本昌幸(名大)
pp. 1 - 8

COMP2021-10
[招待講演]グラフ上での持ち込みと持ち帰りを許す輸送問題
○浅野哲夫(金沢大)
p. 9

COMP2021-11
Rational sumcheck protocols for classically delegating quantum computing to a quantum server
○Yuki Takeuchi(NTT)・Tomoyuki Morimae(Kyoto Univ.)・Seiichiro Tani(NTT)
pp. 10 - 13

COMP2021-12
定理証明支援系Coqによる二人単貧民の定理の証明
○大渡勝己
pp. 14 - 18

注: 本技術報告は査読を経ていない技術報告であり,推敲を加えられていずれかの場に発表されることがあります.


IEICE / 電子情報通信学会