`timer'
-------

timer(INTERVAL,EXPR,VAL)
     :: 制限時間つきで計算を実行する.

RETURN
     結果

INTERVAL
     制限時間 (秒)

EXPR
     計算する式

VAL
     タイマによる中断時の戻り値

   * `timer()' は, 時間を指定して計算を実行する. 指定時間内に計算が完了
     した場合その値を返す. 指定時間内に計算が完了しなかった場合, 第 3
     引数 を返す.

   * 第 3 引数の値は, 計算が完了した場合の値と区別できる必要がある.


     [0] load("cyclic");
     1
     [10] timer(10,dp_gr_main(cyclic(7),[c0,c1,c2,c3,c4,c5,c6],1,1,0),0);
     interval timer expired (VTALRM)
     0
     [11]

