Kobayashi Kenichi
46
Abonné
Personal Information
Entreprise/Lieu de travail
Suita-shi, Osaka, Japan
Profession
株式会社豆蔵
À propos
形式手法(Alloy,Coq,ACL2,SPINとか)、数学(基礎論,圏論とか)勉強中です。興味のある方はメッセージいただけると嬉しいです。みんな教えてください。Formal Methods Forum運営してます。https://groups.google.com/group/fm-forum
Mots-clés
mathematics
proofsummit
fm_forum
category theory
Tout plus