GLOSSARY

proving

証明すること。数学的に正しさを示す

1本の論文題名に登場

定義

主張が必ず成り立つことを、仮定から論理的に導いて示すこと。学習理論では収束性や誤り上界を証明し、形式手法ではプログラムが仕様を満たすことを機械的に検証する。実験で「そうなった」と示す経験的な検証とは、仮定の範囲では反例があり得ないという保証の強さで質的に異なる。

理論寄りの研究