檜山正幸
1955年栃木県生まれ ソフトウェア技術者
多くのソフトウェアシステムの企画・設計・実装に携わる。
その経験から、ソフトウェアの表示的意味論に関わる数学、特に圏論に興味を持つ。
大人のための数学教室「和」の講師
第11回ロマンティック数学ナイトに登壇。
写真は次男が小さい時に書いてくれた「おとうさん」の絵。
■2018/9～
ロマンティック数学ゼミ「不完全性定理の風景～”論理”とは何かを再考する～」講師
詳細はこちらから→http://romanticmathnight.org/658