天野 一幸(あまの かずゆき)

[English]

群馬大学 大学院理工学府 / 理工学部 電子情報部門/ 情報工学科 教授
住所 : 376-8515 群馬県桐生市天神町1-5-1 情報工学科2号館 209-2号室  電話 : 0277-30-1823(直通)

研究

  • 計算機科学(Computer Science)全般に興味があります.

  • その中で特に計算量理論に興味を持っています.
    (平たくいうと,コンピュータを使って様々な問題を解くときに,どれぐらいの時間や メモリが必要かを,前もって知るにはどうすればよいか? また,様々な問題に 対する効率の良い解決手法とはどのようなものか? などについて研究しています)

  • その中でも特に,論理回路,決定グラフ, しきい値回路,比較器回路,量子回路など 様々な計算モデルにおける計算量の下界を導出する問題に興味を持っています.
    (平たくいうと,コンピュータを使っても解くのが難しい問題は, なぜ 難しいのか? 一見難しそうに見える問題 が, 実際のところ 本当に難しい問題 であるということを,きちんと証明するにはどうすればよいか? など について研究をしています. 例えば, こんな 問題に特に興味があります)

  • その他に,組合わせ論,グラフ理論,アルゴリズム理論,離散数学,実験数学,計算学習理論などの研究もしています.

  • 研究室のホームページは こちら
  • 論文リストはここにあります.
  • DBLPにある論文リスト
  • その他の情報
    講義 [赤字]は最終更新日  [学年暦2019] [教務ページ]

    2019年前期
  • 計算機システムI (3年次 金曜7-8限@メディアルーム) [2019.6.13]
  • 計算量特論 (大学院修士 木曜3-4限@J科大学院講義室(2号館106号室))[2019.6.20]

    2019年後期
  • 離散数学II (2年次 木曜5-6限@メディアルーム)
  • 計算機システムII (3年次 月曜5-6限@メディアルーム)
  • 電子情報理工学先端特別ゼミ (総合理工4年次 分担1コマ 日時未定)
    (過去の講義)


    予定表 (専ら自分用... (下記期間は不在にしますすみません))
    2019年度
  • HJ19 (5月27日 - 28日,東大)
  • セミナー (6月4日,東工大)
  • 研究会 (6月11日,東大本郷)
  • 説明会 (6月19日,佐野)
    (過去の予定)

    伝言(って誰にだ):
    頑張れ東北(3月14日, 2011年)
    .子供のころに見た覚えは無いけれど,見ると昔に戻ったような気がする.(6月14日)

    追伸: 超計算(ってなんだ)始めました. 次回(第97回)は**月**日(金) 16:30@ゼミE (予定).
    追伸2:論理関数の巻 絶賛執筆中.(2018.4)
    amano (あっと) gunma-u.ac.jp または amano (あらよっと) cs.gunma-u.ac.jp