「乗法的論理和」を解説文に含む見出し語の検索結果(1~7/7件中)

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/11/16 14:33 UTC 版)「線形論理」の記事における「乗法的論理和(par、⅋)」の解説資源の同時平行的出現を表し...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/06/19 14:19 UTC 版)「文字様記号」の記事における「収録文字」の解説Unicode 文字様記号キャラクタ画像名...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/11/16 14:33 UTC 版)「線形論理」の記事における「線形結合記号」の解説線形論理では、論理結合子が再検討される。
線形論理(せんけいろんり、英: Linear logic)は、「弱化(weakening)規則」と「縮約(contraction)規則」という構造規則を否定した部分構造論理の一種である。「資源...
線形論理(せんけいろんり、英: Linear logic)は、「弱化(weakening)規則」と「縮約(contraction)規則」という構造規則を否定した部分構造論理の一種である。「資源...
線形論理(せんけいろんり、英: Linear logic)は、「弱化(weakening)規則」と「縮約(contraction)規則」という構造規則を否定した部分構造論理の一種である。「資源...
文字様記号Letterlike Symbols範囲U+2100..U+214F(80 個の符号位置)面基本多言語面用字ギリシャ文字(1文字) ラテン文字(4文字) Common(75文字)記号集合数学...
< 前の結果 | 次の結果 >





カテゴリ一覧

全て

ビジネス

業界用語

コンピュータ

電車

自動車・バイク

工学

建築・不動産

学問

文化

生活

ヘルスケア

趣味

スポーツ

生物

食品

人名

方言

辞書・百科事典

すべての辞書の索引

   

英語⇒日本語
日本語⇒英語
   
検索ランキング

©2025 GRAS Group, Inc.RSS