圏論入門としてのホモロジー - 再帰の反復blog
圏論への入門の仕方 ホモロジー コホモロジー 関数のつながりにくさと(コ)ホモロジー 完全系列と圏論的視点 目次 圏論への入門の仕方 ホモロジー 付記:ホモトピーとホモロジーの違い コホモロジー 関数のつながりにくさと(コ)ホモロジー 完全系列と圏論的視点 制約としての完全系列 付記:加群のホモロジーとTor 圏論への入門の仕方 圏論を学ぶきっかけとしては、だいたい 計算機科学、論理学から ホモロジー、代数幾何から の二つがあって、一見すると計算機科学、ロジックの方から入った方が(数学の前提知識をあまり必要としないこともあって)易しいように見える。 でも現実には往々にして、わざわざ圏論という概念を導入する動機やメリットが見えてこないまま色々な言葉の説明がひたすら続いて挫折することになる。高校あたりで「三角関数とか対数とか何の意味があるんだ」「こんなこと何の役に立つんだ」とか言いたくなるのと
実験計画法 - Wikipedia
実験計画法（じっけんけいかくほう、英: Experimental design、Design of experiments）は、効率のよい実験方法を設計（デザイン）し、結果を適切に解析することを目的とする統計学の応用分野である。R・A・フィッシャーが1920年代に農学試験から着想して発展させた。特に1950年G・M・コックスとW・G・コクランが標準的教科書を出版し、以後医学、工学、実験心理学や社会調査へ広く応用された。またこれを基にして田口玄一による品質工学という新たな分野も生まれた。 他にも、マーケティングや新しい商品・サービスのコンセプトや仕様を考える場合などに用いられる、コンジョイント分析も有用である。 実験計画法の基本的な原則は次の3つである。 局所管理化 影響を調べる要因以外のすべての要因を可能な限り一定にする。 反復 実験ごとの偶然のバラツキ（誤差）の影響を除くために同条件で反
Lenses, Stores, and Yoneda
Lenses, Stores, and Yoneda Posted by Bartosz Milewski under Category Theory, Functional Programming, Haskell, Lens, Programming [13] Comments Edward Kmett’s lens library made lenses talk of the town. This is, however, not a lens tutorial (let’s wait for the upcoming Simon Peyton Jones’s intro to lenses (edit: here it is)). I’m going to concentrate on one aspect of lenses that I’ve found intriguing
Raft - The Understandable Distributed Protocol
Sustainable Security Requirements with the ASVS Josh Grossman provides a brief overview of what the ASVS is, but takes a closer look at balancing trade-offs and prioritizing different security requirements. Josh shares how to make the process repeatable and how to implement it as part of your own organization's requirements process.
One-instruction set computer - Wikipedia
A one-instruction set computer (OISC), sometimes referred to as an ultimate reduced instruction set computer (URISC), is an abstract machine that uses only one instruction – obviating the need for a machine language opcode.[1][2][3] With a judicious choice for the single instruction and given arbitrarily many resources, an OISC is capable of being a universal computer in the same manner as traditi
ブラウザ間で動画や音声のリアルタイム通信を実現するWebRTCのバックエンドサービス「SkyWay」、開発者に無償提供。NTTコミュニケーションズ
ブラウザ間で動画や音声のリアルタイム通信を実現するWebRTCのバックエンドサービス「SkyWay」、開発者に無償提供。NTTコミュニケーションズ Webブラウザからマイクやビデオカメラにアクセスし、相手のブラウザとピア・ツー・ピアで通信を行うことにより、プラグイン不要で容易にビデオチャットや音声チャットなどを実装できる「WebRTC」の仕様策定と実装が進んでいます。 NTTコミュニケーションズは、このWebRTCのコネクションの仲介をするバックエンドサーバ「SkyWay」、およびWebRTCを利用するためのJavaScriptライブラリのソースコードなどの提供開始を発表しました。 SkyWayを利用することで、開発者は複雑な通信制御をまかせることができます。プレスリリースから引用します。 WebRTCでブラウザ間の直接通信を開始する前には、仲介サーバーを介して通信制御を行う必要があり、そ
[その２] Netflix: 予想したトラフィックにあわせて自動的にスケールするScryer - ワザノバ | wazanova
http://techblog.netflix.com/2013/12/scryer-netflixs-predictive-auto-scaling.htmlその1はこちら。 自動的にスケールするロジックを生み出すアーキテクチャについてはこちらの図を参照。Scryerに過去データを取り込んで、予想データをAmazon EC2に渡すというシンプルな仕組み。 API layer: Scryerとやりとりする自動化スクリプトとウェブUIのためのRESTfulインターフェースを提供する。 Data Collector: データソースから数値を受取り、データを整形し、Predictor向けのフォーマットに変換。 Predictor: アルゴリズムに基づき予想値を計算。 Action Plan Generator: 予想値とその他のパラメータ（サーバのスループットや起動時間など）をもとに自動スケール
Bonnie++ now at 1.03e (last version before 2.0)!
Want to sponsor development of Bonnie++? If so see this link for details. The benchmark category of my blog has posts related to Bonnie++ and other benchamrk development work. It also includes information on Postal my mail host server benchmark. Version 1.04 will hopefully be the last release of Bonnie++ 1.x. I hope that now I can concentrate on version 2.0 which will have many new features. I kne
GPGPU Programming in Haskell with Accelerate
Video of the presentation: http://youtu.be/ARqE4yT2Z0o Workshop presentation on using Accelerate effectively: https://speakerdeck.com/tmcdonell/gpgpu-programming-in-haskell-with-accelerate-workshop Current graphics cards are massively parallel multicore processors optimised for workloads with a large degree of SIMD parallelism. Peak performance of these devices is far greater than that of traditio
JJUG CCC 2013 Fall「JVMコードリーディング入門」資料公開 - 虎塚
土曜にJJUG CCC 2013 Fall（http://www.java-users.jp/?page_id=695）へ行ってきました。 事前にお知らせするのを忘れていましたが、17:15〜18:05のセッションでJVMのソースコードリーディングについてお話ししましたので、発表資料を公開します。 R5-5 JVMコードリーディング入門 〜JVMのOS抽象化レイヤーについて〜 JVMのコードを読みはじめたばかりの方を対象に、JVMとOSのメモリを中心とした関係性についてお話しします。JVMはOSからどのようにメモリを確保しているのでしょうか？ そんな素朴な疑問をもとに、JVMのコードを楽しく追いかけてみましょう。※このセッションは入門者向けです。バイトコードやGCについては扱いません。 虎塚 (さくらば組) http://www.java-users.jp/?page_id=709#r5-
博士号を取るとはどういうことか – はむかず！
(これは、Matt MightによるThe illustrated guide to a Ph.D.という文章の翻訳です。) 経緯の説明： 以前同じ文章を私が他所のブログで訳していましたが、反響が多く、様々なところからのリンクや多くのコメントを頂いていました。しかし当該ブログが閉鎖になってしまいましたので、また一から訳し直すことにしました。元データは消失していた状態で訳し直したので、文言は必ずしも前回の訳とは一致しません。また、前回の訳の後、原文の筆者が加筆をしているので、その分を加えて訳すことにしました。新規追加分の区切りには横棒を入れてあります。 私は毎年秋になると新しい博士課程学生数人に「博士号とは何か」を説明するようにしている。 言葉で表すのは難しい。 だから、絵を使うこととする。 博士号への絵付きのガイドとして、以下を読んで欲しい。 人類の知識すべてを含む円を考える。 小学校を卒
あっ、急に素数が必要！でも大丈夫 – はむかず！
@hamukazu 123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567969 — 素数生成ボット（ベータ版） (@primenumber_bot) November 26, 2013 例えばこんなときに： RSA暗号の鍵ペアを手動で作りたくなったとき（公開でツイートするからセキュリティ筒抜けですけどね！） おしゃれな自作Tシャツのデザインに お守りに入れて魔除けに クリスマスに素数のプレゼントはいかがですか？ 以下解説 これは有名なMiller-Rabinのアルゴリズムというのを使っています。大きな数の素数判定でもわりと高速に計算できます。Miller-Rabinのアルゴリズムについては、ウィキペディアの解説
今度こそ若いエンジニアへ – はむかず！
これ読んだ。 読むために生まれ：若いエンジニアへ 言っていることには異論はない。突貫工事を続けて長時間労働しても効率が良くないというのは確かにそうだ。しかしこれは、タイトルに反して若いエンジニアに向けたメッセージではなく、マネージャー層に向けたメッセージではないか。若いエンジニアを長時間こき使うっていうのはリソースの使い方としては最悪ですからね、ちゃんとマネージメントしましょうね、と言っているように見える。 突貫工事は確かによくない。でもある一定の割合で突貫工事は発生する。そして、若手エンジニアが突貫工事にアサインされることは多い。しかも若手は大抵自分で仕事を選ぶ権利はない。若手、特に新人が突貫工事／炎上案件に巻き込まれた時にできる最善の策といえば、1)きちんと貢献できるように、でも体は壊さない程度に働く、2)開発プロセスがちゃんとしているかどうか見極め、ダメだと思ったら積極的に改善点を指
PM2 - Home
Discover the Products We Built that Made our Customers Successful with the Node.js Technology. PM2 Process Manager Manage, Maintain and Increase Node.js Performance. We maintain the most widely used Process Manager for Node.js counting over 100 millions downloads. It's Open Source and you can use it right away with a simple: npm install pm2 -g Get started
Overview — Phusion Passenger™ (a.k.a. mod_rails / mod_rack)
Supercharge Your Web App Passenger has a myriad of features that are invaluable to today’s web apps and microservice APIs. You get these benefits (and more) by simply installing Passenger with Nginx or Apache. Learn how. Optimization Passenger was built with high performance and efficiency in mind. With Passenger’s zero-copy architecture, turbocaching and support for multiple concurrency models, y
Operationalモナドをゲームに応用した話 - モナドとわたしとコモナド
データを処理することは、プログラミングのもっとも本質的な部分である。数値、文字列、あるいはデータの集まりなどを扱うために、数々の構造が考えられてきた。Haskellにおいては、「手順」もデータとして扱うことができる。これは、DSLを作るうえで非常に有用であり、ゲーム開発やデータベース操作……手続きがかかわるあらゆるものに応用できるだろう。 手順をデータとして扱う方法として、FreeモナドとOperationalモナドがある。ここでは、Operationalモナドをゲームのキャラクターの制御に用いた例を紹介する。Freeモナドの導入については、Andres Löh氏のHaskell eXchange 2013の講演がわかりやすく、おすすめである。 データを作る アクションゲームの敵の動きとして、この二つを考えよう: 待機 接近(攻撃) 索敵(プレイヤーの位置を調べる) EnemyMというモナ
atpages.jp - このウェブサイトは販売用です！ - atpages リソースおよび情報
This webpage was generated by the domain owner using Sedo Domain Parking. Disclaimer: Sedo maintains no relationship with third party advertisers. Reference to any specific service or trade mark is not controlled by Sedo nor does it constitute or imply its association, endorsement or recommendation.
RubyMotion を1年以上使い続けてみての雑感 - naoyaのはてなダイアリー
RubyMotion Advent Calendar 2013 に何か書こう、ということでエントリ。 ご存知のように iPhone アプリの HBFav は RubyMotion で作っています。Objective-C ではなく。以前は Titanium Mobile で作っていましたが、去年にバージョン2として作り直すにあたって RubyMotion に移行しました。 RubyMotion に関しては以前、以下のエントリで概要を説明しています。 RubyMotion - naoyaのはてなダイアリー それから、今年 5月に開催した RubyMotion カンファレンスのスライドなどもあります。 実践RubyMotion - Speaker Deck RubyMotion が発表されたのは 2012 年の5月 とかで、それからずっと使い続けているので1年半近くが経ったことになります。App
Dockerを使ってJenkinsのジョブごとにテスト実行環境を分離する - orangain flavor
はじめに JenkinsでJVM上で動かない言語（PythonやRubyなど*1）を使っていると、ジョブごとに環境が分離されていないことが問題になる場合があります。 Pythonにおける virtualenv やRubyにおける Bundler を使えば、ジョブごとに利用するライブラリを分離することができます。しかし、C拡張ライブラリをインストールするためには、ジョブが実行されるノードに開発用のファイルが存在している必要があります。例えば、Pythonモジュールの lxml のインストールにはlibxml2やlibxsltの開発用ファイルが必要です。 *2 このようなファイルが必要になるたびにJenkinsのノードにインストールするのはスマートじゃないですし、実行に必要な環境はコードの形で明文化されているべきです。 ジョブでaptやyumを使ってインストールするのもセキュアじゃないですし、
プログラムに証明が付く日 | RANDMAX
この記事は「Theorem Prover Advent Calendar 2013」6日目の記事です。 http://qiita.com/advent-calendar/2013/theorem_prover 神田「野らぼー」にて、地下の薄暗い店内で… 「そう言えばこないだ隣で起こってたポインタオーバーラン、対応大変そうだったですけどちゃんと家に帰れてたんでしょうかね、新婚なのに…」 「ヌルポとかポインタオーバーランとか、どうして無くならないんだろうね。その時はみんな手を抜いてるつもりなんて毛頭なくて、一生懸命考えて大丈夫だと思ってるはずなんだけどね。レビューもして、それでも起こった後でみんなでソース見てみると、なんで気づかなかったんだよ！ってことになる。」 「人間って、そういうの苦手なんでしょうねきっと。ほら、『何かほかにありませんか』って聞かれても出てこないじゃないですか。静的な解析っ
VagrantとSSDなVPS(Digital Ocean)で1時間1円の使い捨て高速サーバ環境を構築する - Glide Note
今年の初めくらいから個人的な技術検証にはSSDで動作が速く、1時間1円で料金が安いのと ロケーションをSan Franciscoにするとsshでもレスポンスが悪くないので、全部Digital Oceanを使っている。(徳丸先生が紹介する前から使っていたんだ！) Digital OceanについてはRebuild: 2: Rails, Redis, VPS (Kenn Ejima)の42分くらいから言及されてます。必聴です。 使ってる旧型のMacBookAirみたいな貧弱なマシンだとローカルでVM動かすとファン回りまくりとかで泣きたくなるので、Digital Oceanだと泣かずに済んで快適。 そんで今日Vagrant経由でDigital Ocean利用すると、コマンドラインから必要なときに新規インスタンス(Droplet)作って、 検証終わったら削除という手軽な使い捨て高速サーバ環境が利用
商品リスト広告（PLA）についてまとめてみる
商品リスト広告（Product Listing Ads：PLA）とは 2012年6月に日本国内でも正式に利用可能になった「商品リスト広告」（PLA: Product Listing Ads)、検索結果で見る機会がだいぶ増えてきました。（以下 ”PLA”と表記します） ＜参考＞ Inside AdWords-Japan: 商品リスト広告が日本でもご利用可能に http://adwords-ja.blogspot.jp/2012/06/blog-post.html PLA とは、ざっくりと言えば「商品の画像、名称、価格、企業名などの商品情報をGoogle の検索結果に掲載できる広告」です。これまでのAdWords と同様に検索クエリに連動して表示されるものの、オークションは通常のAdWords とは区別され、検索クエリがPLA のトリガーになりうる検索クエリに対して、Googleマーチャントセ
Rspecのテスト進捗状況が可視化できるFuubarがいい感じ！ - Qiita
ちょっと不便なRspecのテスト Rspecでテストを書いている人は多いと思うんですが，Rspecのテストちょっと不便じゃありませんか？ 例えばテスト実行中 あとどれくらい残ってるの！？いつ終わるの？(どれくらいのテストが残っているかわからない) テスト落ちたなら，それ先に見せてよ！(どのテストが失敗したかわからない，でも一応最後までテストを実行したい，けど終わるまで結果がわからない) うーん，やっぱりちょっと不便． そんな時に便利なFuubar こちらのビデオを見てもらうとFuubarがどういうものかわかると思います． Fuubarのいいところは 落ちたテストからFaiure/Errorメッセージを出してくれる． 残りのテスト数がわかる 予想終了時間が表示される 素晴らしい！ インストール Fuubarを使うには
オプト、ビッグデータ活用専任組織『OPT Data Science Lab』新設
『MarkeZine』が主催するマーケティング・イベント『MarkeZine Day』『MarkeZine Academy』『MarkeZine プレミアムセミナー』の 最新情報をはじめ、様々なイベント情報をまとめてご紹介します。 MarkeZine Day
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Sign in - Google Accounts
「グーグル・ロボット」のターゲットはアマゾン
ビジネス・エスノグラフィーがイノベーティブな組織をつくる｜特集：イノベーションのためのエスノグラフィー｜ojo
5分でわかるベイズ確率
Export/import jobs in Jenkins
Engadget | Technology News & Reviews
中国人民銀行、金融機関のBitcoin取り扱いを禁止・ただし一般市民には自己責任での取引を容認: Bitcoin memo
Serfが面白いと俺の中で話題にwwwwww
https://jp.techcrunch.com/2013/12/06/20131205who-is-the-real-satoshi-nakamoto-one-researcher-may-have-found-the-answer/