フォーマル

無料辞書のウィクショナリーで「フォーマル」 または「インフォーマル」を調べてください。

正式、形式、非公式、または非公式は、一連の要件（古代ギリシャ語では形式）に準拠している、または準拠していないことを意味します。これらは以下を指す場合があります。

• フォーマルウェア、フォーマルなイベント用の服装
• セミフォーマルな服装、セミフォーマルなイベント用の服装
• インフォーマルな服装、カジュアルよりは控えめだがフォーマルよりは控えめな服装
• フォーマル（大学）、大学の公式ディナー、舞踏会、またはその他のイベント
• 学校のフォーマル、公式の学校ディナー、舞踏会、その他のイベント

• 形式論理、または記号論理
  • 非公式論理、その定義と範囲は議論の余地がある補完論理
• 形式的誤謬、無効な構造の推論
  • 非形式的誤謬、補語
• 非公式数学、素朴数学とも呼ばれる
• 形式的原因、アリストテレスの内在的、決定的原因
• 形式的冪級数、収束を要求しない冪級数の一般化、組合せ論で使用される
• 形式的な計算、体系的だが厳密な根拠のない計算
• 形式集合論（素朴集合論とは対照的）
• 形式的微分、微積分学の微分の形を模倣した多項式環の要素に対する演算

• 形式手法、ソフトウェアおよびハードウェアシステムの仕様、開発、検証のための数学ベースの技術
• 形式仕様は、システムがどのように行うかではなく、何を行うべきかを記述する。
• 形式検証はシステムの正しさを証明する

• 形式システム、形式言語で推論を生成する抽象的な手段
• 形式言語は、形式体系の象徴的な「単語」または「文」で構成される。
• 形式文法、形式言語を記述する文法
• 口語表現、非公式なコミュニケーションに用いられる言語スタイル
• T-V の区別、つまり「あなた」を表すフォーマルな言葉とインフォーマルな言葉を区別する
• 形式的証明、形式的システムでのみ可能な完全に厳密な証明
• 動的かつ形式的な等価逐語訳、特に聖書の翻訳

• 形式濃度、溶液中の元の化学式のモル濃度
• フォーマル（「form-al」と発音します）
  • 化合物CH ₂ (OR) _{2 は、}アセタールCHR ¹ (OR) ₂（歴史的定義）およびケタールCR ¹ R ² (OR) ₂に類似して命名された。
  • ジメトキシメタン（CH ₂ (OCH ₃ ) ₂）特にメタノール由来の形式

• 形式、確立された手順、または特定の行動の 集合
  • 形式的に、形式を満たす以外の目的なしに
• 非公式アクティビティ:
  • 非公式教育、標準的な学校教育環境外での教育
  • 非公式セクター、課税もされず、いかなる形態の政府からも監視もされない経済の一部
  • 非公式居住地、またはスラム街
  • 従来の銀行システムの外にある非公式な価値移転システム
  • 法律に頼らずに規範を強制する非公式の社会統制

• 無効票、選挙で投じられた無効票
• MVフォーマリティ、コースター（旧エンパイア フェイバリット）、FT エヴァラード＆サンズ所有、1962 年に解体

• フォーム（曖昧さ回避）
• 形式主義（曖昧さ回避）
• 形式理論（曖昧さ回避）

この曖昧さ回避ページは、タイトルFormalに関連する記事を一覧表示します。
内部リンクからこのページに移動した場合は、リンクを目的の記事に直接変更することをお勧めします。