▽Holz日記｡
●11/22 12:42
November 20, 2024N邸 納品 / 仙台市　IS Lounge , DC09日報駅伝まであと3日｡岩手県の人でもそんなに歴史が古いという事に気づいてない人多数です｡3年くらい前からLIVE配信されるようになったんですが､それまでは箱根の次と言ってました｡ただ､本当の2番目が新潟にあったようで､それから3番目って事になってます｡LIVE配信されるとそういう事まであきらかになっていくのですね｡もはや､2番でも3番でもどちらでもいいのですが､それくらい歴史ある大会｡さんさ踊りよりも遥かに長い｡毎年曜日に関係なく11月23日の勤労感謝の日に開催｡県南の一関から盛岡までを11区間で襷を繋いで縦断する市町村対抗の男子駅伝です｡10年近く前からこの日のﾎﾙﾂは､もはや義務的に休みとりました｡これだけ宣伝（言い訳）すれば休んでいいですよね 笑今年はﾜﾀｸｼは優勝を狙

▽梶ﾋﾟｴｰﾙの備忘録｡
●11/19 17:30
お仕事のお知らせ

▽ｲﾝﾀﾗｸﾃｨｳﾞ読書ﾉｰﾄ別館の別館
●11/16 14:57
この広告は､90日以上更新していないﾌﾞﾛｸﾞに表示しています｡

▽Greg Mankiw’s Blog
●11/14 01:26
Update: Here is the published version.

▽hiroyukikojimaの日記
●11/04 14:48
｢命題論理の完全性定理｣というのは､｢ﾄｰﾄﾛｼﾞｰは必ず証明できる｣という定理である｡もう少し詳しく説明しよう｡与えられた命題について､それを構成する命題変数にどんな真偽を割り当ててもその命題が真であるとき､その命題をﾄｰﾄﾛｼﾞｰ(恒真命題)と呼ぶ｡与えられた命題がﾄｰﾄﾛｼﾞｰであるなら､その命題は必ず､通常の(公理から出発する形式的な)推論規則によって証明できる､というものだ｡例えば､命題変数から生成される命題を考えてみる｡にどんな真偽の組み合わせ(4通り)を当てはめても､この命題は必ず真であるからﾄｰﾄﾛｼﾞｰである｡このとき､この論理式は推論規則で導出することができる｡(どのように導出されるかは､拙著『証明と論理に強くなる』で読んでくださいな)｡｢命題論理の完全性定理｣は､このようなことが一般的に成り立つことを主張している｡すなわち､｢形式的に証明できる命題は常に正しい｣だけではなく､