回答編集履歴
2
有限かどうかは怪しいので消す
test
CHANGED
|
@@ -18,9 +18,9 @@
|
|
|
18
18
|
|
|
19
19
|
直感的には、
|
|
20
20
|
|
|
21
|
-
- データ（どれほど膨大であってもいい
|
|
21
|
+
- データ（どれほど膨大であってもいい）がある
|
|
22
22
|
|
|
23
|
-
- データを処理するルール（どれほど膨大で複雑であってもいい
|
|
23
|
+
- データを処理するルール（どれほど膨大で複雑であってもいいが、ちゃんと形式的に定義できて矛盾しないもの）がある
|
|
24
24
|
|
|
25
25
|
- ルールに則ってデータを処理する
|
|
26
26
|
|
1
修正
test
CHANGED
|
@@ -18,9 +18,9 @@
|
|
|
18
18
|
|
|
19
19
|
直感的には、
|
|
20
20
|
|
|
21
|
-
- データ（どれほど膨大であってもいい）がある
|
|
21
|
+
- データ（どれほど膨大であってもいい（ただし有限））がある
|
|
22
22
|
|
|
23
|
-
- データを処理するルール（どれほど膨大で複雑であってもいいが、ちゃんと形式的に定義できて矛盾しないもの）がある
|
|
23
|
+
- データを処理するルール（どれほど膨大で複雑であってもいい（ただし有限）が、ちゃんと形式的に定義できて矛盾しないもの）がある
|
|
24
24
|
|
|
25
25
|
- ルールに則ってデータを処理する
|
|
26
26
|
|