状態による機能的解釈【JST・京大機械翻訳】

Powell Thomas

文献

J-GLOBAL ID：202002241114795966 整理番号：20A1865108

状態による機能的解釈【JST・京大機械翻訳】

A functional interpretation with state

出版者サイト複写サービスで全文入手
高度な検索・分析はJDreamⅢで {{ this.onShowJLink("http://jdream3.com/lp/jglobal/index.html?docNo=20A1865108&from=J-GLOBAL&jstjournalNo=D0698C") }}

著者 (1件)：
資料名：
号： LICS ’18 ページ： 839-848 発行年： 2018年
JST資料番号： D0698C 資料種別：会議録 (C)
記事区分：原著論文発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

システムTの純粋項ではなく,抽出プログラムが大域的状態と相互作用するという,Godelの機能的解釈の新しい変異体を提示した。状態の目的は,基礎となる数学的環境に関する関連情報を貯蔵することである。抽出したプログラムの妥当性は状態の妥当性に依存するので,これは収縮問題を扱う代替法を提供する。さらに,この機能的解釈の新しい定式化は,証明の計算内容に明確な意味的洞察を与え,抽出プログラムの効率を改善する方法を提供する。Please refer to this article’s citation page on the publisher website for specific rights information. Translated from English into Japanese by JST.【JST・京大機械翻訳】

著者キーワード (3件)： , ,

計算理論

前のページに戻る