0706さまよえる蟻人間 ◆T6xkBnTXz7B0 垢版 | 大砲2018/10/25(木) 16:45:47.67ID:8vhSUa2G 未定義と無限大と無限の長さ、無限のデータ構造を許さないといけない。 遅延処理、並列処理が可能でなければならない。 全称記号(∀)と存在記号(∃)を表せなければならない。