(繰り込み群が本格的に使われた最初。