The team worked to effectivize the theoretical proof so it could be implemented on a computer.
そのチームは、理論的な証明をコンピュータ上で実装できるように有効にするために取り組んだ。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★