研究者紹介
写真



著書論文等全件
氏名
中野 圭介
NAKANO Keisuke
所属
電気通信研究所
システム・ソフトウェア研究部門
コンピューティング情報理論研究室
大学院担当
大学院情報科学研究科
情報基礎科学専攻
情報論理学講座(協力講座)

職名
教授
学位
博士(理学)
研究キーワード
形式言語理論, プログラミング言語理論, 定理証明支援系, 関数型プログラミング
所属学会
    全件表示
    主要著書

    全件表示
    主要論文

    全件表示
    主要総説・解説記事

    全件表示
    学術関係受賞
      全件表示
      ホームページ
      http://www.riec.tohoku.ac.jp/~ksk/ja/
      データ更新日
      2019.01.18
      Englishこのページのトップへ
      copyright(c)2005 Tohoku University