$EIGEN 5.05は歴史的な大頂点であるべきだ