keraのｱﾝﾃﾅ - はてなｱﾝﾃﾅ

▽I Love Networks
●11/14 17:02
Email ThisBlogThis!Share to XShare to FacebookShare to PinterestEmail ThisBlogThis!Share to XShare to FacebookShare to PinterestEmail ThisBlogThis!Share to XShare to FacebookShare to PinterestEmail ThisBlogThis!Share to XShare to FacebookShare to PinterestEmail ThisBlogThis!Share to XShare to FacebookShare to PinterestEmail ThisBlogThis!Share to XShare to FacebookShare to PinterestEmail This

▽Rudy’s Blog
●11/13 22:01
Reading “Big Germs” at SF in SF.This is the text of “Big Germs,” a strongly anti-gun story that I read at the SF in SF gathering in San Francisco on Sunday, June 23, 2024. This post appears on Medium as well. And you can hear a podcast version. One more option is that you can read a longer version of “Big Germs” that appeared in BoingBoing on May 22, 2024.This is a story I’ve always wanted to w

▽flashrod
●11/08 14:06
行動すれば夢は実現可能だし､やめなかったことが力になる夢だった焼き菓子屋さんをｵｰﾌﾟﾝしたよ※ｵｰﾌﾟﾝしたのはﾎﾟｯﾌﾟｱｯﾌﾟｼｮｯﾌﾟであり常設店舗ではありませんが次回もやる予定です！以前にも書いたが､ｺﾛﾅ禍のﾎｰﾑﾍﾞｲｷﾝｸﾞﾌﾞｰﾑが終わるころにｵｰﾌﾞﾝﾚﾝｼﾞを購入したのがきっかけでﾊﾟﾝや焼き菓子をせっせと作っていた｡夫（当時は恋人だったが…A Song for you“この先食べるほっけは絶対に絶対に全部これが良い”おいしいもの忘備録(室蘭･函館編)9月下旬｡3泊4日で室蘭→函館を訪れていた｡かれこれ5回目の北海道だったわけだが､今回もおいしいものと巡り会う機会に恵まれたので､記憶に残っているおいしいものたちを選出してみたくなった｡未だに北海道のごはんたちが恋しくて仕方がないので､切なそうにしている…鯨を飲む姪は2本の脚で歩く､俺は2本のﾀｲﾔを転がす免許を取る｡止まる

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