DouKaku?

(*範囲指定fold  x.(pos)からlen幅  はみ出し分はループ*)
let loop_fold_left_in f acc x pos len =
  let alen = Array.length x in
  let pos = if -alen<=pos && pos<0 then alen+pos else pos in
  let r,co = ref acc, ref 0 in
  
  for i = pos to pos+len-1 do
    if (i - !co)>=alen then co:=!co+alen;
    r := f !r (Array.get x (i - !co));
  done; !r;;

(*arr.(xpos).(ypos)中心の3*3マスでfがtrueとなる値の数*)
let count9 f arr xpos ypos =
  loop_fold_left_in (fun accx y -> 
    loop_fold_left_in (fun accy z -> 
      if f z then accy+1 else accy
    ) 0 y (ypos-1) 3 + accx
  ) 0 arr (xpos-1) 3 ;;

let mapi f arr =
  Array.init (Array.length arr) (fun i ->
    Array.init (Array.length arr.(i)) (fun j -> f i j arr.(i).(j))
  );;

(* t:生の値 f:死の値 arr:二次元array *)
let next t f arr =
  mapi (fun i j b -> 
    if j=0 then print_newline ();
    Printf.printf "[%c]" (if b=t then '*' else ' ');
    
    let num = count9 ((=) t) arr i j in
    if (b=t) then 
      if (num=3 || num=4) then t else f
    else 
      if (num=3) then t else f
  ) arr;;

let rec preview t f arr n =
  let rec loop arr i =
    if n<i then () else (
      Printf.printf "\nt=%d" i;
      loop (next t f arr) (i+1)
    )
  in loop arr 0;;
  
(*使用例
    preview 1 0 
      [|[|0; 0; 0; 0; 0|];
        [|0; 0; 1; 0; 0|];
        [|0; 0; 1; 0; 0|];
        [|0; 0; 1; 0; 0|];
        [|0; 0; 0; 0; 0|]|] 5;;
*)