2018-02-25から1日間の記事一覧

定理証明手習い (48) rotate

littleprover

ついに10章（といってもラスボスは付録Cにいると思われる） rotate なんかこの動きは見たことがある全体的に言えばrotateしてる感じはあるけどミクロに言うと何がどうなっているのかなコンスの数は4