決定可能集合の概念と同様、決定可能な理論や論理体系の定義は、「実効的方法 (effective method)」や「計算可能関数 (computable function)」によって与えられる。これらは一般にチャーチ＝チューリングのテーゼと等しいと見なされている。実際、論理体系や理論が決定不能であるという証明は、計算可能性の形式定義を使い、ある適当な集合が決定可能集合ではないことを示し、チャーチのテーゼを使って、その理論や論理体系が実効的方法では決定可能でないことを示す。
決定可能（けっていかのう、英: decidable）は、論理学において、論理式の集合のメンバーシップの決定をする実効的（effectiveな）方法が存在することを指す。決定可能性（けっていかのうせい、英: decidability）は、そのような属性を指す。命題論理のような形式体系は、論理的に妥当な論理式（または定理）の集合のメンバーシップを実効的に決定できるなら、決定可能である。ある決まった論理体系における理論（論理的帰結で閉じている論理式の集合）は、任意の論理式がその理論に含まれるか否かを決定する実効的方法があれば、決定可能である。
江戸時代中期から後期に建てられた「旧内野家住宅」と江戸時代末期の安政6年(1859年)に建てられた「旧小杉家長屋門」がそれぞれ移築されており、これらについては特定非営利活動法人 せせらぎ公園古民家管理委員会が指定管理者となっていて様々な催し物が行なわれている。
1974年（昭和49年）に着工した港北ニュータウンに設置された公園で、面積は55,955平方メートル。園内にある池の奥には江戸時代中期から後期の古民家などが移築されており、6月ごろには池のスイレンが咲いて、市民の憩いの場となっている。公園の完成・供用開始は1991年（平成3年）。既存の林などを利用した公園計画については完成に先立つ1979年度（昭和55年度）に日本都市計画学会の設計賞を受賞している。
フランスパリ出生、コルシカ島出身。本名はJoseph Damiani（ジョゼフ・ダミアニ）。戦時中から犯罪組織と関係し、かつファシスト政党フランス人民党に所属、ゲシュタポ協力者であった。誘拐や盗みなどを犯す。終戦直後、少なくとも3件の強盗殺人に関与し、死刑を宣告されるが、大統領恩赦を受けてまぬがれる。1956年に出所。自らの経験を踏まえ小説家として活動。監督、脚本家としても活躍した。アラン・ドロンと組んだ暗黒街のふたり（1973年)、ル・ジタンなどの映画作品は、高い評価を得た。他に映画冒険者たちの原作も発表している。同作品は、アラン・ドロン、ジョアンナ・シムカス、リノ・バンチュラで映画化され、人気作となった。1960年代からスイスに在住。生涯に映画15本、脚本33本、小説20冊、回想録2冊、テレビ番組5本を発表した。数奇な運命をたどったが、2004年に脳出血のためスイスローザンヌの病院で死去、享年80歳。
ジョゼ・ジョヴァンニ（Jose Giovanni, 1923年6月22日 - 2004年4月24日）は、フランスの小説家、映画監督、脚本家である。
スクーデリア・イタリアは1988年、アレックス・カフィの1台体制でシーズンに臨んだ。開幕戦ブラジルGPのみF3000用マシン、ダラーラ・3087を使用し、第2戦サンマリノGPから投入された。サンマリノでは予選24位、決勝はリタイアという結果だった。BMS188は安定した性能を発揮し、予選落ちは第5戦カナダの一回だけであった。1年を通して入賞はなかったものの、第10戦ハンガリーGPでは予選10番手、第13戦ポルトガルGPでは決勝7位と、1年目ながら健闘ぶりを見せた。
1919年から1931年にかけての経済論壇の主流は、経常収支赤字による対外準備減少を日本の国際競争力の欠如であり、通貨高やデフレーションによって非効率な部門の淘汰し国際競争力を高めていこう、という輸出競争主義や絶対優位の思考に陥ったものであった。当時の歴代内閣の大半も、国際競争力は高コスト体質から来ていると解釈し、物価・賃金の引き下げを狙ったデフレーション政策を志向した。これは正しく絶対優位に基づいた考え方である。なお、デフレーションの進行で、名目賃金は低下するが、実質賃金と外貨建ての輸出価格は共に高騰する。1985年9月に成ったプラザ合意から、円高が急速に進み日本製品の国際市場における価格競争力が低下した同時に、労働コストが他の工業国に比べ上昇したため、日本国内に生産拠点を持っていた比較優位産業(輸出製造企業)の収益性が失われた。なお、既述のように、これを他国との価格競争力の絶対比較で判断してはならない。バブル崩壊後の日本では、国際的競争力を輸出競争力という誤用での意味に基づかせて「日本の国際的競争力は経済のグローバル化の影響で低下している。」・「(国際的競争力の低下に因って)日本の産業の空洞化が進んでいる。」という見方が広まった。日本の正しい意味での国際競争力の低下は、1980年代から明らかとなり、デフレーション基調に陥ったバブル崩壊後の1990年代後半から顕著となっている。この国際競争力の低下に対応し、日本の製造業の生産拠点が労働コストの低いアジア地域に移転され、そこから第三国にも輸出される(三角貿易)ようになった。このような現象が起こった原因が輸出競争力の低下などではないことは、収益性の大幅低下に苦しむ電機産業が群を抜いて爆発的と言って良いほど高い上昇率で実質労働生産性成長を遂げているという事実から、明らかである。