アカウント名:
パスワード:
この機能をコーディングし実装した人は。さらにいうなら、レビューして許可した人は。
NSAの可能性を考慮するよりも、検証方法を改善した方が有益。
検証方法はCoq [inria.fr]
より多くのコメントがこの議論にあるかもしれませんが、JavaScriptが有効ではない環境を使用している場合、クラシックなコメントシステム(D1)に設定を変更する必要があります。
弘法筆を選ばず、アレゲはキーボードを選ぶ -- アレゲ研究家
誰? (スコア:0)
この機能をコーディングし実装した人は。
さらにいうなら、レビューして許可した人は。
Re:誰? (スコア:0)
NSAの可能性を考慮するよりも、検証方法を改善した方が有益。
Re:誰? (スコア:1)
検証方法はCoq [inria.fr]