数理論理研究室(近藤 通朗 教授)

研究室名数理論理研究室 Mathematical Logic Laboratory
担当教員 近藤 通朗 教授
関連コースネットワーク・コンピュータ工学、コミュニケーション工学デジタル情報工学
研究内容論理体系の代数的意味論による研究
研究室オリジナルページ 

指導方針・研究概要

この研究室では、計算機科学における基礎的な理論の理解や未解決な問題を解決しようと努力することを主目的としています。そのためには、興味の対象について粘り強く考えることが必要だと考えています。また学生の主体的な勉学を期待しています。

kondo

主な卒論テーマ

  • ゲーム理論の研究
  • 人工知能の基礎理論
  • プログラム理論

学生からメッセージ

自由な雰囲気の中で、学生生活を楽しんでいます。