「乗法的論理和」を解説文に含む見出し語の検索結果(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文字)記号集合数学...
< 前の結果 | 次の結果 >