博士（理学） ( 1998.3   九州大学 )

Informatics / Theory of informatics  / Theoretical Computer Science

Natural Science / Basic mathematics

Informatics / Theory of informatics

Natural Science / Basic mathematics

Kyushu University

- 1998.3

Kagoshima University   Research Field in Science, Science and Engineering Area Graduate School of Science and Engineering (Science) Department of Science Mathematics and Informatics Program   Professor

2020.4

Kagoshima University   Graduate School of Science and Engineering (Science) Department of Mathematics and Computer Science   Professor

2015.4 - 2020.3

Kagoshima University   Graduate School of Science and Engineering (Science) Department of Mathematics and Computer Science   Associate Professor

2009.4 - 2015.3

Kagoshima University   Department of Mathematics and Computer Science, Faculty of Science   Associate Professor

2007.4 - 2009.3

Kagoshima University   Department of Mathematics and Computer Science, Faculty of Science   Associate Professor (as old post name)

2006.4 - 2007.3

The Mathematical Society of Japan

2017.4

Japan Society for Software Science and Technology

2002.4

International Society for Mathematical Sciences

1999.7

Information Processing Society of Japan

1995.7

Hitoshi Furusawa .  Uniform continuity of relations and nondeterministic cellular automata .  Theoretical Computer Science, Elsevier673   19 - 29   2017.4Uniform continuity of relations and nondeterministic cellular automataReviewed

Hitoshi Furusawa, Georg Struth .  Concurrent Dynamic Algebra .  ACM Transactions on Computational Logic16 ( 4 ) 30:1 - 30:38   2015.8Concurrent Dynamic AlgebraReviewed

Hitoshi Furusawa, Koki Nishizawa .  Multirelational representation theorems for complete idempotent left semirings .  Journal of Logical and Algebraic Methods in Programming, Elsevier84 ( 3 ) 426 - 439   2015.5Multirelational representation theorems for complete idempotent left semiringsReviewed

Hitoshi Furusawa, Fumiya Sanda, Norihiro Tsumagari .  Remarks on Ideal Completion of *-Continuous Idempotent Left Semirings .  Bulletin of Informatics and Cybernetics43   1 - 21   2011.12Reviewed

Hitoshi Furusawa, Yasuo Kawahara, Michael Winter .  Dedekind categories with cutoff operators .  Fuzzy Sets and Systems, Elsevier 173 ( 1 ) 1 - 24   2011.6Dedekind categories with cutoff operatorsReviewed

クリーニ代数入門 Reviewed

古澤仁，高井利憲

コンピュータソフトウェア，岩波書店   23 ( 3 )   14 - 34   2006.7

Hitoshi Furusawa, Toshikazu Ishida, Yasuo Kawahara   Continuous Relations and Richardson's Theorem   International conference

13th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 13), Cambridge, UK  13th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 13), Cambridge, UK

Hitoshi Furusawa   Strict point axiom in Dedekind categories is really strict   International conference

Workshop on Lattices and Relations  Workshop on Lattices and Relations

Hitoshi Furusawa, Koki Nishizawa   Relational and Multirelational Representation Theorems for Complete Idempotent Left Semirings   International conference

12th International Conference on Relational and Algebraic Methods in Computer Science, Rotterdam, The Netherlands  12th International Conference on Relational and Algebraic Methods in Computer Science, Rotterdam, The Netherlands

Hitoshi Furusawa   Representation theorems for complete idempotent left semirings   International conference

Workshop on Lattices, Relations and Kleene Algebras  Workshop on Lattices, Relations and Kleene Algebras

Hitoshi Furusawa, Fumiya Sanda   *-Continuous Idempotent Left Semirings and Their Ideal Completion   International conference

11th International Conference on Relational Methods in Computer Science (RelMiCS11), Doha, Qatar  11th International Conference on Relational Methods in Computer Science (RelMiCS11), Doha, Qatar