未分類 ベクトルの合成
ノルムと内積内積の定義: $\langle \mathbf{a}, \mathbf{a} \rangle = a_1^2 + a_2^2$ピタゴラスの定理による長さ: $\|\mathbf{a}\| = \sqrt{a_1^2 + a_2^...
未分類
未分類 未分類 腸腰筋とスポーツの技術 「スポーツの才能」
パンチ≒投擲ヒトはオーバースローする生物です。人体はその構造から帰納して、「投擲」に最適化されています。広背筋と大胸筋の上腕部のねじれは、長軸を持つ物体にジャイロ回転をかけて投擲していたことを示しています。解剖学的な「ねじれ」：あらかじめ巻...
未分類 ベルヌーイの不等式
対数の「その心は？」の記事で利用したベルヌーイの不等式で遊びます。AIに作ってもらった問題を解きながらベルヌーイの不等式の「その心は」を感じてみます。任意の整数 r ≥ 0 と全ての実数 x ≥ −1 に対し、次が成立する。$\displa...
未分類 「ジョー(顎)」≒顎関節
顎関節を狙え三半規管に加速度画加えられると足がフラフラし、ぐるぐるバット下ときのようになり、脳幹へせん断応力が加えられると脳と体の接続が切れる。いずれも顎関節から頬骨あたりに集中。上の揺れ方をしたら脳震盪じゃ済まない。障害が残る。直ぐに病院...
未分類 バカの法則
YouTubeはどしどしクソリプが送られてくるので、バカの研究が捗ります。上のコメントが生まれる規則を明らかにします。防衛機制（ぼうえいきせい、英: defence mechanism）は、受け入れがたい状況、または潜在的な危険な状況に晒さ...
未分類 論理和と論理積の分配法則 その4
引用の記事の続きです。(A∧B)∨(A∧C)→A∧(B∨C)とA∧(B∨C)→(A∧B)∨(A∧C)を証明して必要十分条件が成り立ちますが、後者の証明がされていませんでした。というわけで下の同値関係の証明に挑戦。A∧(B∨C)⇔(A∧B)∨...
未分類 素朴集合論に思いを馳せる
我流で負数の定義を考え続けると熱が出そうなので、素朴集合論で息抜きします。Aの部分集合Bとその差集合を考えます。人の認識を土台として図式化するならこう。これを定義します。Aという集合からBという集合を引く演算があってほしいですよね。日常な動...
未分類 1との乗法
昨日の交換法則には推論規則を満たさない欠点があったので、そこを修正するために試行錯誤していきます。今回はそこを修正すべく別の手段を考えてみます。1と任意の自然数の乗法についての定理を導きます。a×1=1×a=aが定義から導けるのか、を検証し...
未分類 一般化と∃除去の仮定の解消
存在除去は下のリンクの記事のような雰囲気の演算のことで、人の普遍的な認識を厳密化したものだと感じます。例えば「1より大きな数は存在する」というありふれた人の認識は、厳密には「2は1より大きな数は数である」という暗黙的な前提が元になっています...
未分類 含意の色んな変形
暇なんで思いついた変形をつらつら証明します。含意の同地変形A→B,B→C⊢A→C1.A→B,B→C2.(仮定)3.B(→除去)4.C(→除去)5.A→C(→導入)自然演繹に慣れてくると当たり前な気もしますが。とりいず同値変形が証明できました...
未分類 道具を道具として使う
生きる上で大切なことが書かれています。しろうさぎを追え仏教哲学僕がそうであったように、きちんと学ばなければ「煩悩を捨てろ」「この世は苦しみに満ちている」という仏教の教えは、厭世的で信者に廃人を要求しているようにも見えてしまいます。しかし、ブ...
未分類 夢と主観と客観とフロー
戦う上で避けては通れない壁。二人の自分の調和。最難関だがここを突破すれば道が開かれる。主観と客観の調和長濱説では意識は主観と客観に分けられます。俗に言う本能や潜在意識が主観、理性や顕在意識が客観。この二つが少しづつ調和し始めてから僕は大きな...