コラッツ未解決問題のために計算してくれる機