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

Print edition: ISSN 0913-5685      Online edition: ISSN 2432-6380

Volume 113, Number 108

コンピュテーション

[PREV] [NEXT]

[TOP] | [2010] | [2011] | [2012] | [2013] | [2014] | [2015] | [2016] | [Japanese] / [English]

[PROGRAM] [BULK PDF DOWNLOAD]

目次

COMP2013-19
Morpion Solitaire: a new upper bound 121 of the maximum score
Akitoshi Kawamura（Univ. of Tokyo）・○Takuma Okamoto・Yuichi Tatsu・Yushi Uno・Masahide Yamato（Osaka Prefecture Univ.）
pp. 1 - 6

COMP2013-20
Shortest Path Queries by Labeling for Paths with Pruning in Road Networks
○Yuki Kawata・Takuya Akiba・Yoichi Iwata（Univ. of Tokyo）
pp. 7 - 15

COMP2013-21
Bethe Approximation, Loop Series and Partition Function Zeros
○Ryuhei Mori（Tokyo Inst. of Tech.）
pp. 17 - 20

COMP2013-22
［チュートリアル講演］計算複雑さへの招待（3）：数理計画法から攻める計算限界
○上野賢哉（京大）
p. 21

COMP2013-23
単調論理関数双対化を用いたパラメトリック整数計画アルゴリズムについて
夫　紀恵（NII）・○渋田敬史（九大）
pp. 23 - 30

COMP2013-24
Stronger Methods of Making Quantum Interactive Proofs Perfectly Complete
Hirotada Kobayashi（NII）・Francois Le Gall（Univ. of Tokyo）・○Harumichi Nishimura（Nagoya Univ.）
pp. 31 - 38

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