情報・システム-コンピュテーション(開催日：2021/08/25)

タイトル/著者/発表日/資料番号
分散計算における誘導サイクル発見問題の下界

ルガル フランソワ(名大),  宮本 昌幸(名大),  

[発表日]2021-08-25
[資料番号]COMP2021-9
量子計算を古典委託するための合理的なサムチェックプロトコル

竹内 勇貴(NTT),  森前 智行(京大),  谷 誠一郎(NTT),  

[発表日]2021-08-25
[資料番号]COMP2021-11
定理証明支援系Coqによる二人単貧民の定理の証明

大渡 勝己(*),  

[発表日]2021-08-25
[資料番号]COMP2021-12
［招待講演］グラフ上での持ち込みと持ち帰りを許す輸送問題

浅野 哲夫(金沢大),  

[発表日]2021-08-25
[資料番号]COMP2021-10