基本情報

写真a

古澤 仁

FURUSAWA Hitoshi


職名

教授

研究分野・キーワード

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

ホームページ

http://www.sci.kagoshima-u.ac.jp/~furusawa

プロフィール

様々な代数構造や圏論などをもちいて情報科学分野にある問題を捉え解決すること,システムの数理的手法をもちいた検証に興味を持っている.

出身大学院 【 表示 / 非表示

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

    博士課程,1998年03月,修了,日本国

取得学位 【 表示 / 非表示

  • 博士(理学),情報学基礎理論,九州大学,課程,1998年03月

学内職務経歴 【 表示 / 非表示

  • 鹿児島大学 理学部数理情報科学科,助教授,2006年04月 ~ 2007年03月

  • 鹿児島大学 理学部数理情報科学科,准教授,2007年04月 ~ 2009年03月

  • 鹿児島大学 大学院理工学研究科(理学系)数理情報科学専攻,准教授,2009年04月 ~ 2015年03月

  • 鹿児島大学 理工学域理学系 理工学研究科(理学系) 数理情報科学専攻,教授,2015年04月 ~ 2020年03月

  • 鹿児島大学 理工学域理学系 理工学研究科(理学系) 理学専攻 数理情報科学プログラム 理工学域理学系 理工学研究科(理学系) 数理情報科学専攻,教授,2020年04月 ~ 継続中

所属学会・委員会 【 表示 / 非表示

  • 情報処理学会,1995年07月 ~ 継続中,日本国

  • 国際数理科学協会,1999年07月 ~ 継続中,日本国

  • 日本ソフトウェア科学会,2002年04月 ~ 継続中,日本国

  • 日本数学会,2017年04月 ~ 継続中,日本国

専門分野(科研費分類) 【 表示 / 非表示

  • 理論計算機科学

  • 情報学基礎理論

  • 数学基礎・応用数学

 

論文 【 表示 / 非表示

  • 英語,Uniform continuity of relations and nondeterministic cellular automata,Theoretical Computer Science, Elsevier,673巻 (頁 19 ~ 29) ,2017年04月,Hitoshi Furusawa

    DOI:10.1016/j.tcs.2017.02.004,研究論文(学術雑誌),査読有り,単著

  • 英語,Concurrent Dynamic Algebra,ACM Transactions on Computational Logic,16巻 4号 (頁 30:1 ~ 30:38) ,2015年08月,Hitoshi Furusawa, Georg Struth

    DOI:10.1145/2785967,研究論文(学術雑誌),査読有り,共著

  • 英語,Multirelational representation theorems for complete idempotent left semirings,Journal of Logical and Algebraic Methods in Programming, Elsevier,84巻 3号 (頁 426 ~ 439) ,2015年05月,Hitoshi Furusawa, Koki Nishizawa

    DOI:10.1016/j.jlamp.2014.08.008,研究論文(学術雑誌),査読有り,共著

  • 英語,Remarks on Ideal Completion of *-Continuous Idempotent Left Semirings,Bulletin of Informatics and Cybernetics,43巻 (頁 1 ~ 21) ,2011年12月,Hitoshi Furusawa, Fumiya Sanda, Norihiro Tsumagari

    DOI:10.5109/1434308,研究論文(学術雑誌),査読有り,共著

  • 英語,Dedekind categories with cutoff operators,Fuzzy Sets and Systems, Elsevier ,173巻 1号 (頁 1 ~ 24) ,2011年06月,Hitoshi Furusawa, Yasuo Kawahara, Michael Winter

    DOI:10.1016/j.fss.2010.11.008,研究論文(学術雑誌),査読有り,共著

総説・解説記事 【 表示 / 非表示

  • 日本語,クリーニ代数入門,日本ソフトウェア科学会,コンピュータソフトウェア,岩波書店,23巻 3号 (頁 14 ~ 34) ,2006年07月,古澤仁,高井利憲

    DOI:10.11309/jssst.23.3_14,総説・解説(学術雑誌),共著

研究発表 【 表示 / 非表示

  • 13th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 13), Cambridge, UK,国際会議,2012年09月,イギリス,Continuous Relations and Richardson's Theorem,その他

  • Workshop on Lattices and Relations,国際会議,2012年09月,オランダ,Strict point axiom in Dedekind categories is really strict,その他

  • 12th International Conference on Relational and Algebraic Methods in Computer Science, Rotterdam, The Netherlands,国際会議,2011年06月,オランダ,Relational and Multirelational Representation Theorems for Complete Idempotent Left Semirings,その他

  • Workshop on Lattices, Relations and Kleene Algebras,国際会議,2010年09月,イギリス,Representation theorems for complete idempotent left semirings,その他

  • 11th International Conference on Relational Methods in Computer Science (RelMiCS11), Doha, Qatar,国際会議,2009年11月,カタール,*-Continuous Idempotent Left Semirings and Their Ideal Completion,その他