川井 新之介
Shinnosuke Quawai
更新日: 2023/01/06
基本情報
- 連絡先
- 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日
Works(作品等)
1学術貢献活動
1-
企画立案・運営等, パネル司会・セッションチェア等, その他論計舎 (オンライン) 2022年5月27日 - 2022年5月28日