教員紹介Researcher

教授古澤 仁

Hitoshi Furusawa

専門分野

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

メッセージ

 一緒に勉強(研究)してみませんか?

ホームページへ

担当講義

  • 情報数学A
  • 情報数理学A
  • 情報数理学B

研究内容

 計算のモデルを記述するための代数構造に興味があります。代数構造は理論を一般化して個別の問題を統一的に取り扱うことを可能にします。

主な著書・論文など

論文 ・Furusawa, H.: Uniform continuity of relations and nondeterministic cellular automata, Theoretical Computer Science, vol. 673, pp.19-29 (2017)
・Furusawa, H. and Struth, G.: Concurrent Dynamic Algebra, ACM Transactions on Computational Logic, vol. 16(4), pp.30:1-30:38 (2015)
・Furusawa, H. and Nishizawa, K.: Multirelational representation theorems for complete idempotent left semirings, Journal of Logical and Algebraic Methods in Programming, vol. 84(3), pp.426-439, Elsevier (2015)
・Furusawa, H., Sanda, F. and Tsumagari, N.: Remarks on Ideal Completion of *-Continuous Idempotent Left Semirings, Bulletin of Informatics and Cybernetics Vol. 43 pp. 1-21 (2011)
・Furusawa, H., Kawahara, Y. and Winter, M.: Dedekind categories with cutoff operators, Fuzzy Sets and Systems Vol. 173 pp. 1-24 (2011)

所属学会

・日本数学会
・情報処理学会
・ソフトウェア科学会

教員一覧に戻る

鹿児島大学理学部案内

DOWNLOAD
PAGE TOP