関係と関数 - 初版