タグ

ブックマーク / nishiohirokazu.hatenadiary.org (7)

  • 数学的帰納法は帰納ではない? - 西尾泰和のはてなダイアリー

    エンジニアの学び方」第3章の帰納の例で数学的帰納法を例にあげているのですが、「数学的帰納法は帰納ではないのでは」という質問がありましたので解説を書きました。 なぜ「数学的帰納法は演繹」という主張が生まれたのかに関して id:shuyo さんとの議論を通じて僕は「ペアノの公理が導入されたことで、それ以前の数学的帰納法で帰納が使われていたステップが『自然数の定義』で置き換えられて演繹だけが残ったから」という理解に到達したのでペアノの側の主張も併記しておきました。 参考文献:科学と仮説 (岩波文庫)

    数学的帰納法は帰納ではない? - 西尾泰和のはてなダイアリー
  • 京都大学サマーデザインスクール2013 参加者募集! - 西尾泰和のはてなダイアリー

    京都大学サマーデザインスクール 2013は9/25-27の3日間で開催されるデザイン・ワークショップです. サイボウズからは僕と竹迫が「チームワークのデザイン」というワークショップを行います。「持っている知識や価値観の異なる複数の人間が、個々人の知識を共有し協力してよい成果を出すにはどうすればよいか」が主題です。 このワークショップでは、最終成果物として、みなさんが自分の所属する研究室やサークルなどで実践できるような計画提案を作ることを目指します。チームとして提案を作ることで、ワークショップの主題である「持っている知識や価値観の異なる、複数の人間から構成されたチームの中で、個々人の知識を共有し、よい成果に結びつける」を実践を通じて学ぶことができます。 演習としては拙著「コーディングを支える技術」を執筆するときにも使った、KJ法をベースとした手法を解説し実践します。チームとして実践するために

    京都大学サマーデザインスクール2013 参加者募集! - 西尾泰和のはてなダイアリー
  • 何をどう学ぶか? - 西尾泰和のはてなダイアリー

    何をどう学ぶか? from nishio 「コーディングを支える技術」を執筆している時に考えていたことをスライドにまとめました。

    何をどう学ぶか? - 西尾泰和のはてなダイアリー
  • 他の言語に慣れた人がPythonを使ったときにつまずきがちな10のポイント - 西尾泰和のはてなダイアリー

    今日質問されて、以前Twitterで書いたのを思い出して、そして検索性が悪くて見つけ出すのに苦労した。こちらに転載しておく。詳細は気が向いたときに埋める。 オプション引数の評価タイミング Rubyではオプション引数は関数が呼ばれるたびに評価される。 def foo() print "foo!" end def bar(x=foo()) end bar #=> foo! と出力される bar #=> foo! bar #=> foo! Pythonでは関数の定義時に1回だけ評価される。 def foo(): print "foo!" def bar(x=foo()): pass #=> foo!と出力される bar() #=> 何も出力されない bar() 「引数が省略されたら今の日時」みたいな毎回評価したい場合はデフォルト値をNoneにしておいて「Noneだったら=省略されていたら」のif

    他の言語に慣れた人がPythonを使ったときにつまずきがちな10のポイント - 西尾泰和のはてなダイアリー
  • ScanSnapを最近使ってないという話 - 西尾泰和のはてなダイアリー

    大体スキャナに限らずガジェットでもゲームでも「買って届いて試してうわーい」の段階でブログのエントリーを書くことは多いが、すみっこでひっそり忘れらされてホコリをかぶっている時にエントリーを書くことは少ないもんだよね。 僕もScanSnapが届いてしばらくは喜んで色々なものをスキャンしては捨てていた。が、しかしだ、なんのために捨てるかを考えてみたんだ。それは物を減らして自由に使える空間を広げるためじゃないか。家電の説明書とか一つの箱にまとめて入れてあるんだが、その中から炊飯器の説明書を取り出してスキャンしたとして、自由に使える空間が広がるだろうか? すでに部屋がきれいに片付いている人にとっては違うのかも知れないけども、まだ部屋中にが積まれていたり、押し入れから謎の箱を取り出してみたらTシャツがたくさん詰まっていて「これがあったら去年の夏Tシャツを買わなくてよかったじゃん!」なんて言っている発

    ScanSnapを最近使ってないという話 - 西尾泰和のはてなダイアリー
    kaorun
    kaorun 2010/02/22
    うちの場合は捨てたいよりKindleで読みたいという欲求の方が強いのだけど、使えるようにするまでの手続きの多さがまだまだだなぁ、と改良を検討中。
  • 続: パーフェクトシャッフルは何回で元に戻るか - 西尾泰和のはてなダイアリー

    半年前に作ったパーフェクトシャッフルは何回で元に戻るかの を円形にしたい。 できた。 30枚のカードに「半分に分けて互い違いに組み合わせる」というシャッフルを5回すると元の並びに戻る、という図。 abcdefって6枚のカードがあったら、まず半分に分けて abc, def それから交互に組み合わせて daebfc にする、というシャッフルね。 シャッフルのたびに、1枚目は2枚目になり、2枚目は4枚目になり、4枚目は8枚目になり、8枚目は16枚目になり、16枚目は半分に分けたときに後半の1枚目なので次のシャッフルで1枚目に戻ってくる。5回。 3枚目は6枚目になり、6枚目は12枚目になり、12枚目は24枚目になり、24枚目は後半の9枚目だから17枚目になり、17枚目は後半の2枚目だから3枚目に戻ってくる。やはり5回。 他のカードに関しても同様に成り立つんだけども説明は省略。 Q&A @atusi

    続: パーフェクトシャッフルは何回で元に戻るか - 西尾泰和のはてなダイアリー
  • ANOBAR - 西尾泰和のはてなダイアリー

    http://anobar.jp/ 写真も撮ったけどもオフィシャルの動画を見てもらったほうがどういうものかわかりやすいかも。 http://www.ustream.tv/swf/4/viewer.9.swf?&loc=/&cid=174211 ディスプレイがFEDだからなのか、文字を流したときの表示がクリアだった。あと勝手に新幹線の中のニュースが流れる電光版をイメージしていたのだけど、それより解像度が高くて(640 x 96)しかもフルカラー。シューティングゲームも動いていたから表示性能的には困ることはほとんどなさそうだ。動画を見ているとメニューを操作したり天気図を出したりするところも見られるかと思うけど、実物を見る前の想像よりかなりいいものだった。ANOBARを設置すると昔ながらのテレビにニコニコ動画みたいな「他の人と一緒に見ている感」をつけることができるわけか。でもそれだけにはとどまら

    ANOBAR - 西尾泰和のはてなダイアリー
  • 1