定義は自由にできる