緩クリーニ代数を用いたシステムの遷移系モデル簡略化

2012 年度 研究成果報告書

• 研究課題/領域番号: 22500016
• 研究種目: 基盤研究(C)
• 配分区分: 補助金
• 応募区分: 一般
• 研究分野: 情報学基礎
• 研究機関: 鹿児島大学
• 研究代表者: 古澤 仁 鹿児島大学, 大学院・理工学研究科, 准教授 (00357930)
• 研究期間 (年度): 2010 – 2012
• キーワード: プログラム理論

研究概要

緩クリーニ代数の部分クラスの間の関係および遷移系モデルの関係による記述に関して,以下の成果を得た.
(1)ある種のイデアル完備化によって*-連続なべき等左半環とD-連続なべき等左半環の間の随伴関係を与えるための十分条件および一般に与えられないことを示す具体例
(2)完備べき等左半環が二項関係および二項多重関係によって表現可能であること
(3)クォンテールをある集合上の二項関係全体のなすクォンテールへ理想的に埋め込むための必要十分条件

研究成果

• [雑誌論文] Relational Representation Theorem for Powerset Quantales, In Wolfram Kahl and Timothy G. Griffin eds., Relational and Algebraic Methods in Computer Science (2012)
  • 著者名/発表者名: Nishizawa, Koki and Furusawa, Hitoshi
  • 雑誌名: 13th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2012, Cambridge, UK 巻: LNCS 7560 ページ: 207-218
  • DOI: DOI:10.1007/978-3-642-33314-9_14
  • 査読あり
• [雑誌論文] Ideal Completion of Join Semilattice over T-algebra (2012)
  • 著者名/発表者名: Nishizawa, Koki. and Furusawa, Hitoshi
  • 雑誌名: Bulletin of Tottori University of Environmental Studies 巻: Vol. 9 and 10 ページ: 91-103
  • URL: http://www.kankyo-u.ac.jp/f/845/bulletin/009-010/091-103.pdf
  • 査読あり
• [雑誌論文] Remarks on Ideal Completion of *-Continuous Idempotent Left Semirings (2011)
  • 著者名/発表者名: Furusawa, Hitoshi, Sanda, Fumiya. and Tsumagari, Norihiro
  • 雑誌名: Bulletin of Informatics and Cybernetics 巻: Vol. 43 ページ: 1-21
  • 査読あり
• [雑誌論文] Relational and Multirelational Representation Theorems for Complete Idempotent Left Semirings, In Harrie de Swart ed., Relational and Algebraic Methods in Computer Science (2011)
  • 著者名/発表者名: Furusawa, Hitoshi and Nishizawa, Koki
  • 雑誌名: 12th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2011, Rotterdam, The Netherlands 巻: LNCS 6663 ページ: 148-163
  • DOI: DOI:10.1007/978-3-642-21070-9_13
  • 査読あり
• [学会発表] Relational and Multirelational Representation Theorems for Complete Idempotent Left Semirings (2011)
  • 著者名/発表者名: Hitoshi Furusaw
  • 学会等名: 12th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2011)
  • 発表場所: Rotterdam, The Netherlands
  • 年月日: 2011-06-01
• [学会発表] Representation theorems for complete idempotent left semirings, Workshop on Lattices (2010)
  • 著者名/発表者名: Hitoshi Furusawa
  • 学会等名: Relations and Kleene Algebras
  • 発表場所: London, UK
  • 年月日: 2010-09-21
• [備考]
  • URL: http://www.sci.kagoshima-u.ac.jp/furusawa/person/research.html