kingコンピューターを開発中
すべての数学の定理を一瞬でといてくれる最強のコンピュータ