文献

J-GLOBAL ID：202202284894475206   整理番号：22A0004624

相互作用のための理論【JST・京大機械翻訳】

A thesis for interaction

著者 (1件)： Fu Yuxi (BASICS, Shanghai Jiao Tong University, China)
資料名： Theoretical Computer Science  (Theoretical Computer Science)
巻： 897  ページ： 114-134  発行年： 2022年 
JST資料番号： T0022A  ISSN： 0304-3975  CODEN： TCSDIQ  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： 相互作用の理論は相互作用理論の基礎として提案した。最小モデルおよび最大モデルを固定することによって,相互作用の全てのモデルの最小コンテンツ計算可能性および最大チャネル計算可能性を定式化した。再帰的関数モデル,Turing機械モデル,およびλ-計算モデルの対話型拡張が,論文の実際の中ですべて落下することを示した。主要な技術的寄与は,論文にフィットするモデルの最大モデルにおける解釈者の設計である。Copyright 2022 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *相互作用 ,  Turing機械 ,  帰納的関数 ,  計算可能性 ,  チャネル ,  定式化 ,  計算モデル ,  コンテンツ
準シソーラス用語： 表現力 ,  対話型 , 【Automatic Indexing@JST】

著者キーワード (4件)： プロセス計算 ,  相互作用の理論 ,  バイシミュレーション ,  表現力

分類 (1件)： 計算機シミュレーション  (JE11000H)

タイトルに関連する用語 (2件)： 相互作用 ,  理論