piddSpec

Trans使うのにPermutationをimportする必要ある．しないでPiDDを使えたほうがいいのか悪いのか