戻る

それが1つめの穴で、もうひとつの穴としては (具体例パートだったので読み飛ばしたけど) canonical な写像を考えるとき暗黙に符号を決めているような例が指摘されている。
著者が書かなかった暗黙の慣習があることを指摘するのは難しくないが厳密に考えたい人 (定理証明支援系含む) にとっては不必要に物事を面倒にする原因になっていると。