よもやま話 ブッ殺すと心の中で思ったならッ！
「ブッ殺す」…そんな言葉は使う必要がねーんだ。なぜならオレやオレたちの仲間はその言葉を頭の中に思い浮かべた時には！実際に相手を殺っちまってもうすでに終わってるからだッ！だから使った事がねぇーッ「ブッ殺した」なら使ってもいいッ！その時スデに行...
よもやま話 
運動理論 姿勢と連動性
最近は何度も記事にしている、みぞおちを潰す（骨盤前傾&胸椎後弯を起こす）姿勢について動画を使って簡単に説明します。 胸椎の後弯と腕のスイング 何故胸を閉じるのか。下の動画が分かり易いと思います。同じような姿勢を作って腕を振ってみてください。...
よもやま話 「正しさ」という檻、搾取の構造
人の社会構造 リスクを取れる人、取れない人 義務教育で学んだと思いますが。 端的に言うと経済は、リスクを取れる人がリスクを取りたくない人を使役する上手さを競うゲームです。 資本家が株式会社の所有者で、彼らが経営者を選び、経営者が従業員を選び...
暇つぶしに見て 全称命題と存在命題の関係
wikiにこうあります。 全称命題は、存在命題の否定と論理的に等値である。Wikipedia これを確かめたい。 全称命題否定と存在命題 証明 wikiの文章だけだと意味が捉えにくいので、僕なりの解釈で翻訳してみると恐らくは「命題Pを満たす...
よもやま話 あるがままシャドー
僕が手応えを感じている練習「あるがままシャドー」。大切なのは「形」ではなく「流れ」。ガードや打法にボクシングが宿るのではなく、流れにボクシングは宿ります。つまり縁起。 あるがままシャドーは心から湧き上がってくる直感、体の生み出す力学的、生理...
暇つぶしに見て 存在除去の認識
存在除去 定義 ∃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.P(y,x)(∀導入...
暇つぶしに見て 全称導入と仮定の解消
∀導入定義の人の認識を結びつけるために藻掻きます。 全称導入と仮定の解消 定義 これが全称導入の定義 A(c)⊢∀x∈X:A(x)WIIS A(c)の論理式を満たすようなcは集合Xの任意の要素xに対しても成立する。cは全てのXの要素を表現す...