generated at
リスコフの置換原則