よもやま話 他人の目を気にしてる内に人生は終わる
古代ローマの哲学者セネカの本を簡単に紹介します。何故生きるのか？を見失い、生きるために生きる現代社会には必要な処方箋だと感じました。人生の短さについてセネカの主張は一貫していて、それは「他人の為に生きるな」です。勿論、みなさんは自分の為に生...
よもやま話 数学とか 論理和と論理積の交換法則
A∨B=B∨A,A∧B=B∧Aの自然演繹。前提A,Bから出発して仮定の導入、解消でやれないか挑戦してみます。論理和の交換法則1.A∨B(前提)2.A(仮定1)3.B∨A(∨導入)4.A→B∨A(→導入.仮定1解消)5.B(仮定)6.B∨A(...
数学とか ド・モルガンの法則の自然演繹
ド・モルガンの法則ド・モルガンの法則A∨B⇔B∨Aを導きたいってこどネットを徘徊していたところ「論理和の交換法則はこの論理展開で行くんじゃない？」とヒントになりそうなものを発見しましたので共有します。ド・モルガンの法則の自然演繹です。1.A...
よもやま話 フローは自分を愛すること
フローは自分を愛することなのだと認識できるようになりました。娘への愛がきっかけだと思います。前置きが長くなりますが、まずは愛についての長濱説。僕は娘と出会い、始めて真の愛を知りました。その愛の力によって僕は僕の中の常識という、誰かに植え付け...
数学とか 論理和と論理積の冪等律
同値関係についてもう少し掘り下げてやろうと思います。冪等律冪等律【冪等律】数学において、冪等性（べきとうせい、英: idempotence、「巾等性」とも書くが読み方は同じ）は、大雑把に言って、ある操作を1回行っても複数回行っても結果が同じ...
数学とか 仮説的導出と論理和の除去
A∨B⇔B∨Aに繋がりそうな考え方を学んでいきます。仮説的導出と論理和の除去【仮説的導出】数理論理学での一般的操作として、「仮定からの推論; reasoning from assumptions」がある。例として、次のような演繹過程を見てみ...
技術 フックが生み出す勝ちのフィードバックループ
フックぶん回すのカッコいいですよね。良い教材を見つけました。元世界王者のオスカー・バルデス。上下にフックを振り回します。フックの生み出すフィードバックループフックのお手本この動画を見てもらえれば分かりますが、ほとんどは側頭部ではなく顔面を殴...
数学とか 反射律と対称律と推移律と代入原理
また等しいについて考えながら数学の思想を感じていきます。等式の定義と同値関係の定義等式の定義【等式】通常、等号は以下の２つの公理によって定義される：反射律: 対象 a が何であっても a = a は常に成り立つ。代入原理: 対象 a, b ...
メンタル 物語が人を強くする
良いイメージなんかでは強くなれないとする長濱説を紹介しましたが、今回はメンタルを強くする、長岡にも実践させている長濱説を共有します。如何なる入力に対しても幸福を出力する論理構造を備えた恒真な心が無敵です。歴史的には宗教がその役割を担いました...
よもやま話 目標は欲求、欲求は飢餓感 スローガンは呪い
「目標を掲げろ」「前向きに考えろ」「夢を持て」「平和！平等！基本的人権！」。この類は呪いの言葉です。唱えれば唱えるだけ、実現は遠ざかります。欲求の声に従う社会の目標直感（直観）が先行するフローを感じるようになってから、社会が僕たちに要求する...
数学とか 論理式の定義と括弧の意味
論理和と論理積の結合則、交換則を推論規則から演繹しようと思って挑戦。やりながら論理式と括弧が気になってきました。そういえばどんなルールがあるのだろうと。論理式と二項演算と括弧論理式の定義Wikipediaには以下のように説明されています。論...
メンタル 在るのなら在る、無いのなら無い
試合へ向けて、僕が僕自身の重圧から開放される為に自然発生的に行き着いたマインドを共有します。「勝つ」と感じるとは考えると感じるの違い「勝つ」と"考える"のではなく、「勝つ」という未来を"感じる"境地こそが、自信。つまり自信とは確信です。「考...