数学とか 1+1=1×2の証明
自然数の加法と乗法定義自然数の加法は再帰的に、以下のように定義できる。1.すべての自然数 a に対して、a + 0 = a2.すべての自然数 a, b に対して、a + suc(b) = suc(a + b)1 := suc(0) と定義す...
数学とか 数学とか 偶数と奇数の述語論理の表現
なんとなくで述語論理の論理式を作ってみます。偶数と奇数を述語論理で表現してみます。我流なので悪しからず。述語論理の練習偶数∀k∈Ν∃x∈Ν(2k=x)任意の自然数kに対するある自然数xが存在する、それは2k=xを満たすような関係である任意に...
数学とか 含意から三段論法を演繹
三段論法と仮定証明下のような論理式「AならばBかつBならばC、ならばAならばCである」(A→B∧B→C)→(A→C)「AならばBかつBならばCかつCであるならば、AならばCである」(A→B∧B→C)∧A→C大枠の含意(A→B∧B→C)∧A→...
よもやま話 人の真のポテンシャルを開放する
23歳、100kg。ここから僕のプロキャリアはスタートしました。周囲にいるのはアマのエリート、4つも5つも若い。運動経験も乏しく、ボクシングは高校生の頃に1年程度やっただけですから、高校のアマ大会で傑出した成績を残した彼らに最初から敵うはず...
プライベート トーレス戦の感想
残るキャリアは微調整トーレス戦トーレスとの試合は判定で負けました。南米？チャンピオンで元世界ランカーのトーレスの実力を肌で感じました。僕はちょっとした差だと感じました。クドゥラはトーレスと比較してもハードパンチャーでしたし、トーレスのスピー...
数学とか 1+1=2の証明
1+1 =2の証明を定義から導きます。自然数の加法定義1.自然数 1 が存在する。2.任意の自然数 a にはその後者 (successor) の自然数 suc(a) が存在する（suc(a) は a + 1 の "意味"）。3.異なる自然数...
数学とか 述語論理の全称記号と存在記号
命題論理は一通り終わったので、発展形の述語論理へ進みます。ここから数学っぽくなります。全称記号と存在記号定義全称記号（ぜんしょうきごう、universal quantifier）とは、数理論理学において「全ての」（全称量化）を表す記号である...
トレーニング 全体を全体として感じる
バタフライエフェクトって知ってますか。考えるな感じろバタフライエフェクトバタフライ効果（バタフライこうか、英: butterfly effect）は、力学系の状態にわずかな変化を与えると、そのわずかな変化が無かった場合とは、その後の系の状態...
未分類 道具を道具として使う
生きる上で大切なことが書かれています。しろうさぎを追え仏教哲学僕がそうであったように、きちんと学ばなければ「煩悩を捨てろ」「この世は苦しみに満ちている」という仏教の教えは、厭世的で信者に廃人を要求しているようにも見えてしまいます。しかし、ブ...
数学とか 因果関係の認識と数学
因果関係による人の認識を抽象的に説明すると、前提が真なら常に結論も真となるよな命題の組合せと言えると思います。で、因果関係は原因と結果を勝手に結びつけて認識すること。因果関係による認識認識の例例)押した、だから動いた押した=A,動いた=BA...
数学とか 排中律の証明
排中律定義排中律（はいちゅうりつ、英: Law of excluded middle、仏: Principe du tiers exclu）とは、論理学において、任意の命題 P に対し"P ∨ ¬P"（P であるか、または P でない）が成...
よもやま話 ボクシングという檻から出る
執着が少しづつ削ぎ落とされる毎に、ボクシングが所謂ボクシングという形をとる必要がないことを感じるようになってきました。ボクシングに決まった形はない流体を流体として扱えるかパンチは大雑把にフック、アッパー、ストレートだけ。たったこれだけ？こん...