長濱陸のブログ

乗法の交換法則を証明していたはずが気がつくと分配法則を証明していました。何を言っているのか自分も分かりませんが、気がついたら証明されていました。分配法則は下の法則x(y+z)=xy+xz分配法則の証明数学的帰納法を用いますので、連鎖反応の起...

昨日の交換法則には推論規則を満たさない欠点があったので、そこを修正するために試行錯誤していきます。今回はそこを修正すべく別の手段を考えてみます。1と任意の自然数の乗法についての定理を導きます。a×1=1×a=aが定義から導けるのか、を検証し...

乗法の交換法則すべての自然数 a に対して a × 0 = 0すべての自然数 a, b に対して a × suc(b) = (a × b) + aWikipedia0×a=a×0任意のaに0をかけると、aの位置にかかわらず0となることが証明...

乗法の交換法則を我流で証明します。その前段階としてa×0=0×aが真である証明。乗法の交換法則の証明すべての自然数 a に対して a × 0 = 0すべての自然数 a, b に対して a × suc(b) = (a × b) + aWiki...

我流数学やっていきます。今回も数学的帰納法の練習。奇数が無限個あることを証明します。奇数が無限個ある証明2n-1+1+1(前提)2n+2-1(加法)2(n+1)-1(分配法則)2k-1(代入)2n-1+1+1→2k-1(→導入)nは自然数の...

最近、進撃の巨人をアニメで見終わりました。思想強め。攻殻機動隊とかニーチェのマッチョ思想が好きな方にはお勧めです。流行物は大嫌いな僕でもハマりました。かっこよさのモデルが沢山いるので子供の頃なら相当な影響を受けただろうと思います。下の場面に...

減法の我流定義を作っていると、どうしても負数って概念が必要になりました。0-aをなんとかしないと気持ちが悪い。解消しようとすると負数を出現させないといけません。当然ながら別に負数である必要はなく、それを禁止して別の僕だけの数学世界を作っても...

我流減法の次は我流で加法と減法の関係を定義します。+と-の関係加法と減法の認識の隙間を我流で埋めてみました。a+b=cこの加法がc-a=bこの減法の形と関係していて欲しい。つまりa+b=c→c-a=bが成立してほしい。と整合性は度外視して一...

ベテルビエフ、マティアス、ベナビデス。ハイガードの選手のパンチが強いのは恐らく、固いハイガードを作る身体能力と骨格立ち（反力を伝える）なのどの技術が、直接パンチに生かされるからです。彼らは棒立ちが上手い。もう一つ棒立ちになる理由が分かりまし...