数学とか 自然数の0×x=0の証明
x×0=0は定義通り。0×x=0証明数学的帰納法を用います。x=0の場合は定義通り。1.0×02.0…(1)x=1の場合1.0×1(仮定)2.(0×0)+0(定義)3.0+0(1)より4.0…(2)x=2の場合1.0+2(仮定)2.(0×1...
数学とか トレーニング パンチ強化の前鋸筋トレ
前鋸筋トレ胸を閉じて腕を強く投げられるようにする為に我流で導いた、危険を承知で実践しているトレーニングです。変則ディップスフォームについてコメントで言及されています。コメントと概要にも補足していますが普通の人にはきっと、この練習は難しいでし...
数学とか 自然数の0+x=xの証明
x+0=xは定義されていますが、逆バージョン0+x=xは証明定義されていませんのて証明していきます。0+x=x証明1.0+0(仮定)1.0(加法定義)3.0+0⇔0…14.0+1(仮定)5.S(0+0)(加法定義)6.S(0)(1より)7....
よもやま話 不幸の正体 その2 自己喪失
何度も記事にしていますが。不幸の正体は自己喪失見知らぬ他人を批判し承認を得ようと藻掻く、幼児化した大人で溢れるSNS大衆社会には「幸福論」は必要な処方箋ではないかと思います。自分の所有物にのみ集中する他人の言動に注意を向けるのは人生の無駄使...
数学とか 1×0=0と1×1=1の証明
自然数の乗法定義自然数の加法は再帰的に、以下のように定義できる。すべての自然数 a に対して、a + 0 = aすべての自然数 a, b に対して、a + suc(b) = suc(a + b)1 := suc(0) と定義するならば、su...
数学とか 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→...
よもやま話 時代の潮目
今は人類史の革命期。欧米対中露中東連合という構図の国家間の階級闘争が行われ、さらにそれぞれの国家内部でも下位が上位に挑戦する階級闘争が行われています。YouTubeの個人が巨大権力のメディアに挑戦し、チクトクやインスタのインフルエンサーが芸...
よもやま話 人の真のポテンシャルを開放する
23歳、100kg。ここから僕のプロキャリアはスタートしました。周囲にいるのはアマのエリート、4つも5つも若い。運動経験も乏しく、ボクシングは高校生の頃に1年程度やっただけですから、高校のアマ大会で傑出した成績を残した彼らに最初から敵うはず...
よもやま話 ボクシングをやる理由の一つ
会場では色んなボクシングファンに声をかけてもらいますが、やっぱり子供達からの声援が何よりも嬉しいです。これから未来を作っていこうとする彼らの助けになれたと思えるだけで力が湧いてきます。戦う魂を次世代へ伝えることは、男として、ボクサーとして、...
プライベート トーレス戦の感想
残るキャリアは微調整トーレス戦トーレスとの試合は判定で負けました。南米？チャンピオンで元世界ランカーのトーレスの実力を肌で感じました。僕はちょっとした差だと感じました。クドゥラはトーレスと比較してもハードパンチャーでしたし、トーレスのスピー...