数学とか 有理数の間には無理数がある
無理数は有理数の間にぎっしりと詰まっているようです。ホントかよと。散歩中にその証明を閃きました。任意の有理数の間には無理数が必ず存在することを証明します。準備0<x<y⇒0<y-x=y+(-x)①①は加法律から導出できる加法の性質。乗法逆元...
数学とか よもやま話 汝、自身を知れ
モーフィアスと預言者は指導者としての態度が一貫しています。ウォシャウスキー姉妹が彼らに同じ言葉をしゃべらせたのは意図的だと思います。登場人物やネオの乗る船がザイオンであるなどマトリックスは新約聖書がモチーフです。救世主(ネオ)はイエス、モー...
トレーニング 単純化>複雑化
あえて簡単に考える複雑に考えるとリゴンドーのフットワークは難しそうに感じます。確かに実戦レベルは難しいでしょう。たたし、簡単に考えるならリゴンドーのそれは走る、歩くの延長線上。それは３歳児でもやれること。すなわち、シャドーボクシングでなら難...
技術 チェックフックのやり方
チメイウェザーとセリモフのチェックフックが同じ規則に従っているのが分かるかと思います。セリモフのボクシングは美しいので未見の方はぜひ実戦でセリモフのように使うのはかなり難しいでしょうが、動作だけならすぐにできるはずです。難しい場合は仰け反っ...
技術 リゴンドー神のフットワーク
最後に載せた動画も一緒に見てください。リゴ神や一流は歩いている、あるいは走っているのが分かるかと思います。特に赤いリングのスパーリングでの足捌きは所謂ランニングに見えます。ロープ際での左右の揺さぶりも歩行動作の延長にあるのが分かるかと思いま...
技術 のけ反りディフェンスと股関節ロック
1.股関節を内旋内転でロック2.みぞおちを潰す(胸椎後弯)1股関節の開閉についての記事で説明していますが、股関節の構造から、例えば骨盤が後傾すると、それに押された股関節は外転外転屈曲を起こすと推察できます。言葉としては三軸に定義されているだ...
よもやま話 お前は立派にやってるじゃあないか
私は結果"だけ"を求めてはいない結果は重要。結果を出せないと無力感を覚えてしまう。つまらなくなって続けられなくなる。とは言え結果だけにこだわると真実を見失う。学歴という結果だけに囚われてしまうと、知識はテストで使うものだと錯覚してしまう。現...
よもやま話 結果に執着すると生きる意味を失う
荒木哲学現代は、家庭や学校で電池としての生き方を子供の頃から徹底的に教え込まれます。「結果至上主義(キング・クリムゾン)」の亡霊に取り憑かれ、やる前から諦めることを子供の頃から繰り返すと、人の心は力を失い自己喪失を起こします。本来、子供は結...
数学とか ド・モルガンの法則の自然演繹
ド・モルガンの法則自然演繹て、少しも"自然"じゃないよな、と。形式主義vs直観主義。これで本気で喧嘩できる情熱すごい。数学の哲学において、直観主義（ちょっかんしゅぎ、英: Intuitionism）とは、数学の基礎を数学者の直観におく立場の...
数学とか 乗法の自然数の閉性
任意の乗法を自然数へ送る集合が帰納的集合である証明。A={y∈ℕ,x∈ℝΙx・y∈ℕ}①yを1と仮定するとx･1∈ℕ(乗法単位元)単位元は任意の自然数を自然数へ送るので、Aは1を含みます。定義を満たすy=aを選びます。x ･a∈ℕ(①)また...
数学とか 自然数の加法の閉性
帰納的集合定義は単純です。帰納的集合の要請は、1を持ち、かつ1と任意の元の加法が閉じていること。具体的には実数、正の実数、非負の実数、0を含む自然数、0を含まない自然数、正の整数、正の有理数などですかね。自然数公理主義では帰納的集合の共通部...
よもやま話 白いウサギを負え≒自分の人生を生きろ
全てが可能な世界マトリックスの最後。これまで述べてきたように、マトリックスは社会の参加者の一人一人の「こうあるべき」の集積が、その可能性を制約していることを表すメタファー。あるいは、一人の心の中で起こる「こうすべき」と「こうなりたい」の葛藤...