Ceek.jp Altmetrics (α ver.)
  1. ホーム
  2. 文献詳細

10 0 0 0 Temporal Prolog - A Programming Language Based on Temporal Logic

著者
桜川貴司 Takashi Sakuragawa 京都大学数理解析研究所
雑誌
コンピュータソフトウェア (ISSN:02896540)
巻号頁・発行日
vol.4, no.3, pp.15-27, 1987
被引用文献数
1
Temporal Logicに裁づいた論理型言語を紹介する.この言語によって,並列処理・待ち合わせ・相互排除・非決定性などを容易に表現できる.applicationとしてはexecutable specification languageとしての使用を念頭においている.

言及状況

Twitter (10 users, 14 posts, 4 favorites)

https://t.co/r5eY1MWkGP 印刷して読んだが大学行ってない私には無理だった。 まず用語がわからない。 次に論文内で定義された記号を覚えることができない。 調べものをたっぷりしてノートにメモを取って時間かかるのであきらめた。
https://t.co/r5eY1MWkGP 印刷して読んだが大学行ってない私には無理だった。 まず用語がわからない。 次に論文内で定義された記号を覚えることができない。 調べものをたっぷりしてノートにメモを取って時間かかるのであきらめた。
Temporal Prolog : A Programming Language Based on Temporal Logic [in Japanese] (1987) http://t.co/5hU9T2gakh
1 @corba77
こたつの温度制御の話は　こっちのPDFでした http://t.co/yg4ngqzlwG
1 @hirax
http://ci.nii.ac.jp/els/110003743453.pdf?id=ART0004920839&type=pdf&lang=jp&host=cinii&order_no=&ppv_type=0&lang_sw=&no=1297355671&cp=
http://ci.nii.ac.jp/els/110003743453.pdf?id=ART0004920839&type=pdf&lang=jp&host=cinii&order_no=&ppv_type=0&lang_sw=&no=1297355671&cp=
RT @takeoka : @ranha 桜川氏の「Temporal Prolog : A Programming Language Based on Temporal Logic」 http://ci.nii.ac.jp/naid/110003743453
RT @takeoka : @ranha 桜川氏の「Temporal Prolog : A Programming Language Based on Temporal Logic」 http://ci.nii.ac.jp/naid/110003743453
RT @takeoka : @ranha 桜川氏の「Temporal Prolog : A Programming Language Based on Temporal Logic」 http://ci.nii.ac.jp/naid/110003743453
1 @random_oracle
@ranha 桜川氏の「Temporal Prolog : A Programming Language Based on Temporal Logic」 http://ci.nii.ac.jp/naid/110003743453/
1 @random_oracle

収集済み URL リスト