>>188
松坂のでも対応と写像は区別してるだろ。なんだ
> これは対応（今でいう写像？）
ってのは。