Computability Logic

サインイン

서브튜링 상호작용 계산 가능성에 대한 고찰: 무한 메모리 없이 계산 가능성을 재정의하다

이 논문은 계산 가능성 논리(CoL)를 무한 메모리와 같은 비현실적인 계산 자원 없이도 계산 가능성을 다룰 수 있도록 확장하는 새로운 방향을 제시하고, 이를 통해 서브튜링 계산 가능성을 탐구합니다.

サブチューリング対話型計算可能性に関する考察：計算資源のゲーム意味論的分析

従来の計算可能性論理（CoL）では無限の計算資源を前提としていたが、現実の計算機は有限の資源しか持たない。本稿では、無限のメモリなどの資源を外部資源とみなし、ゲーム意味論を用いて有限資源環境下での計算可能性を表現するCoLの新たな方向性を提案する。

Sub-Turing Interactive Computability in Computability Logic

This article proposes a shift in Computability Logic (CoL) from Turing computability to sub-Turing computability by treating infinite resources like memory as external factors, leading to a more nuanced understanding of computational resources and complexity.

会社概要

プロダクト

リソース