未分類 一般化と∃除去の仮定の解消
存在除去は下のリンクの記事のような雰囲気の演算のことで、人の普遍的な認識を厳密化したものだと感じます。 例えば「1より大きな数は存在する」というありふれた人の認識は、厳密には「2は1より大きな数は数である」という暗黙的な前提が元になっていま...
未分類 よもやま話 「夫婦なのに」「友達なのに」「トレーナーなのに」大人の依存心の話
現代人の急所を看破し、痛いところをこれでもかと突いてきます。 人生を壊す依存心 僕が自己喪失と表現する現象の根本的な発生源を特定し、恋愛、結婚、友人関係といった日常生活を例に甘え=依存心の危険性を説明してくれています。 依存心が個人の人生と...
メンタル 埋没費用を取り戻したい感情≒決意
ふとそう感じました。決意の強さって埋没させた費用に比例するんじゃね？って。 決意の強さと埋没費用 決意≒闘争本能 三日間徹夜した程度のと一ヶ月間準備したのとでは決意の強さが違いますよね。 僕は時間と金を使った程度が大きくなるに連れて決意が固...
技術 胸を閉じるとパンチが強くなる理由
ユーチューブの質問の答えを考えてみていきます。下の動画のように胸を閉じて、つまり肩甲骨の外転を保って殴ると腕が強くスイングされます。 大きく肩甲骨を使った方がエネルギーが高そうってのは直観として間違ってはいないとは思います。 ただ、実際は肩...
数学とか 一般化の雰囲気
∃除去の話の続き。∃除去、導入の推論規則を読んだだけだと、どうしてそれが必要なのかが感じられない。なんとなく、人が法則を一般化させる認識が根底にはあるんだろうな、とは感じられますが、しっくりはこない。 一般化の雰囲気 参考にしている本にこん...
よもやま話 願望は言葉にするな
言葉にしていいのは決意だけ。 これは僕の生き方であり、願望を実現させるための長濱説です。 下の記事でもお話しましたが、願望は依存心の別の側面で、行動を約束する決意とは根本的に現実への作用が異なります。そして世の中に溢れているのは願望です。 ...
よもやま話 ブッ殺すと心の中で思ったならッ！
「ブッ殺す」…そんな言葉は使う必要がねーんだ。なぜならオレやオレたちの仲間はその言葉を頭の中に思い浮かべた時には！実際に相手を殺っちまってもうすでに終わってるからだッ！だから使った事がねぇーッ 「ブッ殺した」なら使ってもいいッ！ その時スデ...
運動理論 姿勢と連動性
最近は何度も記事にしている、みぞおちを潰す（骨盤前傾&胸椎後弯を起こす）姿勢について動画を使って簡単に説明します。 胸椎の後弯と腕のスイング 何故胸を閉じるのか。下の動画が分かり易いと思います。同じような姿勢を作って腕を振ってみてください。...
よもやま話 「正しさ」という檻、搾取の構造
人の社会構造 リスクを取れる人、取れない人 義務教育で学んだと思いますが。 端的に言うと経済は、リスクを取れる人がリスクを取りたくない人を使役する上手さを競うゲームです。 資本家が株式会社の所有者で、彼らが経営者を選び、経営者が従業員を選び...
数学とか 全称命題と存在命題の関係
wikiにこうあります。 全称命題は、存在命題の否定と論理的に等値である。 Wikipedia これを確かめたい。 全称命題否定と存在命題 証明 wikiの文章だけだと意味が捉えにくいので、僕なりの解釈で翻訳してみると恐らくは「命題Pを満た...
数学とか 存在除去の認識
存在除去 定義 ∃x∈X:A(x)⊢A(c)WIIS 命題Aを満たす集合Xの元xが存在する場合、∃の除去は妥当な推論である。またしても分かったような分からんような。 証明の途中で命題の定義を満たすような何がが演繹できたらってことなのだと思い...
トレーニング 長濱式腕立て伏せ
肩甲骨外転を保ったまま、主観的には「肩甲骨を固定して」腕の曲げ伸ばしを行います。胸椎を後弯させる姿勢でないと肩甲骨の強い外転が起こりません。前鋸筋や小胸筋が弱いと胸椎の後弯と肩甲骨の外転が保てず肩甲骨が起き上がります。 イメージのような形に...