情報・システム-コンピュテーション(開催日：2013/10/11)

タイトル/著者/発表日/資料番号
表紙

,  

[発表日]2013/10/11
[資料番号]
目次

,  

[発表日]2013/10/11
[資料番号]
巨大で疎な組合せ集合を表現するための三分索引化ZDD

青木 洋士,  戸田 貴久,  湊 真一,  

[発表日]2013/10/11
[資料番号]COMP2013-32
距離遺伝グラフにおけるハミルトン閉路問題

神保 孝則,  平田 富夫,  

[発表日]2013/10/11
[資料番号]COMP2013-33
高階圧縮の高速化と効率の良い符号化

矢口 和也,  小林 直樹,  篠原 歩,  

[発表日]2013/10/11
[資料番号]COMP2013-34
計算複雑さへの招待(4):計算限界証明における障壁

玉置 卓,  

[発表日]2013/10/11
[資料番号]COMP2013-35
Constant-Space Zero-Knowledge Proofs Systems with One-Way Quantum Verifiers : Preliminary Report

,  

[発表日]2013/10/11
[資料番号]COMP2013-36
フロベニウスの硬貨交換問題に対する構文解析表を用いたアルゴリズム

松原 俊一,  

[発表日]2013/10/11
[資料番号]COMP2013-37
複写される方へ

,  

[発表日]2013/10/11
[資料番号]
Notice for Photocopying

,  

[発表日]2013/10/11
[資料番号]
奥付

,  

[発表日]2013/10/11
[資料番号]
裏表紙

,  

[発表日]2013/10/11
[資料番号]