興味

文献リスト ( dblp, zbMATH, MathSciNet )

雑誌等に掲載された論文 ( 抜粋 )

  1. Furusawa, H.: Uniform continuity of relations and nondeterministic cellular automata, Theoretical Computer Science, vol. 673, pp.19--29 (2017).
  2. Furusawa, H. and Struth, G.: Concurrent Dynamic Algebra, ACM Transactions on Computational Logic, vol. 16(4), pp.30:1--30:38 (2015).
  3. Furusawa, H. and Nishizawa, K.: Multirelational representation theorems for complete idempotent left semirings, Journal of Logical and Algebraic Methods in Programming, vol. 84(3), pp.426--439, Elsevier (2015).
  4. Furusawa, H., Sanda, F. and Tsumagari, N.: Remarks on Ideal Completion of *-Continuous Idempotent Left Semirings, Bulletin of Informatics and Cybernetics Vol. 43 pp. 1--21 (2011).
  5. Furusawa, H., Kawahara, Y. and Winter, M.: Dedekind categories with cutoff operators, Fuzzy Sets and Systems Vol. 173 pp. 1--24 (2011).
  6. Furusawa, H., Nishizawa, K. and Tsumagari, N.: Multirelational Models of Lazy, Monodic Tree, and Probabilistic Kleene Algebras, Bulletin of Informatics and Cybernetics vol.41 pp.11--24 (2009).
  7. Takai, T. and Furusawa, H.: Monodic Tree Kleene Algebra, In Renate A. Schmidt ed., Relations and Kleene Algebra in Computer Science, 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August/September 2006, Proceedings, LNCS 4136, pp.402 - 416, Springer (2006).
    [[In the paper, some mistakes have been found. The list of the errors is here.]]
  8. 古澤仁，高井利憲: クリーニ代数入門， コンピュータソフトウェア 第２３巻 第３号 「特集：システム検証の科学技術」 14--34 (2006).
  9. Furusawa, H., Choi, E., and Watanabe, H.: Efficiency Analysis of Model-Based Review in Actual Software Design, In Proc. of the International Conference on Software Engineering (ICSE2006), Far East Experience Track, pp.604 - 607, May 2006.
  10. Furusawa, H.: A free construction of Kleene algebras with tests, In Dexter Kozen ed., Mathematics of Program Construction, 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 2004, Proceedings, LNCS 3125, pp.129 - 141, Springer (2004).
  11. 木下佳樹，古澤仁: テスト付きクリーニ代数の準代数構造， コンピュータソフトウェア 第２０巻 第２号 47--53 (2003).
  12. 堀部久寿男，古澤仁，河原康雄: Schroeder圏における整基関係と関係システム， 九州大学大学院システム情報科学紀要 第７巻 第２号 99--104 (2002).
  13. Kawahara, Y., Furusawa, H. and Mori, M.: Categorical Representation Theorems of Fuzzy Relations, Information Sciences vol.119 no.3--4 pp.235--251 (1999).
  14. Kawahara, Y. and Furusawa, H.: An Algebraic Formalization of Fuzzy Relations, Fuzzy Sets and Systems vol.101 no.1 pp.125--135 (1999).
  15. Furusawa, H.: A Representation Theorem for Relation Algebras: Concepts of Scalar Relations and Point Relations, Bulletin of Informatics and Cybernetics vol.30 pp.109--119 (1998).
テクニカルレポート （抜粋）
  1. Tsumagari, N., Nishizawa, K., and Furusawa H.: Multirelational Model of Lazy Kleene Algebra, In Rudolf Berghammer, Bernhard Möller, and Georg Struth eds., Relations and Kleene Algebra in Computer Science, PhD Programme at RelMiCS10/AKA5, Frauenwörth, Germany, April 7 - April 11 2008, Proceedings, Technical Report 2008-04, 73 -- 77, Institut für Informatik, Universität Augsburg, Germany (2008).
  2. 高井利憲, 古澤仁, クリーニ代数によるプログラム解析入門, 産業技術総合研究所 算譜科学研究速報PS-2006-012 , 29-35, 2006年10月.
  3. 古澤仁, 渡邊宏, 河本貴則, 崔銀惠, 形式的技法の便益性評価のためのデータ収集実験 --Webシステムの上流設計工程において--, 産業技術総合研究所 算譜科学研究速報PS-2005-017 , 196-207, 2005年10月.
  4. Furusawa, H. and Kahl, W.: Table Algebras: Algebraic Structures for Tabular Notation, Including Nested Header, Programming Science Technical Report, Research Center for Verification and Semantics, National Institute of Advanced Industrial Science and Technology (AIST), PS-2004-009, December 2004.
  5. Takai, T., Furusawa, H. and Kahl, W.: Reasoning about Term Rewriting in Kleene Categories with Converse , Programming Science Technical Report, Research Center for Verification and Semantics, National Institute of Advanced Industrial Science and Technology (AIST), PS-2004-008, December 2004.
  6. 大崎人士, 木下佳樹, 高井利憲, 高橋孝一, 古澤仁, リアクティブ・システムの検証法, 産業技術総合研究所算譜科学研究グループ速報AIST-SP-2001-004, 2001年10月.
  7. Furusawa, H. and Kahl, A Study on Symmetric Quotients (PS) (PDF), Technical Report, Department of Computer Science, University of the Federal Armed Forces Munich, Bericht Nr.1998-06, December 1998.
  8. Kawahara, Y. and Furusawa, H.: Crispness and Representation Theorem in Dedekind Categories, DOI Technical Report, Department of Informatics, Kyushu University, DOI-TR 143, December 1997.
未掲載の論文
  1. Furusawa, H., Kameyama, Y. and Kinoshita, Y.: Axiomatics for the Hoare-He-Sanders' setting in Refinement. (submitted)
学位論文
その他

口頭発表の記録，書き物の記録

List (without Japanese)

日本語目次