静的型付け
static typing
型システム
（
type system
）
動的型付け
（
dynamic typing
）
https://ja.wikipedia.org/wiki/静的型付け