All Analytics Championship Powered by SAS ~データサイエンス・アドベンチャー杯(2014年3月8日(土)開催) U-18受賞作品Read less
Functional Reactive Programming (FRP) integrates time flow and compositional events into functional programming. This provides an elegant way to express computation in domains such as interactive animations, robotics, computer vision, user interfaces, and simulation. Introduction The original formulation of Functional Reactive Programming can be found in the ICFP 97 paper Functional Reactive Anima
注意: このエントリは書きかけです。 前回はHaskellのFRPライブラリのreactiveについて取り上げ、Eventの使い方を紹介しました。今回はFRPにおいてEventと並んで重要なBehaviorを見ていきます。 Behaviorとは Behaviorについては前回触れましたが、再度おさらいしておきます。Behavior とEvent の意味は、それぞれ次のように与えられます。 Behaviorは時間の関数です。つまり時間とともに変化する値を表現できます。Behaviorの最大の特徴はそれが連続的な時間を扱えることです。Eventは特定の時間とそのときの値をペアにしたものなので、扱う時間は離散的ですが、Behaviorは任意の時間の値が得られます。連続的な時間を扱うことでプログラムがシンプルになります。このメリットについてはConal Elliott » Blog Archive
##概要 ###Mac | Mavericks Mavericksの設定については、ブログでも何度か紹介してきましたので、割と簡単にいきたいと思います。 主に、使用しているツールを書いていきます。 ###Windows | Windows7 私の場合、メインとしてCygwinとPowerShellを使っています。 Windows7は、仮想環境上で動作させています。 アプリのインストールは、Chocolateyで行います。 その他、TerminalにConsole Zを使います。 ###Linux | Manjaro Linux 現在、もう一つのMacBookAirには、Manjaro Linuxを直接インストールしています。 ウィンドウマネージャは、Awesomeを使っています。 最初は、Macとのデュアルブートしてみたのですが、どうもしっくり来なかったので、Macは消しました。非常に快適
昔、英語で見た事があったテレビ。なんと日本語字幕をつけてくださっている方がいたので、アップしました。訳してくださった方、ありがとうございます。すごく考えさせられます。 この動画にでてくる警察官の方、かっこ良すぎる...。 実は、渡も小さい時(たぶん、4歳か5歳)に近くのDIYのお店に行った時に居なくなった事があります。渡は突然、 「かくれんぼをしよう!!」 と思い立ったようです。ところが、渡は話せないので、突然自分の思い立ちで行動するので、誰にも「かくれんぼしよう、あなたが鬼で僕は隠れるからね。」などは言わない。ようするに、 「かくれんぼしよう」と言ってくれればいいのですが、それが言えない。突然、消えた渡。 たぶん、0.1秒とかそんな時間に居なくなった感じ。神隠しにあったようでした。 私は階段の上にある従業員専用休憩場に行ったと思い、(この頃、渡は階段がやけにお気に入りで、みたらすぐに登っ
Rspecでcontroller のテストを書くべきなのかと思うことがあると思います。 Everyday Rails - RSpecによるRailsテスト入門の116ページに以下の記述がありました。 “なぜコントローラをテストするのか? コントローラのメソッドを個別にテストするのにはちゃんとした理由がいくつかあります。 コントローラもメソッドを持ったクラスである。 この点についてはPiotr Solnicaが素晴らしいブログ記事を書いています。そしてRailsアプリケーションにおいて、コントローラはかなり重要なクラス(とメソッド)です。なので、スペック的にモデルと平等に扱うのは良い考えです。” 抜粋:: Aaron Sumner, Junichi Ito (伊藤淳一), AKIMOTO Toshiharu and Shinkou Gyo(魚振江). “Everyday Rails - RS
Case: GT RIDE 韓国の大手自動車メーカー・KIAが、自社初となるGT車「Pro cee`d GT」を発売しました。発売に際して、メインターゲットとなる20代~40代の男性へのアプローチの方法として同社が開発したのが「GT RIDE」という3Dゲームアプリです。 ひとことで言ってしまえばレーシングゲームなのですが、このアプリの最大の特徴は、“自らの手で三次元のレーシングコースを容易に作り出すことができる”という点。 アプリを起動し、スマホを手に持って大きく動かすと、その軌跡が立体的なトラックとなって画面に表示されます。 できあがったトラックは自動的にフェイスブックのウォールに投稿されるようになっており、自分だけのオリジナルコースをFB上の友人たちと競いながらプレイすることが可能です。 ドイツの有名なゲーマーの二人も大満足のこのゲーム。デザインや世界観もPro cee`d GTのス
一般に、メスは卵という大型細胞を作ったり、妊娠期間や産卵などが必要な分、多くの精子を容易に作れるオスと比べ、生殖に支払うコストが高い。オスは多くのメスと性交して繁殖することが可能なため、オスは交尾に積極的な一方、メスは相手を選り好みする傾向がある。交尾相手を選ぶことにより進化が進むことを性淘汰と呼び、クジャクやゴクラクチョウのオスの羽根はその例と考えられている。 このチャタテムシ属の場合、オスはメスに対し、栄養の入ったカプセルを交尾中にメスに渡す。その分オスが支払うコストが増え、オスよりメスのほうが早いペースで交尾が可能になっているため、オスの栄養を奪い合うメスの同士の競争から雌雄の積極性が逆転し、メスに強い性淘汰が働いたことが交尾器の逆転を促したと考えられるという。 昆虫は、「とりかへばや物語」にちなんで「トリカヘチャタテ」と名付けられた。性淘汰理論に加え、性差が進化した背景などを考える
先日のエントリ で書いたとおり、今は基本フルタイムでクックパッドで仕事してるけど、実態はフリーランスなので、税金まわりちゃんとしないとなー、ということで、個人事業の開業届出書と青色申告承認申請書を提出してきた。 で、個人事業主は屋号をつけてもつけなくてもいいんだけど、つけられるんならせっかくだし、ってことで、Serverspec Operations という屋号にしてみた。 勘のいい人なら気づくかもしれないけど、 Heavy Water Operations からのインスパイア。serverspec も絡めた、インフラの構築や運用の自動化、というのをメインのテーマにこの屋号で活動するつもりなんだけど、やってる内容や利用する技術が、この会社ととても近いし、リスペクトもしているので。 「インフラ」といいつつも、その上のアプリケーションレイヤーとは断続しているわけではなく連続したものであり、かつ
前回、Rubyを楽しく学ぶコンテンツのエントリで紹介したRuby Warriorが楽しいという声を幾つか見かけました。 オンラインでコーディングできるサービスは色々ありますが、デザインや音楽、ゲーム性が優れていて熱中しやすいのでしょう。 残念ながら私は参加できませんでしたが、今月のGinza.rbもRuby Warriorをみんなでやってみるという催しで盛り上がったようです。 RubyWarriorのBGMが中毒性高い。しばらく口ずさんでしまいそう。#ginzarb— Masatoshi Iwasaki (@masa_iwasaki) April 15, 2014 RubyWarriorに集中していてだれもツイートしてない^^; #ginzarb— 高橋 明 (@Talos208) April 15, 2014 今回は同様にゲーム感覚でJavaScriptを学習でき、日本語化もされているC
Docker はただ LXC を再発明しているわけではないというお話。DotCloud のファウンダーによる stackoverflow の質問への回答。 LXC はネームスペースやコントロールグループ等の Linux カーネルケーパビリティ機能を利用し、プロセスを他のプロセスからサンドボックス化し、それらプロセスへのリソースの割当てをコントロールしている。Docker はこのローレベルのカーネル機能を軸に、以下のような機能を提供している。 LXC に対し Docker が提供している機能 どんなマシンへもポータブルデプロイ可能 Docker はアプリケーションをビルドするためのフォーマットが定義されており、その全ての依存関係を (Docker がインストールされている全てのマシンで動作する) 単一のオブジェクトに入れ、それはどこで実行してもアプリケーション実行環境が同一になります。LXC
アメリカのNASA=航空宇宙局は、地球とほぼ同じ大きさで、水が液体の状態で存在する可能性がある、地球によく似た惑星を発見したと発表し、生命が存在しうる惑星の探査につながる成果として注目されています。 この惑星は、NASAなどの研究チームが「ケプラー宇宙望遠鏡」の観測結果を分析して発見したもので、NASAが17日に発表しました。 惑星は「ケプラー186f」と名付けられ、地球からおよそ500光年、光の速さでおよそ500年離れた場所にあり、地球でいえば太陽に当たる恒星の回りを、およそ130日の周期で公転しています。 「ケプラー186f」は地球の1.1倍とほぼ地球と同じ大きさで、岩石などで構成されている可能性があるうえ、恒星からの距離が適度に離れていることから水が液体の状態で存在する可能性もあり、地球に似ていて生命体の居住が可能な惑星だということです。 地球に似た惑星は、これまでも見つかっています
(※はてなフォトライフの不具合で正しくない順番で画像が表示されている可能性があります) PythonでSMO-SVM書き下すという宿題がまだ終わってないくせにこれ書いていいのか物凄く迷うんですが(笑)、R Advent Calendar 2013の12月6日分第6回の担当に当たっているのでついでに書いちゃいます。 なのですが。実はその12月6日は米ネバダ州・タホ湖畔で開催中のNIPS 2013に参加中*1でupできるかどうか分からない*2ので、タイムスタンプ変えて予めupさせてもらいました。ルール破っちゃってごめんなさい。。。 ということで、今回の参考文献はこちら。未だに評は分かれるみたいですが、僕が推すのはいわゆるSVM赤本こと『サポートベクターマシン入門』です。 サポートベクターマシン入門 作者: ネロクリスティアニーニ,ジョンショー‐テイラー,Nello Cristianini,Jo
新はてブ正式リリース記念ということで。もうリリースから何週間も経っちゃったけど。 新はてなブックマークではブックマークエントリをカテゴリへと自動で分類しているが、このカテゴリ分類に使われているアルゴリズムはComplement Naive Bayesらしい。今日はこのアルゴリズムについて紹介してみる。 Complement Naive Bayesは2003年のICMLでJ. Rennieらが提案した手法である。ICMLというのは、機械学習に関する(たぶん)最難関の学会で、採択率はここ数年は30%を切っている。2003は119/371で、32.1%の採択率だったようだ。 Complement Naive Bayesの位置づけは 実装が簡単 学習時間が短い 性能もそこそこよい という感じで、2003年段階にあっても、絶対的な性能ではSVMに負けていた。しかし、学習が早いというのは実アプリケーシ
Select an image Ubuntu is distributed on two types of images described below. Desktop image The desktop image allows you to try Ubuntu without changing your computer at all, and at your option to install it permanently later. This type of image is what most people will want to use. You will need at least 384MiB of RAM to install from this image. 64-bit PC (AMD64) desktop image Choose this if you h
連成振動のアニメーションを,TikZ + ImageMagick で作ってみました。 以下,この作り方を解説します。 背景説明 ~連成振動~ まずは,簡単な連成振動の系を,高校物理でも分かるように解説しましょう。 バネ定数$k$のバネ3つと質量$ m $のおもり2つが次のように接続されているとし,この状態で3つのバネは自然長にあるとします。 次に,各おもりが$x_1$,$x_2$だけつりあいの位置から変位した状態を考えます。 この状態で各おもりの運動方程式を立てると,それぞれ次のようになります。 \[\left\{\begin{array}{l} m\frac{d^2x_1}{dt^2} = -kx_1 + k(x_2-x_1)\\[3pt] m\frac{d^2x_2}{dt^2} = -kx_2 - k(x_2-x_1) \end{array}\right. \]この2式を辺々足し引き
前回の記事では,TeX (TikZ) でパラパラ漫画PDFを作成し,続いてそれを ImageMagick の convert コマンドによってアニメーションGIFに変換していました。 しかし,これには次のような問題点がありました。 ビットマップ化するため画質が粗く,画質を上げようとするとファイルサイズがかなり大きくなってしまう。 アニメ化の部分に ImageMagick を使っており,アニメーション作りがTeXだけで完結していない。 そこで,animateパッケージを使って,TeXだけでアニメーションPDFを作ってみましょう。*1 TeX (TikZ + animate) ソース 前回の記事のソースを,animateパッケージを使って,1枚のPDFを生成する形に書き換えます。 コンパイル animateパッケージは,pLaTeXでは動きません。pdfLaTeX / XeLaTeX / Lu
Dockerのための軽量OS「Red Hat Enterprise Linux Atomic Host」、Red Hatが発表 Red Hatは、Dockerコンテナの運用に最適化した軽量なOS「Red Hat Enterprise Linux Atomic Host」を、今年リリース予定の「Red Hat Enterprise Linux 7」と合わせてリリースすると発表しました。 Red Hat Enterprise Linux Atomic Hostは、Red Hat Enterprise Linuxの派生OSであるため、Red Hat Enterprise Linuxと同レベルの信頼性、セキュリティ、使い勝手などを備えつつ、Dockerのコンテナの実行や運用に絞って軽量化することでオーバーヘッドを小さく、さらにパッチなどの運用の手間を小さくするとしています。 Dockerとの相互運
今日は最終日で、昨日は Serverspec: The Simplest Server Testing Tool Ever というタイトルでプレゼンしてきました。海外でははじめての serverspec プレゼンなので、もっと基本的な、具体的な使い方とかデモといった内容にした方がいいのかなー、と思いつつも、そういうのはオフィシャルサイトとか見れば割と十分だし、自分以外の人でも話せる内容なので、開発者ならではの、開発をはじめたきっかけとか、開発する上での哲学とか、今後どうしていきたいのか、みたいな話をしました。(大体いい感じになるKeynoteテンプレート「Azusa」 を使わせてもらいました。ありがとうございます。あと、mirakui さんの真似して entypo や fontawesome も使ってみました。) 英語台本棒読みだし、Splunk の方から質問された内容が、なんかテストカバ
The following illustrates a technique of iteratively tiling the plane with non-overlapping shapes where, on each iteration, the position is determined randomly and the area is some decreasing function. Note that the shapes, when circles, are not added as "Soddy" circles as in Apollonian [3] space filling fractals, nor do they even need to touch at a single point of another shape [4]. If the area o
結論から言えば、git add -A は git add . と git add -u を足したものです。 git add . はワーキングツリーに新規作成された、もしくは変更されたファイルをaddします。つまり、rmコマンドなどで削除されたファイルはaddされません。 git add -u は一つ前と最新のステージを比較して、変更があった部分のみをaddします。つまり、新しく作られたファイルはaddされません。 最初にも述べたように、git add -A は git add . と git add -u を足したものですから、新規作成、修正、削除といった全てのファイルをaddします。 分かり易い例がさきのリンクに記述されているので読んでみてください。 Register as a new user and use Qiita more conveniently You get articl
Welcome to the home page of MegaPOV, the popular collection of unofficial extensions of POV-Ray. MegaPOV is a custom unofficial version of POV-Ray with a lot of additional features. You can have a look at the sample scene gallery for some example for the use of these features. If you don't know about POV-Ray you should have a look at the official POV-Ray website. On this site you can obtain MegaPO
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く