公理群(読み)コウリグン

関連語 名詞

精選版 日本国語大辞典 「公理群」の意味・読み・例文・類語

こうり‐ぐん【公理群】

  1. 〘 名詞 〙 演繹(えんえき)的理論の基礎になっている公理全体。公理系。

出典 精選版 日本国語大辞典精選版 日本国語大辞典について 情報 | 凡例

半夏ともいう。七十二候の一つで,本来は夏至後 10日目から小暑の前日までをいったが,現行暦では太陽の黄経が 100°に達する日 (7月1日か2日) を半夏生とし,雑節の一つとして記載している。この頃半...

半夏生の用語解説を読む