そういえば一月以上前に授業で聞いて、面白かったので書こうと思ったんだった。なお、この話にウソが含まれていた場合は、私がいかにまじめに授業を聞いていないかを証明する材料になります。もう成績出てるから関係ない。(開き直った。) Presburger formula 定数: 0, 1, 2, ... 関数: + 述語: <,≦,=,≧,> 上の三つと変数からなる式をPresburger formulaという。日本語だとプレスバーガ式? Presburger formulaの例は次みたいな感じ。 二つ目の例に含まれるは、のことでいきなり定義に含まれない関数を使ってるように見えたりする。これは、よく見るとと一緒だからOKという理屈。みたいのは、Presburger formulaじゃない。 さて、こいつにとかとかの限量子(quantifier)をつけた式を考える。 こんな感じ。 驚くべきことは、この
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く