

川井 新之介
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日