▽読書記録ChangeLog
●11/09 08:29
このﾄﾞﾒｲﾝの購入ﾄﾞﾒｲﾝ dkiroku.com は売り出し中です!This webpage was generated by the domain owner using Sedo Domain Parking. Disclaimer: Sedo maintains no relationship with third party advertisers. Reference to any specific service or trade mark is not controlled by Sedo nor does it constitute or imply its association, endorsement or recommendation.

▽Chikirinの日記
●11/06 05:50
ｻﾏﾗﾝｶ（ｽﾍﾟｲﾝ）のﾐｭｰｼﾞｱﾑ紹介

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

▽天漢日乗
●09/29 15:02
Tweet2024-09-28石破茂自民党新総裁誕生 自民党は選挙で勝てるのかｹﾞﾙ長官こと石破茂衆院議員が､昨日の自民党総裁選挙の決選投票で高市早苗衆院議員を逆転､第28代自民党総裁となった｡市場は敏感に反応､いきなり円ﾄﾞﾙ相場が3円上るという､全然歓迎されてない状況｡たった1人で円を3円上げた男というのが､当選後初の業績である｡石破茂新総裁というと､ﾈｯﾄで｢ｹﾞﾙ長官｣と渾名されただけのことはあり､いろいろと特徴がある｡1. 独特な話し方 初当選のころから｢ねっとり｣とした口調が変わらない2. 鐵でﾐﾘｵﾀ ﾐﾘｵﾀで小泉政権時代に防衛庁長官となる(ただし､現場はﾐﾘｵﾀを歓迎しなかった由)3. 実は2世議員 師匠は田中角栄4. 実は4代目のﾌﾟﾛﾃｽﾀﾝﾄといったあたりか｡ともかくも､あの独特の口調と表情が禍いして､一般的な人気が低い｡今年99歲の母も､な

▽Shimamaro’s Room
●09/14 19:01
7 years ago (1,833 notes)