-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) もその性質を満たすとき、すべての自然数はその性質を満たす。 ペア
認められない人たち - おおやにき
多少長くなりそうなので、久しぶりにブログで書く。まず特定秘密保護法案とその採決過程に関してtwitterで書いたところ、法華狼氏(はてなID：hokke-ookami)がHatena Diaryで「[ネット][トンデモ]「少数派の意見や権利を守る」「少数派に意見表明の機会を与えたら淡々と採決すればいい」どっちだよ」という文章を書かれたので、twitter上で以下のように言及した。 特定秘密保護法案は内閣提出法案である(＝法制局審査を通っている)という程度の違いにも気付かないレベル、ということで。 RT @hatenaidcall @takehiroohya id:hokke-ookamiさんから言及がありました http://t.co/mB2BvQq4kC — Takehiro OHYA (@takehiroohya) 2013, 11月 28 もうちょっと丁寧に言うと、整合性や強制可能性
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
BLOGOS サービス終了のお知らせ
