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

[English]

群馬大学 ・ 情報学部 / 情報学研究科＋ 理工学部 / 大学院理工学府 ・ 教授　
住所 : 371-8510 群馬県前橋市荒牧町4丁目2 群馬大学荒牧キャンパス8号館320号室 電話 : 027-220-7618(直通)
研究

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

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

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

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

  • 研究室のホームページはここにあります．
  • 論文リストはここにあります．
  • DBLPにある 論文リスト．
  • その他の情報．
    講義 (学年歴 @桐生， @荒牧)
    2024年前期
  • 計算機システム（3年次 金曜3-4限(10:20-11:50) @ 荒牧 10号館323教室） --> JB5012_計算機システム LMS
  • 計算量特論 (大学院修士 木曜3-4限(10:20-11:50) @ 未定) --> JMA204/TM4023_計算量特論 LMS

    2024年後期
  • 離散数学2 (2年次 火曜3-4限 @ 荒牧10号館323号室)
  • (電子情報理工学先端特別ゼミ (再履修用：理工4年次 分担1コマ@ LMS on demand))
  • (計算機システムII (再履修用：理工3年次 @ LMS on demand))

    (過去の講義)

    予定表 (専ら自分用... (下記期間は不在にしますすみません))
    2024年
  • 研究打ち合わせ(2月26日，成蹊大)
  • COMP/ALGO研(5月8日-9日，京都大)
  • (SummerSchool数理物理(8月31日-9月2日，京都大->台風のため中止))
  • COMP研(10月24日，東北大)

  • (過去の予定)

    伝言(って誰にだ):
    どうせなら超えてほしい（いや違う）(9月12日)
    amano (^_^) gunma-u.ac.jp