世界大百科事典(旧版)内の決定不能問題の言及
【計算可能性】より
…Pが計算可能関数となるとき,この問題は決定可能であるという。Pが計算可能でないときは決定不能問題であるという。決定不能問題の有名な例としてプログラムの停止性の決定問題がある。…
※「決定不能問題」について言及している用語解説の一部を掲載しています。
出典|株式会社平凡社「世界大百科事典(旧版)」
家屋,工場,劇場,鉱山などで,内部空気を生活ないし労働に必要な状態に保つため,外気などの清浄な空気で入替えて調節すること。内部空気は,二酸化炭素で代表される呼吸排気,一酸化炭素やメタンガスで代表される...