MF Researcher Database

研究者データベース

詳細
天野　一幸
アマノ　カズユキ
情報学講座
教授
Last Updated :2025/03/27

研究者基本情報

研究者

  • 氏名

    天野　一幸, アマノ　カズユキ

基本情報

  • 研究者氏名（日本語）

    天野, 一幸

使用外国語

  • 発表に使用する外国語

    英語

  • 執筆に使用する外国語

    英語

所属

  • 群馬大学

学歴

  • 1996年, 東北大学, 大学院情報科学研究科
  • 1991年, 東北大学, 工学部, 情報工学科
  • 1996年, 東北大学
  • 1991年, 東北大学

学位

  • 博士（情報科学）

所属学協会

  • 電子情報通信学会
  • LAシンポジウム
  • EATCS
  • 情報処理学会

経歴

  • 1996年04月, 東北大学大学院情報科学研究科 助手
  • 2006年03月, 群馬大学工学部情報工学科 助教授
  • 2012年04月, 群馬大学　大学院理工学府　電子情報部門　教授

研究活動情報

研究分野

  • 情報通信, 情報学基礎論

研究キーワード

  • 計算量理論
  • アルゴリズム理論
  • 離散数学
  • 計算量理論，アルゴリズム理論，離散数学

論文

  • Integer Complexity and Mixed Binary-Ternary Representation, Kazuyuki Amano, 2022年12月, Proc. of ISAAC 2022
  • Escape from the Room, Kento Kimura, Kazuyuki Amano, Shin-ichi Nakano, 2022年10月, Proc. of COCOON 2022
  • On the Minimum Number of Pieces for Two-Dimensional Anti-Slide Using T-Tetrominoes, Kento Kimura, Kazuyuki Amano and Tetsuya Araki, 2021年03月, IEICE Trans. Inf. & Syst., E104-D, 3, 355, 361
  • Maximum Number of Steps of Topswops on 18 and 19 Cards, Kento Kimura, Atsuki Takahashi, Tetsuya Araki and Kazuyuki Amano, 2021年03月, arXiv:2103.08346
  • Search for Developments of a Box having Multiple Ways of Folding by SAT Solver, Riona Tadaki, Kazuyuki Amano, 2020年05月, arXiv:2005.02645
  • An Approximation Algorithm for the 2-dispersion Problem, Kazuyuki Amano, Shin-ichi Nakano, 2020年03月, IEICE Trans. Inf. & Syst., E103-D, No. 3, 506, 508
  • On XOR Lemmas for the Weight of Polynomial Threshold Functions, Kazuyuki Amano,Shoma Tate, 2019年08月, Information and Computation, online
  • On the Number of p4-tilings by an N-omino, Kazuyuki Amano,Yoshinobu Haruyama, 2019年08月, International Journal of Computational Geometry and Applications, 29, 1, 3, 19
  • Depth Two Majority Circuits for Majority and List Expanders, Kazuyuki Amano, 2018年08月, Proc. of MFCS 2018, LIPIcs, Proc. of MFCS 2018, LIPIcs, 117, 8
  • Depth Two (n-2)-Majority Circuits for n-Majority, Kazuyuki Amano,Masafumi Yoshida, 2018年08月, IEICE Trans. Fund., IEICE Trans. Fund., E101-A, 9
  • On the Number of p4-tilings by an N-omino, Amano\, Kazuyuki,Haruyama\, Yoshinobu, 2017年12月, Proc. of ISAAC 2017, LIPIcs 92, Proc. of ISAAC 2017, LIPIcs 92, 92
    DOI
  • Enumeration of Boolean Functions of Sensitivity Three and Inheritance of Nondegeneracy, Amano\, Kazuyuki, 2017年06月, Proc. of IEEE-ISIT 2017, Proc. of IEEE-ISIT 2017
    DOI
  • On XOR Lemma for Polynomial Threshold Weight and Length, Amano\, Kazuyuki, 2016年03月, Lecture Notes in Computer Science, Lecture Notes in Computer Science, 9618
    DOI
  • Anti-Slide, Kazuyuki Amano,Shin-ichi Nakano,Koichi Yamazaki, 2015年05月, Journal of Information Processing, Journal of Information Processing, 23, 3
    DOI
  • Ordered biclique partitions and communication complexity problems, Shigeta\, Manami,Amano\, Kazuyuki, 2015年03月, DISCRETE APPLIED MATHEMATICS, DISCRETE APPLIED MATHEMATICS, 184
    DOI
  • Secure Sets and Defensive Alliances in Graphs: A Faster Algorithm and Improved Bounds, Amano\, Kazuyuki,Oo\, Kyaw May,Otachi\, Yota,Uehara\, Ryuhei, 2015年03月, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, E98D, 3
    DOI
  • A Nonuniform Circuit Class with Multilayer of Threshold Gates having Super Quasi Polynomial Size Lower Bounds against NEXP, Amano\, Kazuyuki,Saito\, Atsushi, 2015年03月, Lecture Notes in Computer Science, Lecture Notes in Computer Science, 8977
    DOI
  • A Satisfiability Algorithm for Some Class of Dense Depth Two Threshold Circuits, Amano\, Kazuyuki,Saito\, Atsushi, 2015年01月, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, E98D, 1
    DOI
  • Some improved bounds on communication complexity via new decomposition of cliques, Kazuyuki Amano, 2014年03月, DISCRETE APPLIED MATHEMATICS, 166, 249, 254, 研究論文（学術雑誌）
    DOI
  • On extremal k-CNF formulas, Kazuyuki Amano, 2014年01月, EUROPEAN JOURNAL OF COMBINATORICS, 35, 39, 50, 研究論文（学術雑誌）
    DOI
  • How to Solve the Torus Puzzle., 2012年01月, Open Access Journal Algorithms, Open Access Journal Algorithms, 5, 1
    DOI
  • Minterm-Transitive Functions with Asymptotically Smallest Block Sensitivity, Kazuyuki Amano, 2011年12月, Information Processing Letters, Information Processing Letters, 111, 23-24
  • On Extremal k-CNF Formulas (extended abstract), Kazuyuki Amano, 2011年09月, Proceedings of EuroComb 2011, Proceedings of EuroComb 2011
  • On Directional vs. General Randomized Decision Tree Complexity for Read-Once Formulas, Kazuyuki Amano, 2011年05月, 2011, 3
  • A Well-Mixed Boolean Function with Circuit Complexity 5n: Tightness of the Rachish-Raz-Type Bounds, Kazuyuki Amano,Jun Tarui, 2011年04月, 412, 8
  • Tight Bounds on the Average Sensitivity of k-CNF, Kazuyuki Amano, 2011年03月, Theory of Computing, Theory of Computing, 7, 4
  • Bounding the Randomized Decision Tree Complexity of Read-Once Boolean Functions, Kazuyuki Amano, 2011年01月, Proc. of 22nd Annual ACM-SIAM Symposium on Discrete Algorithms, Proc. of 22nd Annual ACM-SIAM Symposium on Discrete Algorithms, 22
  • New Upper Bounds on the Average PTF Density of Boolean Functions, Kazuyuki Amano, 2010年12月, Lecture Notes in Computer Science, Lecture Notes in Computer Science, 6506
  • K-Subgraph Isomorphism on AC^0 Circuits, Kazuyuki Amano, 2010年06月, Computational Complexity, Computational Complexity, 19, 2
  • NPN-Representatives of a Set of Optimal Boolean Formulas, Hideaki Fukunaga,Eiji Takimoto,Kazuyuki Amano, 2010年06月, E93-A, 6
  • Researching the Complexity of Boolean Functions with Computers, Kazuyuki Amano, 2010年05月, Bulletin of EATCS, Bulletin of EATCS, 101
  • On Directional vs. Undirectional Randomized Decision Tree Complexity for Read-Once Formulas, Kazuyuki Amano, 2010年01月, Conferences in Research and Practice in Information Technology, Conferences in Research and Practice in Information Technology, 109
  • Bounds on the Size of Small Depth Circuits for Approximating Majority, Kazuyuki Amano, 2009年07月, Lecture Notes in Computer Science, Lecture Notes in Computer Science, 5555
  • K-Subgraph Isomorphism on AC_0 Circuits, Kazuyuki Amano, 2009年07月, Proceedings of 24th Annual IEEE Conference on Computational Complexity, Proceedings of 24th Annual IEEE Conference on Computational Complexity, 19, 2
  • Representation of Quantum Circuits with Clifford and Pi/8 Gates, Ken Matsumoto,Kazuyuki Amano, 2008年08月, Proceedings of the 8th Asian Conf. on Quantum Information Science, Proceedings of the 8th Asian Conf. on Quantum Information Science, 8
  • Monotone DNF Formula that has a Minimal or Maximal Number of Satisfying Assignments, Takayuki Sato,Kazuyuki Amano,Eiji Takimoto,Akira Maruoka, 2008年06月, Lecture Notes in Computer Science, Lecture Notes in Computer Science, 5092
  • A Well-Mixed Function with Circuit Complexity 5n +- o(n):Tightness of the Lachish-Raz-type Bounds, Kazuyuki Amano,Jun Tarui, 2008年04月, Lecture Notes in Computer Science, Lecture Notes in Computer Science, 4978
  • Better upper bounds on the QOBDD size of integer multiplication, Kazuyuki Amano,Akira Maruoka, 2007年01月, Discrete Applied Mathematics, Discrete Applied Mathematics, 155, 10
  • On the Monotone Circuit Complexity of Quadratic Boolean Functions, Kazuyuki Amano,Akira Maruoka, 2006年09月, Algorithmica, Algorithmica, 46, 1
  • On the Negation-Limited Circuit Complexity of Sorting and Inverting K-tonic Sequences, Takayuki Sato,Kazuyuki Amano,Akira Maruoka, 2006年08月, Lect. Notes. on Computer Science, Lect. Notes. on Computer Science, 4112
  • On Learning Monotone Boolean Functions under the Uniform Distributions, AMANO KAZUYUKI,丸岡 章, 2006年01月, Theoretical Computer Science, Theoretical Computer Science, 350(1):3-12
  • A Superpolynomial Lower Bound for a Circuit Computing the Clique Function with at most (1/6)loglog n Negation Gates, AMANO KAZUYUKI,Akira Maruoka, 2005年10月, SIAM Journal on Computing, SIAM Journal on Computing, 35(1), pp.201-216
  • Monotone Boolean Functions with s Zeroes Farthest from Threshold Functions, AMANO KAZUYUKI,Jun Tarui, 2005年09月, Discrete Mathematics and Theoretical Computer Science, Discrete Mathematics and Theoretical Computer Science, AE:11-16
  • On the Complexity of Depth-2 Circuits with Threshold Gates, AMANO KAZUYUKI,Akira Maruoka, 2005年08月, Lecture Notes in Computer Science, Lecture Notes in Computer Science, 3618, pp. 107-118
  • Tighter Bounds on the OBDD Size of Integer Multiplication, AMANO KAZUYUKI,Akira Maruoka, 2005年06月, 4th Japanese-Hungalian Symp. On Disc. Math. And Its Applications., 4th Japanese-Hungalian Symp. On Disc. Math. And Its Applications., Vol. 4, pp. 9-15 ブタペスト ハンガリー
  • On the Monotone Circuit Complexity of Quadratic Boolean Functions, AMANO KAZUYUKI,Akira Maruoka, 2004年12月, Lecture Notes in Computer Science, Lecture Notes in Computer Science, 3341:28-40
  • Better Simulation of Exponential Threshold Weights by Polynomial Weights, AMANO KAZUYUKI,Akira Maruoka, 2004年11月, Electronic Colloquium on Computational Complexity, Electronic Colloquium on Computational Complexity, TR04-090
  • The Potential of the Approximation Method, AMANO KAZUYUKI,Akira Maruoka, 2004年02月, SIAM Journal on Computing, SIAM Journal on Computing, 33(2):433-447
  • P vs. NP問題, 天野 一幸, 2003年12月, 電子情報通信学会誌, 86(12):912-917
  • On Optimal Merging Networks, AMANO KAZUYUKI,Akira Maruoka, 2003年08月, Lecture Notes in Computer Science, Lecture Notes in Computer Science, 2747:152-161
  • Inclusion-Exclusion for k-CNF Formulas, AMANO KAZUYUKI,Kazuo Iwama,Akira Maruoka,Kenshi Matsuo,Akihiro Matsuura, 2003年07月, Information Processing Letters, Information Processing Letters, 87(2):111-117
  • Some Properties of MODm Circuits Computing Simple Functions, AMANO KAZUYUKI,Akira Maruoka, 2003年05月, Lecture Notes in Computer Science, Lecture Notes in Computer Science, 2653:227-237
  • On the Negation-Limited Circuit Complexity of Merging, AMANO KAZUYUKI,Akira Maruoka,Jun Tarui, 2003年01月, Discrete Applied Mathematics, Discrete Applied Mathematics, 126(1):3-8
  • On Learning Monotone Boolean Functions under the Uniform Distribution, AMANO KAZUYUKI,Akira Maruoka, 2002年11月, Lecture Notes in Computer Science, Lecture Notes in Computer Science, 2533:57-68
  • The Computational Power of a Family of Decision Forests, AMANO KAZUYUKI,Tsukuru Hirosawa,Yusuke Watanabe,Akira Maruoka, 2001年08月, Lecture Notes in Computer Science, Lecture Notes in Computer Science, 2136:123-134
  • On a Generalized Ruin Problem, AMANO KAZUYUKI,John Tromp,Paul Vitanyi,Osamu Watanabe, 2001年08月, Lecture Notes in Computer Science, Lecture Notes in Computer Science, 2129:181-191
  • 四色問題, 天野 一幸, 2000年12月, 20世紀の予想 --現代数学の軌跡--
  • On-Line Estimation of Hidden Markov Model Parameters, AMANO KAZUYUKI,Jun Mizuno,Tatsuya Watanabe,Kazuya Ueki,Eiji Takimoto,Akira Maruoka, 2000年12月, Lecture Notes in Computer Science, Lecture Notes in Computer Science, 1967:155-169
  • ブール関数のフーリエ変換とその応用, 天野 一幸,瀧本 英二, 1999年12月, 電子情報通信学会誌, 82(12), pp. 1270-1272
  • On the Negation-Limited Circuit Complexity of Merging, AMANO KAZUYUKI,Akira Maruoka,Jun Tarui, 1999年07月, Lecture Notes in Computer Science (Proc. of the 5th COCOON), Lecture Notes in Computer Science (Proc. of the 5th COCOON), 1627:204-209
  • 20世紀の予想 四色問題, 天野 一幸, 1998年12月, 数学セミナー, 1998-12, pp. 54-57
  • A Superpolynomial Lower Bound for a Circuit Computing the Clique Function with at most (1/6)loglog n Negation Gates, AMANO KAZUYUKI,Akira Maruoka, 1998年08月, Lecture Notes in Computer Science (Prof. of the 23rd MFCS), Lecture Notes in Computer Science (Prof. of the 23rd MFCS), 1450:399-408
  • Approximation Algorithms for DNF under Distributions with Limited Independence, AMANO KAZUYUKI,Akira Maruoka, 1997年05月, Theory of Computing Sysytems, Theory of Computing Sysytems, 30:181-196
  • The Potential of the Approximation Method, AMANO KAZUYUKI,Akira Maruoka, 1996年10月, Proceedings of the 37th Foundations of Computer Science (FOCS'96), Proceedings of the 37th Foundations of Computer Science (FOCS'96), 37:431-440

