博士（理学） （ 1998年3月   九州大学 ）

情報通信 / 情報学基礎論  / 理論計算機科学

情報通信 / 情報学基礎論

自然科学一般 / 数学基礎

自然科学一般 / 数学基礎

九州大学   システム情報科学研究科   情報理学専攻

- 1998年3月

鹿児島大学   理工学域理学系 理工学研究科（理学系） 理学専攻 数理情報科学プログラム   教授

2020年4月 - 現在

鹿児島大学   大学院理工学研究科（理学系）数理情報科学専攻   教授

2015年4月 - 2020年3月

鹿児島大学   大学院理工学研究科（理学系）数理情報科学専攻   准教授

2009年4月 - 2015年3月

鹿児島大学   理学部数理情報科学科   准教授

2007年4月 - 2009年3月

鹿児島大学   理学部数理情報科学科   助教授

2006年4月 - 2007年3月

日本数学会

2017年4月 - 現在

日本ソフトウェア科学会

2002年4月 - 現在

国際数理科学協会

1999年7月 - 現在

情報処理学会

1995年7月 - 現在

Hitoshi Furusawa .  Uniform continuity of relations and nondeterministic cellular automata .  Theoretical Computer Science, Elsevier673   19 - 29   2017年4月査読

Hitoshi Furusawa, Georg Struth .  Concurrent Dynamic Algebra .  ACM Transactions on Computational Logic16 ( 4 ) 30:1 - 30:38   2015年8月査読

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年5月査読

Hitoshi Furusawa, Fumiya Sanda, Norihiro Tsumagari .  Remarks on Ideal Completion of *-Continuous Idempotent Left Semirings .  Bulletin of Informatics and Cybernetics43   1 - 21   2011年12月査読

Hitoshi Furusawa, Yasuo Kawahara, Michael Winter .  Dedekind categories with cutoff operators .  Fuzzy Sets and Systems, Elsevier 173 ( 1 ) 1 - 24   2011年6月査読

クリーニ代数入門 査読

古澤仁，高井利憲

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

Hitoshi Furusawa, Toshikazu Ishida, Yasuo Kawahara .  Continuous Relations and Richardson's Theorem .  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 .  Workshop on Lattices and Relations  Workshop on Lattices and Relations国際会議

Hitoshi Furusawa, Koki Nishizawa .  Relational and Multirelational Representation Theorems for Complete Idempotent Left Semirings .  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 .  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 .  11th International Conference on Relational Methods in Computer Science (RelMiCS11), Doha, Qatar  11th International Conference on Relational Methods in Computer Science (RelMiCS11), Doha, Qatar国際会議