▽煎茶手帖 蝸盧 karo ●11/03 12:23 TEA＆CHA以外の呼び方をする茶茶道具を供養する日本各地の｢急須塚｣台湾の国立故宮博物院南院｜ｱｼﾞｱ茶文化展②日本の茶文化江戸時代の名産品図鑑｢日本山海名物図会｣に見る製茶法なぜ日本だけ､横手茶器の急須で茶を淹れるのか？平安時代の茶の記録②最澄ゆかりの日吉茶園
▽hiroyukikojima’s blog ●11/02 19:09 ｢命題論理の完全性定理｣というのは､｢ﾄｰﾄﾛｼﾞｰは必ず証明できる｣という定理である｡もう少し詳しく説明しよう｡与えられた命題について､それを構成する命題変数にどんな真偽を割り当ててもその命題が真であるとき､その命題をﾄｰﾄﾛｼﾞｰ(恒真命題)と呼ぶ｡与えられた命題がﾄｰﾄﾛｼﾞｰであるなら､その命題は必ず､通常の(公理から出発する形式的な)推論規則によって証明できる､というものだ｡例えば､命題変数か
