エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
限量子を含むような数式が正しいかどうかを判定する話 - soutaroブログ
記事へのコメント0件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
限量子を含むような数式が正しいかどうかを判定する話 - soutaroブログ
そういえば一月以上前に授業で聞いて、面白かったので書こうと思ったんだった。なお、この話にウソが含... そういえば一月以上前に授業で聞いて、面白かったので書こうと思ったんだった。なお、この話にウソが含まれていた場合は、私がいかにまじめに授業を聞いていないかを証明する材料になります。もう成績出てるから関係ない。(開き直った。) Presburger formula 定数: 0, 1, 2, ... 関数: + 述語: <,≦,=,≧,> 上の三つと変数からなる式をPresburger formulaという。日本語だとプレスバーガ式? Presburger formulaの例は次みたいな感じ。 二つ目の例に含まれるは、のことでいきなり定義に含まれない関数を使ってるように見えたりする。これは、よく見るとと一緒だからOKという理屈。みたいのは、Presburger formulaじゃない。 さて、こいつにとかとかの限量子(quantifier)をつけた式を考える。 こんな感じ。 驚くべきことは、この