馬券師です ORCID:0009-0008-5928-0234
Following Organizations
No Organizations you are following
$ analyze @iroha1203
posted articles:
- lean4:58%
- lean:48%
- 代数的アーキテクチャ論:30%
- ソフトウェアアーキテクチャ:18%
- Rust:15%
answered questions:
- No data