問題を知らない人は問題を見たほうがよいよ: http://d.hatena.ne.jp/sumii/20090716/p1 let rec d () = d () let f5 : ((unit -> unit) -> unit) -> unit = fun g -> g d let f6 : ((unit -> unit) -> unit) -> unit = fun g -> let y = ref 0 in let h () =…