このディレクトリの索引
http://toro.2ch.net/test/read.cgi/tech/1381909900/89
#  [1] 授業単元: 現象数理 
#  [2] 問題文(含コード&リンク): 
#   f(x) = cosx - x^2 = 0 の近似解を求めるプログラムを作り、以下の問題を解け。 
#  なお、二分法を用いること。 
#  
a = 0, b = 1 からa, b, c の値を求める。 
#  
|b - a| < 10^(−6) の条件を満たすまで実行し、 
#  もしくはこの条件を満たさない場合は30 回実行し、各回のa, b, cの値をまとめる。 
#  

f(_x,_y) :- cos(_x) - _x ^ 2.

'二分法を用いて、 f(x)=cosx - x^2の近似解を求めよ。'(X) :-
        length(Ln,30),
        '二分法を用いて、 f(x)=cosx - x^2の近似解を求めよ。'(Ln,0,1,X).

'二分法を用いて、 f(x)=cosx - x^2の近似解を求めよ。'(Ln,N1,N2,X) :-
        f(N1,Y1),
        f(N2,Y2),
        N is (N1 + N2) / 2,
        f(N,Y),
        '二分法を用いて、 f(x)=cosx - x^2の近似解を求めよ。'(Ln,N1,N2,N,Y1,Y2,Y,X).

'二分法を用いて、 f(x)=cosx - x^2の近似解を求めよ。'([],_,_,X,_,_,Y,X) :- !.
'二分法を用いて、 f(x)=cosx - x^2の近似解を求めよ。'(_,_,_,X,_,_,Y,X) :-
        10 ^ -6 > abs(Y).
'二分法を用いて、 f(x)=cosx - x^2の近似解を求めよ。'([_|Ln],N1,N2,N,Y1,Y2,Y,X) :-
        abs(Y1) < abs(Y2),
        '二分法を用いて、 f(x)=cosx - x^2の近似解を求めよ。'(Ln,N1,N3,X),!.
'二分法を用いて、 f(x)=cosx - x^2の近似解を求めよ。'([_|Ln],N1,N2,N,Y1,Y2,Y,X) :-
        abs(Y1) > abs(Y2),
        '二分法を用いて、 f(x)=cosx - x^2の近似解を求めよ。'(Ln,N3,N2,X).