CPSからDS(Direct Style)の関数を呼び出すのは，以下のように何の問題もなくできる． fun f_cps(k, x) = let t = g_ds(x) in ... (k t) // リターン ではその逆はどうか？ DSの関数は，現在の継続を明示的にパラメータとして渡されていないので，呼び出した…