generated at
静的型付け
static typing
型システム（type system）
動的型付け（dynamic typing）

https://ja.wikipedia.org/wiki/静的型付け