>>88
関数型も論理型もオブジェクト指向も本質は動的型なんだな。