水準2
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/11/14 16:23 UTC 版)
自動定理証明によって完全に機械的な証明を行う。道具を整備するのに費用がかかるか、厳密である必要がありシステムを記述するのに手間がかかる。間違いが混入することで生じる損失に見合わなければ実施しない(例えば、マイクロプロセッサ設計の重要な部分など)。
※この「水準2」の解説は、「形式手法」の解説の一部です。
「水準2」を含む「形式手法」の記事については、「形式手法」の概要を参照ください。
「水準 2」に関係したコラム
-
カマリリャピボット(Camarilla Pivot)とは、オシレーター系のテクニカル指標のピボットを元に作られた指標のことです。カマリリャピボットは、当日の値動きは前日の高値と安値の中間値が基準になる...
-
株式分析のヒストリカル・ボラティリティ(Historical Volatility)とは、過去の株価のデータから、将来の株価の変動率を求めるテクニカル指標のことです。ヒストリカル・ボラティリティは、H...
-
FTSE100証拠金取引は、FTSE100指数(FTSE100種総合株価指数)に連動して値動きする銘柄です。そのため、FTSE100指数の値動きや構成銘柄の特徴を知ることでFTSE100証拠金取引の値...
-
資産バリュー株とは、企業の資産価値から見て株価の安い、いわゆる割安株のことを指します。資産バリュー株は、資産の数値だけで見つけることは困難で、資産を用いた指標などから見つけるのが一般的です。資産を用い...
-
収益バリュー株とは、企業の純利益から見て株価の安い、いわゆる割安株のことを指します。収益バリュー株は、純利益の数値だけで見つけることは困難で、純利益を用いた指標などから見つけるのが一般的です。純利益を...
- 水準 2のページへのリンク