|
渡辺治 2014年 研究業績一覧 (14件 / 263件)
著書
国際会議発表 (査読有り)
-
O. Watanabe.
On the limit of some algorithmic approach to circuit lower bounds,
Computing with New Resources (Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday),
LNCS,
Vol. 8808,
pp. 394-405,
Dec. 2014.
-
Tetsuo Asano,
David Kirkpatrick,
Kotaro Nakagawa,
Osamu Watanabe.
O(sqrt(n))-space and polynomial-time algorithm for planar directed graph reachability,
Proc. of the 39th Sympos. on Mathematical Foundations of Computer Science (MFCS'14),
Lecture Notes in Computer Science,
Springer Berlin Heidelberg,
Vol. 8635,
pp. 45-56,
2014.
-
Akinori Kawachi,
Benjamin Rossman,
Osamu Watanabe.
The query complexity of witness finding,
Proc. of the 9th International Computer Science Symposium in Russia (CSR14),
Lecture Notes in Computer Science,
Springer Berlin Heidelberg,
Vol. 8476,
pp. 218-231,
2014.
-
Daniel M. Kane,
Osamu Watanabe.
A short implicant of a CNF formula with many satisfying assignments,
Proc. of the 25th Sympos. on Algoerithms and Computation (ISAAC'14),
Lecture Notes in Computer Science,
Springer International Publishing,
Vol. 8889,
pp. 273-284,
2014.
国際会議発表 (査読なし・不明)
国内会議発表 (査読なし・不明)
-
渡辺 治.
計算限界への挑戦:P=NPの世界を目指して,
第26回RAMPシンポジウム,OR学会,
Oct. 2014.
-
ケイン ダニエル,
渡辺 治.
多くの充足解を持つ和積形論理式のインプリカントの大きさについて,
電子情報通信学会技術研究報告. COMP, コンピュテーション,
一般社団法人電子情報通信学会,
Vol. 114,
No. 238,
Sept. 2014.
-
渡辺 治.
スーパーコン : 高校生・高専生の電脳甲子園(<特集>若い力:高校生の問題解決),
オペレーションズ・リサーチ : 経営の科学,
公益社団法人日本オペレーションズ・リサーチ学会,
Vol. 59,
No. 6,
May 2014.
-
O. Watanabe.
Max k-linear equation problem,
力学系と計算,京都大学,
Jan. 2014.
-
渡辺 治.
環境適用型アルゴリズム,
CREST特定課題調査「ビッグデーター時代に向けた革新的アルゴリズム基盤」シンポジウム,京都リサーチパーク,
Jan. 2014.
-
渡辺 治.
「多面的アプローチの統合による計算限界の解明」について,
JST ERATO 合同 WS,日本未来館,
Jan. 2014.
その他の論文・著書など
[ BibTeX 形式で保存 ]
[ 論文・著書をCSV形式で保存
]
[ 特許をCSV形式で保存
]
|