「線形結合記号」を解説文に含む見出し語の検索結果(1～4/4件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/11/16 14:33 UTC 版)「線形論理」の記事における「線形結合記号」の解説線形論理では、論理結合子が再検討される。
線形論理（せんけいろんり、英: Linear logic）は、「弱化(weakening)規則」と「縮約(contraction)規則」という構造規則を否定した部分構造論理の一種である。「資源...
線形論理（せんけいろんり、英: Linear logic）は、「弱化(weakening)規則」と「縮約(contraction)規則」という構造規則を否定した部分構造論理の一種である。「資源...
線形論理（せんけいろんり、英: Linear logic）は、「弱化(weakening)規則」と「縮約(contraction)規則」という構造規則を否定した部分構造論理の一種である。「資源...
< 前の結果 | 次の結果 >