右分配律mulSnrを使っています。牛刀振り回してる感じありますが、一応証明です。練習2014-12-20ssreflect始めました.ssrboolの練習。ソフトウェアの基礎とか見ながらやってます。ssreflectっぽくないですが、そのうちrewriteとかガリガリ使っていきたいです。ブログを報告するスターをつけました引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。