20/04/04 23:11:14.49 fQZCog0l.net
コンピュータはand回路とかor回路とかそんなんの組み合わせで二進法の演算してる
だけくらいに理解してました。問題を全称命題として扱うとか特称命題として扱う
かを決めるのは、プログラム開発言語であとから自由に書けるという認識でした。
あと、わたしは数学研究者のような深遠な考察は疎く大変尊敬しておりますが、
工学でコンピュータを使って微分方程式を解くのはすごいおおざっぱだと思います。
そんなに小さくないΔtを使って(f(t+Δt)-f(t))/Δtを計算してるだけですし。
もちろん丸め誤差とかは配慮しますが