なっとくする数学の証明
まさに、推理小説を読む面白さ！ 公理、定理、演繹、帰納、仮説...... 「なぜ、数学ではこんなことを考えるのか？」がよくわかる。 証明とは、どのような知的営みなのか。 著者一流の軽妙な語り口で、 この奥深くも面白い世界を切りひらく一冊。 第1章 証明とはなんだろうか 1.1 証明はお好き？ 1.2 証明ってなんだろう 1.3 公理とは 1.4 算数にも証明はあるのか？ 1.5 証明の2つの側面 1.6 もう少し数学教育の話――抽象と具体 第2章 証明のさまざまな技術 2.1 論理の3つの姿――演繹、帰納、仮説 2.2 演繹論理 2.3 帰納論理 2.4 数学的帰納法について 2.5 仮説論理 2.6 「ならば」という言葉 2.7 背理法 2.8 記号論理学からの注意 2.9 トートロジーという名の正しさ 2.10 演繹論理、帰納論理、仮説論理、背理法 再説 第3章 算数の中の証明をもう一
盲目の少女が見る世界を表現したムービー「Out of Sight(敲敲)」
国立台湾芸術大学の生徒が卒業制作として作成した、1人の盲目の少女を通して見る世界を描いたアニメーション作品「Out of Sight(敲敲)」の完成度が高く、YouTubeでの再生回数も300万回を突破し、称賛のコメントが多数投稿されています。 Out Of Sight http://evaty.main.jp/oos/e_info.html ムービーの詳細は以下から確認できます。 Out of Sight (敲敲) - YouTube 作品名はOut of Sight、「目の見えないところ」という意味。 1人の盲目の少女が盲導犬を連れて、歩道を歩いています。 少女の後ろを歩いていた男性が突然少女のかばんをひったくって逃走。 犬がかばんを奪った男を追いかけて猛ダッシュするので、犬に引っ張られて少女も走る羽目に。 犬は木の板がはがれてできた穴に入っていってしまい、1人取り残される少女。盲目の
うちの猫が鍵の概念を理解してるっぽいんだがこれって普通なの？ - ゴールデンタイムズ
1 ：以下、名無しにかわりましてVIPがお送りします ：2013/04/20(土) 13:46:35.45 ID:OvRLmmB00 洗面所の鍵をあけて侵入してくる 2 ： 忍法帖【Lv=16,xxxPT】(1+0：15) ゴミクズ ◆dD9oLU2iXg ：2013/04/20(土) 13:47:22.13 ID:y1IzSWnw0 レバー式のドアならジャンプして開けることがあった 8 ：以下、名無しにかわりましてVIPがお送りします ：2013/04/20(土) 13:50:27.13 ID:OvRLmmB00 >>2 レバーのドアは普通にあけるね 説明がむずいんだけど、うちの洗面所は小さいレバーみたいなのを回せばドアに鍵がかかるようになってるんだよ 俺が寝てる部屋は、猫のいるリビングからは洗面所を通らないと来れないんだけど、夜に洗面所のドアに鍵をかけておいてもそれを開けてやってくる
2013年において注目すべき PHP フレームワークは Laravel
4月22日追記。細かい表現、データの追記、リンクを修正しました。Laravel の作者による Laravel 4 とSymfony 2 の比較はこちらの記事をご覧ください。 2013年においてもっとも注目すべき PHP フレームワークとして Laravel を挙げる。 執筆時点で Laravel の知識はほとんどないが、新しいプロジェクトでありながら、英語圏においてさまざまなチュートリアルが書かれおり、熱烈なファンを獲得したと見られる。ほかの PHP フレームワークの開発プロジェクトが抱えている将来の課題を考慮すると、Laravel を学ぶ価値はあると考えられる。 4月21日の時点で GitHub のスターの数は3971であり、2000年代後半からプロジェクトが存在していた CakePHP(3741) および Zend Framwork 2 (3905)を超え、PHP フレームワークとして
簡単なゲーム作りを通してJavaScriptを学べる『JS Dares』 | 100SHIKI
学習サイトとして良さそうだったのでご紹介。 JS Daresでは、簡単なゲーム作りを通してJavaScriptを学ぶことができる。 最初は戦車を動かすプログラムからはじめて、少しずつ、自分のペースでレベルアップしていくことができるようだ。 すべてブラウザ上で完結するので環境を用意する手間もいらない。そろそろプログラミングを、という初学者の方はいかがだろうか。
モダンな Perl の開発環境の構築方法 - tokuhirom's blog
一般的な OSX 環境および Linux 環境における、モダンな Perl 開発環境の構築方法についてまとめてみたよ。 perlbrew のインストールperlbrew をつかうことにより、簡単に最新版の Perl5 を利用することができるようになる。 perlbrew をいれる。% curl -L http://xrl.us/perlbrew | perl - install % ~/perl5/perlbrew/bin/perlbrew init ~/.bashrc (または ~/.zshrc)に source ~/perl5/perlbrew/etc/bashrc を追記。あたらしいシェルをたちあげる。最新版の perl をインストールする。% perlbrew install perl-5.12.1 % perlbrew switch perl-5.12.1 ここまできたら、she
Modern Perl Programming
This took longer than it should have, but the electronic reader editions of Modern Perl: 2014 Edition are available. The letter and A4 PDFs have been available for a while, but we're satisfied with the formatting of the ePub and Mobi (Kindle) versions, so they're now ready for download and redistribution. You can still, of course, buy the print edition of Modern Perl online. You'll get the Kindle
ちょっ…これは凄い！！午後の紅茶のパッケージをよくよく見ると、恐ろしく手の込んだ秘密が隠されていた : らばQ
ちょっ…これは凄い！！午後の紅茶のパッケージをよくよく見ると、恐ろしく手の込んだ秘密が隠されていた 最近販売されている、ディズニーデザインの午後の紅茶のパッケージ。何気なく手にとってイラストを見てみると…あれ、この番号は何…？ 検索しても特にこれといった情報の見当たらないこの番号表記、一体何なのか調べてみると…そこには驚くべき秘密が隠されていました。 こちらが午後の紅茶のディズニーデザインのパッケージ。ストレートティー、レモンティー、ミルクティーにそれぞれミッキー、プーさん、ドナルドダックのイラストがあるのですが… 1ボトルにつき3点のイラストがあり、その絵の下には謎の番号が。 番号順にイラストを見てみると…あれっ！？これはもしかして…パラパラアニメ…！？ 確証はないものの、その正体を知りたい勢いで全種類の番号を調達、計３２本の午後の紅茶が編集部に揃いました。 ストレートティーのイラストは
面白くて一気読みしたオススメWeb漫画まとめ 12連弾【完結あり】 - bekkou68 の日記
はじめに 最近 Web漫画にハマってます。ちょっとした空き時間に読めるのでお手軽に楽しめるのが好きです^^ なんだかんだで30作ほど読んだのですが、そのなかでも特にオススメするものを 12作ピックアップして紹介します。 すべて無料で読めます。書籍化されている作品もあります。【完結】マークがある作品は完結しています。マークがない作品は現在連載中です。 あまり長々と紹介するのはヤボなので紹介文は短めです。まずは読んでみてください^^ 1. ワンパンマン ヒーローもの。キャラ・ストーリがとても魅力的です！ サイタマかっこいいｗ 最近アイシールド21 の村田雄介さんがコラボしてリメイクも出ています。ハイクオリティな作画が楽しめます。 2. 魔界のオッサン ギャグもの。独特の世界観に引きこまれていきます。魅せ方がうまいって思います。 3. 今を逝きる。【完結】 学校生活もの。心にグッとくる何かがあり
5割引は当たり前！Amazonで大安売りされている商品を見つけ出すマル秘テク | 教えて君.net
Amazonでは稀に大幅な値下げが行われることがある。見逃せないチャンスだが、値下げは何の告知もなくひっそりと行われるので、狙って見つけ出すのは至難の業。今回は、Amazonで大幅割引を行なっている商品を見つけ出すテクニックを紹介しよう。 Amazonでは、かなり大胆な割引を行うことがある。50％の半額は当たり前。商品によっては90％もの値下げが行われたりもする。だが、トップページに紹介されたり、告知メールが届くといったフォローはないので、ほとんど気付かれないままセールは終わってしまう。 そこで、Amazonの大幅値下げされた商品を見つけ出すためのウェブサービスを利用しよう。マーケットプレイスの「訳あり」商品だけをピックアップする「Bestseller today」、割引率の高い順に商品を表示する「Bargain Net」は必ずチェックしておきたい。また、Amazonの検索結果のURLの末
ASSIOMA(アショーマ) » フリーランスとGmailのメールアドレス
会食などに誘われると当然のことながら名刺交換が挨拶代わりにかわされる。今までは会社の名刺を渡していたのだが、会社の業務では無い講演や執筆を依頼される場で会社の名刺を渡すことに違和感を感じていた。 今年からは遅ればせながら個人の名刺を作ってみたいと思う。そこで名刺を作ろうとしたのだが、悩ましいのがメールアドレスだ。外部の人とのやりとりで一番便利なのがgmailアドレスだ。執筆の依頼などもgmailやFacebookで来ることが大半だ。gmailならスマートフォンでも新着のお知らせを簡単に知ることが出来る。私はassioma.jpのメールアドレスも持っているが、gmail.comのメールアドレスの方が便利なので、連絡先としてはgmail.comを利用することの方が多い、というか99%がgmail.comのメールアドレスだ。 非常に便利だし維持費もかからずこれで不自由は無いのだが、問題は初見の人
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
長文日記