MISC

  • A Satisfiability Algorithm for Some Class of Dense Depth Two Threshold Circuits, Kazuyuki Amano,Atsushi Saito, 2015年01月, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, E98D, 1, 108, 118
    DOI
  • A Satisfiability Algorithm for Some Class of Dense Depth Two Threshold Circuits, Kazuyuki Amano,Atsushi Saito, 2015年01月, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, E98D, 1, 108, 118
    DOI
  • Secure Sets and Defensive Alliances in Graphs: A Faster Algorithm and Improved Bounds, Kazuyuki Amano,Kyaw May Oo,Yota Otachi,Ryuhei Uehara, 2015年03月, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, E98D, 3, 486, 489
    DOI
  • Secure Sets and Defensive Alliances in Graphs: A Faster Algorithm and Improved Bounds, Kazuyuki Amano,Kyaw May Oo,Yota Otachi,Ryuhei Uehara, 2015年03月, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, E98D, 3, 486, 489
    DOI
  • Ordered biclique partitions and communication complexity problems, Manami Shigeta,Kazuyuki Amano, 2015年03月, DISCRETE APPLIED MATHEMATICS, 184, 248, 252
    DOI
  • Ordered biclique partitions and communication complexity problems, Manami Shigeta,Kazuyuki Amano, 2015年03月, DISCRETE APPLIED MATHEMATICS, 184, 248, 252
    DOI
  • On learning monotone Boolean functions under the uniform distribution, K Amano,A Maruoka, 2006年01月, THEORETICAL COMPUTER SCIENCE, 350, 1, 3, 12
    DOI
  • On learning monotone Boolean functions under the uniform distribution, K Amano,A Maruoka, 2006年01月, THEORETICAL COMPUTER SCIENCE, 350, 1, 3, 12
    DOI
  • A superpolynomial lower bound for a circuit computing the clique function with at most (1/6) log log N negation gates, K Amano,A Maruoka, 2005年, SIAM JOURNAL ON COMPUTING, 35, 1, 201, 216
    DOI
  • A superpolynomial lower bound for a circuit computing the clique function with at most (1/6) log log N negation gates, K Amano,A Maruoka, 2005年, SIAM JOURNAL ON COMPUTING, 35, 1, 201, 216
    DOI
  • Inclusion-exclusion for k-CNF formulas, K Amano,K Iwama,A Maruoka,K Matsuo,A Matsuura, 2003年07月, INFORMATION PROCESSING LETTERS, 87, 2, 111, 117
    DOI
  • Inclusion-exclusion for k-CNF formulas, K Amano,K Iwama,A Maruoka,K Matsuo,A Matsuura, 2003年07月, INFORMATION PROCESSING LETTERS, 87, 2, 111, 117
    DOI
  • The potential of the approximation method, K Amano,A Maruoka, 2004年, SIAM JOURNAL ON COMPUTING, 33, 2, 433, 447
    DOI
  • The potential of the approximation method, K Amano,A Maruoka, 2004年, SIAM JOURNAL ON COMPUTING, 33, 2, 433, 447
    DOI
  • On Learning Monotone Boolean Functions under the Uniform Distribution, AMANO KAZUYUKI,Akira Maruoka, 2002年, Lecture Notes in Computer Science, 2533:57-68
  • On the Monotone Circuit Complexity of Quadratic Boolean Functions, AMANO KAZUYUKI,Akira Maruoka, 2004年, Lecture Notes in Computer Science, 3341:28-40
  • Monotone Boolean Functions with s Zeroes Farthest from Threshold Functions, AMANO KAZUYUKI,Jun Tarui, 2005年, Discrete Mathematics and Theoretical Computer Science, AE:11-16
  • Tighter Bounds on the OBDD Size of Integer Multiplication, AMANO KAZUYUKI,Akira Maruoka, 2005年, 4th Japanese-Hungalian Symp. On Disc. Math. And Its Applications., Vol. 4, pp. 9-15 ブタペスト ハンガリー
  • Better Simulation of Exponential Threshold Weights by Polynomial Weights, AMANO KAZUYUKI,Akira Maruoka, 2004年, Electronic Colloquium on Computational Complexity, TR04-090
  • On Optimal Merging Networks, AMANO KAZUYUKI,Akira Maruoka, 2003年, Lecture Notes in Computer Science, 2747:152-161
  • Some Properties of MODm Circuits Computing Simple Functions, AMANO KAZUYUKI,Akira Maruoka, 2003年, Lecture Notes in Computer Science, 2653:227-237
  • On the Negation-Limited Circuit Complexity of Merging, AMANO KAZUYUKI,Akira Maruoka,Jun Tarui, 2003年, Discrete Applied Mathematics, 126(1):3-8
    DOI
  • On a Generalized Ruin Problem, AMANO KAZUYUKI,John Tromp,Paul Vitanyi,Osamu Watanabe, 2001年, Lecture Notes in Computer Science, 2129:181-191
  • P vs. NP問題, 天野 一幸, 2003年, 電子情報通信学会誌, 86(12):912-917
  • On the Complexity of Depth-2 Circuits with Threshold Gates, AMANO KAZUYUKI,Akira Maruoka, 2005年, Lecture Notes in Computer Science, 3618, pp. 107-118
  • The Computational Power of a Family of Decision Forests, AMANO KAZUYUKI,Tsukuru Hirosawa,Yusuke Watanabe,Akira Maruoka, 2001年, Lecture Notes in Computer Science, 2136:123-134
  • On-Line Estimation of Hidden Markov Model Parameters, AMANO KAZUYUKI,Jun Mizuno,Tatsuya Watanabe,Kazuya Ueki,Eiji Takimoto,Akira Maruoka, 2000年, Lecture Notes in Computer Science, 1967:155-169
  • ブール関数のフーリエ変換とその応用, 天野 一幸,瀧本 英二, 1999年, 電子情報通信学会誌, 82(12), pp. 1270-1272
  • Approximation Algorithms for DNF under Distributions with Limited Independence, AMANO KAZUYUKI,Akira Maruoka, 1997年, Theory of Computing Sysytems, 30:181-196
    DOI
  • A Superpolynomial Lower Bound for a Circuit Computing the Clique Function with at most (1/6)loglog n Negation Gates, AMANO KAZUYUKI,Akira Maruoka, 1998年, Lecture Notes in Computer Science (Prof. of the 23rd MFCS), 1450:399-408
  • On the Negation-Limited Circuit Complexity of Merging, AMANO KAZUYUKI,Akira Maruoka,Jun Tarui, 1999年, Lecture Notes in Computer Science (Proc. of the 5th COCOON), 1627:204-209
    DOI
  • 20世紀の予想 四色問題, 天野 一幸, 1998年, 数学セミナー, 1998-12, pp. 54-57
  • The Potential of the Approximation Method, AMANO KAZUYUKI,Akira Maruoka, 1996年, Proceedings of the 37th Foundations of Computer Science (FOCS'96), 37:431-440
  • 四色問題, 天野 一幸, 2000年, 20世紀の予想 --現代数学の軌跡--
  • How to Solve the Torus Puzzle., 2012年, Open Access Journal Algorithms, 5, 1, 18, 29
    DOI
  • On the Number of p4-tilings by an N-omino, Amano\, Kazuyuki,Haruyama\, Yoshinobu, 2017年, Proc. of ISAAC 2017, LIPIcs 92, 92, 5:1-5:12
    DOI
  • On XOR Lemma for Polynomial Threshold Weight and Length, Amano\, Kazuyuki, 2016年, Lecture Notes in Computer Science, 9618, 259, 269
    DOI
  • A Nonuniform Circuit Class with Multilayer of Threshold Gates having Super Quasi Polynomial Size Lower Bounds against NEXP, Amano\, Kazuyuki,Saito\, Atsushi, 2015年, Lecture Notes in Computer Science, 8977, 461, 472
    DOI
  • Some improved bounds on communication complexity via new decomposition of cliques, Amano\, Kazuyuki, 2014年, DISCRETE APPLIED MATHEMATICS, 166, 249, 254
    DOI
  • On extremal k-CNF formulas, Amano\, Kazuyuki, 2014年, EUROPEAN JOURNAL OF COMBINATORICS, 35, 39, 50
    DOI
  • Enumeration of Boolean Functions of Sensitivity Three and Inheritance of Nondegeneracy, Amano\, Kazuyuki, 2017年, Proc. of IEEE-ISIT 2017, 251, 255
    DOI
  • Anti-Slide, Kazuyuki Amano,Shin-ichi Nakano,Koichi Yamazaki, 2015年, Journal of Information Processing, 23, 3, 252, 257
    DOI
  • On Learning Monotone Boolean Functions under the Uniform Distribution, AMANO KAZUYUKI,Akira Maruoka, 2002年, Lecture Notes in Computer Science, 2533:57-68
  • On the Monotone Circuit Complexity of Quadratic Boolean Functions, AMANO KAZUYUKI,Akira Maruoka, 2004年, Lecture Notes in Computer Science, 3341:28-40
  • Monotone Boolean Functions with s Zeroes Farthest from Threshold Functions, AMANO KAZUYUKI,Jun Tarui, 2005年, Discrete Mathematics and Theoretical Computer Science, AE:11-16
  • Tighter Bounds on the OBDD Size of Integer Multiplication, AMANO KAZUYUKI,Akira Maruoka, 2005年, 4th Japanese-Hungalian Symp. On Disc. Math. And Its Applications., Vol. 4, pp. 9-15 ブタペスト ハンガリー
  • Better Simulation of Exponential Threshold Weights by Polynomial Weights, AMANO KAZUYUKI,Akira Maruoka, 2004年, Electronic Colloquium on Computational Complexity, TR04-090
  • On Optimal Merging Networks, AMANO KAZUYUKI,Akira Maruoka, 2003年, Lecture Notes in Computer Science, 2747:152-161
  • Some Properties of MODm Circuits Computing Simple Functions, AMANO KAZUYUKI,Akira Maruoka, 2003年, Lecture Notes in Computer Science, 2653:227-237
  • On the Negation-Limited Circuit Complexity of Merging, AMANO KAZUYUKI,Akira Maruoka,Jun Tarui, 2003年, Discrete Applied Mathematics, 126(1):3-8
    DOI
  • On a Generalized Ruin Problem, AMANO KAZUYUKI,John Tromp,Paul Vitanyi,Osamu Watanabe, 2001年, Lecture Notes in Computer Science, 2129:181-191
  • On the Complexity of Depth-2 Circuits with Threshold Gates, AMANO KAZUYUKI,Akira Maruoka, 2005年, Lecture Notes in Computer Science, 3618, pp. 107-118
  • The Computational Power of a Family of Decision Forests, AMANO KAZUYUKI,Tsukuru Hirosawa,Yusuke Watanabe,Akira Maruoka, 2001年, Lecture Notes in Computer Science, 2136:123-134
  • On-Line Estimation of Hidden Markov Model Parameters, AMANO KAZUYUKI,Jun Mizuno,Tatsuya Watanabe,Kazuya Ueki,Eiji Takimoto,Akira Maruoka, 2000年, Lecture Notes in Computer Science, 1967:155-169
  • Approximation Algorithms for DNF under Distributions with Limited Independence, AMANO KAZUYUKI,Akira Maruoka, 1997年, Theory of Computing Sysytems, 30:181-196
    DOI
  • A Superpolynomial Lower Bound for a Circuit Computing the Clique Function with at most (1/6)loglog n Negation Gates, AMANO KAZUYUKI,Akira Maruoka, 1998年, Lecture Notes in Computer Science (Prof. of the 23rd MFCS), 1450:399-408
  • On the Negation-Limited Circuit Complexity of Merging, AMANO KAZUYUKI,Akira Maruoka,Jun Tarui, 1999年, Lecture Notes in Computer Science (Proc. of the 5th COCOON), 1627:204-209
    DOI
  • The Potential of the Approximation Method, AMANO KAZUYUKI,Akira Maruoka, 1996年, Proceedings of the 37th Foundations of Computer Science (FOCS'96), 37:431-440
  • How to Solve the Torus Puzzle., 2012年, Open Access Journal Algorithms, 5, 1, 18, 29
    DOI
  • On the Number of p4-tilings by an N-omino, Amano\, Kazuyuki,Haruyama\, Yoshinobu, 2017年, Proc. of ISAAC 2017, LIPIcs 92, 92, 5:1-5:12
    DOI
  • On XOR Lemma for Polynomial Threshold Weight and Length, Amano\, Kazuyuki, 2016年, Lecture Notes in Computer Science, 9618, 259, 269
    DOI
  • A Nonuniform Circuit Class with Multilayer of Threshold Gates having Super Quasi Polynomial Size Lower Bounds against NEXP, Amano\, Kazuyuki,Saito\, Atsushi, 2015年, Lecture Notes in Computer Science, 8977, 461, 472
    DOI
  • Some improved bounds on communication complexity via new decomposition of cliques, Amano\, Kazuyuki, 2014年, DISCRETE APPLIED MATHEMATICS, 166, 249, 254
    DOI
  • On extremal k-CNF formulas, Amano\, Kazuyuki, 2014年, EUROPEAN JOURNAL OF COMBINATORICS, 35, 39, 50
    DOI
  • Enumeration of Boolean Functions of Sensitivity Three and Inheritance of Nondegeneracy, Amano\, Kazuyuki, 2017年, Proc. of IEEE-ISIT 2017, 251, 255
    DOI
  • Anti-Slide, Kazuyuki Amano,Shin-ichi Nakano,Koichi Yamazaki, 2015年, Journal of Information Processing, 23, 3, 252, 257
    DOI

書籍等出版物

  • 理論計算機科学事典, 共著, 徳山　豪　他, 第3.3節 : P ≠ NP 予想, 朝倉書店, 2022年01月

講演・口頭発表等

  • Upper Bounds on the Minimum Number of Pieces for Anti-slide Packing, Kento Kimura and Kazuyuki Amano, The 24th JCGCG^3, 2022年09月
  • 3x+1関数の反復回数の下界の改良, 天野　一幸, コンピュテーション研究会, 2021年12月
  • 分散処理によるTopswopsの最大手数の発見, 木村 健斗, 高橋 篤生, 荒木 徹也, 天野 一幸, 第183回　アルゴリズム研究会, 2021年05月
  • T-テトロミノを用いた平面アンチスライドパズルの最少ピース数について, 木村 健斗，天野 一幸，荒木 徹也, 2020年電子情報通信学会総合大会, 2020年03月
  • 多数決関数を計算する２段の多数決回路における総入次数の上下界, 横川 拓哉, 尾島 康浩, 天野 一幸, 2019年度冬のLAシンポジウム, 2020年02月
  • 数理計画を用いた閾値回路の計算複雑さの解析, 天野　一幸, 情報処理学会 アルゴリズム研究会, 2020年01月
  • SATソルバーによる複数の折り方を持つ箱の展開図の探索, 只木 莉緒奈，天野 一幸, 情報処理学会 アルゴリズム研究会, 2020年01月
  • 多数決関数を計算する2段の多数決回路, 尾島 康浩，横川 拓哉，天野 一幸, 電子情報通信学会 コンピュテーション研究会, 2019年12月
  • アンチスライドパズルの解析, 木村 健斗，天野 一幸，荒木 徹也, 電子情報通信学会 コンピュテーション研究会, 2019年12月
  • 調理工程と材料を用いた類似レシピの提案手法, 岩瀬　祐大, 天野　一幸, 電子情報通信学会 東京支部学生会 研究発表会, 2019年03月
  • 凹凸のあるピースにおけるアンチスライドパズルの解析, 木村 健斗, 天野 一幸, 組み合わせゲーム・パズルプロジェクト, 2019年03月
  • ポリオミノのisohedralタイリング数の解析, 佐藤 大河, 天野 一幸, 情報処理学会 第171回アルゴリズム研究会, 2019年01月
  • An Approximation Algorithm for the 2-Dispersion Problem, Kazuyuki Amano, Shin-ichi Nakano, 電子情報通信学会 コンピュテーション研究会, 2018年10月
  • アンチスライドパズルの解析, 木村 健斗，天野 一幸, 日本OR学会SSOR2018, 2018年08月
  • 多数決関数を計算する２層の多数決回路について, 吉田 昌史,天野 一幸, ２０１７年度冬のLAシンポジウム, 2018年02月05日, 京都大学
  • Enumeration of Boolean Functions of Sensitivity Three and Inheritance of Nondegeneracy, Kazuyuki Amano,Yoshinobu Haruyama, IEEE ISIT, 2017年06月24日
  • Sensitivityが３の論理関数について, 天野 一幸, 電子情報通信学会 COMP研, 2016年12月21日, 広島大
  • 論理関数のPTF表現のXOR補題について, 天野 一幸,舘 将馬, 2016年夏のLAシンポジウム, 2016年07月21日
  • 多項式しきい値表現のXOR補題と整数計画のテンソル積, 天野 一幸, 日本OR学会 最適化の基盤とフロンティア研究部会, 2016年04月23日
  • On XOR Lemma for Polynomial Threshold Weight and Length, Kazuyuki Amano, The 10th International Conf. on Language and Automaton, 2016年03月14日
  • A Nonuniform Circuit Class with Multilayer of Threshold Gates Having Super Quasi Polynomial Lower Bounds against NEXP, 斉藤 惇,天野 一幸, 電子情報通信学会総合大会, 2015年03月10日, 立命館大学
  • A Nonuniform Circuit Class with Multilayer of Threshold Gates having Super Quasi Polynomial Size Lower Bounds against NEXP, Atsushi Saito,Kazuyuki Amano, The 9th International Conf. on Language and Automaton, 2015年03月06日
  • A Nonuniform Circuit Class with Multilayer of Threshold Gates Having Super Quasi Polynomial Lower Bounds against NEXP,, 斉藤 惇,天野 一幸, 電子情報通信学会 コンピュテーション研究会, 2014年12月05日, 崇城大
  • Graph Partition and Communication Complexity, Kazuyuki Amano, ELC Mini-Workshop on Boolean FUnctions, 2014年11月06日
  • A Satisfiability Algorithm for Some Class of Dense Depth Two Threshold Circuits, Atsushi Saito,Kazuyuki Amano, The 17th Korea-Japan Workshop on Algorithms and Computation, 2014年07月13日
  • A Satisfiability Algorithm for Some Class of Dense Depth Two Threshold Circuits, 斉藤 惇,天野 一幸, 電子情報通信学会 コンピュテーション研究会, 2014年04月24日, 仙台
  • Ordered Biclique Partition と通信計算量, 重田 真那実,天野 一幸, 2014年01月29日
  • 回路計算量の基礎, ELC計算量理論の秋学校, 2012年09月25日
  • グラフの正方格子上への単位長配置について, 冬のＬＡシンポジウム, 2012年02月01日
  • もっとも敏感なk-CNF, 情報処理学会 アルゴリズム研究会, 2011年05月16日
  • 多項式しきい値関数密度の上界の改善, 第７３回情報処理学会全国大会, 2011年03月04日
  • 論理関数の乱化決定木計算量について, 天野 一幸, 日本ＯＲ学会研究部会ＮＥＯ研究集会, 2010年12月07日
  • ギガ頂点グラフのハミルトン路探索と中間層予想について, 電子情報通信学会 コンピュテーション研究会, 2010年05月19日
  • Adding Edges to Multi-levels of a Complete K-ary Tree Minimizing Total Distance, Kiyoshi Sawada,Kazuyuki Amano, EURO XXIII, 2009年07月
  • 最簡な論理式でNPN同値類の代表のみを生成するアルゴリズム, 福原 秀明,天野 一幸,瀧本 英二, 電子情報通信学会 コンピュテーション研究会, 2009年03月, 東京
  • 部分グラフ同型性判定の回路計算量について, 天野 一幸, 電子情報通信学会コンピュテーション研究会, 2008年12月, 群馬県伊香保
  • Clifford + π/8量子回路の計算能力, 松本 健,天野 一幸, 電子情報通信学会 コンピュテーション研究会, 2008年03月, 神奈川
  • 方形描画(フロアプラン)の個数について：厳密数え上げと下界と上界, 天野 一幸,中野 眞一,山中 克久, 情報処理学会アルゴリズム研究会, 2007年11月, 新潟
  • A Well-Mixed Function with Circuit Complexity 5n+-o(n), Kazuyuki Amano,Jun Tarui, Korea-Japan Joint Workshop on Algorithms and Computation, 2007年08月
  • 回路計算量の5nの下界に対する5nの上界, 天野 一幸,垂井 淳, 2007年夏のLAシンポジウム, 2007年07月, 能登
  • On Formula Size Lower Bounds for Synthesis of Boolean Functions over Disjoint Sets of Variables, Hideaki Fukuhara,Kazuyuki Amano,Eiji Takimoto, 2007年03月
  • 完全 K分木型組織構造の多階層関係追加モデル, 澤田 清,天野 一幸, 情報処理学会 アルゴリズム研究会, 2007年01月, 東京
  • 回路計算量の線形下界に対する計算機支援証明について, 天野 一幸, コンピュテーション研究会, 2006年10月, 仙台
  • パリティ合成関数に対するブール式のサイズの下界について, 福原 秀明,天野 一幸,瀧本 英二, 2006年夏のLAシンポジウム, 2006年08月, 東広島
  • 最簡な論理式だけを生成するアルゴリズム, 情報処理学会 アルゴリズム研究会, 2006年
  • ランダム写像による非線形概念の学習の効率化に向けて, 電子情報通信学会 2006年総合大会, 2006年
  • 論理関数の複雑さの下界導出問題に対する数理計画的アプローチ, 電子情報通信学会 コンピュテーション研究会, 2005年
  • マージンを保存するランダム性を限定したプロジェクションとブール空間への埋め込み, 電子情報通信学会 コンピュテーション研究会, 2005年
  • 数理計画法を用いた論理関数の複雑さの下界の導出, 日本応用数理学会2005年度年会, 2005年
  • Random Projection and Its Application to Learning, Workshop on Randomness and Computation, 2005年
  • しきい値素子を用いた回路における計算量について, 日本OR学会関西支部研究部会, 2005年
  • 充足割り当て数を最小化/最大化する単調DNF式について, 電子情報通信学会 コンピュテーション研究会, 2005年
  • マージンを保存するユニバーサルなプロジェクション, 2005年 夏のLAシンポジウム, 2005年
  • Random Projection and Its Application to Learning, Workshop on Randomness and Computation, 2005年
  • 論理関数のPTF表現の複雑さについて, 電子情報通信学会 コンピュテーション研究会, 2004年
  • On the Monotone Circuit Complexity of Quadratic Boolean Functions, 電子情報通信学会 コンピュテーション研究会, 2004年
  • Better Simulation of Exponential Threshold Weights by Polynomial Weights, 電子情報通信学会 コンピュテーション研究会, 2004年
  • On Optimal Merging Networks, 電子情報通信学会 コンピュテーション研究会, 2003年
  • On Optimal Merging Networks, 2003年夏のLAシンポジウム, 2003年
  • 論理関数の性質判定アルゴリズムについて, 電子情報通信学会 コンピュテーション研究会, 2002年
  • 単調論理関数間の距離について, 電子情報通信学会 コンピュテーション研究会, 2002年
  • 単項性判定のための論理関数に関する条件, 電子情報通信学会 コンピュテーション研究会, 2002年
  • 論理関数のフーリエスペクトルと非線形性の関係, 電子情報通信学会 コンピュテーション研究会, 2002年
  • 決定森の族の計算能力, 電子情報通信学会 コンピュテーション研究会, 2001年
  • 制限付集合に対する包除原理の性質と数え上げ問題への応用, 電子情報通信学会 コンピュテーション研究会, 2001年
  • 制限付集合に対する包除原理の性質と数え上げ問題への応用, 2001年夏のLAシンポジウム, 2001年

Copyright © MEDIA FUSION Co.,Ltd. All rights reserved.