generated at
項
term
型付けされる式