桜川 貴司 | 京都大学数理解析研究所

スポンサーリンク

概要

• 桜川 貴司の詳細を見る
• 同名の論文著者
• 京都大学数理解析研究所の論文著者

関連著者

• 桜川 貴司

  京都大学数理解析研究所

• 新出 尚之

  奈良女子大学理学部

• 服部 隆志

  慶應義塾大学環境情報学部

• 岡本 利夫

  (株)東芝 研究開発センター

• 中島 玲二

  京都大学数理解析研究所

• 中島 玲二

  (財)京都高度技術研究所:京都大学数理解析研究所

• 竹中 一起

  住友金属工業(株)

• 服部 隆志

  京都大学数理解析研究所

• 堀切 和典

  富士ゼロックス(株)システム技術研究所

• 山岸 久夫

  (株)ビクター・データ・システムズ技術部

• 新出 尚之

  京都大学数理解析研究所

• 岡本 利夫

  東芝

• 新出 尚之

  奈良女子大学

• 堀切 和典

  富士ゼロックス株式会社 It事業開発部

• 竹中 一起

  住友金属工業

もっと見る 閉じる

著作論文

• 分散OS ToMにおけるネットワーク上のRPCの設計
• RACCO:実時間プロセス制御システムのモデル記述のための様相論理プログラミング言語
• Temporal Prolog : A Programming Language Based on Temporal Logic

スポンサーリンク