むしろ　ﾏｲﾎﾟｰﾀﾙ - はてなｱﾝﾃﾅ

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

▽ﾃﾞｻﾞｲﾝの現場小林章の｢ﾀｲﾌﾟﾃﾞｨﾚｸﾀｰの眼｣
●11/02 19:19
台北の学校の壁に書かれた漢字台北市を歩き回っていて､この学校の壁に書かれた漢字がきれいなのでしばらく立ち止まって眺めていました｡近寄ってみると､けっこう工夫を凝らしていることがわかります｡これなんかも､自分の見ている木の葉が文字の中のものなのか歩道に落ちているものなのかわからなくなってきました｡# by type_director | 2024-11-01 21:01 | Comments(0)台湾で見つけた私の書体 Magnifico先週の金曜から日曜にかけて､台湾に行っていました｡台北市の中心部を歩いていると…数字の部分に､私の書体 Magnifico が使われていました｡

▽ﾛｰﾘﾝｸﾞ廻し蹴り
●11/01 08:46
2024-10-31第74回 2024秋調査＠ｱﾆﾒ調査室（仮）ｱﾆﾒまとめｱﾆﾒ調査室（仮）さんからお誘いｺﾒﾝﾄを頂いていた終了番組評価に参加します｡今回の私の評価対象は17+0/61+1作品です｡最近はweb配信ﾏﾝｶﾞを読むのに時間を取られて､ｱﾆﾒ視聴時間をあまり捻出できていないですね｡とりあえず続編はなんとか見ている感じですが､もうちょっと視聴本数を増やしたいと思っています｡2024秋調査(2024/7-9月期､終了ｱﾆﾒ､61+1作品) 第74回01,義妹生活,x02,現代誤訳,x03,異世界失格,x04,ｻﾞ･ﾌｧﾌﾞﾙ,x05,ﾗｰﾒﾝ赤猫,x06,疑似ﾊｰ

▽iPhoneｱﾌﾟﾘをおすすめするAppBank
●10/31 09:06
Yahoo!ｶｰﾅﾋﾞ､ｷｬﾗｸﾀｰの音声案内でﾄﾞﾗｲﾌﾞが楽しめる｢推しﾄﾞﾗ｣機能を提供開始！LINEﾔﾌｰ株式会社は10月28日､同社が提供する基本無料で利用可能なｶｰﾅﾋﾞｱﾌﾟﾘ｢Yahoo!ｶｰﾅﾋﾞ｣（iOS版､Android版）において､月額税込550円でｷｬﾗｸﾀｰによる音声案内が楽しめる｢推しﾄﾞﾗ｣機能の提供を開始したと発表しました｡本機能の第1...2024.10.31ﾆｭｰｽ

▽ｲﾃﾞｨｱ：情報ﾃﾞｻﾞｲﾝと情報ｱｰｷﾃｸﾁｬ
●10/30 07:43
WordPress始める前にWordPressへようこそ｡始める前に､以下の項目を知っておく必要があります｡ﾃﾞｰﾀﾍﾞｰｽ名ﾃﾞｰﾀﾍﾞｰｽのﾕｰｻﾞｰ名ﾃﾞｰﾀﾍﾞｰｽのﾊﾟｽﾜｰﾄﾞﾃﾞｰﾀﾍﾞｰｽﾎｽﾄﾃｰﾌﾞﾙ接頭辞 (1つのﾃﾞｰﾀﾍﾞｰｽに複数の WordPress を作動させる場合)この情報は wp-config.php ﾌｧｲﾙの作成に使用されます｡もし何かが原因で自動ﾌｧｲﾙ生成が動作しなくても心配しないでください｡この機能は設定ﾌｧｲﾙにﾃﾞｰﾀﾍﾞｰｽ情報を記入するだけです｡ﾃｷｽﾄｴﾃﾞｨﾀｰで wp-config-sample.php を開き､ﾃﾞｰﾀﾍﾞｰｽ情報を記入し､wp-con