古澤仁

フルサワヒトシ | Furusawa Hitoshi

所属機関・部署：
職名：教授
ホームページURL (2件)： http://www.sci.kagoshima-u.ac.jp/~furusawa/ , http://www.sci.kagoshima-u.ac.jp/~furusawa/index.html

研究分野 (2件)：数学基礎 , 情報学基礎論

研究キーワード (10件)：意味論 , 関係 , 形式言語 , 圏 , 代数 , semantics , relations , formal languages , categories , algebras

競争的資金等の研究課題 (7件)：

全件表示

論文 (5件)：

Hitoshi Furusawa, Walter Guttmann, Georg Struth. Determinism of multirelations. Journal of Logical and Algebraic Methods in Programming. 2024. 139. 100976-100976
Hitoshi Furusawa, Walter Guttmann, Georg Struth. Modal algebra of multirelations. Journal of Logic and Computation. 2024. 35. 3
Rudolf Berghammer, Hitoshi Furusawa, Walter Guttmann, Peter Höfner. Relational characterisations of paths. Journal of Logical and Algebraic Methods in Programming. 2020. 117. 100590-100590
Hitoshi Furusawa, Yasuo Kawahara, Georg Struth, Norihiro Tsumagari. Kleisli, Parikh and Peleg compositions and liftings for multirelations. Journal of Logical and Algebraic Methods in Programming. 2017. 90. 84-101
Hitoshi Furusawa. Uniform continuity of relations and nondeterministic cellular automata. Theoretical Computer Science. 2017. 673. 19-29

学位 (1件)：

所属学会 (5件)：

日本数学会 , 統計科学研究会 , 国際数理科学協会 , 情報処理学会 , 日本ソフトウェア科学会

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

古澤 仁