川井 新之介
Shinnosuke Quawai
更新日: 2021/12/15
基本情報
- 連絡先
- quawai
me.com - 通称等の別名
- 川井新
- ORCID ID
https://orcid.org/0000-0002-8473-3185- J-GLOBAL ID
- 202001017501222050
- researchmap会員ID
- R000001555
under construction
講演・口頭発表等
2-
RIMS共同研究（公開型）「論理・言語・代数系と計算機科学の周辺領域」 2021年2月17日
-
RIMS共同研究「証明論と証明活動」 2017年12月26日