Online edition: ISSN 2432-6380
[TOP] | [2018] | [2019] | [2020] | [2021] | [2022] | [2023] | [2024] | [Japanese] / [English]
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
注： 本技術報告は査読を経ていない技術報告であり，推敲を加えられていずれかの場に発表されることがあります．