makotanのｱﾝﾃﾅid:makotan 5/72ﾍﾟｰｼﾞ ▽ はてなﾀﾞｲｱﾘｰ - YAMDAS現更新履歴 ●11/06 10:51 週末のお出かけの記録（BOOK MEETS FUKUOKA､手塚治虫 ﾌﾞﾗｯｸ･ｼﾞｬｯｸ展）『AIの倫理学』と対になるﾏｰｸ･ｸｰｹﾙﾊﾞｰｸ『ﾛﾎﾞｯﾄ倫理学』邦訳が出ていた『ｻﾞ･ﾌﾞﾗｯｸｵﾆｷｽ』の作者にして､ﾃﾄﾘｽを世界的ﾋﾞｼﾞﾈｽにしたﾍﾝｸ･ﾛｼﾞｬｰｽの回顧録が来年出るｵｱｼｽ：ﾗｲｳﾞ･ｱｯﾄ･ﾈﾌﾞﾜｰｽ 1996.8.102度目のはなればなれ ▽ hiroyukikojimaの日記 ●11/04 14:48 ｢命題論理の完全性定理｣というのは､｢ﾄｰﾄﾛｼﾞｰは必ず証明できる｣という定理である｡もう少し詳しく説明しよう｡与えられた命題について､それを構成する命題変数にどんな真偽を割り当ててもその命題が真であるとき､その命題をﾄｰﾄﾛｼﾞｰ(恒真命題)と呼ぶ｡与えられた命題がﾄｰﾄﾛｼﾞｰであるなら､その命題は必ず､通常の(公理から出発する形式的な)推論規則によって証明できる､というものだ｡例えば､命題変数から生成される命題を考えてみる｡にどんな真偽の組み合わせ(4通り)を当てはめても､この命題は必ず真であるからﾄｰﾄﾛｼﾞｰである｡このとき､この論理式は推論規則で導出することができる｡(どのように導出されるかは､拙著『証明と論理に強くなる』で読んでくださいな)｡｢命題論理の完全性定理｣は､このようなことが一般的に成り立つことを主張している｡すなわち､｢形式的に証明できる命題は常に正しい｣だけではなく､ ▽ 早く人間に成りたｰい｡ ●11/04 08:59 韓国の国立中央博物館へ｡大充実の陶磁器をじっくり見る2回目の韓国旅行（後半から突然陶磁の話になる）ﾔﾎｰ！ 2月ぶりに韓国に行った ※今回も長くて自由すぎるため､明日のｺﾞﾐ出しの準備など全てのﾀｽｸが済んだ者もしくは何のﾀｽｸも完了してなさすぎて逆に暇を迎えた者だけに読んでほしい ◯1日目 心配性すぎて､手続き開始の2時間前に空港に着く もちろん搭乗口の…ﾔｽﾀﾞ彩即席の｢まだねむれないｽｰﾌﾟ｣｡ﾌﾞﾗｯｸﾍﾟｯﾊﾟｰが肝心2024.10.30（水）眠るばかりの毎日｡早起きができない｡夜は3時まで眠れない｡色々と､仕方がないのかもしれない｡元気がないわけではないから､いいやと思っている｡ 今日もいろんなものを捨て､必要なものを買い足した｡部屋が自分の好みになるにつれ､自分のなかの何かが満たされる…まだねむれないあらゆるできごとが脳内で勝手に短歌のﾘｽﾞﾑに変換される夏は本屋になりた ▽ 尾島さん ●11/02 19:19 没有找到站点〓的请求在Web服务器中没有找到对应的站点！可能原因：〓没有将此域名或IP绑定到对应站点!配置文件未生效!如何解决：检查是否已经绑定到对应站点，若〓认已绑定，请尝试重载Web服务；检查端口是否正〓；若〓使用了CDN产品，请尝试清除CDN缓存；普通网站访客，请联系网站管理员； ▽ Pragmatic Automation ●11/01 18:00 Questions?+1-303-893-0552Captcha security checkpragmaticautomation.com is for salePlease prove you're not a robotView Price ProcessingDedicated to customer care〓 HugeDomains.com. All rights reserved. ▽ KAI_REPORT ●11/01 04:58 さて（暇なので）衆議院選挙の予想でもしますか（3）投稿日:2024年10月31日by kaiとある事情で暇でなかったので､予想する時間がなかったのであります｡しかしながら､先月の以下のｴﾝﾄﾘｰに書きました通り､大方の予想通りの自民の大敗と相成ったのであります｡さて（暇なので）自民党総裁選の予想でもしますか（6）､投稿日:2024年9月28日ところがであります｡KAIにとって想定外の､受け皿になるはずの維新の一人負けであったのであります｡しかも､自民の減らした議席がそのまま立憲にいくなど､まったくもって想定外であったのであります｡この二つの想定外の原因は､多くの方々が指摘している通りであり､ﾏｽﾒﾃﾞｨｱによる偏向報道とﾃﾚﾋﾞしか見ない有権者によるものであったのであります｡維新の一人負けの原因の一つは､確かにこの原因があるのでありますが､一方で日本維新の会そのものに問題の本 4.<前10 6.次10> はてなｱﾝﾃﾅﾄｯﾌﾟ このﾍﾟｰｼﾞを友達に紹介 このﾍﾟｰｼﾞの先頭へ ﾍﾙﾌﾟ /お知らせ ﾛｸﾞｲﾝ 無料ﾕｰｻﾞｰ登録 はてなﾄｯﾌﾟ (c) Hatena 
