文献

J-GLOBAL ID：202002286289655016   整理番号：20A2471946

リアルタイムシステムの分割可能性とKanovich-Okada-Scedrovの論理解析に関するHilbertのFinitistビューに関する小さな注意【JST・京大機械翻訳】

A Small Remark on Hilbert’s Finitist View of Divisibility and Kanovich-Okada-Scedrov’s Logical Analysis of Real-Time Systems

著者 (1件)： Okada Mitsuhiro (Keio University, Minato-ku, Tokyo, Japan)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 12300  ページ： 39-47  発行年： 2020年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： Hilbertは,その最も有名なフィン炎アドレス(1925[1])のイントロダクト部分に記録され,連続体の無限潜水性は,著者らの思考にのみ存在する操作であり,自然事象や物質が現実に無限に見えないことを意味する。著者は,著者を含むScedrovのグループが,[2]におけるHilbertの無限の視認性主張と類似の原理で,リアルタイムシステムの論理的解析を開始することを想起した。著者は,リアルタイムシステムの論理的解析に関するグループ研究の若干の初期の歴史,ならびに,非無限視認性に関するHilbertの主張に関連したいくつかの意見を記した。Copyright The Author(s) 2020 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 潜水 ,  フィン ,  *実時間処理 ,  連続体 ,  マルチエージェントシステム
準シソーラス用語： アドレス ,  視認性 , 【Automatic Indexing@JST】

著者キーワード (7件)： リアルタイムシステム ,  Hilbert ,  炎 ,  ゼノパラドックス ,  Andre Scedrov ,  マルチエージェントシステム ,  形式的検証

分類 (2件)： 論理代数  (JB03000H) ,  計算理論  (JB02000A)

タイトルに関連する用語 (5件)： リアルタイムシステム ,  可能性 ,  論理 ,  解析 ,  注意