タグ

2007年1月27日のブックマーク (5件)

  • YouTube - 魔人探偵脳噛ネウロ (Majin Tantei Nougami Neuro) OP

    魔人探偵脳噛ネウロ アニメOP Private Evil Eye Neuro - Trailer Not officially animated yet. This is a fan-made flash animation. 主題歌『人生美味礼讃』 Theme Song:Jinsei Bimi Raisan 作詞:宝野アリカ Words by Takarano Arika 作曲:片倉三起也 Music by Katakura Mikiya 歌:Ali Project Played by Ali Project Recorded in an album "dilettante" 原作: Original Manga: 「魔人探偵脳噛ネウロ」 "Majin Tantei Nougami Neuro" 作:松井優征 by Matsui Yusei 2005年

  • ファック文芸部 - Everything starts with a Fuck! - 閉鎖された都市の歴史

    はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28

    ファック文芸部 - Everything starts with a Fuck! - 閉鎖された都市の歴史
  • POPL 2007実況その2 - sumiiのブログ

    ilogAit Kaci氏(初対面,Jacques Garrigue氏の元ボス)やMS Researchの人たちと話. セッション1 またFelleisenが自分でsession chair.招待講演を3件とも「非POPLな人」にしたことについて語っている.「モジュールやマクロの話は飽きた」? Don Batory氏.ソフトウェア「工学」の人.代数や理論の知識が「普段の業務で」役に立つという話らしい.domain specificな高級言語のほうが最適化しやすい(古典的な例: SQLと関係代数)とか.継承は差分プログラミングに便利ではあるが,十分ではないのでmixinの一種が必要で,そのmixinの一種による差分プログラミングは代数的に形式化できる,とか.MakefileやXML文書にも同様の構造がある(?)とか.差分プログラミングによるソフトウェアの合成をカテゴリー理論(??)で

    POPL 2007実況その2 - sumiiのブログ
  • はてなブログ | 無料ブログを作成しよう

    うまくいかない日に仕込むラペ 「あぁ、今日のわたしダメダメだ…」 そういう日は何かで取り返したくなる。長々と夜更かししてを読んだり、刺繍をしたり…日中の自分のミスを取り戻すが如く、意味のあることをしたくなるのです。 うまくいかなかった日のわたしの最近のリベンジ方法。美味しいラペを…

    はてなブログ | 無料ブログを作成しよう
  • 量子暗号が実用化される日 - 日経エレクトロニクス - Tech-On!

    年が明けてから,量子暗号システムの開発に関する報道発表が2件続いた。1月15日に北海道大学と三菱電機,17日にはNECが,それぞれ異なるタイプの方式による実験結果を公表したのである。 少し復習しておくと,いわゆる量子暗号は,光の粒子一個(単一光子)に情報を持たせて送ることを前提にしている。もし,この情報を途中で盗もうと思えば,その光子の持っている情報を測定しなければならないが,量子の世界でそのような測定を行うと,不確定性原理により,その光子のもともとの状態を変えてしまうことになる。その結果,盗聴があったことを検知できるという理屈である。 ところが,単一光子を発生させることは簡単ではない。そのため,量子暗号システムの開発に当たっては,レーザー光源の出力を極端に弱めることにより,擬似的に単一光子を発生しているのと同様の状況を作り出すことが多かった。しかしこれは当の単一光子ではないものだから,