Updated on 2021/06/08

写真a

 
FURUSAWA Hitoshi
 
Organization
Research Field in Science, Science and Engineering Area Graduate School of Science and Engineering (Science) Department of Science Mathematics and Informatics Program Professor
Title
Professor

Degree

  • 博士(理学) ( 1998.3   九州大学 )

Research Interests

  • category theory

  • relation algebras

  • Kleene algebras

  • program semantics

Research Areas

  • Informatics / Theory of informatics  / Theoretical Computer Science

  • Informatics / Theory of informatics

  • Natural Science / Basic mathematics

  • Natural Science / Basic mathematics

Education

  • Kyushu University

    - 1998.3

      More details

    Country: Japan

Research History

  • 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

Professional Memberships

  • 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

 

Papers

  • 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

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    DOI: 10.1016/j.tcs.2017.02.004

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

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    DOI: 10.1145/2785967

  • 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

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    DOI: 10.1016/j.jlamp.2014.08.008

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

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    DOI: 10.5109/1434308

  • 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

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    DOI: 10.1016/j.fss.2010.11.008

MISC

  • クリーニ代数入門 Reviewed

    古澤仁,高井利憲

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

     More details

    Language:Japanese   Publishing type:Article, review, commentary, editorial, etc. (scientific journal)   Publisher:日本ソフトウェア科学会  

    DOI: 10.11309/jssst.23.3_14

Presentations

  • 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

     More details

    Event date: 2012.9

    Language:English  

    Venue:イギリス  

    国際学会

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

    Workshop on Lattices and Relations  Workshop on Lattices and Relations

     More details

    Event date: 2012.9

    Language:English  

    Venue:オランダ  

    国際学会

  • 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

     More details

    Event date: 2011.6

    Language:English  

    Venue:オランダ  

    国際学会

  • 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

     More details

    Event date: 2010.9

    Language:English  

    Venue:イギリス  

    国際学会

  • 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

     More details

    Event date: 2009.11

    Language:English  

    Venue:カタール  

    国際学会