タグ

2010年2月23日のブックマーク (9件)

  • 数理論理学入門(Introduction to Mathematical Logic) 高崎金久(京都大学) 〜京都大学での全学共通科目講義に基づく〜

    ERROR Detected Requested page is not available. TOP Page

    tanakaBox
    tanakaBox 2010/02/23
    下のほうが講義資料。
  • 議論のしかた

    議論のしかた2003-07-16ネットで議論をするにはルールがあります。いえ、ネット以外で議論する場合も同じですが。

    tanakaBox
    tanakaBox 2010/02/23
    長い。
  • ギャンブルに「流れ」はあるか、物語を作る生き物、煮つめられた人生 - 吹風日記

    例えば、麻雀をやっていると「ツイてる」とか「ツカない」という感覚に襲われることがあります。「流れ」。はたして、そんなものは存在するのでしょうか。今日は、人間に「流れ」が見えてしまうことの意味について考えます。 賭博(とばく)という、冷静に考えれば損にきまっている遊びが、しばしば人々を夢中にさせるのは、そこにいわば煮つめられた人生があるからでしょう。 偶然というか、運というか、あるいはつきとよぶか、ともかくそれを支配する、眼にの見えぬ何かにいどみ、金銭というはっきりした形で勝ちをしめようとするとき、人は人生の大事を決行するときに似た、戦慄(せんりつ)と快感を味わうはずで、この日常生活では得られぬ充実した生の感覚が(たとえ当は偽物であっても)賭博の最大の魅力なのでしょう。 中村光夫『知人多逝』 まずは次のサンプルデータを見てください。これは、○と●がほぼ同数出現するように、乱数を使って作成し

    ギャンブルに「流れ」はあるか、物語を作る生き物、煮つめられた人生 - 吹風日記
    tanakaBox
    tanakaBox 2010/02/23
    真にランダムだと流れがあるように見える。チェンジ確率も1/2。
  • 自分でできるWebアプリケーション脆弱性診断 - デブサミ2010

    2. プロフィール上野 宣(うえの・せん)京都市生まれ、幼少期は実家がパソコンショップ、高専でロボコンに熱中し、豊橋技科大でインターネットにハマり、奈良先端科学技術大学院大学にて山口英教授の下で情報セキュリティを専攻EC開発ベンチャー企業で創業メンバー、東証マザーズ上場などを経験を経て、2006年6月に株式会社トライコーダを設立株式会社トライコーダ 代表取締役情報セキュリティ教育ネットワークシステム/Webアプリケーション脆弱性診断http://www.tricorder.jp/ 独立行政法人情報処理推進機構(IPA)セキュリティセンター研究員セキュリティ&プログラミングキャンプ講師情報セキュリティ専門誌 ScanNetSecurity編集長Copyright©2010 Tricorder Co.Ltd. All rights reserved.2sen_u 3. 著書、連載など今夜わかる

    自分でできるWebアプリケーション脆弱性診断 - デブサミ2010
    tanakaBox
    tanakaBox 2010/02/23
    診断ポイントがわかりやすい。
  • 模様替えや引越し前に使えそうな無料の家具レイアウトアプリ『Sweet Home 3D』 | ライフハッカー・ジャパン

    何となく気分で模様替えを始めてしまうと、部屋は収拾つかなくなるし、家具の移動でギックリ腰をやっちゃったり、大変な目に遭うのでやめましょう。模様替えをしたくなったら、まずは『Sweet Home 3D』をダウンロードして、実際の家具を動かす前にパソコン上で家具の配置を変えてみましょう。 Sweet Home 3Dは無料のアプリでありながら、なかなか高機能で動きも滑らかです。まずは自分の部屋の寸法や形をアプリで再現し、そこに3Dの家具を配置していきます。デーブルもイスも観葉植物も、ドラッグ&ドロップで好きなように部屋に置くことができます。家具だけでなく、窓やドアや壁の色まで自分の部屋と同じように再現できるので、かなりリアリティある模様替えがパソコン上でできると思います。 気に入った部屋のデザインやレイアウトができたら、その画像をBMP、JPEG、GIF、PNGなどのファイル形式で保存できます。

    模様替えや引越し前に使えそうな無料の家具レイアウトアプリ『Sweet Home 3D』 | ライフハッカー・ジャパン
    tanakaBox
    tanakaBox 2010/02/23
    楽しそう。
  • d.y.d. 文字コード&ベイズ推定

    12:21 06/05/28 うたひめ 先日の記事に書いたように KOKIA にハマりまして、 とりあえず片っ端から聴いてみることにしました。まずは 1st アルバムの 『songbird』 から … …4曲目の "白い雪" ヤバい。超ヤバい。なんだこれ。ツボすぎる。 ベスト盤を聴いたとき感じた揺らぎなく落ち着いた歌唱力的な曲を期待して聴きはじめたら、 予想外の声質の歌が飛び込んできてびっくりしました。もちろん抜群に巧いのに かわりはないんですが、ずっと儚げな、ガラス細工みたいなイメージの、ああ、その、 つまり白い雪みたいな雰囲気の綺麗な声で。その声と奇跡的にマッチしたメロディ。 すごいなあ。9曲目の "ありがとう…" もベスト盤でのリテイクと比べて同じ印象で、 Amazonのreview で TenderBerry さんという方が近いことを書いておられました。 しかし書いてて自分の語彙の

    tanakaBox
    tanakaBox 2010/02/23
    カリー・ハワード対応
  • Big Sky :: zen-coding for vim を pure vimscript だけで書いてみた。

    私も結構長くvimを使ってきましたが、実はsnippet系やsorround系のプラグインは殆ど使っていません。理由は入力の規則が多様すぎて覚えられないのと、それくらい手で入力出来るんじゃないか...と思っていたのが理由でもあります。 sorround.vimなんかは何度か常用をチャレンジしてみましたが、結局諦めました。 先日、zen-codingを見つけ、「へー便利そうだなぁ」と思ったと同時にこのくらいならvimscript(pure vimscript)だけで書けるな...と思ったので書いてみました。 と言ってもEmacsへの移植なんかと同様に「Expand Abbreviation」だけです。 正直言うとzen-codingのプロジェクトページにvimがラインナップされていなかったのがキッカケだったりもしますが...。ただ、後から知ったのですがsnipMateという物でzen-cod

    Big Sky :: zen-coding for vim を pure vimscript だけで書いてみた。
  • 壺 齋 閑 話: 知の快楽

    tanakaBox
    tanakaBox 2010/02/23
    古代ギリシャ~
  • スピンロック - Wikipedia

    この項目では、計算機科学におけるスピンロックについて説明しています。核磁気共鳴におけるスピンロックについては「交差分極」をご覧ください。 スピンロック(英: spin lock, spinlock)[1]とは、計算機科学におけるロックの一種で、スレッドがロックを獲得できるまで単純にループ(スピン)して定期的にロックをチェックしながら待つ方式。スレッドはその間有益な仕事を何もせずに動作し続けるため、これは一種のビジーウェイト状態を発生させる。獲得されたスピンロックは明示的に解放するまでそのまま確保されるが、実装によってはスレッドがブロック(スリープ)したときに自動的に解放される場合もある。 スレッドが短時間だけブロックされるならば、スピンロックは効率的であり[2]、オペレーティングシステムのプロセススケジューリングのオーバーヘッドを防ぐことにもなる。このため、スピンロックはカーネル内でよく使

    tanakaBox
    tanakaBox 2010/02/23
    わかりやすい解説。