あさの まさ ひこ. ケニー ベイレス. 有限 状態 機械. 大城 賢雄.