大学情報データベース

トップ > 研究者検索 > プロフィール

研究者 : 横内 寛文


【プロフィール】

基本情報
【氏名】
横内 寛文
【カナ】
ヨコウチ ヒロフミ
【ローマ字】
Hirofumi YOKOUCHI
所属部局等
【所属部局】
大学院理工学府
Graduate School of Science and Technology
【学科専攻】
電子情報・数理教育領域
Domain of Electronics and Infomatics, Mathematics and Physics
【講座】
情報数理工学
【本務職】
准教授
連絡情報
【連絡先】
〒376-8515 群馬県桐生市天神町1-5-1 群馬大学 大学院工学研究科 情報工学専攻
Department of Computer Science, Gunma University 1-5-1, Tenjincho, Kiryu, Gunma 376-8515
研究分野
  • 情報学基礎
研究分野キーワード
【キーワード】
プログラミング言語、プログラム意味論、コンピュータ科学における論理学
Programming Languages, Semantics of Programs, Logic in Computer Science
研究テーマ
  • 型理論のプログラミング言語への応用
    Application of type theory to programming languages
【研究制度】
基礎科学研究
取得学位
  • 理学博士
    Doctor of Science
【取得年月】
1986年
【取得方法】
課程
【取得大学】
東京工業大学
Tokyo Institute of Technology
【研究分野】
情報学基礎