オンライン私塾論計舎代表。数理論理学と計算機科学を伝える。両分野の研究者。京大数理解析研究所共同研究にて口頭発表2回。共同研究がkokyurokuに掲載。今の目標は査読つき単著論文。オンライン指導では初学者から不完全性定理への理解をお手伝いしたり早9年。東京理科(数学)→同志社(哲学)。たまに手料理の画像を投稿します