数学者。ラムダ計算、コンビネータ論理、数理論理学、圏論、関数型プログラミング、オントロジー、データサイエンス、歴史言語学　関数型まつり実行委員　#fp_matsuri 好きな言葉：世界観、不知の自覚