マガジンのカバー画像

学問

3

本

かつて学んできた事を20数年前の記憶と最新の技術を駆使してなんとなく解説出来る部分を解説していく

運営しているクリエイター: R.bear

#Pcoq

学術記事：アロウの一般不可逆性定理の証明をcoq、C言語で行う場合

20数年前の学生時代、自らこれを研究テーマにしておきながら研究を行えず結果を残せなかったテ…

9か月前