公式から落として来るIDLEかなあ

あるいはIPythonか