川井 新
カワイ シン (shin Quawai)
更新日: 04/21
基本情報
- 連絡先
- quawai
me.com - ORCID ID
https://orcid.org/0000-0002-8473-3185- J-GLOBAL ID
- 202001017501222050
under construction
講演・口頭発表等
2-
RIMS共同研究（公開型）「論理・言語・代数系と計算機科学の周辺領域」 2021年2月17日
-
RIMS共同研究「証明論と証明活動」 2017年12月26日