Laura Kovács

書き換えと帰納的推論を組み合わせることで、自動定理証明の効率がアップするよ。

関数仕様から再帰なしのプログラムを作る新しい方法。

この記事では、定理証明における帰納的推論を自動化する最近の取り組みについてレビューします。