上野賢哉 UENO Kenya

研究者番号	70586081
その他のID
所属 (過去の研究課題情報に基づく) *注記	2012年度 – 2016年度: 京都大学, 学内共同利用施設等, 助教 2014年度: 京都大学, 白眉センター, 特定助教 2012年度 – 2014年度: 京都大学, 白眉センター, 助教 2010年度 – 2011年度: 京都大学, 次世代研究者育成センター, 助教
審査区分/研究分野	研究代表者情報学基礎 / 情報学基礎理論研究代表者以外情報学基礎理論 / 理工系
キーワード	研究代表者計算量理論 / 線形計画法 / 論理関数 / 計算理論 / 整数計画法 / 回路計算量 / 計算限界研究代表者以外理論的性能保証 / 数理モデル化 / 情報の補填 … もっと見る / 計算困難問題 / アルゴリズム / 国際研究者交流（ベルギー・ドイツ） / 国際研究者交流:カナダ・ベルギー・チェコ・ドイツ / 多面体 / 国際研究者交流 / 計算限界 / 整数計画 / 線形計画 / 数理計画 / 国際研究者交流:カナダ・チェコ・米国 / 最適化数 / 数理計画法への応用 / 最適化 / 幾何計算隠す

厳密算法技術による整数計画法の新展開研究代表者
- 研究代表者
  
  上野賢哉
- 研究期間 (年度)
  2015 – 2018
- 研究種目
  
  若手研究(B)
- 研究分野
  
  情報学基礎理論
- 研究機関
  京都大学
データの巨大化から生じる不完全情報への対処に主眼をおいた近似計算
- 研究代表者
  
  岩間一雄
- 研究期間 (年度)
  2013 – 2015
- 研究種目
  
  基盤研究(A)
- 研究分野
  
  情報学基礎理論
- 研究機関
  京都大学
大規模数理計画による計算限界解析法の展開
- 研究代表者
  
  Avis David (AVIS David)
- 研究期間 (年度)
  2012 – 2016
- 研究種目
  
  新学術領域研究(研究領域提案型)
- 審査区分
  
  理工系
- 研究機関
  京都大学
劣加法構造探索による計算理論の新展開研究代表者
- 研究代表者
  
  上野賢哉
- 研究期間 (年度)
  2012 – 2014
- 研究種目
  
  若手研究(B)
- 研究分野
  
  情報学基礎
- 研究機関
  京都大学
論理式の構造的複雑さ解明研究代表者
- 研究代表者
  
  上野賢哉
- 研究期間 (年度)
  2010 – 2011
- 研究種目
  
  研究活動スタート支援
- 研究分野
  
  情報学基礎
- 研究機関
  京都大学

すべて 2015 2014 2013 2012 2011 2010 その他

すべて雑誌論文学会発表

[雑誌論文] Candidate Boolean Functions towards Super-Quadratic Formula Size2015
- 著者名/発表者名
  Kenya Ueno
- 雑誌名
  
  IEICE Transactions on Information and Systems
  
  巻: E98.D 号: 3 ページ: 524-531
- DOI
  10.1587/transinf.2014FCP0011
- NAID
  130004841869
- ISSN
  0916-8532, 1745-1361
- 言語
  英語
- 査読あり / 謝辞記載あり
- データソース
  KAKENHI-PROJECT-24700010
[雑誌論文] Exploring the Limits of Subadditive Approaches: Parallels between Optimization and Complexity Theory2015
- 著者名/発表者名
  Kenya Ueno
- 雑誌名
  
  Interdisciplinary Information Sciences, Tohoku University
  
  巻: 印刷中
- NAID
  110009992969
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-24700010
[雑誌論文] 線形計画法と計算限界（小特集計算限界の解明への多面的アプローチ -P vs NP に向けた最前線-）2013
- 著者名/発表者名
  上野賢哉
- 雑誌名
  
  電子情報通信学会会誌
  
  巻: 96 ページ: 675-678
- NAID
  110009660608
- 査読あり
- データソース
  KAKENHI-PLANNED-24106006
[雑誌論文] 線形計画法と計算限界（小特集計算限界の解明への多面的アプローチ ―P vs NPに向けた最前線―）2013
- 著者名/発表者名
  上野賢哉
- 雑誌名
  
  電子情報通信学会会誌
  
  巻: 96(9) ページ: 675-678
- NAID
  110009660608
- 査読あり
- データソース
  KAKENHI-PROJECT-24700010
[雑誌論文] Breaking the Rectangle Bound Barrier against Formula Size Lower Bounds2013
- 著者名/発表者名
  Kenya Ueno
- 雑誌名
  
  International Journal of Foundations of Computer Science
  
  巻: 24 号: 08 ページ: 1339-1354
- DOI
  10.1142/s0129054113500378
- NAID
  110007483107
- 査読あり
- データソース
  KAKENHI-PLANNED-24106006, KAKENHI-PROJECT-24700010, KAKENHI-PROJECT-25240002
[雑誌論文] Formula Complexity of Ternary Majorities. In Proceedings of The 18th Annual International Computing and Combinatorics Conference2012
- 著者名/発表者名
  Kenya Ueno
- 雑誌名
  
  Lecture Notes in Computer Science(Springer-Verlag)
- 査読あり
- データソース
  KAKENHI-PROJECT-22800032
[雑誌論文] Formula Complexity of Ternary Majorities2012
- 著者名/発表者名
  Kenya Ueno
- 雑誌名
  
  Proceedings of COCOON 2012, Lecture Notes in Computer Science
  
  巻: (掲載確定)(未確定)
- 査読あり
- データソース
  KAKENHI-PROJECT-22800032
[雑誌論文] A Stronger LP Bound for Formula Size Lower Bounds via Clique Constraints2012
- 著者名/発表者名
  Kenya Ueno
- 雑誌名
  
  Theoretical Computer Science
  
  巻: Vol.434 ページ: 87-97
- DOI
  10.1016/j.tcs.2012.02.005
- NAID
  120004057191
- 査読あり
- データソース
  KAKENHI-PROJECT-22800032, KAKENHI-PROJECT-24700010
[雑誌論文] Candidate Boolean Functions towards Super-Quadratic Formula Size2012
- 著者名/発表者名
  Kenya Ueno
- 雑誌名
  
  IEICE Technical Report
  
  巻: 112 (93) ページ: 49-55
- NAID
  110009588451
- データソース
  KAKENHI-PROJECT-24700010
[雑誌論文] Formula Decomposition into Ternary Majorities2012
- 著者名/発表者名
  Kenya Ueno
- 雑誌名
  
  数理解析研究所講究録
  
  巻: 1799 ページ: 13-20
- データソース
  KAKENHI-PROJECT-24700010
[雑誌論文] Formula Complexity of Ternary Majorities2012
- 著者名/発表者名
  Kenya Ueno
- 雑誌名
  
  Lecture Notes in Computer Science
  
  巻: 7434 ページ: 434-444
- DOI
  10.1007/978-3-642-32241-9_37
- ISBN
  9783642322402, 9783642322419
- 査読あり
- データソース
  KAKENHI-PROJECT-24700010, KAKENHI-PLANNED-24106006
[雑誌論文] Breaking the Rectangle Bound Barrier against Formula Size Lower Bounds2010
- 著者名/発表者名
  Kenya Ueno
- 雑誌名
  
  Lecture Notes in Computer Science
  
  巻: 6281 ページ: 665-676
- NAID
  110007483107
- 査読あり
- データソース
  KAKENHI-PROJECT-22800032
[雑誌論文] Breaking the Rectangle Bound Barrier against Formula Size Lower Bounds. In Proceedings of The 35th International Symposium on Mathematical Foundations of Computer Science2010
- 著者名/発表者名
  Kenya Ueno
- 雑誌名
  
  Lecture Notes in Computer Science 6281
  
  ページ: 665-676
- DOI
  10.1007/978-3-642-15155-2_58
- ISBN
  9783642151545, 9783642151552
- 査読あり
- データソース
  KAKENHI-PROJECT-22800032
[学会発表] Inapproximability of Linear Programs for the Universal Relation2014
- 著者名/発表者名
  Kenya Ueno
- 学会等名
  ELC Workshop on Inapproximability
- 発表場所
  The University of Electro-Communications
- 招待講演
- データソース
  KAKENHI-PROJECT-24700010
[学会発表] Exact Algorithms for 0-1 Integer Programs with Linear Equality Constraints2014
- 著者名/発表者名
  Kenya Ueno
- 学会等名
  ELC Mini-Workshop on Boolean Functions
- 発表場所
  計算限界研究センター，東京都港区
- 年月日
  2014-11-06
- データソース
  KAKENHI-PROJECT-24700010
