線「形」代数なんて書くようになったから、>>580 みたいな
疑問を持っちゃうんだろうな…