sigstoresign. verify. protect. Make sure your software is what it claims to be.
数学者を感動させた大学生の「鮮やかすぎる証明」はこうして生まれた（瀬山 士郎）
当たり前のことを、絶対に疑いようのないことを使って説明する、それが「証明」。数学と証明とは切っても切り離せない関係にあります。 今回ご紹介するのは、数学が苦手な人でもわかる「鮮やかな証明」。学生時代に証明が大好きだった人も、証明という言葉を聞いただけでアレルギー反応が出てしまう人も、頭の体操がてら「証明」の奥深い世界に触れてみませんか？ 数学者にとっては空気のようなもの 証明という言葉から、みなさんは何を感じ、どんなことを考えるのだろうか。 証明と聞いただけで、かつての学校数学のつらさを思い出し蕁麻疹が出る、という「アレルギー持ち」の人もいるかもしれない。逆に、平面幾何の論証が好きだった人なら、わくわくするような魅力を感じるかもしれない。 いずれにしても、証明という言葉と数学とは、切っても切れない関係にあるようだ。ブルバキという著名な数学者集団も、「数学とはすなわち証明である」（ブルバキ著
証明写真撮影・店舗検索
業界最大級の、全国600店舗以上を展開する「カメラのキタムラ」。予約不要で最短10分、しかも低価格なのに高品質。いつでもお気軽にお越しください。
偶数と偶数の和は偶数であることの説明 - 紙屋研究所
ああ、だれか教えてほしい。コメント欄かツイッターで返信を。 いまぼくは、無料塾で中学２年の数学を教えている。 無料塾というのは、カネをとらずに小中高の生徒が集まり（うちは小中しかいないが）、講師もボランティアで教えるというもの。教育を貧困克服の一つの回路と考えて、その支援に力を入れている。 ぼくが参加しているのは、基本は小中学校生の「宿題をやる会」みたいな感じで、そこでごく数名が講師にわからない点を聞いているみたいな風景。 ぼくは大卒だけど、家庭教師の経験がない。 だから、教え方に関してはド素人である。 いや、「教え方のド素人」というのは、冷や汗が出るよな、とつくづく思った。 今日苦戦したのは、こういう問題だった。 その子は次の問題を「わからない」と言ってきた。 （問題） 正さんは「偶数と偶数の和は偶数である」ことを説明しようとして、次のように説明した。 ・mは整数である。 ・ゆえに2mは
JavaScriptでソフトウェアの正しさを数学的厳密に証明してみた - yukobaのブログ
現在、Shibuya.js が開催中です！Ustream で http://www.ustream.tv/channel/shibuyajs にて放送されています。これから、このブログの内容をしゃべります！ 今回「テスト」がテーマなうえ、Shibuya.js は「役に立つ話担当」「ネタ担当」に分かれていて、僕は「ネタ担当」なんですが（笑）、いつも通りネタです。でも、遠い未来の役立つネタです！ きっかけは、id:t-wada さんに、GUIの自動テスト関係の質問をしたら、凄くいいことを教えてもらいました。 全てのテストはサンプリングテストである （少し表現違ったらごめんなさい）話の流れで、部屋を移動しなくていけなくて、たしか、それしか話ができなかったのですが、要するに、サンプリングテストである以上、全ての入力パターンをテストすることは不可能であり、できることは、限られたコストの中で、効率よく
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
「球はピラミッド型に並べると一番沢山入る」 ← この証明に400年かかるとかアホなの？見てわかるだろ : まとめたニュース
sin θ/θのθ→0のときの極限 NazoLab なぞらぼ 科学系ソーシャルコミュニティ
「３の証明」 - NazoLab なぞらぼ 科学系ソーシャルコミュニティ
バグの無いプログラムを作ることは可能ですか？…
