(1.4.7.1)_パターンの発見による一般化