▽くるるの数学ﾉｰﾄ
●06/05 14:34
2025-06-04対集合の公理前回: 空集合の存在するﾓﾃﾞﾙ書き直し - kururu_goedel’s diaryrealize_or､realize_and前回書いた通り､できる限りsimpでﾓﾃﾞﾙの充足を外側での命題に書き換えられるようにしたい｡というわけで､orとandをrealizeするための定理を作る｡いや､realize_orは前回の時点であったけど簡単になったので載せ直す｡@[simp]theorem realize_or [LSet.Structure V] {n : ℕ} {φ ψ : LSet.BoundedFormula ℕ n} {s : ℕ → V} {xs : Fin n → V} : (φ ∨' ψ).Realize s xs ↔ φ.Realize s xs ∨ ψ.Realize s xs := by rw [FormulaOr]

▽書虫 -- 中国書籍ﾈｯﾄ書店
●06/03 00:05
大宋提刑官(全2册)6420円 張大千画集33450円 画説周易(共4册)9920円 通古斯人-薩満文化13540円早期道教史 ､ 天文史料匯編 ､ 経書版本 ､ 帛書老子校注 ､ 《谷梁》釈経学 ､ 河西方志考 ､ 図解敦煌舞 ､ 秦漢唐律令立法 ､ 仏教与晩唐詩 ､ 高句麗的政権 ､ 歴代宋詩選本 ､ 宋元拓本 ､ 蘇軾文物展 ､ 陸象山心学 ､ 番漢合時掌中珠 ､ 元史研究集刊 ､ 波斯中国風 ､ 《西遊記》版本 ､ 銭謙益年譜 ､ 王韜歴学三種 ､ 八旗承襲制度 ､ 光緒丁未政潮 ､ 近代重慶工業 ､ 張元済的生平 ､ 中共重大事件 ､ 林徽因全集 ､ 斗破蒼穹(天蚕土豆) ､ 歴代文論評選 ､ 訓詁学史 ､ 漢語新詞語 ､ 梵蔵対照詞典 ､ 蔵文文献選読 ､ 清代磁器海外貿易 ､ 花銭与民俗 ､ 西周早期金文 ､ 顔真卿楷書入門 ､ 中国画里的24節气 ､ 影神図

▽中学数学教材研究ﾉｰﾄ++
●03/27 12:34
2025-03-24読書ﾒﾓ：｢覚える｣と｢わかる｣｢覚える｣と｢わかる｣　──知の仕組みとその可能性 (ちくまﾌﾟﾘﾏｰ新書)作者:信原幸弘筑摩書房Amazonここのところの興味の一つ｢知性とは何か｣の系列で読んだ1冊｡何冊か並行して読んでいるが､新書なので風呂2回で読了｡第1章と第2章は私の問題意識にそった内容で特に目新しい部分は見当たらなかったが､すいすいと読めた｡第3章～第5章は､どうも書名から想像していたのとずれた内容で､あまり興味は引かれなかった｡ちょっと論理が雑すぎる気がしたが､新書でそれなりに詰め込みたかったという理由だろうか｡ひとつ気になったところ｡ここで｢途中の三つの式は何を表しているかはっきりしない｣と書いてある｡しかしは消しｺﾞﾑ3個では鉛筆3本より30円高いことを表しており､は全部鉛筆だった場合の代金を求めようとしている｡は全部鉛筆だった

▽ある大学研究者の悩み
●02/13 01:20
新着記事を受け取る

▽Red cat の数学よもやま話
●03/28 07:35
Red cat の数学よもやま話読者になる