assertionって関数の入出力チェックのことじゃないよ。