移転しました。
新しいリンクはコチラ↓
http://proofcafe.org/k27c8/math/index.html