よもやま話 Winny ほんとにあった怖い話
Winny事件（ウィニーじけん）とは、ファイル共有ソフト「Winny」に絡む著作権法違反（公衆送信権の侵害）を問われたものの、無罪となった刑事事件である。利用者だけではなく、アプリケーションソフトウェア開発者も、逮捕・起訴されたことで、情報...
よもやま話 数学とか 矛盾の認識
論理的に矛盾する関係（論理）ってどんなのがあるたまろうとふと思って考えて見ました。矛盾は命題の如何に関わらず恒に偽となる式。例えばA∧¬A=⊥上の論理式は命題の真理値にかかわらず恒に偽となる論理式。つまり恒偽式=矛盾=⊥です。この推論が論理...
数学とか 無矛盾律と排中律の自然演繹
無矛盾律無矛盾律（むむじゅんりつ、英: Law of noncontradiction）は、論理学の法則であり、アリストテレスによれば「ある事物について同じ観点でかつ同時に、それを肯定しつつ否定することはできない」こと。Wikipedia(...
よもやま話 議論の枠組みを疑う
常識や科学などの社会通年は無条件に当然の議論の枠組みとして受け入れられています。ネットの辺境にある僕のブログへ読者の皆さんがたどり着いたのはきっと、現実を覆っているボクシングジムの様々なマトリックスに違和感を覚えたからではないかと思います。...
数学とか 背理法などの議論の枠組み
恒真式恒真式（こうしんしき、トートロジー、英: tautology、ギリシャ語のταυτο「同じ」に由来）とは論理学の用語で、「aならば aである (a → a) 」「aである、または、aでない (a ∨ ￢a)」のように、そこに含まれる命...
よもやま話 世代間の溝
僕がボクシング業界に居て感じることを共有します。みんなが感じているだろうこと。それは世代間の価値観に大きな溝があることです。そしてこれはきっと、ボクシングに限りませんね。世代間の認識の差僕を含めた最近の世代はインターネットや本に囲まれて、情...
よもやま話 人の器
男としての器が小さくなる典型例についての長濱説。「チンケなプライド」と男の器僕は29歳で目の怪我により一旦は夢を、そして翌年の30歳で家と家庭と仕事を失いました。本当に痛い目にあった期間だったからこそ、多くのことを学ぶことができました。その...
メンタル 妄想を捨てて現実を見る
昨日、長岡の試合がありました。結果は引き分け。優勢点という特別ルールにより、新人王戦は勝ち上がりました。厳しい評価をすると長岡は毎試合悪くなっています。自らパニックへ陥り打ち合いへ、というパターンが試合ごとに強くなっいます。昨日の試合は、初...
よもやま話 「自立」と「自由」が社会に住む個人の目標
娘が生まれ、またSNSをやるようになってから、社会の在り方とそこに住む個人の生き方について考える時間が激増しました。親としての本能だと思います。とても楽しい時間です。二十代は興味のなかった本が書棚に並んでいます。その中で行き着いた現時点での...
よもやま話 嫌いたい奴には嫌わせておけ
パレート分布ってご存知ですか。八対二の法則とも言われます。僕のことを好きな人が二割いれば、残りの八割は僕のことを嫌いな人。アリ（ヒト）の世で生産的な活動をしているのは二割で、残りの八割はその二割の努力に相乗りさせてもらっている。二割の人が世...
未分類 論理和と論理積の分配法則 その4
引用の記事の続きです。(A∧B)∨(A∧C)→A∧(B∨C)とA∧(B∨C)→(A∧B)∨(A∧C)を証明して必要十分条件が成り立ちますが、後者の証明がされていませんでした。というわけで下の同値関係の証明に挑戦。A∧(B∨C)⇔(A∧B)∨...
数学とか ∀と∃の交換律
基本的に我流定義なので、∀と∃の順番は気にしてませんでしたが「ちょっと待って、これ大丈夫？」と不安になったので∀x∈X,∀y∈Y:P(x,y)⇔∀y∈Y,∀x∈X:P(x,y)が成り立つのか確認します。∀x∈X,∀y∈Y:P(x,y)(前提...