京都大学大学院文学研究科教授。1953年生。
1981年 筑波大学大学院数学研究科修了(理学博士)
1990年 龍谷大学理工学部数理情報学科教授
1995年 神戸大学工学部知能情報工学科教授
2005年 京都大学教授大学院文学研究科教授(現代文化専攻)

数学からソフトウェア工学，歴史学・政策研究まで幅広く活動してきた。
今の主な研究活動は京都学派研究などの思想史研究とHCPプロジェクト。