语言
没有数据
通知
无通知
充足可能性問題は決定不能である。 平たくいえば、もし述語論理の充足可能性問題が決定可能であるならば、その方法を利用して自然数論によるそれ自身の無矛盾性証明が可能となるが、それは不完全性定理により否定されるからである。 数理論理学 NP完全問題 制約充足問題 デービス・パトナムのアルゴリズム
（足りない分を）十分に満たすこと。 満ち足りること。
ウィクショナリーに関連の辞書項目があります。 問題 問題（もんだい、英: problem）とは、（問題解決の分野では）現状と目標との間にある障害（差、ギャップ）のことである。 その他に、一般には次のような意味をもつ。 問い(英: question) - 試験における問題(question) 課題 -
(1)制限や条件をつけて， 自由に活動させないこと。
特定の問題を中心とした歴史の分析・叙述の方法。
多くの人に問題として注目されること。
2100年問題 - 2000年以降に作られた年数を2桁で表すシステムや、2100年を閏年と誤解したシステムに問題が起こる。 2108年問題 - FATファイルシステムのタイムスタンプは2107年12月31日までしか取り扱えない。 10000年問題 - 西暦が5桁になる西暦10000年1月1日に起こる。 Excel
トロッコ問題（トロッコもんだい、英: trolley problem）あるいはトロリー問題とは、「ある人を助けるために他の人を犠牲にするのは許されるか？」という形で功利主義と義務論の対立を扱った倫理学上の問題・課題。 フィリッパ・フットが1967年に提起し、ジュディス・ジャーヴィス・トムソン（英語版）
搜索 
搜索 搜索 
