Being型
ToDo型とBeing型
Satisfier