generated at
形式化
形式 + 化
formalizing
なんとか化