上野賢哉 (Kenya Ueno) - マイポータル

基本情報

所属: 京都大学

J-GLOBAL ID: 201401090054359052
researchmap会員ID: 7000008952

論文

Candidate Boolean Functions towards Super-Quadratic Formula Size

Kenya Ueno

IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS E98D(3) 524-531 2015年3月査読有り
Exploring the Limits of Subadditive Approaches: Parallels between Optimization and Complexity Theory

上野賢哉

Interdisciplinary Information Sciences, Tohoku University. 2014年査読有り招待有り
線形計画法と計算限界 (小特集計算限界の解明への多面的アプローチ : P vs NPに向けた最前線)

上野賢哉

電子情報通信学会誌 : The Journal of the Institute of Electronics, Information and Communication Engineers 96(9) 675-678 2013年9月査読有り
Breaking the rectangle bound barrier against formula size lower bounds

Kenya Ueno

International Journal of Foundations of Computer Science 24(8) 1339-1354 2013年査読有り
多数決3分木への理論式分解 (アルゴリズムと計算理論の新展開)

上野賢哉

数理解析研究所講究録 1799 13-20 2012年6月
A stronger LP bound for formula size lower bounds via clique constraints

Kenya Ueno

THEORETICAL COMPUTER SCIENCE 434 87-97 2012年5月査読有り
Relating L versus P to Reversal versus Access and Their Combinatorial Structures

Kenya Ueno

IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS E91D(12) 2776-2783 2008年12月査読有り
Recursion theoretic operators for function complexity classes

Kenya Ueno

IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS E91D(4) 990-995 2008年4月査読有り

MISC

Exact Algorithms for 0-1 Integer Programs with Linear Equality Constraints

上野賢哉

情報処理学会アルゴリズム研究会 2014年6月13日
Candidate Boolean Functions towards Super-Quadratic Formula Size

UENO Kenya

電子情報通信学会技術研究報告 112(93(COMP2012 12-25)) 49-55 2012年6月14日
多数決３分木への論理式分解

上野賢哉

冬のLAシンポジウム 2012年1月30日
Formula complexity of ternary majorities

Kenya Ueno

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7434 433-444 2012年査読有り
Parity versus Majority: Formula Complexity Perspective

Kenya Ueno

In Proceedings of The 4th AAAC Annual Meeting (AAAC2011), p.35. 2011年査読有り
Breaking the rectangle bound barrier against formula size lower bounds

K. Ueno

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 6281 LNCS 665-676 2010年査読有り
A stronger LP bound for formula size lower bounds via clique constraints

UENO K.

Proceedings of the 26th Annual Symposium on Theoretical Aspects of Computer Science (STACS 2009) 3 685-696 2009年査読有り
Recursion theoretic operators for function complexity classes

K. Ueno

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 3827 LNCS 748-756 2005年査読有り

講演・口頭発表等

Inapproximability of Linear Programs for the Universal Relation

ELC Workshop on Inapproximability 2014年1月25日 B01 Group, Exploring the Limits of Computation
劣加法性で横断する最適化から計算限界

RAMPシンポジウム 2013年10月30日日本オペレーションズ・リサーチ学会
計算複雑さへの招待（3）：数理計画法から攻める計算限界

コンピュテーション研究会 2013年6月24日電子情報通信学会
非平衡な再帰関数の計算限界

第１回領域会議 2013年6月14日新学術領域研究「多面的アプローチの統合による計算限界の解明」
通信複雑さの理論と論理回路への応用

通信情報システム専攻談話会 2012年11月16日情報学研究科通信情報システム専攻
Basic Problems on Binary Matrix Factorization

ELC Mini-Workshop (B02, B03) 2012年10月28日新学術領域研究「多面的アプローチの統合による計算限界の解明」
線形空間探索による計算限界解析

ELC Mini-Workshop (B01) 2012年9月5日新学術領域研究「多面的アプローチの統合による計算限界の解明」
大規模数理計画による計算限界解析法の展開

発足準備会 2012年7月9日新学術領域研究「多面的アプローチの統合による計算限界の解明」
論理式の複雑さを明らかにする理論

学術情報メディアセンターセミナー「アルゴリズムと計算量理論」 2011年10月25日京都大学学術情報メディアセンター
Proof Methods for Formula Size Lower Bounds: Classics and Frontier

Workshop on Proof Theory and Computability Theory 2011年2月22日