イデミスギノ数学定義一覧スカイチューブ