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

▽ﾀｲﾑ･ｺﾝｻﾙﾀﾝﾄの日誌から
●10/19 01:54
BOMのﾚﾍﾞﾙとは何かBOM用語はなぜ分かりにくいか

▽IT戦記
●09/21 12:18
HDD ﾃﾞｰﾀｾﾝﾀ用の HDD の中古 42234 合計 28 TB｡ebay でﾃﾞｰﾀｾﾝﾀで使われてた中古 HDD 14TB を二個買った｡これまでもﾃﾞｰﾀｾﾝﾀｰ用の HDD を ebay で買ってきたけどとてもｺｽﾊﾟ良い

▽山本大＠ｸﾛﾉｽの日記
●09/04 06:08
2024-09-03令和の｢ｹﾞｰﾑばっかりしてないで本でも読みなさい｣僕らが子供の頃は､｢ﾃﾚﾋﾞばかり見ないで『本』でも読みなさい｣と言われた｡僕が子供に言ってるのは｢子供達よ『Youtube』ばっかり見てないで『ﾃﾚﾋﾞ』でもみなさい｣だ｡語彙力ｱｯﾌﾟには､YouTubeよりﾃﾚﾋﾞだ｡お気に入りの人ばかりの動画を見続けるYoutubeでは語彙力がそだってない｡そんなことを言う未来が来るとは思っていなかった｡...いや､少し思っていた｡うちらの親世代は｢『本』ばっかり読んでないで｣勉強しなさい or 働きなさい｡と言われてきたらしい｡僕らは､｢ﾃﾚﾋﾞばっかり見てないで､本でも読みなさい｣だった｡徐々に推奨ﾒﾃﾞｨｱが変わってる｡時代の変化を体感してる｡ｿﾌﾄｳｪｱ開発者の自分としては､子供にいうことに次がある｡｣｢『Youtube』ばっかり見てないで､『ｹﾞｰﾑ』でもしなさ

▽isologue −by 磯崎哲也事務所
●08/14 21:09
ﾌｪﾑﾄﾏｶﾞｼﾞﾝ(第799号) 2024年上半期＋αの総集編投稿日時: 2024年8月12日 投稿者: admin━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ﾌｪﾑﾄﾏｶﾞｼﾞﾝ（元isologue）2024.08.12（第799号）━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━■2024年上半期＋αの総集編━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━今週は､今年上半期〜8月上旬までの記事を一覧する｢総集編｣をお届けします｡2024年前半は､毎年定点観測している､上場までの資本政策VCはいかに株式を売却するか？の他､GP主導の継続ﾌｧﾝﾄﾞ（GP-led continuation fund ）ｱｽﾄﾛｽｹｰﾙの優先株式を取り上げました｡いつもと同様､これらは法令･税務や投資判断の助言を行うことを目的