タグ

2012年3月3日のブックマーク (11件)

  • ビッグブリッヂの死闘 リコーダー

    ビッグブリッヂの死闘はかっこいいなと思います。はじめの部分の低い音は、動画にはありませんがテナーで吹いています。 maruさんのすごい演奏はこちらです→ sm5281025   他に吹いてみたものですmylist/6174709

    ビッグブリッヂの死闘 リコーダー
  • 神業 ストリートドラマー

    1:15までは腕ならし。アナタ、イイジョウハンシンダネ!!すごいと思ったらマイリスしてね☆

    神業 ストリートドラマー
    iww
    iww 2012/03/03
    これはかっこういい
  • 竹内健氏が語るエルピーダ倒産の原因

    略語・用語解説(私の独断と偏見で気になったものを順次に。DRAMとかは、別にいいよね) ADコンバータ:アナログ→デジタル変換器 CREST:Core Research for Evolutional Science and Technology 戦略的創造研究推進事業 ECC:Error Checking and Cirrection 誤り訂正符号 ISSCC:International Solid-State Circuits Conference 国際固体素子回路会議 続きを読む

    竹内健氏が語るエルピーダ倒産の原因
  • 無駄な知識などない:円周率って完全に乱数なのかな。0~9の中で偏ってたりしないのか?

    円周率って完全に乱数なのかな。0~9の中で偏ってたりしないのか? 【全板集合】2chにある無駄な知識を集めるスレ118 http://society6.2ch.net/test/read.cgi/gline/1250398216/ 100 :水先案名無い人:2009/08/17(月) 18:11:07 ID:ir2dozwF0 【研究】円周率、2兆5769億けたまで計算、世界記録としてギネス申請-筑波大 http://tsushima.2ch.net/test/read.cgi/newsplus/1250491453/ 75 名無しさん@十周年 sage New! 2009/08/17(月) 15:56:55 ID:gfpGldeD0 円周率って完全に乱数なのかな。 0~9の中で偏ってたりしないのか? 275 名無しさん@十周年 sage New! 2009/08/17(月) 16:25:

  • 自然数に関するペアノの公理~論文『数の概念について』に即して - テンメイのRUN&BIKE

    学問一般に言えることだが、偉大な古典とか難解な書物というものは、 自分で当に読んでる人は意外なほど少ない。別に外国語の原書に限 らず、翻訳さえあまり読んでないことが多くて、大抵が何かの解説の 請け売りとか、孫引き(元の著作からの引用の引用)に過ぎないのだ。 これは、専門家レベルでさえ珍しくないことだと思う。 日の人文系の学者に限ると、欧米との言語の差が顕著だから、自分 の専門分野に限っては、それなりに原書は読んでるだろう。ところが理 系の学者の場合、古典的著作に関してはほとんど無頓着な人が多い ように思われる。これは一応理解できることで、要するに理系は、最新 の動向とか一般的事実を知ってれば十分なことが多いわけだ。 しかし、理数系科目の中でも特殊な位置にある数学について、その根 を考える時、すなわち、数学基礎論的な考察を行う時には、例えば 古代ギリシアのユークリッド(=エウクレイデ

    自然数に関するペアノの公理~論文『数の概念について』に即して - テンメイのRUN&BIKE
    iww
    iww 2012/03/03
    0は自然数じゃないかも
  • ペアノの公理 - Wikipedia

    一階述語論理による自然数論の形式化である「ペアノ算術(Peano arithmetic)」あるいは常微分方程式に関する「ペアノの存在定理」とは異なります。 ペアノの公理(ペアノのこうり、英: Peano axioms) とは、自然数の全体を特徴づける公理である。ペアノの公準(英: Peano postulates)あるいはデデキント=ペアノの公理(英: Dedekind-Peano axioms)とも呼ばれる[1][2]。1891年にイタリアの数学者ジュゼッペ・ペアノにより定式化された。 ペアノの公理を起点にして、初等算術と整数・有理数・実数・複素数の構成などを実際に展開してみせた古典的な書物に、1930年に出版されたランダウによる『解析学の基礎』(Grundlagen Der Analysis)がある。 集合 ℕ と定数 0 と関数 Sと集合Eに関する次の公理をペアノの公理という[3][

    iww
    iww 2012/03/03
    0は自然数かも
  • 2040年2月5日は地球最後の日? NASAの天文学者達が140メートルの小惑星発見 : 【2ch】コピペ情報局

    2012年03月02日20:58 宇宙ヤバイ 雑談 コメント( 3 ) 2040年2月5日は地球最後の日? NASAの天文学者達が140メートルの小惑星発見 Tweet 1:おまんら、舐めるんぜよ!φ ★:2012/03/02(金) 15:19:42.65 ID:???0 NASAの天文学者達は、2040年2月5日に地球と衝突する可能性のある幅140メートルの小惑星を発見した。 新聞The Daily Mailの報道によれば、現在天文学者らは、この小惑星はAG5という名称で、地球と衝突する 可能性が大変高く、その危険性はさらに増すかもないと見ている。ただ、もしAG5が地球に突入した場合でも、 何百万もの人々が亡くなるだろうが、かつて恐竜が絶滅したように、人類全体の生存に脅威を与えることは ないという。 ちなみに、恐竜が6千5百万年前に絶滅した時、地球に突入した小惑星の幅はおよそ14キ

    iww
    iww 2012/03/03
    Googleカレンダーに書いとかないと
  • Robot Quadrotors Perform James Bond Theme

    See how this video was made: https://www.youtube.com/watch?v=OfxS6QBheGo Flying robot quadrotors perform the James Bond Theme by playing various instruments including the keyboard, drums and maracas, a cymbal, and the debut of an adapted guitar built from a couch frame. The quadrotors play this "couch guitar" by flying over guitar strings stretched across a couch frame; plucking the strings with

    Robot Quadrotors Perform James Bond Theme
  • Twitter関連ツール・まとめ - かちびと.net

    Twitter関連の便利なツールがかなり 紹介されて来ていて、そろそろ混乱 してきたのでまとめます。 リンク先は日語で解説してくれて いる記事にしています。されていない ツールやサイトは載せていません。 今現在は165個のツールがありましたが、今後追加していく可能性もあります。 TwitterWikiに載ってるサービスは極力載せていないつもりですが、若干被ってるかも。 全てのサービスを試したわけではありません。MacとiPhoneは持って無いですし。。。 また、リンク先を日の記事にしたのは、海外のサービスに直接貼っても 使い方が分からなければ意味が無いと思った為です。 なので、リンク先がかなり偏っていますが重ねてご了承下さい。 ※コメント頂いたので15個追加して180個更に20個追加して200個に育った。 ※8月アップデート>17個増えて217個 ※9月アップデート>30個増えて247

  • 彼氏のスマホケースの内側に変なマークがはってあったんだけど : もみあげチャ〜シュ〜

    1 :以下、名無しにかわりましてVIPがお送りします:2012/03/01(木) 02:04:55.56 ID:eEvKS4vw0 どなたか情報下さい 9 :以下、名無しにかわりましてVIPがお送りします:2012/03/01(木) 02:07:29.21 ID:c3hM7dxG0 わからん 12 :以下、名無しにかわりましてVIPがお送りします:2012/03/01(木) 02:07:46.72 ID:eEvKS4vw0 三日前くらいに彼氏が電話終わってポケットに戻そうとした時にケースが外れてちらっと見えたから 今日彼氏がお風呂入ってる間に撮った 14 :以下、名無しにかわりましてVIPがお送りします:2012/03/01(木) 02:08:41.76 ID:/zqyyiEU0 メンヘラなんじゃね 15 :以下、名無しにかわりましてVIPがお送りします:2012/03/01(木) 02:

    彼氏のスマホケースの内側に変なマークがはってあったんだけど : もみあげチャ〜シュ〜
  • 概要 - Google Custom Search API - Google Code

    概要 Google カスタム検索エンジン デベロッパー ガイドへようこそ。このガイドは、特定のウェブサイト用、または興味のある複数のウェブサイト用に検索エンジンを作成したい人を対象としています。 最初に、ウィザードを使ってカスタム検索エンジンを作成するプロセスを、順を追って説明しã