(* 問題 18.4 の解答は、問題 18.5 の解答と合わせて ex18_5.ml に掲載 *)