• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

天野 一幸  Amano Kazuyuki

ORCIDORCID連携する *注記
研究者番号 30282031
その他のID
外部サイト
所属 (現在) 2025年度: 群馬大学, 情報学部, 教授
所属 (過去の研究課題情報に基づく) *注記 2025年度: 群馬大学, 情報学部, 教授
2021年度 – 2023年度: 群馬大学, 情報学部, 教授
2014年度 – 2020年度: 群馬大学, 大学院理工学府, 教授
2014年度 – 2016年度: 群馬大学, その他部局等, 教授
2013年度: 群馬大学, 理工学研究科, 教授 … もっと見る
2013年度: 群馬大学, 理工学研究院, 教授
2012年度: 群馬大学, 工学(系)研究科(研究院), 教授
2007年度 – 2011年度: 群馬大学, 大学院・工学研究科, 准教授
2007年度: 群馬大学, 工学部, 准教授
2006年度: 群馬大学, 大学院工学研究科, 准教授
2005年度 – 2006年度: 群馬大学, 工学部, 助教授
2005年度: 東北大学, 大学院情報科学研究科, 助手
1997年度 – 2005年度: 東北大学, 大学院・情報科学研究科, 助手
1999年度: 東北大学, 大学院・情報科学研究所, 助手 隠す
審査区分/研究分野
研究代表者
情報学基礎 / 小区分60010:情報学基礎論関連 / 計算機科学 / 中区分60:情報科学、情報工学およびその関連分野 / 情報学基礎理論
研究代表者以外
情報学基礎 / 中区分60:情報科学、情報工学およびその関連分野 / 計算機科学 / 理工系 / 科学教育 / 理工系
キーワード
研究代表者
下界 / 論理関数 / 論理回路 / 計算量理論 / 計算量 / 計算複雑さ / しきい値回路 / 回路計算量 / 離散構造 / 計算複雑性理論 … もっと見る / 計算機援用証明 / 充足可能性問題 / 整数複雑さ / 計算機援用 / P vs. NP問題 / 多数決関数 / P≠NP予想 / 離散数学 / 整数計画 / しきい値論理回路 / 計算複雑性 / 数理計画 / 決定木 / 複雑さ / 否定素子数限定回路 / 近似法 / 単調 / コラッツ予想 / 閾値回路 / 実験数学 / 多項式しきい値関数 / 多項式しきい値表現 / グラフ / 完全グラフ / 充足可能性 / 線形計画 / 二部グラフ被覆 / 通信計算量 / 計算困難性 / 量子回路 / 下限 / 二分決定グラフ / 線形計画法 / クリーク関数 / マージング / 否定素子数限定論理回路 / 比較交換器回路 / 単調論理回路 / 並列計算 / 剰余回路 / オンラインアルゴリズム / 隠れマルコフモデル / Baum-Welch法 / 知識発見 / ブースティング … もっと見る
研究代表者以外
しきい値回路 / ブースティング / ランダムプロジェクション / boosting / 過学習 / 例題からの学習 / 学習曲線 / 論理回路 / 計算学習理論 / 回路計算量 / オンラインオークション / オンラインアルゴリズム / 量子計算の基礎 / SAT問題 / 質問計算量 / 最小回路サイズ問題 / 情報セキュリティ技術 / 情報セキュリティ / 学習可能性 / 平均時計算量 / P≠NP予想 / 機械学習 / PAC学習困難性 / 計算論的暗号 / 平均時計算困難性 / 多項式時間階層 / 最小記述量計算 / 一方向関数 / 学習計算困難さ / 平均時計算複雑度 / 最小記述量 / 計算論的暗号理論 / 計算論的学習理論 / 平均時時間計算量 / 最悪時時間計算量 / メタ計算 / P≠NP予想 / 最小記述量計算問題 / 計算複雑度理論 / majority function / correlation / clique function / random projection / on line allocation / risk information / decision tree / 協調と競合 / 境界被覆 / 学習アルゴリズム / NP完全問題 / 論理回路の下界 / 非単調論理回路 / 単調論理回路 / エネルギー計算量 / ブーステイング / 学習 / マージン保存 / シャノンスイッチングゲーム / 単調DNF式 / 決定リスト / Vovkの統合戦略 / 動的資源配分 / 多数決関数 / 相関 / クリーク関数 / オンライン割り当て / リスク情報 / 決定木 / over-fitting / learning curve / generalized entropy / decision tree boosting / prunning / on-line learning algorithm / learning from examples / m-限定独立 / 次元圧縮 / 勾配傾斜法 / サポートベクトルマシーン / マージン / 汎化エントロピー / 決定木ブースティング / プルーニング / オンライン学習アルゴリズム / 国際研究者交流(ベルギー・ドイツ) / 国際研究者交流:カナダ・ベルギー・チェコ・ドイツ / 多面体 / 国際研究者交流 / 計算限界 / 整数計画 / 線形計画 / 数理計画 / 国際研究者交流:カナダ・チェコ・米国 / 最適化数 / 数理計画法への応用 / 最適化 / 幾何計算 / カードゲーム / 情報系教科 / 計算理論 / 認知心理学 / 脳科学 / 自然科学教育(数学、情報) / 深層計算 / 表層計算 / 単調論理関数 / 決定二分グラフ / 線形計画問題 / ニューラルネットワーク / 2次論理関数 / ソート / 単調回路量 / 論理関数 / オークション / kトニック2進系列 / 順序付きダイアグラム / オンラインアロケーション / 統合戦略 / 計算量 / 下界 / 検索エンジン / 最長共通部分列問題 / 否定数限定複雑さ / 多階層関係追加モデル / 最長共通増加部分列問題 / 読捨てコンテンツ更新問題 / オンライン予測 / 描画列挙 / フーリエ解析 / エネルギー複雑度 / 閾値回路 / 最長共通部分配列問題 / 表現の複雑さ 隠す
  • 研究課題

    (19件)
  • 研究成果

    (199件)
  • 共同研究者

    (15人)
  •  計算理論と数学の交差点:計算複雑性理論によるメタ解析研究代表者

    • 研究代表者
      天野 一幸
    • 研究期間 (年度)
      2025 – 2028
    • 研究種目
      基盤研究(C)
    • 審査区分
      小区分60010:情報学基礎論関連
    • 研究機関
      群馬大学
  •  「計算」の視点から見る数学的難問研究代表者

    • 研究代表者
      天野 一幸
    • 研究期間 (年度)
      2021 – 2024
    • 研究種目
      挑戦的研究(萌芽)
    • 審査区分
      中区分60:情報科学、情報工学およびその関連分野
    • 研究機関
      群馬大学
  •  実験計算量理論の確立と展開研究代表者

    • 研究代表者
      天野 一幸
    • 研究期間 (年度)
      2018 – 2023
    • 研究種目
      基盤研究(C)
    • 審査区分
      小区分60010:情報学基礎論関連
    • 研究機関
      群馬大学
  •  最小記述量の計算困難さの解析

    • 研究代表者
      渡辺 治
    • 研究期間 (年度)
      2018 – 2021
    • 研究種目
      基盤研究(A)
    • 審査区分
      中区分60:情報科学、情報工学およびその関連分野
    • 研究機関
      東京工業大学
  •  計算論的ラムゼー理論の開発を通じたNP困難性の拡張研究代表者

    • 研究代表者
      天野 一幸
    • 研究期間 (年度)
      2015 – 2018
    • 研究種目
      基盤研究(C)
    • 研究分野
      情報学基礎理論
    • 研究機関
      群馬大学
  •  大規模数理計画による計算限界解析法の展開

    • 研究代表者
      Avis David (AVIS David)
    • 研究期間 (年度)
      2012 – 2016
    • 研究種目
      新学術領域研究(研究領域提案型)
    • 審査区分
      理工系
    • 研究機関
      京都大学
  •  計算機援用による計算困難性証明手法の展開研究代表者

    • 研究代表者
      天野 一幸
    • 研究期間 (年度)
      2012 – 2015
    • 研究種目
      基盤研究(C)
    • 研究分野
      情報学基礎
    • 研究機関
      群馬大学
  •  計算機援用による計算困難性証明手法の確立研究代表者

    • 研究代表者
      天野 一幸
    • 研究期間 (年度)
      2009 – 2011
    • 研究種目
      基盤研究(C)
    • 研究分野
      情報学基礎
    • 研究機関
      群馬大学
  •  情報系科目を対象とした自己組み立て型学習に関する実践的研究

    • 研究代表者
      丸岡 章
    • 研究期間 (年度)
      2008 – 2010
    • 研究種目
      基盤研究(C)
    • 研究分野
      科学教育
    • 研究機関
      石巻専修大学
  •  大規模数理計画的アプローチに基づく回路計算量の下限導出手法の開発研究代表者

    • 研究代表者
      天野 一幸
    • 研究期間 (年度)
      2007 – 2008
    • 研究種目
      基盤研究(C)
    • 研究分野
      情報学基礎
    • 研究機関
      群馬大学
  •  生体情報処理における深層計算と表層計算に関する研究

    • 研究代表者
      丸岡 章
    • 研究期間 (年度)
      2005 – 2007
    • 研究種目
      萌芽研究
    • 研究分野
      情報学基礎
    • 研究機関
      石巻専修大学
      東北大学
  •  論理関数の複雑さの下限導出問題に対する極限組み合わせ論的アプローチ研究代表者

    • 研究代表者
      天野 一幸
    • 研究期間 (年度)
      2005 – 2006
    • 研究種目
      若手研究(B)
    • 研究分野
      情報学基礎
    • 研究機関
      群馬大学
      東北大学
  •  オンライン予測の手法を用いた意思決定モデルに関する研究

    • 研究代表者
      瀧本 英二
    • 研究期間 (年度)
      2004 – 2007
    • 研究種目
      特定領域研究
    • 審査区分
      理工系
    • 研究機関
      東北大学
  •  論理関数の近似計算と厳密計算の困難さのギャップに関する研究研究代表者

    • 研究代表者
      天野 一幸
    • 研究期間 (年度)
      2003 – 2004
    • 研究種目
      若手研究(B)
    • 研究分野
      情報学基礎
    • 研究機関
      東北大学
  •  部分と全体の協調と競合に関する計算原理

    • 研究代表者
      丸岡 章
    • 研究期間 (年度)
      2003 – 2005
    • 研究種目
      基盤研究(B)
    • 研究分野
      情報学基礎
    • 研究機関
      東北大学
  •  汎化エントロピー評価基準に基づくデータ組織化のためのオンラインアルゴリズム

    • 研究代表者
      丸岡 章
    • 研究期間 (年度)
      2001 – 2002
    • 研究種目
      基盤研究(B)
    • 研究分野
      計算機科学
    • 研究機関
      東北大学
  •  ブースティング技術を用いた知識発見アルゴリズムに関する研究研究代表者

    • 研究代表者
      天野 一幸
    • 研究期間 (年度)
      1999
    • 研究種目
      特定領域研究(A)
    • 研究機関
      東北大学
  •  近似法に基づく論理関数の複雑さの評価に関する研究研究代表者

    • 研究代表者
      天野 一幸
    • 研究期間 (年度)
      1999 – 2000
    • 研究種目
      奨励研究(A)
    • 研究分野
      計算機科学
    • 研究機関
      東北大学
  •  近似法による計算の複雑さの評価に関する研究研究代表者

    • 研究代表者
      天野 一幸
    • 研究期間 (年度)
      1997 – 1998
    • 研究種目
      奨励研究(A)
    • 研究分野
      計算機科学
    • 研究機関
      東北大学

