ML 系言語が基礎になってるから用語もそっちで一般的なものが使われてる。