公式（読み）コウシキ

デジタル大辞泉

こう‐しき【公式】

１ おおやけに定められた形式。また、公的な手続きを踏んで物事を行うこと。企業や団体などが、正式に認めること。「公式の行事」「公式の見解」「公式に訪問する」「非公式試合」
２ 数や式の間に成り立つ関係を、数学上の記号を用いて表示した式。「公式に当てはめて計算する」
[類語]（1）公おおやけ・公共・公的・正格・正則・正統・正調・本式・本格的・正規・正式・フォーマル・格調・格式・品格・品位・風格・正しい・本物・儀礼・礼法・礼式・礼儀・風儀・作法・よそ行き・格式張る・折り目正しい・本格・本筋・まっとう・正道・本道・本流・主流・中正・至当・合理的・合法的・押しも押されもせぬ・れっきと・ちゃんと・是ぜ・まとも・道理・道理至極・腰を入れる・本腰・本腰を入れる・レギュラー・オーソドックス・プロパー・模範的・象徴的・代表的・典型的・標準的・ティピカル・模範・手本・規範・モデル・典型・範・亀鑑・規矩きく・規矩きく準縄・規則・決まり・定め・規定・規律・ルール・おきて・文範・見本・鑑かがみ・範例・標本・サンプル・雛形ひながた・書式・好例・適例・スタンダード・フォーマット・王道・師表・基準・規準・拠より所・類型・定型・様式化・スタイル・正統派・折り紙付き・太鼓判を捺おす・パーフェクト・非の打ち所が無い・完璧・万全・完全無欠・傑出・大出来・紋切り型・腐っても鯛たい

出典　小学館

精選版 日本国語大辞典

こう‐しき【公式】

1. 〘 名詞 〙
2. ① おおやけに決められた形式にのっとって物事を行なうこと。また、個人的でなく、おおやけに行なうこと。
   1. [初出の実例]「第一次五カ年計画の目的は〈略〉公式には次のごとく要約されている」(出典：招かれて見た中共（1956）〈橘善守〉百年河清を待たず)
3. ② 旧憲法のもとで、法令、予算、条約などを公布する方式。公式令で定められていたが日本国憲法の施行によって廃止された。
4. ③ 一般的な原理や計算法則を数式で示したもの。〔工学字彙（1886）〕
   1. [初出の実例]「力学上の公式から演繹して御覧に入れ様」(出典：吾輩は猫である（1905‐06）〈夏目漱石〉三)

出典　精選版 日本国語大辞典

日本大百科全書(ニッポニカ)

公式
こうしき

因数分解でよく利用する等式
　　a²－b²＝(a＋b)(a－b)　　①
や、円の面積Sと半径rとの関係を示す等式
　　S＝πr²　　　　　　　②
のように、法則や定理を文字を用いた等式で表現したもので、いろいろな目的に対してよく利用されるものをいう。利用の頻度、重要性についての判断は人によって異なるので、どれを公式とみるかも人によって異なる。この意味では、定理や法則などの場合と同様、かなり価値判断のはいった主観的な語である。

　①の式では、文字a、bにどんな数値を代入しても等号が成り立つ、すなわち恒等式であって、左辺の形の式の言い換えが右辺の形の式であることを示している。このように、恒等式である公式は、式表現の形を変えていく場合の根拠になるものである。これに対して②の式では、πの値は3.14……（円周率）として定まっているが、rやSにかってな値を代入しても等号は成り立たない。等号が成り立つようなSとrの値は、組になっている。すなわち、これはSとrについての方程式である。方程式の形の公式は、数の世界の外にある事象の関係を、数の世界の中の関係として表現したもので、数値の代入計算によって、ある量を算出するのに利用される。

［島田　茂］

出典　小学館　日本大百科全書(ニッポニカ)

ブリタニカ国際大百科事典 小項目事典

公式
こうしき
formula

定式，法式ともいう。ごく普通には，それからの演繹や議論を可能にする，簡単で正確な陳述をいうが，さらには，個別的内容を止揚して普遍的な法則を与える，正確で普遍的な陳述をもいい，一般に「公式化する」といわれるような場合にはこの意味で使われている。 (→公理 ,　定理 )

出典　ブリタニカ国際大百科事典 小項目事典

百科事典マイペディア

公式【こうしき】

式の形で表された定理，または計算の一般法則を書き表した式。→実験式

出典　株式会社平凡社