よもやま話 嫌いたい奴には嫌わせておけ
パレート分布ってご存知ですか。八対二の法則とも言われます。僕のことを好きな人が二割いれば、残りの八割は僕のことを嫌いな人。アリ（ヒト）の世で生産的な活動をしているのは二割で、残りの八割はその二割の努力に相乗りさせてもらっている。二割の人が世...
よもやま話 未分類 論理和と論理積の分配法則 その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)(前提...
数学とか 我流負数の交換法則とか
いつかの我流定義。-a=-s(a)+1今朝、ふとこれは定義ではなく定理だなと。-s(a)+1(前提)-(s(a)+(-1))(負数定義)-(a+1+(-1))(負数定義)-(a)(負数定義)-a(負数定義)s(a)+1=-a乗法で負数を定義...
数学とか 負数と正数の加法
数と負数を加法でどう結びつけるのか、を試します。負数の我流定義-0=00×-a=0-1×-1=1a×-1=-a正数（自然数）の場合の後者はs(a)=a+1負数をa+(-a)=0という風に、自然数aに負数-aを足すと0となるような関係で合って...
未分類 素朴集合論に思いを馳せる
我流で負数の定義を考え続けると熱が出そうなので、素朴集合論で息抜きします。Aの部分集合Bとその差集合を考えます。人の認識を土台として図式化するならこう。これを定義します。Aという集合からBという集合を引く演算があってほしいですよね。日常な動...
数学とか 代入原理と対称律と推移律
代入原理と同値関係代入原理: 対象 a, b が a = b であるときには、一つの自由変数 x を含むどんな命題関数 P(x) についても P(a) ⇔ P(b) が（両辺ともに一意的な意味を持つ限りにおいて）常に成り立つ。Wikiped...
数学とか 等号のカッコは外せるのか問題
数学を学んでいると何事も疑ってみる性格が身につきます。まあ、そんなひねくれた性格だから数学を楽しいと感じるのかもしれませんが。今朝、目覚めて頭に浮かんだ疑問は(A=B)=CはA=B=Cに変形できるのか、()を外せるのか、です。自分でも完全に...
トレーニング 安心を遠ざけて技術の再現性を高める
再現性はどこで誰が相手であっても、いつも通りに振る舞える能力を言います。練習は強いのに本番の試合で弱い、シャドーボクシングは様になっているけどスパーリングだとからっきしダメ、とか。ウサイン・ボルトのように国の代表として、かつ全人類の期待を背...
数学とか 順序集合の定義の気持ち
大小関係について考えていたら、=と>から受ける印象って異なるよなあ、となったので、その理由を考えました。=で結ばれる関係は組み合わせ方次第ですが、一対一対応の写像だと言えます。【写像】集合 A の各元に対してそれぞれ集合 B の元をただひと...
よもやま話 危機感が足りない その二
死なないとでも思っているんじゃないか？危機感は価値の判断を促してくれます。危機感が足りないスパーリング大会に出場する予定のボクサーを仮定します。彼はこれが初出場のサラリーマンです。彼は強い危機感を感じています。仕事が終わると、本当に必要だと...
よもやま話 認識の罠 そのニ
非完璧主義者はこの記事の内容なんて気にしないし、信用なんてしないはずです。非完璧主義を完璧にやろうしないから、つまりそれを認識しないから非完璧主義者なんです。完璧主義者が脱完璧主義を目指して上の記事を実践することは完璧主義です。矛盾します。...