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

[English]

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

研究

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

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

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

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

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

    2021年後期
  • 離散数学II (2年次 木曜5-6限 on メディアルーム + Zoom[2021.11.10]
  • 計算機システムII (3年次 月曜5-6限 on メディアルーム + Zoom) [2021.11.16]
  • 電子情報理工学先端特別ゼミ (総合理工4年次 分担1コマ 10月8日(金) 14:20 on Zoom)

    2021年前期
  • 計算機システムI (3年次 金曜7-8限(14:20-15:50) @ メディアルーム+Zoom[2021.8.5]
  • 計算量特論 (大学院修士 木曜3-4限(10:20-11:50) on Zoom[2021.7.14]

    (過去の講義)


    予定表 (専ら自分用... (下記期間は不在にしますすみません))
    2021年
  • COMP研 (12月3日,金沢)(さて,本当に行けるだろうか)

    (過去の予定)

    伝言(って誰にだ):
    共感する。(10/29)

    amano (あっと) gunma-u.ac.jp