2008-09-03から1日間の記事一覧
プログラムを書いてからデイバッギングと言う作業で直す事が普通です。でも書いたプログラムを観て確実に正しく動く事を証明出来ればシステムの設計がよくなるはずです。数学の計算式をを確かめる検算がよく使われます。この考え方をコンピューターサイエン…
プログラムを書いてからデイバッギングと言う作業で直す事が普通です。でも書いたプログラムを観て確実に正しく動く事を証明出来ればシステムの設計がよくなるはずです。数学の計算式をを確かめる検算がよく使われます。この考え方をコンピューターサイエン…
