限量子を含むような数式が正しいかどうかを判定する話 - soutaroブログ
そういえば一月以上前に授業で聞いて、面白かったので書こうと思ったんだった。なお、この話にウソが含まれていた場合は、私がいかにまじめに授業を聞いていないかを証明する材料になります。もう成績出てるから関係ない。(開き直った。) Presburger formula 定数: 0, 1, 2, ... 関数: + 述語: ＜,≦,＝,≧,＞ 上の三つと変数からなる式をPresburger formulaという。日本語だとプレスバーガ式？ Presburger formulaの例は次みたいな感じ。 二つ目の例に含まれるは、のことでいきなり定義に含まれない関数を使ってるように見えたりする。これは、よく見るとと一緒だからOKという理屈。みたいのは、Presburger formulaじゃない。 さて、こいつにとかとかの限量子(quantifier)をつけた式を考える。 こんな感じ。 驚くべきことは、この
僕の離婚バトル ～仁義無き戦い～
11月18 夫の浮気に制裁を ２９【離婚探偵バイブル】 警察 2018年11月18日 toran3 コメント:95 10月12 夫の浮気に制裁を ２８【離婚探偵バイブル】 罠 2018年10月12日 toran3 コメント:12 10月6 夫の浮気に制裁を ２７【離婚探偵バイブル】 発覚 2018年10月06日 toran3 コメント:14 10月2 夫の浮気に制裁を ２６【離婚探偵バイブル】 証明完了 2018年10月02日 toran3 コメント:5 9月7 夫の浮気に制裁を ２５【離婚探偵バイブル】 追込み 2018年09月07日 toran3 コメント:17 9月2 夫の浮気に制裁を ２４【離婚探偵バイブル】 反撃 2018年09月02日 toran3 コメント:10 8月29 夫の浮気に制裁を ２３【離婚探偵バイブル】 探偵発覚 2018年08月29日 toran3 コメント:7
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Mobile：NTTドコモ九州、「iアプリコンテスト」表彰式を開催
ニッセイ情報テクノロジー株式会社 新卒採用サイト2008
http://hagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/ronri/5.txt
（ ＾ω＾）ブーンと猫と神様