Thoth Children
ログイン
知識投稿
他サービス
Thothnator
Thoth Coworker
ウジャトで理解する学問
You Only Search Once(β)
Thoth Hieroglyph
ヒエログリフ変換
検証
編集
あるものを作ったときに正しく動作するかや自身が置いている仮定が本当に正しいか問題がないかを検証する方法などについてまとめているページです.
編集
2018.6.17
42
Views
0
Watch
1
Knows
Watch登録
新分野登録
削除申請
一つ上へ
ソフトウェアを検証する
ソフトウェアを実装した後にそれが仕様通りになっているか、達成される要求項目が正しく残されているかについて検証する方法についてまとめています.
×
新しい分野を追加
×
新しい知識を追加
×
分野の削除申請
×
移動または削除を行うには理由を申請ください。
理由
他の分野の移動の場合は分野を設定してください。 削除要請される場合はそのまま下のボタンを押下してください.
分野:
学問
技術
言語
高校
中学
一般
物性
道具
思考
計算
アルゴ
その他
分野の説明を編集
×
分野のタイトルを編集
×
検証の新規投稿
再帰関数が正しく動くか検証したい
再帰関数が正しく動くかを確認するときのよい例題を紹介します.ここでは自動プログラミングや自動証明の例題として使われることのあるマッカッシーの91関数を紹介します.
PV
95
Fav
0
2018.06.17
検証人気知識・質問
再帰関数が正しく動くか検証したい
再帰関数が正しく動くかを確認するときのよい例題を紹介します.ここでは自動プログラミングや自動証明の例題として使われることのあるマッカッシーの91関数を紹介します.
PV
95
Fav
0
2018.06.17