函數式機器演算 III：選擇（預印本）
本文介紹了函數式機器演算 (FMC) 的擴展，通過引入「選擇」結構來整合異常處理、迴圈和資料結構等功能，同時維持其簡潔性、類型安全性和合流性。
함자 기계 계산법 III: 선택 (초기 발표) - MFPS 2024 제출 논문
본 논문에서는 함자 기계 계산법(FMC)을 확장하여 예외 처리 및 루프 구조를 포함한 광범위한 계산 동작을 포착하고, 기존 람다 계산법의 합류성 및 타입 안정성을 유지하는 방법을 제시합니다.
関数型マシン計算論 III: 選択 (初期発表)
本稿では、関数型プログラミングの基礎であるラムダ計算を拡張した計算モデルである関数型マシン計算論 (FMC) に、選択構造を導入することで、例外処理やループ構造といった計算効果を表現できることを示す。
The Functional Machine Calculus III: Incorporating Choice into a Confluent Lambda-Calculus with Effects
This paper presents an extension to the Functional Machine Calculus (FMC) that incorporates choice constructs, enabling the representation of exception handling, loop structures, and data types while preserving confluence and supporting a type system that guarantees termination.
在加權結構化論證中，對推理預設解碼評估的公理化研究
這篇文章提出了一個評估加權結構化論證中推理預設解碼品質的框架，引入了七個評估標準和相應的公理化度量方法，為理解和比較不同解碼提供了理論基礎。
가중치가 적용된 구조화된 논증에서 생략된 전제 복원 평가에 대한 공리적 연구
본 논문에서는 가중치가 적용된 구조화된 논증에서 생략된 전제를 복원하는 방법에 대한 평가 기준과 척도를 제시하고, 이를 공리적으로 분석합니다.
重み付き構造化議論における推論解読評価の公理的研究
本稿では、重み付き構造化議論における推論解読の評価基準と、その基準を満たす評価指標の構築について論じている。
Evaluating Enthymeme Decoding in Weighted Structured Argumentation: An Axiomatic Approach
This paper proposes a novel framework for evaluating the quality of enthymeme decodings in weighted structured argumentation using a set of seven criteria and their corresponding axiomatic measures.
探究鄰域邏輯及其表達能力
This paper introduces InqML⇛, an inquisitive modal logic designed for reasoning about neighborhood models, and demonstrates its expressive power in capturing neighborhood bisimilarity.
호기심 많은 이웃 논리
이 논문에서는 이웃 모델에서 양립 가능성 및 표현력을 탐구하기 위해 질문적 양상 논리 InqML⇛를 소개하고, 이 논리가 이웃 모델에서의 양립성에 대한 자연스러운 개념과 일치함을 보여줍니다.
© 2024 by Linnk AI