ログイン
会員登録
学問
3
本
かつて学んできた事を20数年前の記憶と最新の技術を駆使してなんとなく解説出来る部分を解説していく
フォローする
運営しているクリエイター
R.bear
記事
月別
ハッシュタグ
フォローしませんか?
フォローする
シェア
引用して記事を書く
#Pcoq
学術記事:アロウの一般不可逆性定理の証明をcoq、C言語で行う場合
20数年前の学生時代、自らこれを研究テーマにしておきながら研究を行えず結果を残せなかったテ…
R.bear
9か月前