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

▽ﾊﾞｽﾞ部
●11/11 20:06
ﾊﾞｽﾞ部ﾒﾝﾊﾞｰの知見集私が外注記事に対して否定的な立場を取る理由2024.11.11ﾊﾞｽﾞ部ﾒﾝﾊﾞｰの知見集私が外注記事に対して否定的な立場を取る理由2024.11.11

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

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

▽日本ｼﾞｬｰﾅﾘｽﾄ教育ｾﾝﾀｰ / Japan Center of Education for Journalist
●10/16 11:44
2024-10-13美又共存同栄ﾊｳｽで第1回の｢ﾛｰｶﾙﾒﾃﾞｨｱまつり｣を行いましたﾛｰｶﾙﾒﾃﾞｨｱまつり日本ｼﾞｬｰﾅﾘｽﾄ教育ｾﾝﾀｰ（JCEJ）は､美又共存同栄ﾊｳｽで全国各地のﾛｰｶﾙﾒﾃﾞｨｱ実践者が集まる｢ﾛｰｶﾙﾒﾃﾞｨｱまつり｣を開催しました｡JCEJではﾛｰｶﾙﾒﾃﾞｨｱの皆さんとのﾌﾟﾛｼﾞｪｸﾄや｢ﾛｰｶﾙｼﾞｬｰﾅﾘｽﾄｶﾞｲﾄﾞ｣の出版に取り組んできました｡島根県浜田市に美又共存同栄ﾊｳｽを開設したことを機に､各地で奮闘している仲間と活動や悩みを共有し､学び励ましあう場をつくろうと初開催しました｡来場者の方からは｢それぞれの一つ一つは小さいけど､お互いが刺激しあい､励まし合う場になってたと思います｣との感想をいただきました｡小さなｽﾀｰﾄですが､みなさんと一緒に育てていきたいと思います｡ﾊｳｽは地域の方々が資金を出し合い､美⼜信⽤購買販売組合事務所としてつくられました