オラ、計算量理論の餓鬼は、検査計算を枝別と呼ぶと、定義が違うと言い出したぞ。
アホ。
検査計算＝検証計算＝枝別計算。
これで、何が悪い。
ＦＩＴの餓鬼は言葉の問題を内容の問題にすり替えようと画策している。
素人相手の霊感商法。