Hatena::Groupfragments

甘くておいしいおイモだよー このページをアンテナに追加 RSSフィード

2006-05-10

[]距離じゃないものを「距離」って言うな! 21:57 距離じゃないものを「距離」って言うな! - 甘くておいしいおイモだよー を含むブックマーク はてなブックマーク - 距離じゃないものを「距離」って言うな! - 甘くておいしいおイモだよー

距離の公理:

  1. d(x,y)≧0
  2. d(x,y)=0⇔x=y
  3. d(x,y)=d(y,x)
  4. d(x,y)+d(y,z)≧d(x,z)
トラックバック - http://fragments.g.hatena.ne.jp/SweetPotato/20060510

2006-03-28

[]男と女とベイズ推定 19:58 男と女とベイズ推定 - 甘くておいしいおイモだよー を含むブックマーク はてなブックマーク - 男と女とベイズ推定 - 甘くておいしいおイモだよー

ベイズ理論について調べていたら、こんなページを見つけた。

http://hawaii.aist-nara.ac.jp/~shige-o/cgi-bin/wiki/wiki.cgi?%C6%FE%CC%E7%BC%D4%B8%FE%A4%B1%B2%F2%C0%E2

ベイズ推定の基本を、デートの待ち合わせ時間に遅れた男と、それに怒る女を例にして説明している。こんな感じに。

男A:「やばいよ遅れたよー、こんなに待たせちゃってるよー、怒ってるかなー?」 (事前知識)

男A:「あれ?彼女にこにこ笑ってこっちに手を振ってる。怒ってないのかも」 (観測とそれに基づく推定)

男A:「僕は知ってる。彼女がにこにこしているときにも、ときどき裏で怒ってることもあるんだ。でも怒ってなくてもむっすりしてることも多いよなぁ。」(彼女の表情の生成モデル)

読んでて男が悲しくなってきた。でも分かりやすかった。

トラックバック - http://fragments.g.hatena.ne.jp/SweetPotato/20060328

2006-03-27

[]数学者とデート 18:08 数学者とデート - 甘くておいしいおイモだよー を含むブックマーク はてなブックマーク - 数学者とデート - 甘くておいしいおイモだよー

http://d.hatena.ne.jp/pal-9999/20060327/p1

d:id:pal-9999さんがこの辺のネタで小説を作ってくれました。嬉しい限りです。

数学者の理屈もさることながら、その相手の理屈返しがうまい。素晴らしいです。

その相手の名前がSweetPotatoなのもご愛嬌。

トラックバック - http://fragments.g.hatena.ne.jp/SweetPotato/20060327

2006-03-23

[]よく考えたら同値でない2つのセリフ 15:08 よく考えたら同値でない2つのセリフ - 甘くておいしいおイモだよー を含むブックマーク はてなブックマーク - よく考えたら同値でない2つのセリフ - 甘くておいしいおイモだよー

  1. あなたがいないと、私は生きていけない
  2. あなたがいれば、私は生きていける

この2つのセリフは同じことを意味しているようで、そうではない。

命題に直せば、この2つのセリフは裏同士の関係にあることが分かる。一般的に裏同士の命題は同値でない。

  1. ¬あなたがいる→¬私は生きていける
  2. あなたがいる→私は生きていける

折角なので、「あなたがいる→私は生きていける」を基準の命題として、逆、裏、対偶を考えてみる。

まずは命題で書いてみる。左右の移動は逆、上下の移動は裏、対角線の移動は対偶だ。

あなたがいる→私は生きていける私は生きていける→あなたがいる
¬あなたがいる→¬私は生きていける¬私は生きていける→¬あなたがいる

これをセリフに直してみる。

あなたがいれば、私は生きていける私が生きていけるとするならば、それはあなたがいるからだ
あなたがいないと、私は生きていけない私が生きていけないとするならば、それはあなたがいないからだ

こうすると、一見ポジティブに見える「あなたがいれば、私は生きていける」というセリフも、実は「私が生きていけないとするならば、それはあなたがいないからだ」という脅迫じみたセリフと同じ事を言っていることが分かる。

また、「あなたがいないと、私は生きていけない」というネガティブそうなセリフも、「私が生きていけるとするならば、それはあなたがいるからだ」というポジティブなセリフと同じである。

この辺のネタ、理屈屋の数学者との恋愛もの小説でも漫画でもいいから使えないかな。