このディレクトリの索引
#  水深の求め方がわかりません。
#  
#  ある湾の水深をロープで測って時間と共に水深を記録したのですが、
#  潮汐の影響を均一にするにはどうすればよいでしょうか?
#  
#  
#  最低低潮面(最低水面)を基準にする式として
#  
#  h=(h1 + h2)/2 + (h1 - h2)/2cos{(T - T1)/(T2 - T1) π}
#  
#  h:調査時刻における潮位(cm)
#  h1、h2:調査時刻をはさむ満潮、干潮の潮位(cm)
#  T:調査時刻(分)
#  T1、T2:h1、h2に対応する時刻(分)
#  
#  として、求めたい水深をdとし、計測した水深をaとし
#  d = a - h

f(_h1,_h2,_T,_T1,_T2,_h) :-
        _h is (_h1+_h2)/2 + (_h1-_h2)/(2*cos((_T-_T1)/(_T2-_T1)*pi)).

'ある湾の水深をロープで測って時間と共に潮汐の影響を均一にして、水深を記録する'(_測定した水深,_調査時刻をはさむ満潮潮位,_調査時刻をはさむ干潮潮位,_調査時刻,_調査時刻をはさむ満潮時刻,_調査時刻をはさむ干潮時刻,_求める水深) :-
        '求めたい水深をdとし、計測した水深をaとし'(_測定した水深,_調査時刻をはさむ満潮潮位,_調査時刻をはさむ干潮潮位,_調査時刻,_調査時刻をはさむ満潮時刻,_調査時刻をはさむ干潮時刻,_求める水深).

'求めたい水深をdとし、計測した水深をaとし'(_a,_h1,_h2,_T,_T1,_T2,_d) :-
        f(_h1,_h2,_T,_T1,_T2,_h),
        _d is _a - _h,!.