すべて 2024 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2011 2010 2009 2008 2007 2006 2005 2004 その他

すべて 雑誌論文 学会発表

  • [雑誌論文] Depth-Three Circuits for Inner Product and Majority Functions,2023

    • 著者名/発表者名
      Kazuyuki Amano
    • 雑誌名

      Leibniz International Proceedings in Informatics (LIPIcs), Proc. of ISAAC 2023

      巻: 283

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-18K11152
  • [雑誌論文] Depth-Three Circuits for Inner Product and Majority Functions2023

    • 著者名/発表者名
      Kazuyuki Amano
    • 雑誌名

      Leibniz International Proceedings in Informatics (LIPIcs), Proc. of ISAAC 2023

      巻: 283

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-21K19758
  • [雑誌論文] Lower Bounds on the PTF Weight of ODD-MAXBIT Function2023

    • 著者名/発表者名
      AMANO Kazuyuki
    • 雑誌名

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

      巻: E106.A 号: 9 ページ: 1189-1190

    • DOI

      10.1587/transfun.2022DML0003

    • ISSN
      0916-8508, 1745-1337
    • 年月日
      2023-09-01
    • 言語
      英語
    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-21K19758, KAKENHI-PROJECT-18K11152
  • [雑誌論文] Integer Complexity and Mixed Binary-Ternary Representation2022

    • 著者名/発表者名
      Kazuyuki Amano
    • 雑誌名

      Proceedings of ISAAC 2022, LIPIcs

      巻: 248

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-18K11152
  • [雑誌論文] Integer Complexity and Mixed Binary-Ternary Representation2022

    • 著者名/発表者名
      Kazuyuki Amano
    • 雑誌名

      Proceedings of ISAAC 2022, LIPIcs

      巻: 248

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-21K19758
  • [雑誌論文] Escape from the Room2022

    • 著者名/発表者名
      Kimura Kento、Amano Kazuyuki、Nakano Shin-ichi
    • 雑誌名

      Proceedings of COCOON 2022, LNCS

      巻: 13595 ページ: 232-241

    • DOI

      10.1007/978-3-031-22105-7_21

    • ISBN
      9783031221040, 9783031221057
    • 査読あり
    • データソース
      KAKENHI-PROJECT-18K11152, KAKENHI-PROJECT-21K19758
  • [雑誌論文] On the Minimum Number of Pieces for Two-Dimensional Anti-Slide Using T-Tetrominoes2021

    • 著者名/発表者名
      KIMURA Kento、AMANO Kazuyuki、ARAKI Tetsuya
    • 雑誌名

      IEICE Transactions on Information and Systems

      巻: E104.D 号: 3 ページ: 355-361

    • DOI

      10.1587/transinf.2020FCP0007

    • NAID

      130007993186

    • ISSN
      0916-8532, 1745-1361
    • 年月日
      2021-03-01
    • 言語
      英語
    • 査読あり
    • データソース
      KAKENHI-PROJECT-18K11152, KAKENHI-PROJECT-18H04090
  • [雑誌論文] On the Size of Depth-Two Threshold Circuit for Inner Product Mod 2 Function2020

    • 著者名/発表者名
      Kazuyuki Amano
    • 雑誌名

      LNCS (Proc. of 14th Int. Conf. on Language and Automata Theory, LATA 2020)

      巻: 12038 ページ: 235-247

    • DOI

      10.1007/978-3-030-40608-0_16

    • ISBN
      9783030406073, 9783030406080
    • 査読あり
    • データソース
      KAKENHI-PROJECT-18K11152, KAKENHI-PROJECT-18H04090
  • [雑誌論文] An Approximation Algorithm for the 2-Dispersion Problem2020

    • 著者名/発表者名
      Kazuyuki Amano and Shin-ichi Nakano
    • 雑誌名

      IEICE Transactions on Information and Systems

      巻: E103.D 号: 3 ページ: 506-508

    • DOI

      10.1587/transinf.2019FCP0005

    • NAID

      130007804167

    • ISSN
      0916-8532, 1745-1361
    • 年月日
      2020-03-01
    • 言語
      英語
    • 査読あり
    • データソース
      KAKENHI-PROJECT-18K11152, KAKENHI-PROJECT-18H04090, KAKENHI-PROJECT-17K00003
  • [雑誌論文] On the Number of p4-tilings by an N-omino2019

    • 著者名/発表者名
      Kazuyuki Amano and Yoshinobu Haruyama
    • 雑誌名

      International Journal of Computational Geometry and Applications (IJCGA)

      巻: 29-1 号: 01 ページ: 3-19

    • DOI

      10.1142/s0218195919400016

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18K11152, KAKENHI-PROJECT-18H04090
  • [雑誌論文] On XOR Lemmas for the Weight of Polynomial Threshold Functions2019

    • 著者名/発表者名
      Kazuyuki Amano and Shoma Tate
    • 雑誌名

      Information and Computation

      巻: 269 ページ: 104439-104439

    • DOI

      10.1016/j.ic.2019.104439

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18K11152, KAKENHI-PROJECT-18H04090
  • [雑誌論文] Depth Two (<i>n</i>-2)-Majority Circuits for <i>n</i>-Majority2018

    • 著者名/発表者名
      Kazuyuki Amano and Masafumi Yoshida
    • 雑誌名

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

      巻: E101.A 号: 9 ページ: 1543-1545

    • DOI

      10.1587/transfun.E101.A.1543

    • NAID

      130007479524

    • ISSN
      0916-8508, 1745-1337
    • 年月日
      2018-09-01
    • 言語
      英語
    • 査読あり
    • データソース
      KAKENHI-PROJECT-18K11152, KAKENHI-PROJECT-18H04090, KAKENHI-PROJECT-15K00006
  • [雑誌論文] Depth Two Majority Circuits for Majority and List Expanders2018

    • 著者名/発表者名
      Kazuyuki Amano
    • 雑誌名

      LIPIcs (Leibniz International Proceedings in Informatics)

      巻: 117

    • DOI

      10.4230/LIPICS.MFCS.2018.81

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-18K11152, KAKENHI-PROJECT-15K00006
  • [雑誌論文] On the Number of p4-tilings by an n-Omino2017

    • 著者名/発表者名
      Kazuyuki Amano and Yoshinobu Haruyama
    • 雑誌名

      Leibniz International Proceedings in Informatics (LIPIcs)

      巻: 92

    • DOI

      10.4230/LIPIcs.ISAAC.2017.5

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-15K00006
  • [雑誌論文] Enumeration of Boolean functions of sensitivity three and inheritance of nondegeneracy2017

    • 著者名/発表者名
      Kazuyuki Amano
    • 雑誌名

      Information Theory (ISIT), 2017 IEEE International Symposium on

      巻: - ページ: 251-255

    • DOI

      10.1109/isit.2017.8006528

    • 査読あり
    • データソース
      KAKENHI-PROJECT-15K00006
  • [雑誌論文] On XOR Lemma for Polynomial Threshold Weight and Length2016

    • 著者名/発表者名
      Kazuyuki Amano
    • 雑誌名

      Lecture Notes in Computer Science

      巻: 9618 ページ: 259-269

    • DOI

      10.1007/978-3-319-30000-9_20

    • ISBN
      9783319299990, 9783319300009
    • 査読あり / 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-15K00006, KAKENHI-PLANNED-24106006, KAKENHI-PROJECT-24500006
  • [雑誌論文] A Satisfiability Algorithm for Some Class of Dense Depth Two Threshold Circuits2015

    • 著者名/発表者名
      Kazuyuki Amano and Atsushi Saito
    • 雑誌名

      IEICE Transactions on Information and Systems

      巻: E98.D 号: 1 ページ: 108-118

    • DOI

      10.1587/transinf.2014EDP7127

    • NAID

      130004721744

    • ISSN
      0916-8532, 1745-1361
    • 言語
      英語
    • 査読あり
    • データソース
      KAKENHI-PROJECT-24500006
  • [雑誌論文] Anti-Slide2015

    • 著者名/発表者名
      Kazuyuki Amano, Shin-ichi Nakano and Koichi Yamazaki
    • 雑誌名

      Journal of Information Processing

      巻: 印刷中

    • NAID

      130005070060

    • 査読あり / 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-24500006
  • [雑誌論文] Secure Sets and Defensive Alliances in Graphs: A Faster Algorithm and Improved Bounds2015

    • 著者名/発表者名
      Kazuyuki Amano, Kyaw May Oo, Yota Otachi, Ryuhei Uehara
    • 雑誌名

      IEICE Transactions on Information and Systems

      巻: E98.D 号: 3 ページ: 486-489

    • DOI

      10.1587/transinf.2014FCP0007

    • NAID

      130004841873

    • ISSN
      0916-8532, 1745-1361
    • 言語
      英語
    • 査読あり / 謝辞記載あり
    • データソース
      KAKENHI-PLANNED-24106004, KAKENHI-PROJECT-24500006, KAKENHI-PROJECT-25730003, KAKENHI-PROJECT-26330009
  • [雑誌論文] Anti-Slide2015

    • 著者名/発表者名
      Kazuyuki Amano, Shin-ichi Nakano and Koichi Yamazaki
    • 雑誌名

      Journal of Information Processing

      巻: 23 号: 3 ページ: 252-257

    • DOI

      10.2197/ipsjjip.23.252

    • NAID

      130005070060

    • ISSN
      1882-6652
    • 言語
      英語
    • 査読あり / 謝辞記載あり
    • データソース
      KAKENHI-PLANNED-24106006
  • [雑誌論文] Ordered Biclique Partitions and Communication Complexity Problems2015

    • 著者名/発表者名
      Manami Shigeta and Kazuyuki Amano
    • 雑誌名

      Discrete Applied Mathematics

      巻: 184 ページ: 248-252

    • DOI

      10.1016/j.dam.2014.10.029

    • 査読あり / 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-24500006
  • [雑誌論文] A Nonuniform Circuit Class with Multilayer of Threshold Gates having Super Quasi Polynomial Size Lower Bounds against NEXP2015

    • 著者名/発表者名
      Kazuyuki Amano and Atsushi Saito
    • 雑誌名

      Lecture Notes in Computer Science

      巻: 8977 ページ: 461-472

    • DOI

      10.1007/978-3-319-15579-1_36

    • ISBN
      9783319155784, 9783319155791
    • 査読あり
    • データソース
      KAKENHI-PROJECT-24500006
  • [雑誌論文] Some Improved Bounds on Communication Complexity via New Decomposition of Cliques2014

    • 著者名/発表者名
      Kazuyuki Amano
    • 雑誌名

      Discrete Applied Mathematics

      巻: 166 ページ: 249-254

    • DOI

      10.1016/j.dam.2013.09.015

    • 査読あり
    • データソース
      KAKENHI-PLANNED-24106006, KAKENHI-PROJECT-24500006
  • [雑誌論文] On Extremal k-CNF Formulas2014

    • 著者名/発表者名
      Kazuyuki Amano
    • 雑誌名

      European Journal of Combinatorics

      巻: 35 ページ: 39-50

    • DOI

      10.1016/j.ejc.2013.06.011

    • 査読あり
    • データソース
      KAKENHI-PLANNED-24106006, KAKENHI-PROJECT-24500006
  • [雑誌論文] On Extremal k-CNF Formulas2013

    • 著者名/発表者名
      Kazuyuki Amano
    • 雑誌名

      European Journal of Combinatorics

      巻: 未定

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24500006
  • [雑誌論文] On Extremal k-CNF Formulas2013

    • 著者名/発表者名
      Kazuyuki Amano
    • 雑誌名

      European Journal of Combinatorics

      巻: 未定

    • 査読あり
    • データソース
      KAKENHI-PLANNED-24106006
  • [雑誌論文] ハッピーエンド問題に対する極値的頂点集合の構造2013

    • 著者名/発表者名
      重田 真那実,天野 一幸
    • 雑誌名

      電子情報通信学会論文誌A

      巻: J96-A-7 ページ: 440-451

    • NAID

      110009615695

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24500006
  • [雑誌論文] Tight Bounds on the Average Sensitivity of k-CNF2011

    • 著者名/発表者名
      Kazuyuki Amano
    • 雑誌名

      Theory of Computing

      巻: 7 ページ: 45-48

    • NAID

      110008583105

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20500760
  • [雑誌論文] On Directional vs. General Randomized Decision Tree Complexity for Read-Once Formulas2011

    • 著者名/発表者名
      天野一幸
    • 雑誌名

      Chicago Journal of Theoretical Computer Science

      巻: 2011(3) ページ: 1-11

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21500005
  • [雑誌論文] Tight Bounds on the Average Sensitivity of k-CNF2011

    • 著者名/発表者名
      Kazuyuki Amano
    • 雑誌名

      Theory of Computing 7

      ページ: 45-48

    • NAID

      110008583105

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20500760
  • [雑誌論文] A Well-Mixed Function with Circuit Complexity 5n : Tightness of the Lachish-Raz-type Bounds2011

    • 著者名/発表者名
      天野一幸, 垂井淳
    • 雑誌名

      A Well-Mixed Function with Circuit Complexity 5n : Tightness of the Lachish-Raz-type Bounds

      巻: 412(18) ページ: 1646-1651

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21500005
  • [雑誌論文] A Well-Mixed Function with Circuit Complexity 5n : Tightness of the Lachish-Raz-type Bounds2011

    • 著者名/発表者名
      Kazuyuki Amano
    • 雑誌名

      Theoretical Computer Science

      巻: 412(8) ページ: 1646-1651

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21500005
  • [雑誌論文] Minterm-Transitive Functions with Asymptotically Smallest Block Sensitivity2011

    • 著者名/発表者名
      Kazuyuki Amano
    • 雑誌名

      Information Proceesing Letters

      巻: 111(23-24) 号: 23-24 ページ: 1281-1284

    • DOI

      10.1016/j.ipl.2011.09.008

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21500005
  • [雑誌論文] A Well-Mixed Function with Circuit Complexity 5n : Tightness of the Lachish-Raz-type Bounds2011

    • 著者名/発表者名
      Kazuyuki Amano
    • 雑誌名

      Theoretical Computer Science 412(8)

      ページ: 1646-1651

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20500760
  • [雑誌論文] Tight Bounds on the Average Sensitivity of k-CNF2011

    • 著者名/発表者名
      天野一幸
    • 雑誌名

      Theory of Computing

      巻: 7 ページ: 45-48

    • NAID

      110008583105

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21500005
  • [雑誌論文] Minterm-Transitive Functions with Asymptotically Smallest Block Sensitivity2011

    • 著者名/発表者名
      天野一幸
    • 雑誌名

      Information Processing Letters

      巻: 111(23-24) ページ: 1281-1284

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21500005
  • [雑誌論文] On Extremal k-CNF Formulas2011

    • 著者名/発表者名
      Kazuyuki Amano
    • 雑誌名

      Electronic Notes in Discrete Mathematics

      巻: 38 ページ: 37-42

    • DOI

      10.1016/j.endm.2011.09.007

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21500005
  • [雑誌論文] A Well-Mixed Function with Circuit Complexity 5n : Tightness of the Lachish-Raz-type Bounds2011

    • 著者名/発表者名
      Kazuyuki Amano
    • 雑誌名

      Theoretical Computer Science

      巻: 412(8) ページ: 1646-1651

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20500760
  • [雑誌論文] New Upper Bounds on the Average PTF Density of Boolean Functions2010

    • 著者名/発表者名
      天野一幸
    • 雑誌名

      Lecture Notes in Computer Science

      巻: 6506 ページ: 304-315

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21500005
  • [雑誌論文] NPN-Representatives of a Set of Optimal Boolean Formulas2010

    • 著者名/発表者名
      福原秀明, 瀧本英二, 天野一幸
    • 雑誌名

      IEICE Trans. on Fund. Elect. Communications and Computer Science

      巻: E-93-A-6 ページ: 1008-1015

    • NAID

      10026864513

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21500005
  • [雑誌論文] k-Subgraph Isomorphism on ACO Circuit2010

    • 著者名/発表者名
      Kazuyuki Amano
    • 雑誌名

      Computational Complexity

      巻: 19 ページ: 183-210

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21500005
  • [雑誌論文] k-Subgraph Isomorphism on AC0 Circuit2010

    • 著者名/発表者名
      Kazuyuki Amano
    • 雑誌名

      Computational Complexity

      巻: 19 ページ: 183-210

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20500760
  • [雑誌論文] k-Subgraph Isomorphism on AC0 Circuits2010

    • 著者名/発表者名
      天野一幸
    • 雑誌名

      Computational Complexity

      巻: 19(2) ページ: 183-210

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21500005
  • [雑誌論文] On Directional vs. Undirectional Randomized Decision Tree Complexity for Read-Once Formulas2010

    • 著者名/発表者名
      Kazuyuki Amano
    • 雑誌名

      Conferences in Research and Practice in Information Technology 109

      ページ: 25-29

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20500760
  • [雑誌論文] On Directional vs.Undirectional Randomized Decision Tree Complexity for Read-Once Formulas2010

    • 著者名/発表者名
      Kazuyuki Amano
    • 雑誌名

      Conferences in Research and Practice in Information Technology 109

      ページ: 25-29

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21500005
  • [雑誌論文] k-Subgraph Isomorphism on ACO Circuit2010

    • 著者名/発表者名
      Kazuyuki Amano
    • 雑誌名

      Computational Complexity 19

      ページ: 183-210

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20500760
  • [雑誌論文] K-Subgraph Isomorphism on AC0 Circuit2009

    • 著者名/発表者名
      天野一幸
    • 雑誌名

      Proceedings of the 24^<th> IEEE Conference on Computational Complexity (in press)

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19500006
  • [雑誌論文] k-Subgraph Isomorphism on ACO Circuits2009

    • 著者名/発表者名
      天野一幸
    • 雑誌名

      Proceedings of the 24th IEEE Conference on Computational Complexity 24(in press)

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19500006
  • [雑誌論文] Bounds on the Size of Small Depth Circuits for Approximating Majority2009

    • 著者名/発表者名
      天野一幸
    • 雑誌名

      Lecture Notes in Computer Science 5555(in press)

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19500006
  • [雑誌論文] K-Subgraph Isomorphism on AC_0 Circuits2009

    • 著者名/発表者名
      Kazuyuki Amano
    • 雑誌名

      Proceedings of the 24^<th> IEEE Conference on Computational Complexity 24

      ページ: 9-18

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21500005
  • [雑誌論文] Bounds on the Size of Small Depth Circuits for Approximating Majority2009

    • 著者名/発表者名
      Kazuyuki Amano
    • 雑誌名

      Letcute Notes in Computer Science 5555

      ページ: 59-70

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21500005
  • [雑誌論文] Bounds on the Size of Small Depth Circuit for Approximation Majority2009

    • 著者名/発表者名
      天野一幸
    • 雑誌名

      Proceedings of the 36^<th> International Colloquium on Automata, Languages and Programming, Lecture Notes in Computer Science (in press)

      ページ: 5555-5555

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19500006
  • [雑誌論文] K-Subgraph Isomorphism on AC_0 Circuits2009

    • 著者名/発表者名
      Kazuyuki Amano
    • 雑誌名

      Proceedings of the 24^<th> IEEE Conference on Computational Complexity 24

      ページ: 9-18

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20500760
  • [雑誌論文] A Well Mixed Function with Circuit Complexity 5n +- o(n)2008

    • 著者名/発表者名
      天野 一幸
    • 雑誌名

      Lecture Notes in Computer Science 4978

      ページ: 342-350

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19500006
  • [雑誌論文] A Well-Mixed Function with Circuit Compleixty 5n+-0(n)2008

    • 著者名/発表者名
      天野一幸
    • 雑誌名

      Lecture Notes in Computer Science 4978

      ページ: 342-350

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19500006
  • [雑誌論文] Monotone DNF Formulas that has a Minimal or Maximal Number of Satisfying Assignments2008

    • 著者名/発表者名
      佐藤貴之, 天野一幸, 瀧本英二, 丸岡章
    • 雑誌名

      Lecture Notes in Computer Science 5092

      ページ: 191-203

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19500006
  • [雑誌論文] Representation of Quantum Circuits with Clifford and π/8 Gates2008

    • 著者名/発表者名
      松本健, 天野一幸
    • 雑誌名

      Proceedings of the 8^<th> Asian Conference on Quantum Information Science

      ページ: 135-136

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19500006
  • [雑誌論文] A Well-Mixed Function with Circuit Compleixty 5n+-o(n)2008

    • 著者名/発表者名
      天野 一幸
    • 雑誌名

      Lecture Notes in Computer Science 4978

      ページ: 191-203

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20500760
  • [雑誌論文] Better upper bounds on the QOBDD size of integer multiplication2007

    • 著者名/発表者名
      Kazuyuki Amano
    • 雑誌名

      Discrete Applied Mathematics 155(10)

      ページ: 1224-1232

    • 査読あり
    • データソース
      KAKENHI-PROJECT-16092201
  • [雑誌論文] Better Upper Bounds on the QOBDD Size of Integer Multiplication2007

    • 著者名/発表者名
      K.Amano, A.Maruoka
    • 雑誌名

      Discrete Applied Mathematics 155

      ページ: 1224-1232

    • データソース
      KAKENHI-PROJECT-17700001
  • [雑誌論文] Better Upper Bounds on the QOBDD Size of Integer Multiplication2007

    • 著者名/発表者名
      Kazuyuki Amano and Akira Maruoka
    • 雑誌名

      Discrete Applied Mathematcis, 155(10)

      ページ: 1224-1232

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17650001
  • [雑誌論文] Better Upper Bounds on the QOBDD Size of Integer Multipication2007

    • 著者名/発表者名
      天野 一幸
    • 雑誌名

      Diabetes Applied Mathematics 155(10)

      ページ: 1224-1232

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19500006
  • [雑誌論文] Better Upper Bounds on the QOBDD Size of Integer Mutliplication2007

    • 著者名/発表者名
      Kazuyuki Amano, Akira Maruoka
    • 雑誌名

      Disc. Appl. Math 155

      ページ: 1224-1232

    • データソース
      KAKENHI-PROJECT-17650001
  • [雑誌論文] On the Negation-Limited Circuit Complexity of Sorting and Inverting K-tonic Sequences2006

    • 著者名/発表者名
      Takayuki Sato, Kazuyuki Amano, Akira Maruoka
    • 雑誌名

      Lecture Notes in Computer Science 4112

      ページ: 104-115

    • データソース
      KAKENHI-PROJECT-17650001
  • [雑誌論文] On the Monotone Circuit Complexity of Quadratic Boolean Functions2006

    • 著者名/発表者名
      Kazuyuki Amano
    • 雑誌名

      Algorithmica (発表予定)

    • NAID

      110003206393

    • データソース
      KAKENHI-PROJECT-17700001
  • [雑誌論文] Monotone Circuit Complexity of Quadratic Boolean Functions2006

    • 著者名/発表者名
      Kazuyuki Amano, Akira Maruoka
    • 雑誌名

      Algorithmica 46(1)

      ページ: 3-14

    • NAID

      110003206393

    • データソース
      KAKENHI-PROJECT-17650001
  • [雑誌論文] On the Monotone Circuit Complexity of Quadratic Boolean Functions2006

    • 著者名/発表者名
      Kazuyuki Amano, Akira Maruoka
    • 雑誌名

      Algorithmica (in press)

    • NAID

      110003206393

    • データソース
      KAKENHI-PROJECT-15300001
  • [雑誌論文] On Learning Monotone Boolean Functions under the Uniform Distribution2006

    • 著者名/発表者名
      Kazuyuki Amano, Akira Maruoka
    • 雑誌名

      Theoretical Computer Science (Special Issue on ALT 2002) 350(1)

      ページ: 3-12

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15300001
  • [雑誌論文] A Procedure that Generates a Class of Optimal Boolean Formulas2006

    • 著者名/発表者名
      Kazuyuki Amano
    • 雑誌名

      情報処理学会アルゴリズム研究会 2006-AL-106

      ページ: 1-8

    • NAID

      110004824066

    • データソース
      KAKENHI-PROJECT-16092201
  • [雑誌論文] On the Negation-Limited Circuit Complexity of Sorting and Inverting K-tonic Sequences2006

    • 著者名/発表者名
      T.Sato, K.Amano, A.Maruoka
    • 雑誌名

      Lecture Notes in Computer Science 4112

      ページ: 104-115

    • データソース
      KAKENHI-PROJECT-17700001
  • [雑誌論文] On the Monotone Circuit Complexity of Quadratic Boolean Functions2006

    • 著者名/発表者名
      K.Amano, A.Maruoka
    • 雑誌名

      Algorithmica 46・1

      ページ: 3-14

    • NAID

      110003206393

    • データソース
      KAKENHI-PROJECT-17700001
  • [雑誌論文] On Learning Monotone Boolean Functions under the Uniform Distribution2006

    • 著者名/発表者名
      Kazuyuki Amano
    • 雑誌名

      Theoretical Computer Science 350・1

      ページ: 3-12

    • データソース
      KAKENHI-PROJECT-17700001
  • [雑誌論文] On the Monotone Circuit Complexity of Quadratic Boolean Functions2006

    • 著者名/発表者名
      Kazuyuki Amano
    • 雑誌名

      Algorithmica 46・1

      ページ: 3-14

    • NAID

      110003206393

    • データソース
      KAKENHI-PROJECT-16092201
  • [雑誌論文] On Learning Monotone Boolean Functions under the Uniform Distribution2006

    • 著者名/発表者名
      Kazuyuki Amano, Akira Maruoka
    • 雑誌名

      Theoretical Computer Science 350(1)

      ページ: 3-12

    • データソース
      KAKENHI-PROJECT-15300001
  • [雑誌論文] 回路計算量の線形下界に対する計算機支援証明について2006

    • 著者名/発表者名
      天野 一幸
    • 雑誌名

      電子情報通信学会技術研究報告 COMP2006-39

      ページ: 65-70

    • NAID

      110004851556

    • データソース
      KAKENHI-PROJECT-16092201
  • [雑誌論文] Tighter Bounds on the OBDD Size of Integer Multiplication2005

    • 著者名/発表者名
      Kazuyuki Amano, Akira Maruoka
    • 雑誌名

      Proc.of 4th Japanese-Hungarian Symp.on Disc.Math.and its Applications

      ページ: 9-15

    • データソース
      KAKENHI-PROJECT-17650001
  • [雑誌論文] A Superpolynomial Lower Bound for a Circuit Computing the Clique Function with At Most (1/6) log log n Negation Gates2005

    • 著者名/発表者名
      Kazuyuki Amano, Akira Maruoka
    • 雑誌名

      SIAM Journal on Computing 35(1)

      ページ: 3-12

    • データソース
      KAKENHI-PROJECT-17650001
  • [雑誌論文] Random Projection and Its Application to Learning2005

    • 著者名/発表者名
      Tatsuya Watanabe, Eiji Takimoto, Kazuyuki Amano, Akira Maruoka
    • 雑誌名

      Proc.2005 Workshop on Randomness and Computation

      ページ: 3-4

    • データソース
      KAKENHI-PROJECT-15300001
  • [雑誌論文] On the Complexity of Depth-2 Circuits with Threshold Gates2005

    • 著者名/発表者名
      Kazuyuki Amano
    • 雑誌名

      Lecture Notes in Computer Science 3618

      ページ: 107-118

    • データソース
      KAKENHI-PROJECT-16092201
  • [雑誌論文] A Superpolynomial Lower Bound for a Circuit Computing the Clique Function with at Most (1/6)loalog n Negation Gates2005

    • 著者名/発表者名
      Kazuyuki Amano
    • 雑誌名

      SIAM Journal on Computing 35(1)

      ページ: 201-216

    • データソース
      KAKENHI-PROJECT-16092201
  • [雑誌論文] On the Complexity of Depth-2 Circuits with Threshold Gates2005

    • 著者名/発表者名
      Kazuyuki Amano, Akira Maruoka
    • 雑誌名

      Lecture Notes in Computer Science (Proc.of 30th MFCS) 3618

      ページ: 107-118

    • データソース
      KAKENHI-PROJECT-17650001
  • [雑誌論文] Random Projection and Its Application to Learning2005

    • 著者名/発表者名
      Tatsuya Watanabe, Eiji Takimoto, Kazuyuki Amano, Akira Maruoka
    • 雑誌名

      Proc.2005 Workshop on Randomness and Computation

      ページ: 3-4

    • データソース
      KAKENHI-PROJECT-17650001
  • [雑誌論文] Random Projection and Its Application to Learning2005

    • 著者名/発表者名
      Tatsuya Watanabe, Eiji Takimoto, Kazuyuki Amano, Akira Maruoka
    • 雑誌名

      Proceedings of 2005 Workshop on Randomness and Computation

      ページ: 3-4

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15300001
  • [雑誌論文] Monotone Boolean Functions with s Zeros Farthest from Threshold Functions2005

    • 著者名/発表者名
      Kazuyuk i Amano
    • 雑誌名

      Discrete Mathematics and Theoretical Computer Science Vol.AE

      ページ: 11-16

    • データソース
      KAKENHI-PROJECT-17700001
  • [雑誌論文] On Learning Monotone Boolean Functions under the Uniform Distribution2005

    • 著者名/発表者名
      Kazuyuki Amano
    • 雑誌名

      Theoretical Computer Science (発表予定)

    • データソース
      KAKENHI-PROJECT-15700003
  • [雑誌論文] On the Complexity of Depth-2 Circuits with Threshold Gates2005

    • 著者名/発表者名
      Kazuyuki Amano
    • 雑誌名

      Lecture Notes in Computer Science 3618

      ページ: 107-118

    • データソース
      KAKENHI-PROJECT-17700001
  • [雑誌論文] Tighter Bounds on the OBDD Size of Integer Multiplication2005

    • 著者名/発表者名
      Kazuyuki Amano
    • 雑誌名

      Proc. 4^<th> Japanese-Hungarian Symposium on Discrete Mathematics and Its Applications 4

      ページ: 9-15

    • データソース
      KAKENHI-PROJECT-17700001
  • [雑誌論文] A Superpolynomial Lower Bound for a Circuit Computing the Clique Function with At Most (1/6) log log n Negation Gates2005

    • 著者名/発表者名
      Kazuyuki Amano, Akira Maruoka
    • 雑誌名

      SIAM Journal on Computing 35(1)

      ページ: 201-216

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15300001
  • [雑誌論文] On Learning Monotone Boolean Functions under the Uniform Distribution2005

    • 著者名/発表者名
      Kazuyuki Amano
    • 雑誌名

      Theoretical Computer Science (掲載予定)

    • データソース
      KAKENHI-PROJECT-16092201
  • [雑誌論文] マージンを保存するランダム性を限定したプロジェクションとブール空間への埋め込み2005

    • 著者名/発表者名
      Tatsuya Watanabe, Eiji Takimoto, Kazuyuki Amano, Akira Maruoka
    • 雑誌名

      電子情報通信学会技術研究報告(コンピュテーション) COMP39

      ページ: 21-28

    • NAID

      110003499882

    • データソース
      KAKENHI-PROJECT-17650001
  • [雑誌論文] On Learning Monotone Boolean Functions under the Uniform Distribution2005

    • 著者名/発表者名
      Kazuyuki Amano, Akira Maruoka
    • 雑誌名

      Theoretical Computer Science 印刷中

    • データソース
      KAKENHI-PROJECT-15300001
  • [雑誌論文] Monotone Boolean Functions with s Zeros Farthest from Threshold Functions2005

    • 著者名/発表者名
      Kazuyuki Amano, Jun Tarui
    • 雑誌名

      Discrete Math.and Theoretical Computer Science, AE (Proc.EuroComb'05)

      ページ: 11-16

    • データソース
      KAKENHI-PROJECT-17650001
  • [雑誌論文] A Superpolynomial Lower Bound for a Circuit Computing the Clique Function with at most 1/6loglogn Negation Gates2005

    • 著者名/発表者名
      Kazuyuki Amano
    • 雑誌名

      SIAM Journal on Computing 35・1

      ページ: 201-216

    • データソース
      KAKENHI-PROJECT-17700001
  • [雑誌論文] Random Projection and Its Application to Learning2005

    • 著者名/発表者名
      Tatsuya Watanabe, Eiji Takimoto, Kazuyuki Amano, Akira Maruoka
    • 雑誌名

      Proceedings of 2005 Workshop on Randomness and Computation 3-4

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15300001
  • [雑誌論文] The Potential of the Approximation Method2004

    • 著者名/発表者名
      Kazuyuki Amano
    • 雑誌名

      SIAM Journal of Computing 33・2

      ページ: 433-447

    • データソース
      KAKENHI-PROJECT-15700003
  • [雑誌論文] On the Monotone Circuit Complexity of Quadratic Boolean Functions2004

    • 著者名/発表者名
      Kazuyuki Amano
    • 雑誌名

      Lecture Notes in Computer Science 3341

      ページ: 28-40

    • NAID

      110003206393

    • データソース
      KAKENHI-PROJECT-15700003
  • [雑誌論文] On the Monotone Circuit Complexity of Quadratic Boolean Functions2004

    • 著者名/発表者名
      kazuyuki Amano, Akira Maruoka
    • 雑誌名

      Lecture Notes in Computer Science 3341

      ページ: 28-40

    • NAID

      110003206393

    • データソース
      KAKENHI-PROJECT-15300001
  • [雑誌論文] The Potential of the Approximation Method2004

    • 著者名/発表者名
      kazuyuki Amano, Akira Maruoka
    • 雑誌名

      SIAM Jounral On Computing 33(2)

      ページ: 433-447

    • データソース
      KAKENHI-PROJECT-15300001
  • [雑誌論文] Better Simulation of Exponential Threshold Weights by Polynomial Weights2004

    • 著者名/発表者名
      kazuyuki Amano, Akira Maruoka
    • 雑誌名

      Electronic Colloquium on Computational Complexity 11

    • NAID

      10014326006

    • データソース
      KAKENHI-PROJECT-15300001
  • [雑誌論文] Better Simulation of Exponential Threshold Weights by Polynomial Weights2004

    • 著者名/発表者名
      Kazuyuki Amano
    • 雑誌名

      Electronic Colloquium on Computational Complexity 11

    • NAID

      10014326006

    • データソース
      KAKENHI-PROJECT-15700003
  • [雑誌論文] Better Simulation of Exponential Threshold Weights by Polynomial Weights2004

    • 著者名/発表者名
      Kazuyuki Amano
    • 雑誌名

      Electronic Colloquium on Computational Complexity 11

    • NAID

      10014326006

    • データソース
      KAKENHI-PROJECT-16092201
  • [雑誌論文] A Well-Mixed Function with Circuit Complexity 5n+o(n)

    • 著者名/発表者名
      天野一幸, 垂井淳
    • 雑誌名

      Tightness of the Lachish-Raz-type Bounds, Lecture Notes in Computer Science

      ページ: 342-350

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19500006
  • [学会発表] GAを用いたコンテナ積み込み問題の解探索に対するACOによる後処理手法2024

    • 著者名/発表者名
      影山 祥,荒木 徹也,天野 一幸
    • 学会等名
      2023 年度電子情報通信学会東京支部学生会研究発表会
    • データソース
      KAKENHI-PROJECT-18K11152
  • [学会発表] 2x2x1ピースを用いたアンチスライドの充填率の上界2023

    • 著者名/発表者名
      木村 健斗, 天野 一幸
    • 学会等名
      2022年度冬のLAシンポジウム
    • データソース
      KAKENHI-PROJECT-18K11152
  • [学会発表] 1次元セルオートマトンのルール30の解析2023

    • 著者名/発表者名
      内田 明良,天野 一幸
    • 学会等名
      電子情報通信学会 東京支部学生会 研究発表会
    • データソース
      KAKENHI-PROJECT-21K19758
  • [学会発表] Depth-Three Circuits for Inner Product and Majority Functions2023

    • 著者名/発表者名
      Kazuyuki Amano
    • 学会等名
      34th International Symposium on Algorithms and Computation (ISAAC 2023)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-21K19758
  • [学会発表] パズル「しろなべ」の計算複雑性2023

    • 著者名/発表者名
      篠原 広佑, 荒木 徹也, 天野 一幸
    • 学会等名
      2022年度冬のLAシンポジウム
    • データソース
      KAKENHI-PROJECT-21K19758
  • [学会発表] Knights Exchange Puzzleの一般化に関する研究2023

    • 著者名/発表者名
      田島 大也,天野 一幸
    • 学会等名
      電子情報通信学会 東京支部学生会 研究発表会
    • データソース
      KAKENHI-PROJECT-21K19758
  • [学会発表] 2x2x1ピースを用いたアンチスライドの充填率の上界2023

    • 著者名/発表者名
      木村 健斗, 天野 一幸
    • 学会等名
      2022年度冬のLAシンポジウム
    • データソース
      KAKENHI-PROJECT-21K19758
  • [学会発表] パズル「しろなべ」の計算複雑性2023

    • 著者名/発表者名
      篠原 広佑, 荒木 徹也, 天野 一幸
    • 学会等名
      2022年度冬のLAシンポジウム
    • データソース
      KAKENHI-PROJECT-18K11152
  • [学会発表] Knights Exchange Puzzleの一般化に関する研究2023

    • 著者名/発表者名
      田島 大也,天野 一幸
    • 学会等名
      電子情報通信学会 東京支部学生会 研究発表会
    • データソース
      KAKENHI-PROJECT-18K11152
  • [学会発表] 1次元セルオートマトンのルール30の解析2023

    • 著者名/発表者名
      内田 明良,天野 一幸
    • 学会等名
      電子情報通信学会 東京支部学生会 研究発表会
    • データソース
      KAKENHI-PROJECT-18K11152
  • [学会発表] Upper Bounds on the Minimum Number of Pieces for Anti-slide Packing2022

    • 著者名/発表者名
      Kento Kimura and Kazuyuki Amano
    • 学会等名
      The 24th JCDCG^3
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18K11152
  • [学会発表] Upper Bounds on the Minimum Number of Pieces for Anti-slide Packing2022

    • 著者名/発表者名
      Kento Kimura and Kazuyuki Amano
    • 学会等名
      The 24th JCDCG^3
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-21K19758
  • [学会発表] Lower bounds for the total stopping time of 3x+1 iterates revisited2021

    • 著者名/発表者名
      天野一幸
    • 学会等名
      電子情報通信学会、コンピュテーション研究会
    • データソース
      KAKENHI-PROJECT-18H04090
  • [学会発表] On the size of depth-two threshold circuits for the inner product mod 2 function2021

    • 著者名/発表者名
      Kazuyuki Amano
    • 学会等名
      The 14th-15th International Conference on Language and Automata Theory and Applications (LATA 2020 & 2021)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-21K19758
  • [学会発表] Lower bounds for the total stopping time of 3x+1 iterates revisited2021

    • 著者名/発表者名
      Kazuyuki Amano
    • 学会等名
      電子情報通信学会、コンピュテーション研究会
    • データソース
      KAKENHI-PROJECT-21K19758
  • [学会発表] Lower bounds for the total stopping time of 3x+1 iterates revisited2021

    • 著者名/発表者名
      Kazuyuki Amano
    • 学会等名
      電子情報通信学会、コンピュテーション研究会
    • データソース
      KAKENHI-PROJECT-18K11152
  • [学会発表] On the size of depth-two threshold circuits for the inner product mod 2 function2021

    • 著者名/発表者名
      Kazuyuki Amano
    • 学会等名
      The 14th-15th International Conference on Language and Automata Theory and Applications (LATA 2020 & 2021)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18K11152
  • [学会発表] 分散処理によるTopswopsの最大手数の発見2021

    • 著者名/発表者名
      木村 健斗、高橋 篤生、荒木 徹也、天野 一幸
    • 学会等名
      情報処理学会、アルゴリズム研究会
    • データソース
      KAKENHI-PROJECT-18K11152
  • [学会発表] SATソルバーによる複数の折り方を持つ箱の展開図の探索2020

    • 著者名/発表者名
      只木 莉緒奈,天野 一幸
    • 学会等名
      情報処理学会 アルゴリズム研究会
    • データソース
      KAKENHI-PROJECT-18H04090
  • [学会発表] T-テトロミノを用いた平面アンチスライドパズルの最少ピース数について2020

    • 著者名/発表者名
      木村 健斗,天野 一幸,荒木 徹也
    • 学会等名
      2020年電子情報通信学会総合大会
    • データソース
      KAKENHI-PROJECT-18K11152
  • [学会発表] 数理計画を用いた閾値回路の計算複雑さの解析2020

    • 著者名/発表者名
      天野 一幸
    • 学会等名
      情報処理学会 第176回アルゴリズム研究会
    • データソース
      KAKENHI-PROJECT-18K11152
  • [学会発表] 数理計画を用いた閾値回路の計算複雑さの解析2020

    • 著者名/発表者名
      天野 一幸
    • 学会等名
      情報処理学会 アルゴリズム研究会
    • データソース
      KAKENHI-PROJECT-18H04090
  • [学会発表] SATソルバーによる複数の折り方を持つ箱の展開図の探索2020

    • 著者名/発表者名
      只木 莉緒奈,天野 一幸
    • 学会等名
      情報処理学会 第176回アルゴリズム研究会
    • データソース
      KAKENHI-PROJECT-18K11152
  • [学会発表] 多数決関数を計算する2段の多数決回路における総入次数の上下界2020

    • 著者名/発表者名
      横川 拓哉,尾島 康浩,天野 一幸
    • 学会等名
      2019年度冬のLAシンポジウム
    • データソース
      KAKENHI-PROJECT-18H04090
  • [学会発表] T-テトロミノを用いた平面アンチスライドパズルの最少ピース数について2020

    • 著者名/発表者名
      木村 健斗,天野 一幸,荒木 徹也
    • 学会等名
      電子情報通信学会総合大会 COMP学生シンポジウム
    • データソース
      KAKENHI-PROJECT-18H04090
  • [学会発表] 多数決関数を計算する2段の多数決回路における総入次数の上下界2020

    • 著者名/発表者名
      横川 拓哉, 尾島 康浩, 天野 一幸
    • 学会等名
      2019年度冬のLAシンポジウム
    • データソース
      KAKENHI-PROJECT-18K11152
  • [学会発表] 凹凸のあるピースにおけるアンチスライドパズルの解析2019

    • 著者名/発表者名
      木村 健斗, 天野 一幸
    • 学会等名
      組み合わせゲーム・パズルプロジェクト(CGP) 第14回研究集会
    • データソース
      KAKENHI-PROJECT-15K00006
  • [学会発表] ポリオミノのisohedralタイリング数の解析2019

    • 著者名/発表者名
      佐藤 大河, 天野 一幸
    • 学会等名
      情報処理学会 第171回アルゴリズム研究会
    • データソース
      KAKENHI-PROJECT-15K00006
  • [学会発表] アンチスライドパズルの解析2019

    • 著者名/発表者名
      木村 健斗,天野 一幸,荒木 徹也
    • 学会等名
      電子情報通信学会 コンピュテーション研究会
    • データソース
      KAKENHI-PROJECT-18H04090
  • [学会発表] 多数決関数を計算する2段の多数決回路2019

    • 著者名/発表者名
      尾島 康浩,横川 拓哉,天野 一幸
    • 学会等名
      電子情報通信学会 コンピュテーション研究会
    • データソース
      KAKENHI-PROJECT-18K11152
  • [学会発表] 多数決関数を計算する2段の多数決回路2019

    • 著者名/発表者名
      尾島 康浩,横川 拓哉,天野 一幸
    • 学会等名
      電子情報通信学会 コンピュテーション研究会
    • データソース
      KAKENHI-PROJECT-18H04090
  • [学会発表] アンチスライドパズルの解析2019

    • 著者名/発表者名
      木村 健斗,天野 一幸,荒木 徹也
    • 学会等名
      電子情報通信学会 コンピュテーション研究会
    • データソース
      KAKENHI-PROJECT-18K11152
  • [学会発表] ポリオミノのisohedralタイリング数の解析2019

    • 著者名/発表者名
      佐藤 大河, 天野 一幸
    • 学会等名
      情報処理学会 第171回アルゴリズム研究会
    • データソース
      KAKENHI-PROJECT-18K11152
  • [学会発表] 凹凸のあるピースにおけるアンチスライドパズルの解析2019

    • 著者名/発表者名
      木村 健斗, 天野 一幸
    • 学会等名
      組み合わせゲーム・パズルプロジェクト(CGP) 第14回研究集会
    • データソース
      KAKENHI-PROJECT-18K11152
  • [学会発表] Away from Rivals2018

    • 著者名/発表者名
      Kazuyuki Amano and Shin-ichi Nakano
    • 学会等名
      30th Canadian Conference on Computational Geometry (CCCG 2018)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K00006
  • [学会発表] Away from rivals2018

    • 著者名/発表者名
      Kazuyuki Amano, Shin-ichi Nakano
    • 学会等名
      The 30th Canadian Conference on Computational Geometry
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18H04090
  • [学会発表] An Approximation Algorithm for the 2-Dispersion Problem2018

    • 著者名/発表者名
      Kazuyuki Amano, Shin-ichi Nakano
    • 学会等名
      電子情報通信学会 コンピュテーション研究会
    • データソース
      KAKENHI-PROJECT-18K11152
  • [学会発表] An Approximation Algorithm for the 2-Dispersion Problem2018

    • 著者名/発表者名
      Kazuyuki Amano, Shin-ichi Nakano
    • 学会等名
      電子情報通信学会 コンピュテーション研究会
    • データソース
      KAKENHI-PROJECT-15K00006
  • [学会発表] アンチスライドパズルの解析2018

    • 著者名/発表者名
      木村健斗,天野一幸
    • 学会等名
      日本OR学会SSOR2018
    • データソース
      KAKENHI-PROJECT-18K11152
  • [学会発表] アンチスライドパズルの解析2018

    • 著者名/発表者名
      木村健斗,天野一幸
    • 学会等名
      日本OR学会SSOR2018
    • データソース
      KAKENHI-PROJECT-15K00006
  • [学会発表] Depth two majority circuits for majority and list expanders2018

    • 著者名/発表者名
      Kazuyuki Amano
    • 学会等名
      The 43rd International Symposium on Mathematical Foundations of Computer Science
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18H04090
  • [学会発表] 多数決関数を計算する2層の多数決回路について2018

    • 著者名/発表者名
      吉田 昌史,天野 一幸
    • 学会等名
      2017年度 冬のLAシンポジウム
    • データソース
      KAKENHI-PROJECT-15K00006
  • [学会発表] Away from Rivals2018

    • 著者名/発表者名
      Kazuyuki Amano, Shin-ichi Nakano
    • 学会等名
      the 30th Canadian Conference on Computational Geometry (CCCG 2018)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18K11152
  • [学会発表] On the Number of p4-tilings by an n-Omino2017

    • 著者名/発表者名
      Kazuyuki Amano and Yoshinobu Haruyama
    • 学会等名
      28th International Symposium on Algorithms and Computation (ISAAC 2017)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K00006
  • [学会発表] Enumeration of Boolean Functions of Sensitivity Three and Inheritance of Nondegeneracy2017

    • 著者名/発表者名
      Kazuyuki Amano
    • 学会等名
      2017 IEEE International Symposium on Information Theory, ISIT 2017
    • 発表場所
      Aachen, Germany
    • 年月日
      2017-06-25
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PLANNED-24106006
  • [学会発表] Enumeration of Boolean Functions of Sensitivity Three and Inheritance of Nondegeneracy2017

    • 著者名/発表者名
      Kazuyuki Amano
    • 学会等名
      2017 IEEE International Symposium on Information Theory, ISIT 2017
    • 発表場所
      Aachen, Germany
    • 年月日
      2017-06-25
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K00006
  • [学会発表] Enumeration of Boolean functions of sensitivity three and inheritance of nondegeneracy2017

    • 著者名/発表者名
      Kazuyuki Amano
    • 学会等名
      IEEE International Symposium on Information Theory (ISIT 2017)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K00006
  • [学会発表] 多項式しきい値表現のXOR補題と整数計画のテンソル積2016

    • 著者名/発表者名
      天野 一幸
    • 学会等名
      日本OR学会 最適化の基盤とフロンティア研究部会
    • 発表場所
      東京理科大 (東京都新宿区)
    • 招待講演
    • データソース
      KAKENHI-PLANNED-24106006
  • [学会発表] On XOR Lemma for Polynomial Threshold Weight and Length2016

    • 著者名/発表者名
      Kazuyuki Amano
    • 学会等名
      The 10th International Conference on Language and Automata Theory and Applications (LATA '16)
    • 発表場所
      プラハ(チェコ)
    • 年月日
      2016-03-15
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-24500006
  • [学会発表] 多項式しきい値表現のXOR補題と整数計画のテンソル積2016

    • 著者名/発表者名
      天野 一幸
    • 学会等名
      日本OR学会 最適化の基盤とフロンティア研究部会
    • 発表場所
      東京理科大学(東京都新宿区)
    • 年月日
      2016-04-23
    • 招待講演
    • データソース
      KAKENHI-PROJECT-24500006
  • [学会発表] On XOR Lemma for Polynomial Threshold Weight and Length2016

    • 著者名/発表者名
      Kazuyuki Amano
    • 学会等名
      The 10th International Conference on Language and Automata Theory and Applications
    • 発表場所
      Prague (Czech Republic)
    • 年月日
      2016-03-15
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PLANNED-24106006
  • [学会発表] 論理関数のPTF表現のXOR補題について2016

    • 著者名/発表者名
      天野 一幸,舘 将馬
    • 学会等名
      2016年夏のLAシンポジウム
    • 発表場所
      かんぽの宿大和平群 (奈良県生駒郡)
    • 年月日
      2016-07-19
    • データソース
      KAKENHI-PROJECT-15K00006
  • [学会発表] 論理関数のPTF表現のXOR補題について2016

    • 著者名/発表者名
      天野 一幸,舘 将馬
    • 学会等名
      2016年夏のLAシンポジウム
    • 発表場所
      かんぽの宿大和平群 (奈良県生駒郡)
    • 年月日
      2016-07-19
    • データソース
      KAKENHI-PLANNED-24106006
  • [学会発表] Sensitivityが3の論理関数について2016

    • 著者名/発表者名
      天野 一幸
    • 学会等名
      電子情報通信学会 コンピュテーション研究会
    • 発表場所
      広島大 (広島県東広島市)
    • 年月日
      2016-12-21
    • データソース
      KAKENHI-PROJECT-15K00006
  • [学会発表] 多項式しきい値表現のXOR補題と整数計画のテンソル積2016

    • 著者名/発表者名
      天野 一幸
    • 学会等名
      日本OR学会 最適化の基盤とフロンティア研究部会
    • 発表場所
      東京理科大学(東京都新宿区)
    • 年月日
      2016-04-23
    • 招待講演
    • データソース
      KAKENHI-PROJECT-15K00006
  • [学会発表] On XOR Lemma for Polynomial Threshold Weight and Length2016

    • 著者名/発表者名
      Kazuyuki Amano
    • 学会等名
      The 10th International Conference on Language and Automata Theory and Applications (LATA '16)
    • 発表場所
      プラハ(チェコ)
    • 年月日
      2016-03-15
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K00006
  • [学会発表] Sensitivityが3の論理関数について2016

    • 著者名/発表者名
      天野 一幸
    • 学会等名
      電子情報通信学会 コンピュテーション研究会
    • 発表場所
      広島大 (広島県東広島市)
    • 年月日
      2016-12-21
    • データソース
      KAKENHI-PLANNED-24106006
  • [学会発表] A Nonuniform Circuit Class with Multilayer of Threshold Gates having Super Quasi Polynomial Size Lower Bounds against NEXP2014

    • 著者名/発表者名
      Kazuyuki Amano and Atsushi Saito
    • 学会等名
      電子情報通信学会 コンピュテーション研究会
    • 発表場所
      崇城大学(熊本県熊本市)
    • 年月日
      2014-12-05
    • データソース
      KAKENHI-PROJECT-24500006
  • [学会発表] Ordered Biclique Partition と通信計算量2014

    • 著者名/発表者名
      重田 真那実,天野 一幸
    • 学会等名
      冬のLAシンポジウム
    • 発表場所
      京都大学
    • データソース
      KAKENHI-PROJECT-24500006
  • [学会発表] Ordered Biclique Partition と通信計算量2014

    • 著者名/発表者名
      重田真那実, 天野一幸
    • 学会等名
      冬のLAシンポジウム
    • 発表場所
      京都大学
    • データソース
      KAKENHI-PLANNED-24106006
  • [学会発表] A Satisfiability Algorithm for Some Class of Dense Depth Two Threshold Circuits2014

    • 著者名/発表者名
      Kazuyuki Amano and Atsushi Saito
    • 学会等名
      電子情報通信学会 コンピュテーション研究会
    • 発表場所
      東北大学(宮城県仙台市)
    • 年月日
      2014-04-24
    • データソース
      KAKENHI-PROJECT-24500006
  • [学会発表] Bounding the Randomized Decision Tree Complexity of Read-Once Boolean Functions2011

    • 著者名/発表者名
      Kazuyuki Amano
    • 学会等名
      The 22nd Annual ACM-SIAM Symposium on Disc rete Algorithms (SODA 2011)
    • 発表場所
      サンフランシスコ(米国)
    • 年月日
      2011-01-25
    • データソース
      KAKENHI-PROJECT-21500005
  • [学会発表] もっとも敏感なk-CNF2011

    • 著者名/発表者名
      天野一幸
    • 学会等名
      情報処理学会アルゴリズム研究会
    • 発表場所
      秋田県立大学(秋田県)
    • 年月日
      2011-05-16
    • データソース
      KAKENHI-PROJECT-21500005
  • [学会発表] もっとも敏感なk-CNF式2011

    • 著者名/発表者名
      天野一幸
    • 学会等名
      情報処理学会アルゴリズム研究会
    • 発表場所
      秋田県立大学
    • 年月日
      2011-05-16
    • データソース
      KAKENHI-PROJECT-21500005
  • [学会発表] Bounding the Randomized Decision Tree Complexity of Read-Once Boolean Functions2011

    • 著者名/発表者名
      天野一幸
    • 学会等名
      The 22^<nd> Annual ACM-SIAM Symposium on Discrete Algorithms (SODA 2011)
    • 発表場所
      HolidayInn Hotel(サンフランシスコ,アメリカ合衆国)
    • 年月日
      2011-01-25
    • データソース
      KAKENHI-PROJECT-21500005
  • [学会発表] 多項式しきい値関数密度の上界の改善2011

    • 著者名/発表者名
      早坂智行, 天野一幸
    • 学会等名
      第73回情報処理学会全国大会
    • 発表場所
      東京工業大学(東京都)
    • 年月日
      2011-03-04
    • データソース
      KAKENHI-PROJECT-21500005
  • [学会発表] On Extremal k-CNF Formulas, European Conf. on Combinatorics2011

    • 著者名/発表者名
      天野一幸
    • 学会等名
      Graph Theory and Applications
    • 発表場所
      Renyi研究所(ブタペスト,ハンガリー)
    • 年月日
      2011-09-02
    • データソース
      KAKENHI-PROJECT-21500005
  • [学会発表] On Extremal k-CNF Formulas2011

    • 著者名/発表者名
      Kazuyuki Amano
    • 学会等名
      European Conf.on Cobinatorics, Graph Theory and Applications
    • 発表場所
      ブタペスト(ハンガリー)
    • 年月日
      2011-09-02
    • データソース
      KAKENHI-PROJECT-21500005
  • [学会発表] On Directional vs.Undirectional Randomized Decision Tree Complexity for Read-Once Formulas2010

    • 著者名/発表者名
      Kazuyuki Amano
    • 学会等名
      The 16^<th> Computing : Australasian Theory Syposium
    • 発表場所
      ブリスベン(豪州)
    • 年月日
      2010-01-19
    • データソース
      KAKENHI-PROJECT-21500005
  • [学会発表] 論理関数の乱化計算機計算量について2010

    • 著者名/発表者名
      天野一幸
    • 学会等名
      日本OR学会NEO研究集会
    • 発表場所
      京都大学(京都府)
    • 年月日
      2010-12-07
    • データソース
      KAKENHI-PROJECT-21500005
  • [学会発表] ギガ頂点グラフのハミルトン路探索と中間層予想について2010

    • 著者名/発表者名
      島田学, 天野一幸
    • 学会等名
      電子情報通信学会コンピュテーション研究会
    • 発表場所
      北陸先端科学技術大学(石川県)
    • 年月日
      2010-05-19
    • データソース
      KAKENHI-PROJECT-21500005
  • [学会発表] New Upper Bounds on the Average PTF Density of Boolean Functions2010

    • 著者名/発表者名
      天野一幸
    • 学会等名
      The 21^<st> International Symposium on Algorithm and Computation (ISAAC 2010)
    • 発表場所
      ラマダプラザホテル(済州島,韓国)
    • 年月日
      2010-12-15
    • データソース
      KAKENHI-PROJECT-21500005
  • [学会発表] 論理関数の乱化決定木計算量について2010

    • 著者名/発表者名
      天野一幸
    • 学会等名
      日本OR学会NEO研究集会
    • 発表場所
      京都大学
    • 年月日
      2010-12-07
    • データソース
      KAKENHI-PROJECT-21500005
  • [学会発表] New Upper Bounds on the Average PTF Density of Boolean Functigiis2010

    • 著者名/発表者名
      Kazuyuki Amano
    • 学会等名
      The 21st International Symposium on Algorithm and Computation (ISAAC 2010)
    • 発表場所
      済州島(韓国)
    • 年月日
      2010-12-15
    • データソース
      KAKENHI-PROJECT-21500005
  • [学会発表] Bounds on the Size of Small Depth Circuits for Approximating Majority2009

    • 著者名/発表者名
      天野一幸
    • 学会等名
      The 36^<th> International Colloquium on Automata, Languages and Programming (ICALP09)
    • 発表場所
      ロドスパレスホテル(ロドス,ギリシャ)
    • 年月日
      2009-07-09
    • データソース
      KAKENHI-PROJECT-21500005
  • [学会発表] K-Subgraph Isomorphism on AC_0 Circuits2009

    • 著者名/発表者名
      Kazuyuki Amano
    • 学会等名
      The 24^<th> IEEE Conference on Computational Complexity
    • 発表場所
      パリ(フランス)
    • 年月日
      2009-07-15
    • データソース
      KAKENHI-PROJECT-20500760
  • [学会発表] Bounds on the Size of Small Depth Circuits for Approximating Majority2009

    • 著者名/発表者名
      Kazuyuki Amano
    • 学会等名
      The 36th International Colloquium on Automata, Languages and Programming
    • 発表場所
      ロドス(ギリシャ)
    • 年月日
      2009-07-09
    • データソース
      KAKENHI-PROJECT-20500760
  • [学会発表] Bounds on the Size of Small Depth Circuits for Approximating Majority2009

    • 著者名/発表者名
      Kazuyuki Amano
    • 学会等名
      The 36th International Colloquium on Automata, Languages and Programming
    • 発表場所
      ロドス(ギリシャ)
    • 年月日
      2009-07-09
    • データソース
      KAKENHI-PROJECT-21500005
  • [学会発表] 最簡な論理式でNPN同値類の代表のみを生成するアルゴリズム2009

    • 著者名/発表者名
      福原秀明, 滝本英二, 天野一幸
    • 学会等名
      電子情報通信学会コンピュテーション研究会
    • 発表場所
      東京
    • 年月日
      2009-03-01
    • データソース
      KAKENHI-PROJECT-19500006
  • [学会発表] K-Subgraph Isomorphism on AC_0 Circuits2009

    • 著者名/発表者名
      Kazuyuki Amano
    • 学会等名
      The 24^<th> IEEE Conference on Computational Complexity
    • 発表場所
      パリ(フランス)
    • 年月日
      2009-07-15
    • データソース
      KAKENHI-PROJECT-21500005
  • [学会発表] K-subgraph Isomorphism on AC0 Circuits2009

    • 著者名/発表者名
      天野一幸
    • 学会等名
      The 24^<th> IEEE conf. on computational complexity
    • 発表場所
      ポアンカレ研究所(パリ,フランス)
    • 年月日
      2009-07-15
    • データソース
      KAKENHI-PROJECT-21500005
  • [学会発表] 部分グラフ同型性判定の回路計算量について2008

    • 著者名/発表者名
      天野一幸
    • 学会等名
      電子情報通信学会コンピュテーション研究会
    • 発表場所
      群馬県伊香保
    • 年月日
      2008-12-03
    • データソース
      KAKENHI-PROJECT-19500006
  • [学会発表] 部分グラフ同型性判定の回路計算量について2008

    • 著者名/発表者名
      天野一幸
    • 学会等名
      電子情報通信学会コンピュテーション研究会
    • 発表場所
      群馬県伊香保町
    • 年月日
      2008-12-03
    • データソース
      KAKENHI-PROJECT-19500006
  • [学会発表] Clifford+π/8量子回路の計算能力2008

    • 著者名/発表者名
      松本健, 天野一幸
    • 学会等名
      電子情報通信学会コンピュテーション研究会
    • 発表場所
      神奈川
    • 年月日
      2008-03-10
    • データソース
      KAKENHI-PROJECT-19500006
  • [学会発表] A Well-Mixed Function with Circuit Compleixty 5n+-0(n)2008

    • 著者名/発表者名
      天野一幸
    • 学会等名
      第5回計算モデルの理論と応用国際会議(TAMC08)
    • 発表場所
      中国・西安
    • 年月日
      2008-04-28
    • データソース
      KAKENHI-PROJECT-19500006
  • [学会発表] 回路計算量の5nの下界に対する5nの上界2007

    • 著者名/発表者名
      天野 一幸
    • 学会等名
      夏のLAシンポジウム
    • 発表場所
      休暇村能登千里浜
    • 年月日
      2007-07-20
    • データソース
      KAKENHI-PROJECT-16092201
  • [学会発表] 回路計算量の5nの下界に対する5nの上界2007

    • 著者名/発表者名
      天野 一幸
    • 学会等名
      2007年夏のLAシンポジウム
    • 発表場所
      石川県羽咋市
    • 年月日
      2007-07-20
    • データソース
      KAKENHI-PROJECT-19500006
  • [学会発表] 方形描画の数え上げ2007

    • 著者名/発表者名
      天野一幸, 中野眞一, 山中克久
    • 学会等名
      電子情報通信学会コンピュテーション研究会
    • 発表場所
      新潟
    • 年月日
      2007-11-28
    • データソース
      KAKENHI-PROJECT-19500006
  • [学会発表] 方形描画(フロアプラン)の個数について:厳密数え上げと下界と上界2007

    • 著者名/発表者名
      天野 一幸
    • 学会等名
      情報処理学会アルゴリズム研究会
    • 発表場所
      新潟大学
    • 年月日
      2007-11-30
    • データソース
      KAKENHI-PROJECT-19500006
  • [学会発表] A well-mixed function with circuit complexity 5n±o(n): Tightness of the Lachish-Raz-type bounds2007

    • 著者名/発表者名
      Kazuyuki Amano
    • 学会等名
      The 10th Korea-Japan Joint Workshop on Algorithms and Computation (WAAC 07)
    • 発表場所
      Chonnam National University, Korea
    • 年月日
      2007-08-09
    • データソース
      KAKENHI-PROJECT-16092201
  • [学会発表] A Well-Mixed Function with Circuit Complexity 5n + o(n) : Tightness of the Lachish-Raz-type Bounds2007

    • 著者名/発表者名
      天野一幸, 垂井淳
    • 学会等名
      The 10th Korea-Japan Joint Workshop on Algorithms and Computation (WAAC 07)
    • 発表場所
      光州(韓国)
    • 年月日
      2007-08-09
    • データソース
      KAKENHI-PROJECT-19500006
  • [学会発表] 回路計算量の5nの下界に対する5nの上界2007

    • 著者名/発表者名
      天野一幸, 垂井淳
    • 学会等名
      2007年夏のLAシンポジウム
    • 発表場所
      石川
    • 年月日
      2007-07-20
    • データソース
      KAKENHI-PROJECT-19500006
  • [学会発表] On the number of rectangular drawings: Exact counting and lower and upper bounds2007

    • 著者名/発表者名
      Kazyuki Amano
    • 学会等名
      情報処理学会アルゴリズム研究会
    • 発表場所
      新潟大学
    • 年月日
      2007-11-30
    • データソース
      KAKENHI-PROJECT-16092201
  • [学会発表] A Nonuniform Circuit Class with Multilayer of Threshold Gates having Super Quasi Polynomial Size Lower Bounds against NEXP

    • 著者名/発表者名
      Kazuyuki Amano and Atsushi Saito
    • 学会等名
      The 9th International Conference on Language and Automata Theory and Applications
    • 発表場所
      ニース(フランス)
    • 年月日
      2015-03-02 – 2015-03-06
    • データソース
      KAKENHI-PROJECT-24500006
  • [学会発表] Graph Partition and Communication Complexity

    • 著者名/発表者名
      Kazuyuki Amano
    • 学会等名
      ELC Mini-Workshop on Boolean Functions
    • 発表場所
      東工大田町キャンパス(東京都目黒区)
    • 年月日
      2014-11-07 – 2014-11-10
    • データソース
      KAKENHI-PROJECT-24500006
  • [学会発表] A Satisfiability Algorithm for Some Class of Dense Depth Two Threshold Circuits

    • 著者名/発表者名
      Kazuyuki Amano and Atsushi Saito
    • 学会等名
      The 17th Korea-Japan Joint Workshop on Algorithms and Computation
    • 発表場所
      沖縄コンベンションセンター(沖縄県宜野湾市)
    • 年月日
      2014-07-13 – 2014-07-15
    • データソース
      KAKENHI-PROJECT-24500006
  • [学会発表] A Nonuniform Circuit Class with Multilayer of Threshold Gates having Super Quasi Polynomial Size Lower Bounds against NEXP

    • 著者名/発表者名
      Atsushi Saito and Kazuyuki Amano
    • 学会等名
      電子情報通信学会総合大会
    • 発表場所
      立命館大学(滋賀県草津市)
    • 年月日
      2015-03-10 – 2015-03-13
    • データソース
      KAKENHI-PROJECT-24500006
  • 1.  瀧本 英二 (50236395)
    共同の研究課題数: 5件
    共同の研究成果数: 5件
  • 2.  丸岡 章 (50005427)
    共同の研究課題数: 4件
    共同の研究成果数: 20件
  • 3.  川島 隆太 (90250828)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 4.  邑本 俊亮 (80212257)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 5.  原口 和也 (80453356)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 6.  Avis David (90584110)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 7.  渡辺 治 (80158617)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 8.  酒井 義文 (10277361)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 9.  阿曽 弘具 (10005522)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 10.  上野 賢哉 (70586081)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 11.  伊東 利哉 (20184674)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 12.  玉置 卓 (40432413)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 13.  森 立平 (60732857)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 14.  平原 秀一 (80848440)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 15.  清水 伸高 (10910127)
    共同の研究課題数: 1件
    共同の研究成果数: 0件

URL: 

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi