Research theme for competitive and other funds (13):
2021 - 2025 Greater Tokyo Innovation Ecosystem(GTIE)
2018 - 2022 Computational Complexity of Minimum Description Size Problems
2021 - 2021 イノベーションデザイン・プラットフォーム
2012 - 2017 A multifaceted approach toward understanding the limitations of computation
2012 - 2017 Exploring the Limits of Computation from the Statistical Physics
2013 - 2016 Expanding and Deepning Probabilistic Method in Coding Theory
2013 - 2016 Analysis of Iterative Solvers for Structured MAX-XORSAT
2010 - 2014 Graph bisection problem: approaches from statistical mechanics and theoretical computer science
2011 - 2012 組合せ論的問題の計算の複雑さの解析のための新たな手法の開拓
2010 - 2012 Studies on Algorithms for Insufficient Spatial Information
2010 - 2012 Analysis of Iterative Algorithms for MAX-XORSAT problems
2007 - 2009 Design and Analysis of Algorithms for Insufficient Information
2006 - 2006 計算機科学における離散と連続に関する調査と新しい展開
Show all
Papers (55):
Tong QIN, Osamu WATANABE. An Improvement of the Biased-PPSZ Algorithm for the 3SAT Problem. IEICE Transactions on Information and Systems. 2022. E105.D. 3. 481-490
Shuichi Hirahara, Osamu Watanabe. On Nonadaptive Reductions to the Set of Random Strings and Its Dense Subsets. Complexity and Approximation. 2020. LNCS12000. 67-79
Edith Hemaspaandra, Lane A. Hemaspaandra, Holger Spakowski, Osamu Watanabe. The Robustness of LWPP and WPP with an Application to Graph Reconstruction. Computational Complexity. 2020. 29. 2. 7-7
Shuichi Hirahara, Osamu Watanabe. On Nonadaptive Security Reductions of Hitting Set Generators. International Conference on Approximation, Randomization, and Combinatorial Optimization, Algorithms and Techniques (APPROX/RANDOM). 2019. LIPIcs 176. 15:1-15:14
KANE Daniel, WATANABE Osamu. Implicant Size of a CNF Formula with Many Satisfying Assignments (Theoretical Foundations of Computing). IEICE technical report. Theoretical foundations of Computing. 2014. 114. 238. 31-37
2010/03 - 2014/03 European Association of Theoretical Computer Science, Japan Chapter president
2004/05/01 - 情報オリンピック日本委員会 理事
1990 - 1994 電子情報通信学会 論文誌編集委員
Show all
Awards (6):
2014/06/10 - The 9th International Computer Science Symposium in Russia Yadex Best Paper Award The Query Complexity of Witness Finding
2011/05 - The Institute of Electronics, Information and Communication Engineers Fellow Fellow, The Institute of Electronics, Information and Communication Engineers
2009/05 - Information Processing Society of Japan Fellow Fellow, Information Processing Society of Japan
2008/04/10 - Ministry of Education 文部科学大臣表彰・科学技術賞(理解増進部門) スーパーコンによる計算機科学への理解増進
1992 - 日本IBM 日本IBM科学賞
1990/05/01 - Information Processing Society of Japan Best Author Award
Show all
Association Membership(s) (3):
Information Processing Society of Japan
, European Association of Theoretical Computer Science
, The Institute of Electronics, Information and Communication Engineers