2021/06/08 更新

写真a

フルサワ ヒトシ
古澤 仁
FURUSAWA Hitoshi
所属
理工学域理学系 理工学研究科(理学系) 理学専攻 数理情報科学プログラム 教授
職名
教授

学位

  • 博士(理学) ( 1998年3月   九州大学 )

研究キーワード

  • category theory

  • relation algebras

  • Kleene algebras

  • プログラミング意味論,クリーニ代数,関係代数,圏論

研究分野

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

  • 自然科学一般 / 数学基礎

学歴

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

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

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

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

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

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

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

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

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

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

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

    DOI: 10.1016/j.fss.2010.11.008

MISC

  • クリーニ代数入門 査読

    古澤仁,高井利憲

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

     詳細を見る

    記述言語:日本語   掲載種別:記事・総説・解説・論説等(学術雑誌)   出版者・発行元:日本ソフトウェア科学会  

    DOI: 10.11309/jssst.23.3_14

講演・口頭発表等

  • 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国際会議

     詳細を見る

    開催年月日: 2012年9月

    記述言語:英語  

    開催地:イギリス  

    国際学会

  • Hitoshi Furusawa .  Strict point axiom in Dedekind categories is really strict .  Workshop on Lattices and Relations  Workshop on Lattices and Relations国際会議

     詳細を見る

    開催年月日: 2012年9月

    記述言語:英語  

    開催地:オランダ  

    国際学会

  • 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国際会議

     詳細を見る

    開催年月日: 2011年6月

    記述言語:英語  

    開催地:オランダ  

    国際学会

  • Hitoshi Furusawa .  Representation theorems for complete idempotent left semirings .  Workshop on Lattices, Relations and Kleene Algebras  Workshop on Lattices, Relations and Kleene Algebras国際会議

     詳細を見る

    開催年月日: 2010年9月

    記述言語:英語  

    開催地:イギリス  

    国際学会

  • 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国際会議

     詳細を見る

    開催年月日: 2009年11月

    記述言語:英語  

    開催地:カタール  

    国際学会