人類の半分は男つまり35億本のキノコがある それでええじゃないか