暇つぶしに見て 我流負数定義の修正
前回に定義した負数の乗法は自然数の乗法の定義でいけるんじゃないか、と閃いたので試してみます。あとはマイナス×マイナスに関する乗法も定義しました。 a×-(s(0))(前提)a×s(0)×-1(定義)((a×0)+a)×-1(定義)(0+a)...
暇つぶしに見て トレーニング 踏み込みの動作
パンチは投擲動作だって以前にも話した気がしますが。分かりやすい比較を用意しました。 踏み込んで距離を縮める時は物投げるような動作になります。ぴょんぴょんと跳ねません。脚を広げて体をスライドさせて相手との距離を縮めます。 投擲で投球腕の反対の...
暇つぶしに見て 負数の我流定義
負数について考えてみたんですが。 正の整数（自然数）と同じ定義でいけるかなあと。-1が-∞の方向へ増えるのだと考えていいのならですが。 その場合、正の整数と演算で交わる場合には正・負の方向性の違いを持たせる必要がありますが、負と負であるなら...
暇つぶしに見て 同値関係と代入法則
我流の同値関係を元に法則性を見つけます。人の認識として a=b⇒a*c=b*c "*"は広い意味での演算を表しています。 どう解決しようかと考えたら、やっぱり同値関係の法則として定義すべきなのかなと。 代入法則 加法 まずは加法の代入法則か...
暇つぶしに見て 同値関係について、また考える
既に同値についてはどんな関係なのかを色々考えてきましたが、除法や減法のように我流で定義してみようと思います。 と言っても一度きちんとした定義は学んでいるので、なぜそのような定義になったのか？に個人的な文脈を与えます。 同値関係 等しいの認識...
トレーニング 長濱式股関節トレ
最近積極的に取り組んでいるトレーニングを共有します。 下のリンクの長濱式股関節トレは、基本的に骨で床を踏むためのトレーニングです。 腕を動かした反力は骨格を介して床へ伝わります。前鋸筋が弱いと腕も床が接続されませんし、股関節の筋肉が弱いとこ...
暇つぶしに見て 我流除法と分数の定義
我流除法の定義が人の認識通りに運用できるかテストします。 我流除法テスト 我流定義a/1=aa÷b=a/b(a×c)÷(b×c)=a/b 以下テスト。 10÷5(前提)((2×0)+2+2+2+2+2)÷((5×0)+5)(乗法定義)((2...
暇つぶしに見て 除法の我流定義
我流の減法の次は除法（割り算）の定義を考えます。 我流除法 数学ではない除法、つまり半分って人の一般的な認識は頭の中でどんな処理が行われているのか、を考えてみます。例として「4の半分は2」で考えます。 2×2×1÷2×1=22×1÷1×1=...
よもやま話 フローはスピ体験
スピ=スピリチュアルです。パフォーマンスを高める脳科学の本に恐らく僕の言うフローの話がありました。 要約すると脳が思考して結論した内容は言語として顕在化しない。感情として感じることだけができる。そしてこの体験はスピリチュアル的に伝わると。 ...
トレーニング 時間を決める
僕が大切にしていることです。時間の制約が重圧をかけ、その重圧が防衛本能を働かせてパフォーマンスを高めます。何事も、ダラダラとやって良い時とそうでない時があり、メリハリがないとダメになります。 例えば、僕は日曜日は朝起きてから寝るまで数学をや...
暇つぶしに見て 乗法の交換法則 その3
ようやく乗法の交換法則です。 乗法の交換法則 数学的帰納法が成立することを証明します。 a×b=b×a⇔a×s(b)=s(b)×a a×s(b)(前提)a×b+a(乗法定義)a×b+(a×0)+a(乗法定義)a×b+(a×1)(乗法定義)...
暇つぶしに見て 乗法の分配法則その2
下の記事の続き。 x(y+z)⇔xy+xyは証明できたので(y+z)x⇔yx+zxを証明します。 (x+y)×z=xz+yz 数学的帰納法の起点を作ります。 z=0の場合 (x+y)×0(前提)0(乗法定義) x×0+y×0(前提)0+0(...