「logic programming」を解説文に含む見出し語の検索結果(81～90/392件中)
カール・ヒューイット死没2022年12月7日カリフォルニア州アプトスプロジェクト:人物伝テンプレートを表示カール・ヒューイット（Carl E. Hewitt、? - 2022年12月7日[1&...
本項は数学の学術雑誌（英語版）（科学学術雑誌）の一覧である。目次アルファベット順 ABCDEFGHIJKLMNOPQRSTUVWXYZ 上位のジャーナル インパクト・ファクター オーストラリア数学会に...
線形論理（せんけいろんり、英: Linear logic）は、「弱化(weakening)規則」と「縮約(contraction)規則」という構造規則を否定した部分構造論理の一種である。「資源...
線形論理（せんけいろんり、英: Linear logic）は、「弱化(weakening)規則」と「縮約(contraction)規則」という構造規則を否定した部分構造論理の一種である。「資源...
線形論理（せんけいろんり、英: Linear logic）は、「弱化(weakening)規則」と「縮約(contraction)規則」という構造規則を否定した部分構造論理の一種である。「資源...
ファジィ論理（ファジィろんり、英: Fuzzy logic）は、1965年、カリフォルニア大学バークレー校のロトフィ・ザデーが生み出したファジィ集合から派生した[1][...
ファジィ論理（ファジィろんり、英: Fuzzy logic）は、1965年、カリフォルニア大学バークレー校のロトフィ・ザデーが生み出したファジィ集合から派生した[1][...
ファジィ論理（ファジィろんり、英: Fuzzy logic）は、1965年、カリフォルニア大学バークレー校のロトフィ・ザデーが生み出したファジィ集合から派生した[1][...
ナビゲーションに移動検索に移動Constraint Handling Rulesパラダイム並行制約プログラミング、制約論理プログラミング登場時期1991年設計者Thom Frühwirth型付け動的型...
コンビネータ論理（英: combinatory logic、組み合わせ論理）は、モイセイ・シェインフィンケリ（ロシア語版、英語版）（露: Моисей Эльевич Шейнфинк...