初心者向け

ヘッドスリップの動作

ヘッドスリップ まず下の動画を見てください。 パッキャオとタイソンのディフェンス この投稿をInstagramで見る 陸長濱(@r.npugilist)がシェアした投稿 この投稿をInstagramで見る 陸長濱(@r.npugilist)...
技術

脳震盪を起こすパンチを考える

腕を強くスイングする打法については他の記事を参照してください。今回はどこを狙うのかを考えていきます。まずはGGGを参考にして。 脳震盪パンチ ゴロフキン編 後でベテルビエフも見ていこうと思いますが、GGGのパンチでノックアウト、またはノック...
暇つぶしに見て

自然数の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(仮定)...
スポンサーリンク
トレーニング

パンチ強化の前鋸筋トレ

前鋸筋トレ 胸を閉じて腕を強く投げられるようにする為に我流で導いた、危険を承知で実践しているトレーニングです。 変則ディップス フォームについてコメントで言及されています。 コメントと概要にも補足していますが普通の人にはきっと、この練習は難...
暇つぶしに見て

自然数の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より...
よもやま話

不幸の正体 その2 自己喪失

何度も記事にしていますが。 不幸の正体は自己喪失 見知らぬ他人を批判し承認を得ようと藻掻く、幼児化した大人で溢れるSNS大衆社会には「幸福論」は必要な処方箋ではないかと思います。 自分の所有物にのみ集中する 他人の言動に注意を向けるのは人生...
暇つぶしに見て

1×0=0と1×1=1の証明

自然数の乗法 定義 自然数の加法は再帰的に、以下のように定義できる。すべての自然数 a に対して、a + 0 = aすべての自然数 a, b に対して、a + suc(b) = suc(a + b)1 := suc(0) と定義するならば、...
よもやま話

ボクシングの共通認識の崩壊

時代からの要求 新たな世界観を創ろう 共通認識=常識常識とは経済的合理、資本主義、民主主義、科学、日本人など、社会の大半がそれを理解しないまま無条件に合意し、正しいと受け入れてしまった幻想のこと。 社会に住む僕達が無自覚に持つ、社会への依存...
暇つぶしに見て

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を満たすような関係である...
技術

トーレス戦の技術的反省の共有

試合の反省かつ99%の人がが抱えている非合理な動きについての共有です。 僕はかなり改善されましたので、気にしてないと気が付かなくなってきましたが、後楽園ホールレベルだと100%できていません。僕はかなり気になってしまいます。 文字での表現が...
暇つぶしに見て

含意から三段論法を演繹

三段論法と仮定 証明 下のような論理式「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)...