forcing
「forcing」の意味・「forcing」とは
「forcing」とは、英語の動詞で、主に「強制する」「押し付ける」という意味を持つ言葉である。一般的には、物理的な力を用いて何かを行う、または他人に何かを行わせる状況を指す。例えば、「He is forcing the door open(彼はドアを無理に開けようとしている)」のように使用される。「forcing」の発音・読み方
「forcing」の発音は、IPA表記では /ˈfɔːrsɪŋ/ となる。IPAのカタカナ読みでは「フォーシング」となり、日本人が発音する際のカタカナ英語では「フォーシング」と読む。この単語は発音によって意味や品詞が変わる単語ではないため、特別な注意は必要ない。「forcing」の定義を英語で解説
The term "forcing" is defined in English as the act of making something happen or making someone do something, often by use of physical force or coercion. For instance, it can be used in a sentence like "The government is forcing the implementation of the new policy(政府は新政策の実施を強制している)".「forcing」の類語
「forcing」の類語としては、「compelling」、「coercing」、「pressuring」などがある。これらの単語も同様に、「強制する」「押し付ける」といった意味合いを持つ。例えば、「She is compelling him to go to the party(彼女は彼にパーティーに行くよう強制している)」のように用いられる。「forcing」に関連する用語・表現
「forcing」に関連する用語や表現としては、「forceful」、「forced」、「enforce」などがある。これらの単語も「force」を語源としており、「強制的な」「強制された」「施行する」といった意味を持つ。例えば、「The law is enforced by the police(法律は警察によって施行される)」のように使われる。「forcing」の例文
以下に「forcing」を使用した例文を10例示す。 1. He is forcing the door open.(彼はドアを無理に開けようとしている)2. The government is forcing the implementation of the new policy.(政府は新政策の実施を強制している)
3. She is forcing him to apologize.(彼女は彼に謝罪を強制している)
4. The company is forcing employees to work overtime.(会社は従業員に残業を強制している)
5. He is forcing his opinion on others.(彼は他人に自分の意見を押し付けている)
6. The teacher is forcing the students to study.(先生は生徒に勉強を強制している)
7. The parents are forcing their child to practice the piano.(親は子供にピアノの練習を強制している)
8. The coach is forcing the team to train harder.(コーチはチームにより厳しいトレーニングを強制している)
9. The government is forcing the reduction of carbon emissions.(政府は二酸化炭素排出量の削減を強制している)
10. He is forcing himself to wake up early.(彼は自分自身に早起きを強制している)
強制法
(Forcing から転送)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/12/15 06:35 UTC 版)
ナビゲーションに移動 検索に移動![]() | この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。2018年10月) ( |
数学の集合論における強制法(きょうせいほう、Forcing)とは、ポール・コーエンによって開発された無矛盾性や独立性を証明するための手法である。強制法が初めて使われたのは1962年、連続体仮説と選択公理のZFからの独立性を証明した時のことである。強制法は60年代に大きく再構成されシンプルになり、集合論や、再帰理論などの数理論理学の分野で、極めて強力な手法として使われてきた。
直観的意味合い
強制法はより概念的には自然で直観的であるブール値モデルの方法と等価であるが、そちらのほうは応用が利きにくい。
直観的には、強制法は集合論の宇宙 V をより大きい宇宙 V* に拡大することから成り立っている。 この大きい宇宙では、拡大する前の宇宙には無かった ω = {0,1,2,…} の新しい部分集合をたくさん要素に持っている。 そしてそれにより連続体仮説を否定することができる。が、このような議論は表面上不可能である。
原理的には、次のようなものを考える。
この項目は、集合論に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています(プロジェクト:数学/Portal:数学)。
- Forcingのページへのリンク