2014年9月20日のブックマーク (4件)

  • -1×-1 = 1を証明してください。 例とか例えではなく、以下の「ペアノの公理による1+1=2の証明」と同じくらい厳密な証明をお願いいたします。…

    -1×-1 = 1を証明してください。 例とか例えではなく、以下の「ペアノの公理による1+1=2の証明」と同じくらい厳密な証明をお願いいたします。 http://d.hatena.ne.jp/tomo31415926563/20090110/1272413984 ペアノの公理 自然数は以下を満たす。 (1)自然数 0 が存在する。 (2)任意の自然数 a にはその後者 (successor)、suc(a) が存在する(suc(a) は a + 1 の "意味")。 (3)0 はいかなる自然数の後者でもない(0 より前の自然数は存在しない)。 (4)異なる自然数は異なる後者を持つ。つまり a ≠ b のとき suc(a) ≠ suc(b) となる。 (5) 0 がある性質を満たし、a がある性質を満たせばその後者 suc(a) もその性質を満たすとき、すべての自然数はその性質を満たす。 ペア

    homarara
    homarara 2014/09/20
    質問者が回答を理解できたかが気になる。
  • 時事ドットコム:自民、クジラ料理の提供開始

    自民、クジラ料理の提供開始 クジラを使った竜田揚げやカレーなどを試する(右から)自民党捕鯨議員連盟の鈴木俊一会長、二階俊博総務会長ら=19日正午すぎ、東京・永田町の同党部 国際捕鯨委員会(IWC)で調査捕鯨の先延ばしを狙った決議がなされるなど、捕鯨国の日に逆風が吹く中、自民党が19日、党部の堂でクジラ料理の提供を始めた。捕鯨とゆかりの深い和歌山県選出の二階俊博総務会長の発案で、党を挙げて日文化を守る狙いがある。  党部でクジラのカレーと竜田揚げに舌鼓を打った二階氏からは、「クジラはわれわれの生活に欠かすことができない。嫌なことばかり言う国(の人に)は、クジラをどっさりわせる」と反捕鯨国への挑発も飛び出した。  同党の堂では、今後も毎日クジラのカレーを提供するほか、毎週金曜日にはクジラの一品料理を出す予定だ。(2014/09/19-16:13)2014/09/19-1

    時事ドットコム:自民、クジラ料理の提供開始
    homarara
    homarara 2014/09/20
    自国の料理を自分のところの食堂で出して買うような反感なら、いくらでも買えば良い。反発してる国こそ、国益を損ねてまで他国の食文化を非難するような議員抱えちゃってお気の毒様だ。
  • NHK NEWS WEB スコットランド独立住民投票 開票速報

    イギリス北部のスコットランド独立の賛否を問う住民投票は、日時間の午前6時に締め切られ、現在開票作業が行われています。事前に登録した有権者は428万人余りで、賛成が反対を1票でも上回れば投票率に関係なく独立が決まることになります。 世界が注目するこの住民投票、どのような判断が示されるのでしょうか。 日時間のきょう午後には独立が支持されるかどうか大勢が判明する見通しです。

    NHK NEWS WEB スコットランド独立住民投票 開票速報
    homarara
    homarara 2014/09/20
    「スコットランドの住民」と「スコットランド人」は同じじゃないはずだけど、区別せずにやったのかな? チベットは大量の中国人が入植してるから、同じことやったら確実に反対派が勝っちゃうんだが。
  • Amazonサインイン

    問題が発生しました。別の方法でサインインするか、デバイスに表示される指示に従います。 申し訳ございません。パスキーが機能していません。サーバーに問題がある可能性があります。パスワードを使ってサインインするか、後でもう一度パスキーを試してください。

    Amazonサインイン
    homarara
    homarara 2014/09/20
    ダメだこりゃ。マンガは読めるが小説は読めんとさ。