研究室の荒牧キャンパス(@前橋)移転に伴い,このページは,2024年3月上旬に廃止されます.
移転先はこちら(準備中)
天野 一幸(あまの かずゆき)
[English]
群馬大学
・
情報学部 /
大学院理工学府/
理工学部
・
情報学科 /
電子情報部門/
情報工学科・
教授
住所 : 376-8515 群馬県桐生市天神町1-5-1 情報工学科2号館 209-2号室
電話 : 0277-30-1823(直通)
研究
計算機科学(Computer Science)全般に興味があります.
その中で特に計算量理論に興味を持っています.
(平たくいうと,コンピュータを使って様々な問題を解くときに,どれぐらいの時間や
メモリが必要かを,前もって知るにはどうすればよいか? また,様々な問題に
対する効率の良い解決手法とはどのようなものか? などについて研究しています)
その中でも特に,論理回路,決定グラフ,
しきい値回路,比較器回路,量子回路など
様々な計算モデルにおける計算量の下界を導出する問題に興味を持っています.
(平たくいうと,コンピュータを使っても解くのが難しい問題は,
なぜ 難しいのか?
一見難しそうに見える問題 が,
実際のところ 本当に難しい問題
であるということを,きちんと証明するにはどうすればよいか? など
について研究をしています.
例えば,
こんな
問題に特に興味があります)
その他に,組合わせ論,グラフ理論,アルゴリズム理論,離散数学,実験数学,計算学習理論などの研究もしています.
研究室のホームページは
こちら
論文リストはここにあります.
DBLPにある
論文リスト.
その他の情報.
講義
(学年歴 @桐生,
@荒牧)
2023年前期
計算機システム(3年次 金曜3-4限(10:20-11:50) @ 荒牧 10号館323教室) --> JB5012_計算機システム LMS
計算量特論 (大学院修士 木曜3-4限(10:20-11:50) @ Iコース大学院講義室 + Zoom) --> TM4023_計算量特論 LMS
2023年後期
離散数学2 (2年次 火曜3-4限 @ 荒牧 10号館 323号室)-->
JB5007_離散数学2 LMS
電子情報理工学先端特別ゼミ (総合理工4年次 分担1コマ 11月10日(金) 17:35 on Zoom (?))
(計算機システムII(理工再履修用:理工3年次))
(過去の講義)
予定表 (専ら自分用...
(下記期間は不在にしますすみません))
2024年
研究打ち合わせ (2月26日,成蹊大)
(過去の予定)
伝言(って誰にだ):
なんだかんだいろいろあっても年は巡るのだ.(1/8)
追伸:研究室の前橋キャンパス移転に伴い,このページは2024年3月上旬をもって消えます.
新しいの作らなきゃ...(1/8)
amano (あっと) gunma-u.ac.jp