メッセージ

　一緒に勉強（研究）してみませんか？

ホームページへ

担当講義

• 情報数学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)

所属学会

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

教員一覧に戻る