コトバンクはYahoo!辞書と技術提携しています。

GLC GLC

翻訳|GLC

デジタル大辞泉の解説

ジー‐エル‐シー【GLC】[Government Linked Companies]

Government Linked Companies》シンガポールやマレーシアにみられる、政府の経済政策に基づいて事業を行う企業。政府系企業。政府関連企業。

出典 小学館デジタル大辞泉について 情報 | 凡例

世界大百科事典内のGLCの言及

【数学基礎論】より

… 本質的に算術を超える内容をもつ実数論ないしは解析学となると,不可避的に集合概念を含むためその無矛盾性の証明は極度に困難である。竹内外史は,53年にLKを拡張して高階の述語論理をゲンツェン・タイプで形式化(GLCと呼ばれる)し,GLCに対してもゲンツェンの基本定理と同様な定理が成り立つという予想(基本予想と呼ばれる)を立て,基本予想が有限的構成的しかたで証明できれば,解析学の無矛盾性は一挙に解決されることを示した。竹内は基本予想の部分的解決を重ねるとともに,その補助手段として構成的順序数の一種であるオーディナル・ダイヤグラムordinal diagramなる概念を導入,その理論の発展と整備補強に努め,広範な内容をもつ解析学の部分体系の無矛盾性を証明した。…

※「GLC」について言及している用語解説の一部を掲載しています。

出典|株式会社日立ソリューションズ・クリエイト世界大百科事典 第2版について | 情報

GLCの関連キーワードグルコシルトランスフェラーゼガス液体クロマトグラフィートリプルゼロ・オプションNアセチルDグルコサミンガスクロマトグラフィー中距離核戦力全廃条約戦略兵器削減交渉バイオセンサー巡航ミサイルスタキオースセロビオースグルコサミン大ロンドンリゾチームヒルティ石田美佳

今日のキーワード

へうげもの

日本のテレビアニメ。放映はNHK(2011年4月~2012年1月)。原作:山田芳裕による漫画作品。制作:ビィートレイン。...

続きを読む

コトバンク for iPhone

コトバンク for Android

GLCの関連情報