>>454
高度な抽象言語って何?関数型、論理型とか?