修論セミナーで内積空間に限った話してたの?