やっぱり型で悩んでいる たとえば(IsNumberType x)で言うと xは列であることを期待しているという意味ではGSequenceなんだけれども xは1から順に総当りで試していくだけの数だからGNumberな気もする 一方、(2以上なら)どんな数だって素因数分解はできるわけ…