２０年くらい前からMathematicaを使って『コラッツ予想』を探求してます。