長文日記
モンドリアンの絵をアルゴリズム的に描いてみた。 - アドファイブ日記
アルゴリズムアートにチャレンジしてみました。 こちらでご覧いただけます モンドリアンの有名な絵を描くというもの。以下はアルゴリズムで描いた1枚です。 毎秒1枚ずつ描くのを眺めていると、ときどきこうしたいい感じのが出てきます。 アルゴリズムの説明は割愛します。ソースコードを置いておきます。 Chiral’s gist コーディングにはProcessingという言語を使っています。この言語は、メディアアートに特化したJavaのサブセット言語のような感じのもので、言語仕様が簡単で色んな処理系が実装されています。Processing.jsはjavascriptによる処理系で、Webブラウザ上でProcessingのコードを動かす事が出来ます。 processing.js公式サイト アドファイブ社のホームページを作っていて、フリーの良い素材がないのでアルゴリズムアートで色々作ろうかと思い立って作って
【これはすごい】Twitter検索を3倍高速化した記事の翻訳 - nokunoの日記
これはすごい！ というわけでTwitter検索を3倍高速化したという記事を翻訳してみました。Twitter Engineering: Twitter Search is Now 3x Faster2010年春。Twitterの検索チームは、我々の増え続けるトラフィックに対応し、エンドユーザにとっての遅延を減らし、我々のサービスの可用性を向上させ、新しい検索の機能を素早く開発できるようにするため、検索エンジンを書きなおす作業を始めた。 その努力の一部として、我々は新しいリアルタイム検索をリリースし、検索のバックエンドをMySQLからLuceneのリアルタイム版に変更した。そして先週、我々はRuby-on-Railsに取って代わるフロントエンドをローンチした。我々がBlenderと呼ぶJavaサーバーである。我々はこの変更によって検索のレイテンシが3分の1になり、検索機能の開発を促進できるよう
最近気になってきたjQueryについて色々調べてみました - もとまか日記
最近、「jQuery」というキーワードをよく見かけます。 これって何だろ？と思ったので調べてみたら、JavaScriptのライブラリのようで。 てことで、最近ちょっと気になってたJQueryについて調べてみました。 jQueryの概要 まずは難しいことは抜きにして、以下を読んでみると分かりやすいです。 はじめてのjQuery jQuery仕様関連 一応ですが、仕様について。 jQuery 日本語リファレンス 必要に応じてみればいいかな？と思ってるので、まだ細かくは見てません。 初心者向けの基礎知識、基礎講座 最初は初心者向けの記事を読んでみると良さそうです。 ASCII.jp：40分で覚える！jQuery速習講座一晩で覚えるjQueryの逆引き基礎サンプル7つjQuery事始め・コピペに頼らず、基礎知識を理解して実際に動かしてみるjQuery 開発者向けメモ サンプル、プラグイン 調べてて
前から気になってたHTML5について色々調べてみました - もとまか日記
先日、ドコモのAndroid端末である「GALAXY S」を予約したわけですが、そうなると気になるのが、ずーっと前から気になってたHTML5について。これからスマートフォンが普及するにつれて、無視出来ない技術であるのは誰の目にも明らかなのではないでしょうか。 てことで、HTML5について調べてみたメモです。 HTML5の概要まずは難しいことは抜きにして、概要を読んでみると分かりやすいです。 HTML5, きちんと。この記事だけで十分です。長くもなく、文字も少ないので非常に入りやすいです。 HTML5仕様関連一応ですが、仕様について。 HTML5.JP - 次世代HTML標準 HTML5情報サイトHTML 5 ― HTML 4 からの変更点 (http://www.w3.org/TR/html5-diff/ 日本語訳) 必要に応じてみればいいので、細かくは見てません。 基礎知識概要が理解出来
シェルスクリプトからsshでリモートコマンドを実行する際の注意点 - 矢野勉のはてな日記
メモ, プログラミングシェルスクリプトからsshで複数のリモートホストにコマンドを投げつける処理を書いてて、いろいろ気がついたことを、あとで自分で調べられるようにメモしておく。 ループからsshでコマンドを投げつけるシェルスクリプトのwhileループ内から、複数のホストへ順番にコマンドを投げつける処理をかいていると、最初のホストにしかコマンドが飛ばない（ループしない）これは、シェルスクリプトのwhileループ自体が、標準入力の読み取りに依存しているのに、sshも標準入力を読み取るのが原因。たとえばこんなループの場合に起きる。 somecommand | while read LINE do ssh user@hostname 'sh yourcommand /dev/null 2>&1 &' done nオプションを付けることで、sshの標準入力が/dev/nullに変わりバックグラウンド
【速報】ランダムネスが捕まった - とりマセ
数学セミナー2011年2月号 特集◎ランダムネスを捕まえる数学セミナー 2011年 02月号 [雑誌]出版社/メーカー: 日本評論社発売日: 2011/01/12メディア: 雑誌購入: 1人 クリック: 1回この商品を含むブログ (2件) を見る 二ヶ月以上遅れて速報とはこれ如何に。 ランダムネスに関するランダムな年表（チョイスはかなり偏ってます）西暦出来事1919フォン・ミーゼスがランダム性を数学的に定式化しようと試みる1920--6Xランダム性の定式化に辿り着くまでの多数の数学者による試行錯誤の時代1933コルモゴロフによる確率論の公理化ランダムネス誕生の時代1960ソロモノフが現在コルモゴロフ複雑性と呼ばれる概念を導入（数年後にコルモゴロフが同じ概念を独立に発見）1966マーティン=レフによる構成的ランダム性の定式化1970ソロヴェイはランダム強制法を導入し， の部分集合が全てルベー
「Rを教えるにあたってのクイック・ガイド」 - 勝虫日記
Rイメージングのデータをよりによって，エクセルでカット・アンド・ペーストを徹夜してやっている4年生を見て，こりゃいかんと思い，Rのスクリプトを書いて，「ほら，こんなに作業が簡単になるでしょ?」と，Rをオススメするはずだった． ところが，反応はイマイチ．こんな難しいことやってられません，と言いたげな顔になってしまったので，いきなり負荷をかけすぎたかと反省．やはり，教えるのってムズかしい． ヤマほどR関連のドキュメントがインターネットで自由に手にはいるようになってきたが，それでも，直面している問題にすぐ答えてくれるわけでもなく，じっくり学んでいく必要があるのがほとんどだ．情報が多すぎて，すぐに自分の問題の解決に役立つようには到底思えないことが多い． ちょっとプログラムが書けると生産性がぐんと上がることは多々ある．生物学科では，データ解析は必須であるから，統計解析環境のRはもってこいだ．しかし，
TwitterにおけるHadoopとLuceneを利用した大規模データ解析について - nokunoの日記
Twitterについては先日の記事でフロントエンドのBlenderを紹介しましたが、バックエンドやデータ解析のシステムにも興味があります。ちょうどData-Intensive Text Processing with MapReduceで有名な@lintool先生の新しい論文が公開されていたので読んでみました。Full-Text Indexing for Optimizing Selection Operations in Large-Scale Data Analytics(pdf)ACMのMapReduce'11というワークショップで発表された内容のようです。この論文を読んで初めて知ったのですが、Lin先生はサバティカル休暇（大学教授が長期の休みを取れる制度）でTwitterに来ており、データ解析チームで働いているそうです。この論文もTwitterエンジニアの@squarecogさんと
Thriftを使って俺俺Key-Value Storeを作った - nokunoの日記
っていうタイトルにしようと思ったんだけど、要するにThriftを使ってTxをサーバーとして使えるようにしました。 Thriftについてはこちら。Thriftインストールメモ - nokunoの日記 Txについてはこちら。Tx: Succinct Trie Data Structure READMETxThrift 1.00 2009/09/19動作環境：LinuxTxThriftはThriftを用いてTxをサーバーとして利用できるように拡張したソフトウェアです。TxThriftは、Txの持つ以下のような特徴を引き継いでいます。1. キーを圧縮して持つため、メモリー使用量が少ない2. 自然言語処理に必要なcommon prefix searchなどを高速に行うことができる3. 静的にインデックスを持つため、初期化後はキーの追加や削除はできないTxThriftの応用例として、以下のようなアプリ
一から強制法 - とりマセ
強制法（ Forcing ） 「○○は証明も反証もできない」 「○○は××と（相対的に）無矛盾である」 このようなものを証明するのに用いる常套手段が強制法（ Forcing ）です。 基本アイデア 「○○は証明できない」 ということを証明するための基本アイデアは簡単です。 たとえば、「理論 で文 が証明できない」ということを証明したいとします。 そのために、まず、理論 内の全ての法則を満たす宇宙（モデル）を仮定します。 この宇宙を、さらに の全ての法則を満たすのみならず、文 の否定をも成り立たせるような宇宙に拡大させます。 この拡大した宇宙は、理論 の全ての法則と、文 の否定を共存させてしまうのですが、 その一方、文 "" と " の否定" は決して共存し得ません。 つまり、もし理論 から文 が導けると仮定すると矛盾してしまいます*1。 したがって、理論 から文 は絶対に証明で
「所有格」の"-'s"（アポストロフィ＋s）と"of"の違い - はてな読み
"-'s"と"of"の違いについて調べたので、自分なりにまとめてエントリーにしてみます。 この"-'s"というpossessive（所有格）については、大まかなルールはありますが、それをもって厳格な規則とまでは言えないようです。その点はあらかじめご了承ください。 また、「所有格」「所有限定詞」という文法用語を使いますが、それをもって言葉通りに「所有する」という意味で考えないほうが良いと思います。「・・・の」という和訳にも注意したほうがいいかもしれません。なぜなら、日本語の意味に引きずられて理解しづらくなる可能性があるからです。その点はご注意ください。 なお、文中に引用している英語の記述に関しては逐一、翻訳をしていませんので、英語の文法用語に関してはわたしが以前に書いたエントリーを参照していただければ幸いです。 （→ 英文法用語の一覧表（英語表記） - はてな読み） ⊂(´∀｀ ) ⊂(´
ゲーデルの不完全性定理を代数学を使って表現してみた - とりマセ
『代数学は得意だけど，数学基礎論とかさっぱり分からない．論理とかマジイミフ』そんなアナタを対象に，ゲーデルの不完全性定理を解説してみよう！ のコーナーです． 論理学と代数学（可換環論）との対応については，檜山さんによる素晴らしい記事があります： 古典論理は可換環論なんだよ - 檜山正幸のキマイラ飼育記 ただ，『論理学といえばまずコレ！』とも言うべき『ゲーデルの不完全性定理』の代数学的表現については書かれていないようなので，ちょっぴり魔が差して，ここでゲーデルの不完全性定理の代数学的な表現を与えることにしました． だが，単にゲーデルの不完全性定理を代数学で表現するだけじゃあつまらない……倍プッシュだ……！というわけで，プラスアルファとして，その他色んな分野との関わりを含めて紹介します． 0. 理論は対応する代数を持つよ！： リンデンバウム代数 まず，論理学と代数学を対応させる第一の架け橋
『けいおん！』における反復の美学――学園祭ライブにおける唯のパンツ表現に関して - 反＝アニメ批評
反＝アニメ批評, 2009年春期アニメ第１２話「軽音！」をもって、一応の最終回を迎えた京都アニメーション制作による2009年春期の大人気アニメ『けいおん！』。 今回はその『けいおん！』第１２話において現れていた「反復」という主題に関して確認していこうと思います。 『けいおん！』第１２話は、ひたすら何かを反復します。とりあえず、ここでは「反復」が「差異」を描き出している点については言及しません。ただ、反復に関してのみ、説明することが憚られるほど明らかなシーンから語らせていただけるならば、まずは例えば、家に忘れてきたギー太を取りに唯が駆けまわる場面。 部屋に戻り、ギー太を担いでは再び学校へ急ぐ唯は、第１話冒頭を反復しては、リビングで足を滑らせ、 ・第１２話 ・第１話 いきおいよく玄関を飛び出したかと思うと、 第１話と同じ道を同じように走り抜ける。 途中、第１話の寄り道シーンが文字通り反復して挿
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
長文日記
「俺の邪悪なメモ」跡地
「俺の邪悪なメモ」跡地
長文日記
「俺の邪悪なメモ」跡地
「俺の邪悪なメモ」跡地