研究室紹介

担当教員

氏名 中野 浩 (ナカノ ヒロシ)
生年月/出身 1962年10月生 福岡県
所属 理工学部数理情報学科
職名助教授
最終学歴 京都大学大学院修士課程(教理解析専攻)修了
博士(理学)[東京大学]
専門分野 プログラミングの基礎理論
主な著書・論文など 『PX : A Computational Logic』 (共著・MIT Press)
「A Constructive Logic behind the catch and Throw Mechanism」(Annals of Pure and Applied Logic, Vol.69, pp.269-301)
趣味・嗜好
特技・モットー等
基本的には無趣味、無教養で味音痴です。 水泳と防波堤の釣りが好きなので、 本当は海の近くに住みたいのです。
▲上へ

学部生の研究

2005年度

2004年度

2003年度

2002年度

2001年度

▲上へ

院生の研究

2005年度

2003年度

2002年度

2001年度

1998年度

1997年度

▲上へ