最後、時間がなくて解けなかった問題について解いてみました。 ３－７ セビリアの理髪師 まず、5人の集合を引数に持つ述語を次のように定義する。 がかつらをかぶる。 また、理髪師をとする。 どの2人も同時にかつらをかぶらない日が存在するというのは 次に…

第2回ものまね鳥をまねる会 で手こずった問題を改めて解きました。 ３－３ 一日理髪師 を に対し、公認理髪師 を紐づける写像とする。 また、 を に対し、が公認理髪師のときに最初にひげをそる人 を紐づける写像とする。 さらに を「 日に が のひげをそる…