数学とか 割り算
公理主義実数論の立場から除法≒割り算を考えます。 除法 実数 x の正整数 n 乗は、素朴には、n 個の x を掛け合わせたものである。厳密には、次のように再帰的に定められる。 (∗)x¹:=x, (∗∗)xn+1:=xⁿ×x(n≥1) ....
数学とか 技術 ロマステップまでの文脈
全体で一つ システムは全体で一つ。 下に載せた動画は、僕がその意味を認識できる部分に"勝手に"分解しています。 従って、意味のない部分に分解してしまってる可能性、ないしは大切な要素を見落としている可能性を否定できません。 あくまでも、僕の目...
よもやま話 大規模言語「私は誰だ。ここは何処だ。」
ヒト「大規模言語って人みたいだな...。」 ヒト「はて、私が大規模言語ではない保証はどこだ？画面の外から誰かに見られているのではないか？記憶が存在の証明？その記憶が作られた可能性は？」 ヒトor大規模言語「私を『私である』と証明してくれるも...
トレーニング 殴ると思ったなら…！
既に手打ちは終わったているんだッ！ 下の動画は手打ちを強化するイメージ。ないしはリズム。 ワンツー⇒タン・タンでなく、ワツー⇒タタ。 骨格が強い⇒硬いピンポン玉⇒素早く反発⇒タタ 骨格が弱い⇒柔いピンポン玉⇒鈍い反発⇒タンタン 大半は骨格が...
数学とか 同型写像と群
同型写像と群 f(e)=f(e･e)=f(e)･f(e)(群と同型写像) f(e)･f(e)=f(e)(推移律) ある要素に作用させると、もとの要素になる形(規則)は単位元。同型写像は単位元を保存する。 f(e)=f(e･e')=f(e)･...
初心者向け 怖がる(≒嫌がる)ディフェンス
嫌がる≒ディフェンス ディフェンスは隠れる。あるいは怖がる。メイウェザーが分かりやすいと思います。 初めてパンチされた時の反応を洗練させたような動きです。首をすくめたり、顔を背けたり、体を丸めたり。表情もそう。超嫌そう。 そう感じませんか。...
よもやま話 手売りを変える その二
チケットの手売りをどうにかしようぜ問題。 団結する 団結権はチケットの手売りに限らず、あらゆる困難を解決する手段として日本国憲法で保障されている日本人の権利です。 団結権は、日本国憲法第28条で保障されている労働者の基本的な権利です。労働者...
よもやま話 チケットの手売りとか大変だよね
チケット手売りからこのブログへの流入が多いので、それで困っているボクサーが多いのだと思います。 ビジネスモデルに文句を言う まずは手売りシステムへの悪口。 僕は手売りが死ぬほど嫌だった。なので、そんなボクサーを励まします。 僕が人間関係を作...
トレーニング 体は言葉で動かない
体は言葉では動きません。言葉の通じない小学生とのコミュニケーションか、あるいは始めて自動車か自転車のハンドルを握ったのを思い出してださい。 小さな子供には言葉では伝えられません。 言葉で説明しながらの運転か、ないしは助手席にごちゃごちゃうる...
数学とか 同型写像って何やねん
続き。 同型写像 2つの数学的対象が同型 (isomorphic) であるとは、それらの間に同型写像が存在することをいう。自己同型写像は始域と終域が同じ同型写像である。同型写像の興味は2つの同型な対象は写像を定義するのに使われる性質のみを使...
よもやま話 ディフェンスの実体を考える
知覚する ヒトの反応速度と僕の経験と観察から帰納される法則性から演繹的に考えるなら、パンチは「避ける」ではなく、危険な確率が高い空間から「隠れる」が正しいだろう、と下の記事で主張しました。 以上が妥当な推理だと仮定した場合、不安や恐怖は我慢...
よもやま話 「群」って何がしたいねん
公理主義実数論 集合 G とその上の二項演算 μ: G × G → G の組 (G, μ) が群であるとは、以下の3つの条件を満たすことをいう： （結合法則）任意の G の元 g, h, k に対して、μ(g, μ(h, k)) = μ(μ...