暇つぶしに見て ∀除去練習問題
∀除去の理解が曖昧なので練習問題やります。やってれば何か掴んでくるだろうってことで。 全称除去 練習問題 その1 P(d) , ∀x(P(x) → (P(x) → Q(x))) ⊢ Q(d) 1.∀x(P(x)→(P(x)→Q(x))),P...
暇つぶしに見て 暇つぶしに見て 全称導入
所謂一般化ってやつじゃないなと。全称記号∀除去は別名「普遍汎化」とも呼ぶようです。 普遍汎化 定義 もし$\displaystyle \vdash P(x)$が導出されていれば、$\displaystyle \vdash \forall x...
よもやま話 コンプレックスと執着と機会損失
本題の前に大阪パーソナルトレーニング開催についての告知です。内容は受講者のご要望に応じて競技力向上のコツ、また僕の中長期で停滞を乗り越え、競技力を伸ばしていく考え方を共有させて頂きます。ボクシングであなたの内面を開放し、自己表現を実現するこ...
技術 かっこいいアッパーカット
ピログの続き。アッパーについて。僕はアッパーが好きなんで多用しますが、打てる選手は少ない。その理由はパンチの固定観念に囚われているから。その固定観念の入口はストレートであることが多いと予想しています。 僕は初心者にはアッパーから教えます。ア...
技術 ピログのかっこいいディフェンス その1
十数年前はGGGとピログは影の王者でした。今でこそGGGはメインストリームで大暴れし、ファンなら誰もが知っている怪物王者となりましたが、確か当時はセルヒオ・マルティネスがミドル級の主役で、GGGは見向きもされていませんでした。2chでドイツ...
技術 脳震盪を起こすパンチを考える その3
ゴロフキン、ベテルビエフとみていってもはや確信に近いのですが最後にKOにKOパンチャーデービスを見ていきます。 脳震盪パンチ デービス編 側頭骨を殴る 横からではなく、前方へ向かって側頭骨を殴ってます。 下からえぐってますが、反射的に顔をそ...
技術 脳震盪を起こすパンチを考える その2
GGGとベテルビエフは打法を参考にしているって理由だけで選んでいます。ロシアンスタイルが打法では一番好きなので。 脳震盪パンチ ベテルビエフ編 側頭骨を狙う GGGは打ち抜くような倒し方が多いですが、ベテルビエフは擦るような当て方で倒す率が...
初心者向け ヘッドスリップの動作
ヘッドスリップ まず下の動画を見てください。 パッキャオとタイソンのディフェンス この投稿を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より...