IsA
母関数