古澤 仁
フルサワ ヒトシ (Hitoshi Furusawa)
更新日: 02/16
基本情報
- 所属
- 鹿児島大学 大学院理工学研究科理学専攻 教授
- 学位
-
博士（理学）(九州大学)
- 研究者番号
- 00357930
- ORCID iD
https://orcid.org/0009-0003-9493-4401- J-GLOBAL ID
- 200901048379457887
- researchmap会員ID
- 5000087601
- 外部リンク
研究キーワード
10研究分野
2論文
6-
Fundamenta Informaticae Volume 195, Issues 1-4:... 2026年2月6日 査読有り
-
Journal of Logic and Computation 35(3) 2025年4月 査読有り
-
Journal of Logical and Algebraic Methods in Programming 139 100976-100976 2024年6月 査読有り
-
Journal of Logical and Algebraic Methods in Programming 117 100590-100590 2020年12月 査読有り
-
Journal of Logical and Algebraic Methods in Programming 90 84-101 2017年8月1日 査読有り
-
Theoretical Computer Science 673 19-29 2017年4月 査読有り
所属学協会
5共同研究・競争的資金等の研究課題
7-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2020年4月 - 2023年3月
-
日本学術振興会 科学研究費助成事業 若手研究(B) 2016年4月 - 2018年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2015年4月 - 2018年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2013年4月 - 2017年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2010年 - 2012年
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2009年 - 2011年
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2007年 - 2008年