[学会発表] Exact Algorithms for 0-1 Integer Programs with Linear Equality Constraints2014
- 著者名/発表者名
  上野賢哉
- 学会等名
  情報処理学会アルゴリズム研究会
- 発表場所
  道後温泉大和屋，愛媛県松山市
- 年月日
  2014-06-13
- データソース
  KAKENHI-PROJECT-24700010
[学会発表] Inapproximability of Linear Programs for the Universal Relation2014
- 著者名/発表者名
  Kenya Ueno
- 学会等名
  ELC Workshop on Inapproximability
- 発表場所
  The University of Electro-Communications
- 招待講演
- データソース
  KAKENHI-PLANNED-24106006
[学会発表] 劣加法性で横断する最適化から計算限界2013
- 著者名/発表者名
  上野賢哉
- 学会等名
  日本オペレーションズ・リサーチ学会第25回RAMPシンポジウム
- 発表場所
  鹿児島大学
- 招待講演
- データソース
  KAKENHI-PLANNED-24106006
[学会発表] 劣加法性で横断する最適化から計算限界2013
- 著者名/発表者名
  上野賢哉
- 学会等名
  日本オペレーションズ・リサーチ学会第25回RAMPシンポジウム
- 発表場所
  鹿児島大学
- 招待講演
- データソース
  KAKENHI-PROJECT-24700010
[学会発表] 計算複雑さへの招待（3）：数理計画法から攻める計算限界2013
- 著者名/発表者名
  上野賢哉
- 学会等名
  電子情報通信学会コンピュテーション研究会
- 発表場所
  奈良女子大学
- 招待講演
- データソース
  KAKENHI-PLANNED-24106006
[学会発表] Formula Complexity of Ternary Majorities2012
- 著者名/発表者名
  Kenya Ueno
- 学会等名
  The 18th Annual International Computing and Combinatorics Conference (COCOON 2012)
- 発表場所
  Sydney, Australia
- データソース
  KAKENHI-PROJECT-24700010
[学会発表] 多数決3分木への論理式分解2012
- 著者名/発表者名
  Kenya Ueno
- 学会等名
  冬のLAシンポジウム2012
- 発表場所
  京都大学(京都府)
- 年月日
  2012-01-30
- データソース
  KAKENHI-PROJECT-22800032
[学会発表] 多数決3分木への論理式分解2012
- 著者名/発表者名
  上野賢哉
- 学会等名
  冬のLAシンポジウム
- 発表場所
  京都
- 年月日
  2012-01-30
- データソース
  KAKENHI-PROJECT-22800032
[学会発表] Candidate Boolean Functions towards Super-Quadratic Formula Size2012
- 著者名/発表者名
  Kenya Ueno
- 学会等名
  電子情報通信学会コンピュテーション研究会
- 発表場所
  北海道大学
- データソース
  KAKENHI-PROJECT-24700010
[学会発表] Formula Complexity of Ternary Majorities2012
- 著者名/発表者名
  Kenya Ueno
- 学会等名
  COCOON 2012
- 発表場所
  Sydney, Australia
- 年月日
  2012-08-20
- データソース
  KAKENHI-PLANNED-24106006
[学会発表] Proof Methoods for Formula Siza Lower Bounds : Classics and Fyontier2011
- 著者名/発表者名
  Kenya Ueno
- 学会等名
  Workshop on Proof Theory and Computability Theory
- 発表場所
  Sendai, Japan(招待講演)
- 年月日
  2011-02-22
- データソース
  KAKENHI-PROJECT-22800032
[学会発表] Parity versus Majority : Formula Complexity Perspective2011
- 著者名/発表者名
  Kenya Ueno
- 学会等名
  The First AAAC Annual Meeting(AAAC2011)
- 発表場所
  Hsin Chu, Taiwan
- 年月日
  2011-04-16
- データソース
  KAKENHI-PROJECT-22800032
[学会発表] Proof Methods for Formula Size Lower Bounds : Classics and Frontier2011
- 著者名/発表者名
  Kenya Ueno
- 学会等名
  Workshop on Proof Theory and Computability Theory, Iwanumaya, Akiu Spa
- 発表場所
  Sendai, February
- 年月日
  2011-02-22
- データソース
  KAKENHI-PROJECT-22800032
[学会発表] Parity versus Majority : Formula Complexity Perspective2011
- 著者名/発表者名
  Kenya Ueno
- 学会等名
  The First AAAC Annual Meeting (AAAC2011)
- 発表場所
  HsinChu, Taiwan
