研究キーワード (7件):
Theory of Algorithms
, 計算量理論,アルゴリズム理論,離散数学
, 計算量理論
, Discrete Mathematics
, Computational Complexity
, 離散数学
, アルゴリズム理論
競争的資金等の研究課題 (18件):
2021 - 2024 「計算」の視点から見る数学的難問
2018 - 2023 実験計算量理論の確立と展開
2018 - 2022 最小記述量の計算困難さの解析
2015 - 2019 計算論的ラムゼー理論の開発を通じたNP困難性の拡張
2012 - 2017 大規模数理計画による計算限界解析法の展開
2012 - 2016 計算機援用による計算困難性証明手法の展開
2009 - 2011 計算機援用による計算困難性証明手法の確立
2008 - 2010 情報系科目を対象とした自己組み立て型学習に関する実践的研究
2007 - 2008 大規模数理計画的アプローチに基づく回路計算量の下限導出手法の開発
2005 - 2007 生体情報処理における深層計算と表層計算に関する研究
2004 - 2007 オンライン予測の手法を用いた意思決定モデルに関する研究
2005 - 2006 論理関数の複雑さの下限導出問題に対する極限組み合わせ論的アプローチ
2003 - 2005 部分と全体の協調と競合に関する計算原理
2003 - 2004 論理関数の近似計算と厳密計算の困難さのギャップに関する研究
2001 - 2002 汎化エントロピー評価基準に基づくデータ組織化のためのオンラインアルゴリズム
1999 - 2000 近似法に基づく論理関数の複雑さの評価に関する研究
1999 - 1999 ブースティング技術を用いた知識発見アルゴリズムに関する研究
1997 - 1998 近似法による計算の複雑さの評価に関する研究
全件表示
論文 (70件):
Kento Kimura, Kazuyuki Amano, Shin-ichi Nakano. Escape from the Room. Lecture Notes in Computer Science. 2022. 232-241
Kento KIMURA, Kazuyuki AMANO, Tetsuya ARAKI. On the Minimum Number of Pieces for Two-Dimensional Anti-Slide Using T-Tetrominoes. IEICE Transactions on Information and Systems. 2021. E104.D. 3. 355-361
Kazuyuki Amano,Yoshinobu Haruyama. On the Number of p4-tilings by an N-omino. International Journal of Computational Geometry and Applications. 2019. 29. 1. 3-19
Kazuyuki Amano,Shoma Tate. On XOR Lemmas for the Weight of Polynomial Threshold Functions. Information and Computation. 2019. online
Kazuyuki Amano, Yoshinobu Haruyama. On the number of p4-Tilings by an n-Omino. Leibniz International Proceedings in Informatics, LIPIcs. 2017. 92. 5:1-5:12
Amano\, Kazuyuki. On XOR Lemma for Polynomial Threshold Weight and Length. Lecture Notes in Computer Science. 2016. 9618. 259-269
Amano\, Kazuyuki. On XOR Lemma for Polynomial Threshold Weight and Length. Lecture Notes in Computer Science. 2016. 9618. 259-269
Kazuyuki Amano,Kyaw May Oo,Yota Otachi,Ryuhei Uehara. Secure Sets and Defensive Alliances in Graphs: A Faster Algorithm and Improved Bounds. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS. 2015. E98D. 3. 486-489