馬券師です ORCID:0009-0008-5928-0234
Following Organizations
No Organizations you are following
$ analyze @iroha1203
posted articles:
- lean4:57%
- lean:46%
- 代数的アーキテクチャ論:34%
- ソフトウェアアーキテクチャ:23%
- 代数幾何:14%
answered questions:
- No data