- 年月日
  2011-04-16
- データソース
  KAKENHI-PROJECT-22800032
[学会発表] Breaking the Rectangle Bound Barrier against Formula Size Lower Bounds2010
- 著者名/発表者名
  Kenya Ueno
- 学会等名
  The 35th International Symposium on Mathematical Foundations of Computer Science
- 発表場所
  Brno, Czech Republic
- 年月日
  2010-08-27
- データソース
  KAKENHI-PROJECT-22800032
[学会発表] Breaking the Rectangle Bound Barrier against Formula Size Lower Bounds2010
- 著者名/発表者名
  Kenya Ueno
- 学会等名
  The 35th International Symposium on Mathematical Foundations of Computer Science(MFCS 2010)
- 発表場所
  Brno, Czech Republic
- 年月日
  2010-08-27
- データソース
  KAKENHI-PROJECT-22800032
[学会発表] 計算複雑さへの招待（3）：数理計画法から攻める計算限界
- 著者名/発表者名
  上野賢哉
- 学会等名
  電子情報通信学会コンピュテーション研究会
- 発表場所
  奈良女子大学
- 招待講演
- データソース
  KAKENHI-PROJECT-24700010

1. Avis David (90584110)

共同の研究課題数: 2件

共同の研究成果数: 0件
2. 天野一幸 (30282031)

共同の研究課題数: 1件

共同の研究成果数: 0件
3. 岩間一雄 (50131272)

共同の研究課題数: 1件

共同の研究成果数: 0件
4. 宮崎修一 (00303884)

共同の研究課題数: 1件

共同の研究成果数: 0件
5. 玉置卓 (40432413)

共同の研究課題数: 1件

共同の研究成果数: 0件
6. 伊藤大雄 (50283487)

共同の研究課題数: 1件

共同の研究成果数: 0件
7. 堀山貴史 (60314530)

共同の研究課題数: 1件

共同の研究成果数: 0件
8. 吉田悠一 (50636967)

共同の研究課題数: 1件

共同の研究成果数: 0件
9. 岡本和也 (60565018)

共同の研究課題数: 1件

共同の研究成果数: 0件
10. 脊戸和寿 (20584056)

共同の研究課題数: 1件

共同の研究成果数: 0件
11. 川原純 (20572473)

共同の研究課題数: 1件

共同の研究成果数: 0件

上野 賢哉 UENO Kenya

研究課題

研究成果

共同研究者

厳密算法技術による整数計画法の新展開研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

データの巨大化から生じる不完全情報への対処に主眼をおいた近似計算

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

大規模数理計画による計算限界解析法の展開

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

劣加法構造探索による計算理論の新展開研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

論理式の構造的複雑さ解明研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

[雑誌論文] Candidate Boolean Functions towards Super-Quadratic Formula Size2015

著者名/発表者名

雑誌名

DOI

NAID

ISSN

言語

データソース

[雑誌論文] Exploring the Limits of Subadditive Approaches: Parallels between Optimization and Complexity Theory2015

著者名/発表者名

雑誌名

NAID

データソース

[雑誌論文] 線形計画法と計算限界（小特集計算限界の解明への多面的アプローチ -P vs NP に向けた最前線-）2013

著者名/発表者名

雑誌名

NAID

データソース

[雑誌論文] 線形計画法と計算限界（小特集 計算限界の解明への多面的アプローチ ―P vs NPに向けた最前線―）2013

著者名/発表者名

雑誌名

NAID

データソース

[雑誌論文] Breaking the Rectangle Bound Barrier against Formula Size Lower Bounds2013

著者名/発表者名

雑誌名

DOI

NAID

データソース

[雑誌論文] Formula Complexity of Ternary Majorities. In Proceedings of The 18th Annual International Computing and Combinatorics Conference2012

著者名/発表者名

雑誌名

データソース

[雑誌論文] Formula Complexity of Ternary Majorities2012

著者名/発表者名

雑誌名

データソース

[雑誌論文] A Stronger LP Bound for Formula Size Lower Bounds via Clique Constraints2012

著者名/発表者名

雑誌名

DOI

NAID

データソース

[雑誌論文] Candidate Boolean Functions towards Super-Quadratic Formula Size2012

著者名/発表者名

雑誌名

上野賢哉 UENO Kenya

[雑誌論文] 線形計画法と計算限界（小特集計算限界の解明への多面的アプローチ ―P vs NPに向けた最前線―）2013