検索結果
ナビゲーションに移動
検索に移動
- [[Category:決定不能問題]] …10キロバイト (296 語) - 2023年3月17日 (金) 22:20
- …、型の同値性判定は任意に与えられた2個のプログラムが同じ結果をもたらすかどうかを判定する問題を含んでしまう。したがって、この場合は[[型検査]]は[[決定不能問題|決定不能]]となってしまう。 …12キロバイト (480 語) - 2021年9月29日 (水) 04:08
- [[Category:決定不能問題]] …15キロバイト (746 語) - 2022年9月20日 (火) 09:37
- …{仮リンク|群に対する語の問題|en|word problem for groups|label=語の問題}}と同じくらい難しく、それは{{仮リンク|決定不能問題|en|undecidable problem|label=アルゴリズム的に決定不能}}であることが知られている。実は、与えられた多様体が[[単連結]] …18キロバイト (600 語) - 2023年3月20日 (月) 05:39
- 18キロバイト (782 語) - 2024年7月13日 (土) 15:40
- *any number that encodes the solution of the [[停止問題]] (や他の [[決定不能問題]]) の解を選ばれた符号化方式で符号化している数。 …23キロバイト (1,167 語) - 2024年6月15日 (土) 07:18