kencoba

利用開始日: 2014/02/24

形式手法(Alloy,Coq,ACL2,SPINとか)、数学(基礎論,圏論とか)勉強中です。興味のある方はメッセージいただけると嬉しいです。みんな教えてください。Formal Methods Forum運営してます。https://groups.google.com/group/fm-forum