▽ほぼ日刊ｲﾄｲ新聞
●11/23 04:04 友人経由で知ったんですけど，いいですね！おもしろい！
･｢礼儀は､じぶんを守ってくれる｣ということばを､そういえば何度か聞いた｡きっといろんなところで､いろんな人に受け継がれて､生き方の｢知恵｣として伝わっているのだろうと思う｡昔のじぶんにも､いまのじぶんにも教えてやりたいと思う｡礼儀は守るべきもの､と教わったときには反発していた｡礼儀を守っているように見える人が､実際にどの人なのか思い当たらなかった｡礼儀を守っていていい感じだな､と思えるような人も､どこにいるだれなのだろうという感じだった｡だんだん､大人に近づいてくると､ﾄﾞﾗﾏや小説などのなかに､礼儀を守っている人が登場するのを知ることになる｡ただ､少年や青年が興味を持って惹かれるのは､礼儀を守らない主人公のほうだった｡かっこいいというｲﾒｰｼﾞのなかには､｢礼儀なんか気に留めない｣という姿勢があった｡そういうﾋｰﾛｰも魅力的だったけれど､さまざまな理不尽

▽ｽﾗｯｼｭﾄﾞｯﾄ･ｼﾞｬﾊﾟﾝ: ｱﾚｹﾞなﾆｭｰｽと雑談ｻｲﾄ
●11/22 07:13
雑談用ｽﾄｰﾘｰ [3] 833

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

▽大西科学
●04/07 05:43 ｼﾞｬｯｷｰ大西さんの雑文ｻｲﾄ． 600 を超える雑文が，あなたを待ってます．
最近の研究から24.4.6最終更新日　2024年4月6日

▽San Jose 3.
●03/28 10:09 理系の元大学院生，taky さん (真魚さんのｱﾝﾃﾅで知った) の日記．
taky blog 931 edition読者になる