よもやま話 あるがままシャドー
僕が手応えを感じている練習「あるがままシャドー」。大切なのは「形」ではなく「流れ」。ガードや打法にボクシングが宿るのではなく、流れにボクシングは宿ります。つまり縁起。
あるがままシャドーは心から湧き上がってくる直...
よもやま話 股関節おじさんの勉強部屋 存在除去の認識
存在除去
定義
∃x∈X:A(x)⊢A(c)WIIS
命題Aを満たす集合Xの元xが存在する場合、∃の除去は妥当な推論である。またしても分かったような分からんような。
証明の途中で命題の定義を満たすような何がが演繹で...
トレーニング 長濱式腕立て伏せ
肩甲骨外転を保ったまま、主観的には「肩甲骨を固定して」腕の曲げ伸ばしを行います。胸椎を後弯させる姿勢でないと肩甲骨の強い外転が起こりません。前鋸筋や小胸筋が弱いと胸椎の後弯と肩甲骨の外転が保てず肩甲骨が起き上がります。
...
よもやま話 感じるがままの流れに逆らわない練習
トーレス戦から価値観の根本的な見直しをしてます。筋トレも積極的にやるようになりました。と言っても現時点でやっているのは長濱式懸垂と反発ドリルだけですけどね。基本的にはベンチプレス、スクワット、デッドリフトのようなメジャー種目はやらず、僕が...
よもやま話 「疲れた」と「飽きた」
ふと思いついたことをツラツラと書きます。
疲れた≒飽きた
子供のONとOFF
僕たち大人が抱く「疲れた」って観念は、生理的には「飽きた」って感情なのではないかと。
子供って疲れないんですよ。ONとOFFだけ。お子さ...
股関節おじさんの勉強部屋 全称除去の定義と練習問題
述語論理における全称記号∀を取り除く推論規則を見ていきます。
別名を普遍例化と呼ぶようです。
全称除去(普遍例化)
定義
例:「全ての犬は動物である。ポチは犬である。従って、ポチは動物である」ある項 a について公...
技術 無駄のない破壊的なパンチ
マティアスはやべえ。
スブリエル・マティアスの手打ち
至近距離の打法
マティアスのパンチは見てもらうと早い。
無駄が少なく、体のブレがほとんどありません。相手の選手は腕を体重移動で引っ張っているので比較...
股関節おじさんの勉強部屋 全称導入の練習問題
やりながら全称導入の理解を深めます。
全称導入
∀x∀yP(x, y) ⊢ ∀y∀xP(x, y)
1.∀x∀yP(x, y)(前提)2.∀yP(x,y)(∀除去)3.P(x,y)(∀除去)4.∀xP(y)(∀導入)5....
股関節おじさんの勉強部屋 全称導入と仮定の解消
∀導入定義の人の認識を結びつけるために藻掻きます。
全称導入と仮定の解消
定義
これが全称導入の定義
A(c)⊢∀x∈X:A(x)WIIS
A(c)の論理式を満たすようなcは集合Xの任意の要素xに対しても成立...
トレーニング 自信の認識と対応能力
「自信」て曖昧で掴みどころがありません。
「自信を持て！」と言われても何のことやら。「できたらやっとるわ」と僕は困り果てるばかりでした。というわけで、今回は「対応力」で人の「自信がある」という認識を説明してみます。
結論を言う...
股関節おじさんの勉強部屋 含意の結合法則
結合法則は(A∨B)∨C⇔A∨(B∨C)のようなかっこの位置を入れ替えても意味が変わらない法則。含意にも成り立つのか確かめてみます。
含意の結合法則
証明
1.(A→B)→C(仮定)2.¬(¬A∨B)∨C(同値変形)3....
未分類 含意の色んな変形
暇なんで思いついた変形をつらつら証明します。
含意の同地変形
A→B,B→C⊢A→C
1.A→B,B→C2.(仮定)3.B(→除去)4.C(→除去)5.A→C(→導入)
自然演繹に慣れてくると当たり前な気もしますが...