いよいよ6章も最後。 Objective Caml 入門 Exercise 9 問題 Exercise9 関数 sift を定義し，⟨ 自分の学籍番号+3000 ⟩番目の素数を求めよ． 自分の答え type 'a seq = Cons of 'a * (unit -> 'a seq);; let head (Cons (x, _)) = x;; let tail (Cons (_, f…

6章の難関。自分でも自信がない。 Objective Caml 入門 Exercise 7 問題 数式の文字列表現を求める関数 string_of_arith, 分配則を用いて 数式を (i11  …  i1n1) + … + (im1  …  imnm) の形に変形する関数 expand を定義せよ． 自分の答え type arith = …