wiki:dokuwiki:py:コラッツ予想