[ソフトウェアの基礎](http://proofcafe.org/sf/)の練習問題をやっていく