数学とか 1+1=2の証明
1+1 =2の証明を定義から導きます。自然数の加法定義1.自然数 1 が存在する。2.任意の自然数 a にはその後者 (successor) の自然数 suc(a) が存在する（suc(a) は a + 1 の "意味"）。3.異なる自然数...
2023-08
数学とか 
数学とか 述語論理の全称記号と存在記号
命題論理は一通り終わったので、発展形の述語論理へ進みます。ここから数学っぽくなります。全称記号と存在記号定義全称記号（ぜんしょうきごう、universal quantifier）とは、数理論理学において「全ての」（全称量化）を表す記号である...
トレーニング 全体を全体として感じる
バタフライエフェクトって知ってますか。考えるな感じろバタフライエフェクトバタフライ効果（バタフライこうか、英: butterfly effect）は、力学系の状態にわずかな変化を与えると、そのわずかな変化が無かった場合とは、その後の系の状態...
未分類 道具を道具として使う
生きる上で大切なことが書かれています。しろうさぎを追え仏教哲学僕がそうであったように、きちんと学ばなければ「煩悩を捨てろ」「この世は苦しみに満ちている」という仏教の教えは、厭世的で信者に廃人を要求しているようにも見えてしまいます。しかし、ブ...