研究者
J-GLOBAL ID：202101012484607160   更新日: 2024年04月11日

荒武 永史

アラタケ ヒサシ | Aratake Hisashi
所属機関・部署：
小山工業高等専門学校 一般科

小山工業高等専門学校 一般科 について


職名： 助教
研究分野 (1件)： 数学基礎
研究キーワード (6件)： 圏論 ,  圏論的論理学 ,  トポス理論 ,  数理論理学 ,  数学基礎論 ,  モデル理論
競争的資金等の研究課題 (2件)：
  • 2022 - 2025 代数の層表現と層の論理
  • 2017 - 2020 圏論的モデル理論の新展開:分類トポスの手法、およびモデル理論の代数幾何化
論文 (2件)：
  • Hisashi Aratake. Limits, Colimits, and Spectra of Modelled Spaces. Journal of Pure and Applied Algebra. 2023. 227. 12
  • Hisashi Aratake. Sheaves of structures, Heyting-valued structures, and a generalization of Łoś's theorem. Mathematical Logic Quarterly. 2021. 67. 4. 445-468
講演・口頭発表等 (4件)：
  • 圏論的論理学の拡がり
    (ロジックウィンタースクール2023 2023)
  • 高階直観主義論理とトポス
    (ロジックウィンタースクール2023 2023)
  • 圏論的一階述語論理(2)
    (ロジックウィンタースクール2023 2023)
  • 圏論的一階述語論理(1)
    (ロジックウィンタースクール2023 2023)
学歴 (3件)：
  • 2017 - 2021 京都大学 大学院理学研究科 数学・数理解析専攻 博士後期課程
  • 2015 - 2017 京都大学 大学院理学研究科 数学・数理解析専攻 修士課程
  • 2011 - 2015 京都大学 理学部 理学科
学位 (1件)：
  • 博士(理学) (京都大学)
経歴 (6件)：
  • 2024/04 - 現在 小山工業高等専門学校 一般科 助教
  • 2021/08 - 2024/03 京都大学 数理解析研究所 研究員
  • 2022/01 - 2023/03 株式会社国際電気通信基礎技術研究所 佐藤匠徳特別研究所 客員研究員
  • 2022/10 - 2023/02 神戸大学 大学教育推進機構 教養教育院 非常勤講師
  • 2022/04 - 2023/02 京都大学 国際高等教育院 非常勤講師
全件表示
所属学会 (1件)：
日本数学会
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM