あんまり詳しくないけど論理学っぽい感じだな 要は「動物」は「犬」であるための必要条件で、「人」であるための必要条件も同様だから、重複する必要条件はまとめて一つの「クラス」にして扱うと楽だよね、みたいな感じかな? プログラミング全然分からんけど >RT