関 隆宏
セキ タカヒロ (Takahiro Seki)
更新日: 09/22
基本情報
- 学位
-
学士(教育学)(新潟大学)修士(教育学)(新潟大学)博士(情報科学)(北陸先端科学技術大学院大学)
- J-GLOBAL ID
- 200901044391393708
- researchmap会員ID
- 5000074845
経歴
6-
2025年4月 - 現在
-
2007年10月 - 2025年3月
-
2013年4月 - 2018年3月
-
2007年6月 - 2007年10月
-
2007年4月 - 2007年5月
-
2004年5月 - 2007年3月
委員歴
1-
2023年3月 - 2025年2月
主要な論文
89-
NOTRE DAME JOURNAL OF FORMAL LOGIC 56(2) 333-350 2015年 査読有り
-
STUDIA LOGICA 101(5) 1115-1141 2013年10月 査読有り
MISC
9-
日本数学会2025年度秋季総合分科会 数学基礎論および歴史分科会講演アブストラクト 33-34 2025年9月
-
日本教育情報学会年会論文集 38th 2022年
-
教育情報研究(Web) 37(2.3) 2022年
-
日本教育情報学会年会論文集 37th 2021年
-
日本教育情報学会年会論文集 37th 2021年
-
大学情報・機関調査研究集会論文集(Web) 5 2021年
-
年会論文集 35 120-123 2019年8月
-
電子情報通信学会技術研究報告. NLC, 言語理解とコミュニケーション 105(203) 7-12 2005年7月15日
講演・口頭発表等
105-
日本数学会2025年度秋季総合分科会 2025年9月18日
-
日本教育情報学会第41回年会 2025年8月30日
-
第59回数理論理学研究集会 2025年2月21日
-
10th International Congress on Information and Communication Technology 2025年2月19日
-
証明論シンポジウム2024 2024年12月18日
-
第13回大学情報・機関調査研究集会 2024年11月8日
-
16th International Conference on Data Science and Institutional Research 2024年7月
-
大学教育学会第46回大会 2024年6月9日
-
6th Asian Workshop on Philosophical Logic 2024年3月5日
-
第58回数理論理学研究集会 2024年2月16日
-
証明論研究集会2023 2023年12月13日
-
第57回数理論理学研究集会 2023年3月4日
-
証明論研究集会2022 2022年12月21日
-
日本数学会2022年度秋季総合分科会 2022年9月16日
-
日本教育情報学会第38回年会 2022年8月
-
第56回数理論理学研究集会 2022年3月14日
-
証明論研究集会2021 2021年12月20日
-
日本数学会2021年度秋季総合分科会 2021年9月16日
-
日本教育情報学会第37回年会 2021年8月
-
日本教育情報学会第37回年会 2021年8月
担当経験のある科目(授業)
8共同研究・競争的資金等の研究課題
10-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2024年4月 - 2027年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 基盤研究(C) 2021年4月 - 2024年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 基盤研究(C) 2019年4月 - 2023年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 基盤研究(C) 2018年4月 - 2022年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 基盤研究(B) 2015年4月 - 2019年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 基盤研究(C) 2015年4月 - 2018年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 基盤研究(C) 2012年4月 - 2016年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 基盤研究(C) 2013年4月 - 2016年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 基盤研究(C) 2012年4月 - 2015年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 基盤研究(C) 2005年 - 2007年
社会貢献活動
18