研究者
J-GLOBAL ID:200901048379457887
更新日: 2024年01月30日
古澤 仁
フルサワ ヒトシ | Furusawa Hitoshi
所属機関・部署:
鹿児島大学 大学院理工学研究科理学専攻
鹿児島大学 大学院理工学研究科理学専攻 について
「鹿児島大学 大学院理工学研究科理学専攻」ですべてを検索
職名:
教授
ホームページURL (2件):
http://www.sci.kagoshima-u.ac.jp/~furusawa/
,
http://www.sci.kagoshima-u.ac.jp/~furusawa/index.html
研究分野 (1件):
情報学基礎論
研究キーワード (10件):
意味論
, 関係
, 形式言語
, 圏
, 代数
, semantics
, relations
, formal languages
, categories
, algebras
競争的資金等の研究課題 (7件):
2020 - 2023 関係の連続性
2016 - 2018 関係的・代数的手法による確率的システムの解析
2015 - 2018 議論学を応用したソフトウェアインテグリティレベルの提案
2013 - 2017 並行性の準等式系
2010 - 2012 緩クリーニ代数を用いたシステムの遷移系モデル簡略化
2009 - 2011 代数的空間および滑層空間の位相幾何的総合研究
2007 - 2008 代数多様体のトポロジーおよびその周辺に関する総合的研究
全件表示
論文 (1件):
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
学位 (1件):
博士(理学) (九州大学)
所属学会 (5件):
日本数学会
, 統計科学研究会
, 国際数理科学協会
, 情報処理学会
, 日本ソフトウェア科学会
※ J-GLOBALの研究者情報は、
researchmap
の登録情報に基づき表示しています。 登録・更新については、
こちら
をご覧ください。
前のページに戻る
TOP
BOTTOM