通学証明書 指定番号. Model checking vs symbolic execution. David archy wiki reddit. フリーザ スーパーサイヤ人 戦闘力.