数学とか 大小関係を我流で定義
前回、大小関係の>を演繹してよい規則を勝手に作りましたので、その規則を一般化できるか試してみます。我流大小関係復習記号⊢\vdash は、ターンスタイル（turnstile、回転扉）あるいはティー (tee) と呼ばれ、意味的には「生成する...
数学とか 数学とか 大小関係の雰囲気
まだ論理学の範疇をウロウロしてる段階ですが、参考にしている本の中で大小関係の説明があったので、その文脈で大小関係を僕が解釈できるか挑戦します。大小関係の雰囲気だけ加法とし大小関係本の中では下のような論理式で定義されています。3>1⇔∃x(1...
よもやま話 何故、本番で練習の再現ができないのか
再現性を高める弱さを認めない弱い人は弱いまま「練習ではあれほど上手くやるのに、何故試合になるとできなくなるのか」言われたこと、または感じたことありませんか。僕の頭を悩ませ続けた問題です。何故本番のプレゼンでしどろもどろに…何故本番のプロポー...
よもやま話 自然な感情を認める
自然な感情とフローカッコ悪さ、悔しさ自分より優れた人を見れば悔しく感じるのが人。その悔しさを認めず、勝負を挑むことから逃げて、「〇〇には興味がない」と偽りの妄想で自分を騙した時、人生への関心と責任は失われ、社会から存在が消えてなくなります。...
よもやま話 シン・エヴァンゲリオン 主観性と客観性、利己と利他
シンジは親のゲンドウの言いつけを守り、周りの大人の期待に応えようとする少年。「エヴァに乗れ」と言われたり「乗るな」と言われたり。乗ったら乗ったでめちゃくちゃになって。それでもATフィールド（自我）に守られながら成長。ゲンドウの目指す世界は神...
技術 手打ちver4の補足
下の記事で軽く触れた、胸を閉じると大胸筋が伸張されるって話の補足。長岡が「体感するまでは説明の意味が不明だった」とのことなので。手打ちver.4肩甲骨外転と上腕の内旋の連動肩甲骨と上腕の連動は広背筋によって引き起こされていて、それは橈骨を床...
トレーニング 手打ちver4
長濱式懸垂、ディプス、腕立て、腸腰筋レッグレイズ、反発ドリルなどを継続して約一ヶ月。胸椎の後弯と肩甲骨の外転が崩れることがなくなったてきました。手打ちver4からは本格的なフィジカルの強さが要求されます。ビフォーアフターを作ったので比較して...
未分類 一般化と∃除去の仮定の解消
存在除去は下のリンクの記事のような雰囲気の演算のことで、人の普遍的な認識を厳密化したものだと感じます。例えば「1より大きな数は存在する」というありふれた人の認識は、厳密には「2は1より大きな数は数である」という暗黙的な前提が元になっています...
よもやま話 「夫婦なのに」「友達なのに」「トレーナーなのに」大人の依存心
現代人の急所をこれでもかと突いてきます。人生を壊す依存心上の書籍は、僕が自己喪失と表現する現象の根本的な発生源を特定し、恋愛、結婚、友人関係といった日常生活を例に、「甘え=依存心」の危険性を説明してくれています。依存心が個人の人生と社会を破...
メンタル 埋没費用を取り戻したい感情≒決意
ふとそう感じました。決意の強さって埋没させた費用に比例するんじゃね？って。決意の強さと埋没費用決意≒闘争本能三日間徹夜した程度のと一ヶ月間準備したのとでは決意の強さが違いますよね。僕は時間と金を使った程度が大きくなるに連れて決意が固くなって...
技術 胸を閉じるとパンチが強くなる理由
ユーチューブの質問の答えを考えてみていきます。下の動画のように胸を閉じて、つまり肩甲骨の外転を保って殴ると腕が強くスイングされます。大きく肩甲骨を使った方がエネルギーが高そうってのは直観として間違ってはいないとは思います。ただ、実際は肩甲骨...
数学とか 一般化の雰囲気
∃除去の話の続き。∃除去、導入の推論規則を読んだだけだと、どうしてそれが必要なのかが感じられない。なんとなく、人が法則を一般化させる認識が根底にはあるんだろうな、とは感じられますが、しっくりはこない。一般化の雰囲気参考にしている本にこんな記...