product(またはn重ループ:nはパラメータ)って概念的には簡単なのに
いざ実装しようとすると案外頭を使う