研究者
J-GLOBAL ID：202001017501222050   更新日: 2023年01月05日

川井 新之介

Quawai Shinnosuke
所属機関・部署：
自営業・在野研究者

自営業・在野研究者 について


研究キーワード (3件)： 哲学的論理学 ,  理論計算機科学 ,  数理論理学
講演・口頭発表等 (2件)：
  • Hypersequent calculi for first order intermediate logics
    (RIMS共同研究(公開型)「論理・言語・代数系と計算機科学の周辺領域」 2021)
  • 保存拡大と部分構造論理
    (RIMS共同研究「証明論と証明活動」 2017)
Works (1件)：
  • 論理と計算の科学シリーズ「カリーハワード対応」
    川井新
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM