「写像…?何すか写像って？」〜写像のイメージをつかもう！〜【論理と集合シリーズ】写像編 その１ https://for-spring.com/foundation/map-1/