研究者
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 緩クリーニ代数を用いたシステムの遷移系モデル簡略化
全件表示
論文 (1件):
学位 (1件):
  • 博士(理学) (九州大学)
所属学会 (5件):
日本数学会 ,  統計科学研究会 ,  国際数理科学協会 ,  情報処理学会 ,  日本ソフトウェア科学会
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る