Furusawa Hitoshi

フルサワヒトシ | Furusawa Hitoshi

Affiliation and department：
Job title： Professor
Homepage URL (2)： http://www.sci.kagoshima-u.ac.jp/~furusawa/ , http://www.sci.kagoshima-u.ac.jp/~furusawa/index.html

Research field (1)： Information theory

Research keywords (10)：意味論 , 関係 , 形式言語 , 圏 , 代数 , semantics , relations , formal languages , categories , algebras

Research theme for competitive and other funds (7)：

2020 - 2023 Continuity of relations
2016 - 2018 Analysis of probabilistic systems by relational and algebraic methods
2015 - 2018 Defining software integrity levels using argumentation theory
2013 - 2017 Quasiequational system for concurrency
2010 - 2012 Simplification of transition systems with the use of lazy Kleene algebras

Show all

Papers (1)：

Hitoshi Furusawa, Yasuo Kawahara, Georg Struth, Norihiro Tsumagari. Kleisli, Parikh and Peleg compositions and liftings for multirelations. Journal of Logical and Algebraic Methods in Programming. 2017. 90. 84-101

Professional career (1)：

D.Sc. (Kyushu University)

Association Membership(s) (5)：

THE MATHEMATICAL SOCIETY OF JAPAN , 統計科学研究会 , INTERNATIONAL SOCIETY FOR MATHEMATICAL SCIENCES , INFORMATION PROCESSING SOCIETY OF JAPAN , JAPAN SOCIETY FOR SOFTWARE SCIENCE AND TECHNOLOGY

※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page