1954年、東京都生まれ。早稲田大学理工学部化学科および数学科を卒業後、ベルリン自由大学で博士号とハビリタチオン取得。現在、神戸大学教授。専門は数理論理学、とくに公理論的集合論とその応用。著書に『Emacs Lispでつくる』(日本評論社)、訳書にヒルベルト、ベルナイス『数学の基礎』(吉田夏彦との共訳、丸善出版)などがある。

渕野昌

の本

いま話題の本