User blog:Kyodaisuu/ A program of \(\epsilon 0\)