12月 2011
25件の投稿
Johan Tibell: Remotely monitor any Haskell... →
pirapira:
(via Instapaper)
“外部委託業者（システム会社）における作業において、データベースサーバ上の全てのデータを人為的に削除してしまい、お客様の注文内容、残高情報等売買を行うための基礎デー...”
– メンテナンス情報 ｜ 証券会社なら業界最安値水準の手数料で人気の株式会社ライブスター証券
“「SOPAをいい考えだと思うほどテクノロジーに無知な会社だとしたら、どうして優れた投資家であり得るのか？」”
– ポール・グレアム：SOPAを支持する会社はY Combinatorのデモデーに招待しない (via do-nothing)
“ストリームを使ったプログラミングはHaskellでもよくあるし、モジュール性を向上させるというのもどこかで読んだけど、実際に目の当たりにするととても面白い。そして...”
– 無限ストリームで幅優先探索 - keigoiの日記 (via pirapira)
うちの電子ブロック、とうとう走りやがったwww →
マイクロブログの文脈付き投稿情報の体系化に基づく重要ユーザ推薦と情報集約支援への応用 →
effective-tumblr:
TumblrユーザーでTumblr Gearの開発者の@honishiさんから、Tumblrを題材にした日本の論文があると教えてもらいました。ユーザーにとってソーシャルフィルタリングをする上で有用なコミュニティ（ユーザー郡）を見つけ出し、その代表ユーザーを抽出してリコメンドするために、次のようなステップで解析を行う、という試みをしているようです（と思います、理解が違ったら是非ご指摘を）。
あるユーザーの投稿50件について、その投稿の伝播経路（リブログ経路）に出てくるユーザーと、誰が誰からリブログしたかというリブログ関係を調べる。
平面上に登場したユーザーを並べて、リブログ関係の矢印でつなぐ。同じ経路で複数回リブログされていたら（たとえばユーザーAはユーザーBから5回もリブログしている）その矢印は太くなる（3.1）。
...
“日本は、お手本と格付けがないと生きていけないかのようだ。はやぶさでこの分野で世界の最前線、トップに立ったが、トップに立つとどうしてよいかわからなくなるのだろう。N...”
– はやぶさプロジェクトサイト トップ
“元「はやぶさ」プロジェクトマネージャ、川口淳一郎” (via tatsukii)
Understanding V8 →
“「ビートルズのソーステープはここに全部持ってるんだぜ、コンピュータのPro Tools（一般に広く使われている音楽制作ソフト）に。何が聴きたい？」（会場笑）
...”
– ビートルズのハードデイズナイトのイントロのコードがついに分かった！（動画） : ギズモード・ジャパン (via takaakik)
SystemTapで真犯人を捕まえろ！（1/4） － ＠IT →
syuu:
メンバー紹介の項目がなんとかレンジャーっぽくてアレ
Virtual Machines: The Traps « Corensic →
Sovmöss i Underlandet: Agda2 で出会う「矛盾の証明」との戦い方 →
sovmoess:
はじめに
この記事は Theorem Proving Advent Calendar 2011 の10日目の記事です。
1 日目の pi8027 さんの Agda2 の紹介記事 がありましたが、私も「依存型関数型プログラミング言語 Agda2 」についてお話しします。
Agda2 は依存型関数型プログラミング言語であると同時に、プログラミングを対話的に支援する Emacs 上の major-mode が付いた開発環境でもあります。また、依存型であるが故に論理との対応がつき、定理証明系としての使い方もできます。ただし、定理証明系としての機能は Coq や…
“クラウド型ファイルサーバとしてDropboxという便利なサービスがあります。...”
– SecretSync クラウドフォルダ暗号化ソフト: ネットワークスペシャリストによる最新情報システム投資(IT投資)入門
ref. SecretSync - Client-side encryption for Dropbox http://getsecretsync.com/ss/
今はOS X版やLinux版もあるみたい
(via bardiche-side-b)
