↓今読みなおすと頭抱えたくなるような記事なんですが残しておきます 基本的なことは 黄金原本更新, 【もはや最短理解でもなんでもない】なぜ5×3ではなく3×5なのか - 跡地, たくさんの反響ありがとうございます - ワタタツの日記!(2010-11-13)に譲るとして。あとその時点での「数」は自然数だから、実数と混同しないでほしい>混同してる人。 なんで乗算を非可換で定義するかって話だけど、それは非可換なまま定義すれば、乗算を構成的に定義できるからじゃないかな。うまく説明できないけど。 Coqだと、自然数の乗算は以下のようになる。(Coqだけの話ではないと思う…) Fixpoint mult (n m:nat) : nat := match n with | O => 0 | S p => m + p * m end「n×mっていうのは、mをn回足したものですよー」(小学校算数とは逆のよう

ロマンチックのその前に。DEEでクジラといえばあれですよね。 これ。 おぞましい。 正体はクジラの死骸だったということがわかりました。 でもクジラと知っていても恐ろしいグロテスクさん。 もっと詳しく見たい方はぜひレポート【藪地島のUMA（未確認生物）を見てきた！】をお楽しみください。 今日はロマンチックなほうのクジラです クジラの化石が眠るのは糸満市浄化センターから約1km先にある岡波島。 地元では「うかは島」とか「うかふぁ島」と呼ばれる島です。 陸からすぐ近くに島が見えます。 昔は大潮になると歩いて渡れたそうです。今は船の水路が掘られたので途中すごく深くなっています。 今回は友人とカヤックで渡りました。 えっちらおっちら漕ぐこと約30分。 無事到着。 到着後位置を確認してみると やっぱり近い。 でも小さな島なので拡大してみると島影がない。 「なう！」 これだけ見ると漂流してるっぽいですね

沖縄移住５年目です。移住して見てきた事聞いた事体験してきた事をメインに、 最近興味のある不動産競売の情報や趣味で書いている創作童話、お菓子の作り方まで、広くあさーく公開して行きたいと思います。 お暇つぶしにご覧くださいませ（＾＾ いよいよ２８日の沖縄知事選投票日が迫ってるわけですが、 沖縄紙全国紙、どれ見ても、現知事と元宜野湾市長の一騎打ちって書いてあるんですよね。 でも、一応候補は３人居るんですがｗｗ その上、３人目が言ってる事が一番真っ当なんですよねぇｗ さて、なぜマスゴミはこの３人目をワザとスルーしてるのか。考えられるのは２つ。 １：宗教が支持母体だから。 ２：基地容認派だから ３：勝つ気の無い売名行為だから。 多分２が正解かな～とｗ 私的に、彼が無所属で出てきているのなら応援するし、喜んで投票したんだけどね。 あの宗教が後ろ盾のトコには色んな意味デ怖くて投票できませんｗ さて、本日