数学とか ⊢と⊨と意味論と形式論
二つ同じ様に出てくるけど、と思って調べてみると意味が異なる様子。 形式論と意味論 ⊨ 主に意味論的な帰結関係に使われる。 「Γ ⊨ φ」と書いて「Γの全ての論理式が真であるなら、論理式φが真である」を意味する。 「M ⊨ Γ」と書いて「(事...
数学とか 技術 あえて裸拳でミット打ち その二
ゲンコツが大切 パラエストラ天満長濱クラスの継続的参加者はカッコいいパンチが打てるようになってきていると感じていますがどうですかね。 細かいことは教えていません。 重視しているのは 1.握り≒ゲンコツ 2.肩甲骨ロック だけ。二軸スイングや...
トレーニング 裸拳トレ
パラエストラ天満にて。 ゲンコツ≒人差し指の付け根 を当てる感覚を掴む為に裸拳でミット打ちを行いました。 殆どの人は人差し指の第二関節などゲンコツ以外が当たり、赤くなっていました。 グラブを装着すると言葉で指定しても中々伝わりません。裸拳で...
よもやま話 思考スタイルと文化
論理的な思考とは 最近の疑問。 「普遍的な正しさ」とは何か。 もっと言うと、「正しさ」と「正しさを証明する正しい手順」とは何かという疑問。 このモヤモヤを晴らすべく日に二冊ほどよんでいます。で、面白い本を見つけましたので共有します。 僕の疑...
数学とか 矛盾からは何でも導ける証明
ふと、「矛盾からはどんな命題を導いても良い」と言える推論はどんなだろなと。 （数学的な意味での）矛盾の興味深い性質として、矛盾を含む体系においてはどんな命題を導くこともできる、というものがある Wikipedia そのような規則があると勝手...
よもやま話 ハンマーナオ勝利
ハンマーナオこと長岡が二度目の新人王予選を順調に勝ち上がっています。今回はダウン二つ奪い結果的には完勝。本人は納得していない様子ですが。勝って反省できるのは最も良い形じゃないかと思います。 ところで、日に日にハンマーナオに近づいてるような気...
数学とか 公理主義と無定義用語へのフワッとした感想
数学を学んでいると、数学は認識世界の話であり現実の話をしているのではないと、深く理解できます。当たり前と言えば当たり前なんですが、人の性質はそれを忘れさせます。 僕の興味の範囲が徐々に絞られていくのを感じ、またそれは証明の手続きや概念の創造...
よもやま話 歴史は韻を踏む
トランプ元大統領暗殺未遂に安倍元首相暗殺、欧州でも政治家が狙われています。義務教育の教科書で習いました。大戦の前には軍のクーデターや要人の暗殺が激増します。第一次世界大戦はサラエボ事件がきっかけでした。 これらの事件を起こす層は「ケーキが切...
技術 長濱式大腰筋パンチ
本日は長濱式のアッパーを練習しました。 要点は「大腰筋の収縮≒脇腹を潰す」こと。脇腹を潰して手打ちします。アッパーは脇腹を潰して手打ち。ボーリング玉を上へ投げるようなイメージです。 ロングフックは大腰筋の収縮で肩の打点を高めます。肩の可動性...
よもやま話 認知能力の差と会話の質
人の性格は、優しい、短気、卑屈などなど様々な言葉に翻訳されています。 最近、それらは単一の指標で説明することはできないものか？と思い立ち空想しています。 例えば電子機器の音量の調節は一つの変数をいじるだけで行えます。多種多様な音の高低も周...
よもやま話 自閉症ADHD過集中とフロー
自閉症ADHDは個性じゃね？ 行動遺伝学を掘り進めていると自閉スペクトラム症やアスペルガー症候群、ADHDなどの病気？に行き着きます。スペクトラム≒連続体≒グラデーションなので、性格や個性に近いとは思います。男なら程度の差はあれど自閉的な人...
運動理論 小胸筋ロック≒脇を締める
肩甲骨ロックの感覚を共有します。 今回は小胸筋に特化した感覚。 肩甲骨ロックと小胸筋 前鋸筋はスポーツでもよく聞きますが、小胸筋はあまり言及されません。 しかしながら僕の感覚としては前鋸筋と小胸筋は対で肩甲骨をロックしています。両方を鍛えな...