generated at
全域関数
total function
普通の写像のことやね