1962年出生，國立情報學研究所教授。東京工業大學理學博士、伊利諾大學研究所數學研究所博士課程修畢、一橋大學法學系學士。以數理邏輯為研究領域，擅長人工智慧、地方創生、文理融合。2011年主導研究開發「機器人能否考取東京大學」專案，2017年以「機器人可以通過大學入學考試嗎？」為題在TED發表演講，觀賞次數突破170萬。著有：《當AI機器人考上名校》、《來自數學的靈感》和《愛上數學的14堂課》等書。