抽象化・モデル化・パターンの発見