暇つぶしに見て 恒等式と恒偽式の定義と定理
恒等式と恒偽式（矛盾）の同値変形の定理について学びます。 恒等式と恒偽式 恒等式 【定義】ここでは古典命題論理における恒真式の定義を述べる。$\mathrm {Val}$ を命題変数の全体とする。$f:{\mathrm {Val}}\to ...
暇つぶしに見て 暇つぶしに見て 論理和と論理積の分配法則 その3
(A∨B)∧(A∨C)⇔A∨(B∧C)は同値変形できたので、次はコレ。(A∧B)∨(A∧C)⇔A∧(B∨C) 論理和と論理積の分配法則 証明 1.,(仮定1,仮定2)2.A,B(∧除去)3.B∨C(∨導入)4.A∧(B∨C)(∧導入)5.A...
プライベート 長濱陸Tシャツ完成
長濱陸Tシャツ完成しました。今のところ白だけなのですが、他のカラーの需要はありますか？ご希望があればSNS、メールフォームなどからご連絡ください。他の色でデザインできるか確認してみます。 ショップ↓ デザインはライター、作家、デザイナー、ヒ...
暇つぶしに見て 論理積と論理和の結合法則
結合法則の演繹 命題論理の結合法則を自然演繹の推論規則から導いてみます。結合法則は加法なら (A+B)+C=A+(B+C) と同値変形できる法則のことです。 論理積の結合法則の証明 1.A∧(B∧C)(前提)2.A,B∧C(除去)3.A,B...
プライベート 長濱拳法、世界へ殴り込み
試合が発表されました。8/11㈮ABEMAで無料で見られます。 相手はプエルトリコのファン・カルロス・トーレス選手。勝ちのほとんどがKO。 僕の哲学を証明する絶好の機会。 長濱拳法でスクールしてみせましょう。この試合を足がかりにさらなる高み...
選手分析 イギリス最速の拳 アダム・アジム
衝撃的な骨格、ハンドスピードの選手を発見しました。試合はライト、スーパーライト級くらいでやってますね。8勝（6KO）20歳のイギリス人。 アラブとアフリカとスポーツ 才能の宝庫 ハメド、ブルック、カーン。この人種は骨格が異様に強い。歴史的、...
未分類 運動の世界観が競技力を決める 泥沼の入り口に気をつけろ
フローも二軸も競技力を高める世界観です。そして世界観が何よりも大切だって話をします。 下の動画は長岡のBefore&Afterです。10分程度の説明と動作の練習でこれだけ動きは変化します。強く腕を振る為の原理を説明し、その世界観の元で数分間...
暇つぶしに見て 論理積と論理和の分配法則 その2
論理積と論理和の分配法則 その1の続き。 証明 (A∨B)∧(A∨C)→A∨(B∧C)の同値変形を目指します。 1.(A∨B)∧(A∨C)2.A3.A∨(B∧C)(∨導入)4.A→A∨(B∧C)(→導入)5.,C6.B∧C(∧導入)7.A∨...
運動理論 骨格立ちのまとめ 「床→脚」編
Youtubeのコメでまとめてほしいとあったので簡単にまとめます。あくまでも現時点でのまとめです。まとめを作ってなかったのは、常に変化するからです。 なので簡単に説明します。 骨格立ち 床→土踏まず→脛骨 まずは土踏まずに荷重します。 線の...
よもやま話 関係によって存在が定義される = 縁起
前回の動画の続きが昨日アップロードされていました。見てみたら僕の考えと似ている、というか同じでした。 関係により存在が生じる 縁起 上の動画では人の記憶を説明しています。記憶は細胞単体に記憶されているのではなく、細胞と細胞の関係によって定義...
よもやま話 「縁起」とフローと思考のパラダイムシフト
Youtubeで偶然発見した動画ですが、僕のフロー体験、思考のパラダイムシフトの話とそっくりでした。 フローは思考の転換 フローは「意識→無意識」から「無意識→意識」への思考の大転換。意識ではなく無意識が人の本質であるという解釈から生まれる...
運動理論 拳の握り方 その3
握り方その3。 拳の握り方 筋肉の緊張の違い こうやって握ると。 黒で塗りつぶした場所に質量が集まってきます。 これは実際に握って見てほしいのですが、小指薬指で握ると赤く塗りつした辺りが緊張するはずです。 腕をスイングすると左のようになるの...