数学の証明と計算が好き。様々な数学の証明の形式的証明を作っている。
Following Organizations
No Organizations you are following
Following tags
No tags you are following
$ analyze @itleigns
posted articles:
- アルゴリズム:100%
- 高速化:100%
- FFT:100%
- 掛け算:100%
- ショーンハーゲ・ストラッセン法:100%
answered questions:
- No data