▽[N]ﾈﾀﾌﾙ - ﾌﾞﾛｸﾞ
●11/23 03:39
【Kindleｾｰﾙ】最大50%ｵﾌ･9,000冊以上｢秋田書店 ﾌﾞﾗｯｸﾌﾗｲﾃﾞｰ Kindle本ｾｰﾙ｣片田舎のおっさん､剣聖になる･僕の心のﾔﾊﾞｲやつ･しあわせは食べて寝て待て･海が走るｴﾝﾄﾞﾛｰﾙ･ｼｸﾞﾙｲ･弱虫ﾍﾟﾀﾞﾙなど（12/6まで）2024.11.22ｾﾌﾞﾝｲﾚﾌﾞﾝ【ｾﾌﾞﾝｲﾚﾌﾞﾝ】｢埼玉ゆかりの味 かてめしおむすび｣埼玉県限定のおむすびが想定外に旨いじゃないか2024.11.22Apple整備済製品【Apple Watch整備済製品】Apple Watch Series 9･Apple Watch SE･Apple Watch Ultra･Apple Watch Ultra 2【2024年11月22日】2024.11.22食べるﾆｭｰｽ【松のや】一本揚げ｢丸太ﾋﾚかつ｣発売（11/27から）2024.11.22【Kindle Unlimited】3か月

▽不倒城
●11/13 15:15
(11/11)不倒城を初めて20年経ちました始めたばっか(14)2024年11月(1)不倒城を初めて20年経ちました経ってしまいました｡このﾌﾞﾛｸﾞを始めたのが2004年11月11日なんで､今日でちょうど20年です｡結構前ですよね｡開設して一本目の記事｢いつの間にか20年経っていた｣というのもまあまあびっくりなんですが､それ以上に｢逆転裁判3が出てから既に20年経っている｣という方が衝撃的ですよね｡20年前ってまだGBAの時代だったのかｰ｡あと､ﾆﾝﾃﾝﾄﾞｰDSが発売したのがちょうど2004年の11月ですね｡まあ､別に20年間毎日こつこつと更新し続けたわけでもなく､なんか書きたいことを思いついた時その場で適当に書くというﾌﾞﾛｸﾞ運営をしているだけなので､そんな大した話でもないんですが､それでも｢20年経ってまだﾌﾞﾛｸﾞを辞めていない｣というのはそれなりにしぶとい部類に入るのではな

▽Imamuraの日記
●11/11 08:41
2024-11-08ｷｰﾎﾞｰﾄﾞのｲﾍﾞﾝﾄ｢天ｷｰ7｣に参加したｷｰﾎﾞｰﾄﾞ 自作 DIY

▽内田樹の研究室
●11/08 23:01
内田樹選集今日はこれから病院ですい臓がんの切除手術の日程打ち合わせである｡手術が無事に終わったとしても､もう74歳であるから､相...2024-11-08 vendredi韓国の出版社企画で｢無知の楽しさ｣という本が出た｡韓国の編集者や訳者の朴東燮先生からの質問に私が答えて一冊の本になったの...

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