RubyフレームワークSinatra の作者 Blake Mizerany氏のインタビューを翻訳してみた。 - u16suzuの blog
RubyフレームワークのSinatra の作者である Blake Mizerany 氏のインタビュー記事を見つけたので、翻訳してみました。タイトルは "How do I learn and master Sinatra?" 直訳すれば「Sinatra をマスターする勉強方法」です。 今回はRL blog 連載"Sinatraをマスターする方法" の最終回です。この連載は、有名なSinatra開発者の方々にRubyビギナーがどのように Sinatra を学習していけばよいかをインタビューします。 Satish>> Blake Mizerany, 自己紹介していただけますか？ あなたのバックグラウンドに関して。 Blake>> 私は Heroku のマッドサイエンティストの一人です。Sinatra プロジェクトを2007年の9月に始めました。使えなかったり、使えそうなものが出来上がったりしまし
目の付けどころがいいねー、そして、間違ってもいいと思うぞ - 檜山正幸のキマイラ飼育記 (はてなBlog)
土曜日だってのにエントリー起こして。まーだペギオ・ネタを引っ張るんだけど。 今回の蒸し返しのキッカケであった礼儀正しい（礼儀正し過ぎる）青年opechumanさんのダイアリーを眺めてみたら： 檜山さんの最新エントリー(2010/2/4)を読ませてもらい あ、っと気付いたことがあり、とりあえずはトラバを飛ばさずこっそりここにメモ。 （今回は、読まれる可能性は考えてます（笑）） アハハハ、こういうのは僕の笑いのツボで、しばらくゲラゲラ笑っていた。bonotake, nucさんとのやり取りもすごく面白い。ご本人のつもりはどうであれ、僕を楽しませてくれる人には親しみを抱くのでちょっと反応。 ●圏と圏の対象を混同すること 郡司さんが圏と圏の対象を混同しているのは （それの妥当性は置いといて）意図的です。 圏と圏の対象の混同こそが、圏論’最大の特徴であり 郡司哲学の肝となる部分のはずです。 目の付けど
論理とはなにか？ - 檜山正幸のキマイラ飼育記 (はてなBlog)
たまたま、"What is a logic, and what is a proof?" (April 8, 2005) by Lutz Strassburgerという論文を見つけて、読んでみました。比較的短い（印刷して12P）解説的な論文です。表題のとおり、 論理とはなにか？ 証明とはなにか？ という2つのテーマを扱ってます。後半1/3程をしめる「証明とはなにか？」が僕はよくわからんかったのだけど、前半は、「論理（a logic）は圏だよ」という主張をとても上手に説明しています。で、まー、この前半部分を紹介しようかと。 ただし、以前に書いたエントリーを参照しながら私見を交える（私見のほうが多いかな）ので、上記論文の忠実な紹介にはなってません。気になる方は原文を読んでくださいね。 第1回（このエントリー） 第2回 第3回 第4回(完) 今回の内容： プレ順序集合 論理とはプレ順序集合なり
「実践 Erlang」講義用資料 まとめ - Twisted Mind
たけまるさんにご推薦いただき、とあるところで Erlang の講師をやることになったので資料を作るメモ 講義について # 明日にでもまとめます 以下での補助事業の一部で「実践 Erlang」の講師を担当させていただくことになりました。 コミュニティから広島に Erlang を広めたいという話を伺い、 少しでもお役に立てればと言うことで快諾させていただきました。 平成21年度「地域経済情報化基盤整備補助事業」 ビジネスベースひろしま−3ESC−コンソーシアム（中国） http://www.meti.go.jp/information/data/c90810dj.html 地域製造業に求められる「エレクトロニクス 化」を促進するために、高機能や新しいサービス を実現するソフトウェア開発を担う地域の中小 IT ベンダおよび係わる人材を育成する。また、 高度化・高付加価値のソフトウェアを提供する体
Lispbox
Lispbox is a version of Lisp in a Box, which was originally created by Matthew Danish and Mikel Evins, customized for use with Practical Common Lisp. The purpose of Lispbox (and Lisp in a Box) is to get you up and running in a good Lisp environment as quickly as possible. When you start Lispbox it launches the text editor Emacs with SLIME (the Superior Lisp Interaction Mode for Emacs) already inst
予告：セミナー「モナド」シリーズを開始します - 檜山正幸のキマイラ飼育記 (はてなBlog)
「カリー／ハワード（Curry-Howard）のお絵描きを楽しもう」にて： シリーズ3回全体を総括しなきゃ、とか思っている間に4月になってしまいました。「次はどうしようか？」とかもいずれ書くつもりです セミナー前後の事務的処理がどうも苦手で、けっこうそれが負担で苦痛だったりするんですが、、、、4月もやります！ なんとなく、そこはかとなく予告していたようにモナドシリーズの第1回。全体はたぶん3回。モナド以外のネタも考えたのですが、次の事情でやっぱりモナドにしました； ラムダ計算シリーズでは、背後にデカルト閉圏があることに言及はしましたが、それが何であるかはまったく説明できませんでした。僕も少しは心残りなんですが、僕より参加者の皆さんのほうがフラストレーションをつのらせたみたいです(苦笑)。アンケートにも「圏論をちゃんと取り上げて欲しい」という意見がありました（僕は意外に感じましたが）。 とい
絶対復習というWEBサービスをリリースしました - I am Cruby!
Ruby, Rails, 絶対復習この度，絶対復習というWEBサービスをリリースしました．絶対復習：このサイトについて 一言で説明忘れやすい事柄を絶対に復習するためのサービス 具体的に説明人間は忘れっぽい生き物です．一週間も経たないうちに殆どの情報は頭の中から消えてしまいます． もちろん忘れてもいい情報だけ消えてしまうのであればそれでいいのですが，大事な情報も一緒に忘れてしまう事が多いようです．それはまずいですよね．（これって私だけかもしれないけど．．） ちゃんと物事を覚えるには，復習するのが一番効果的です．復習する時期は科学的に決まっているようで， 1日後 1週間後 1ヶ月後 半年後という周期で復習すると，その情報は頭にしっかりと定着すると言われています． じゃあ，この周期で復習すればいいですね．終了．いやいや，でもですね．この周期とか復習する項目自体を忘れてしまうんですよ．私は．．(T
เว็บพนันออนไลน์ SA บริการเกมคาสิโน แตกง่าย เล่นง่าย ได้เงินจริง
คุณสามารถใช้เครดิตฟรี เพื่อเล่นเกม คาสิโน ทั้งหมด ที่คุณชอบพอ ได้แก่ สล็อต แบล็คแจ็ค โป๊กเกอร์ และอื่นๆ คุณสามารถใช้มัน เพื่อทดลองสิ่งใหม่ๆ และตรวจสอบโลกของ เกมออนไลน์ mgm99win ด้วยเครดิตฟรี คุณสามารถเพลิดเพลินไปกับความเพลิดเพลิน และความระทึกใจในการเล่นเกม ที่คุณชอบใจโดยไม่ต้องกังวล ว่าจะเสียเงิน ยิ่งไปกว่านี้คุณยังสามารถรับรางวัล และโบนัสเมื่อคุณเล่น และชนะ ด้วยเครดิตฟรี ไม่จำกัด คุณสามารถเล่นเกม
地政学を英国で学ぶ : 地政学の三位一体：まとめ
↑リアリズムと地政学↑ イギリスでの留学生活を実況生中継。今日のイギリス南部はよく晴れましたが、昨夜は雪が降ったみたいで少し積もっておりました。もうこっちは完全に冬です。 数日中に日本に帰国しますので、とりあえず定期的な書き込みはしばらくの間はこのエントリーで最後になろうかと思います。どうかご了承下さい。 もちろん何か面白い情報や米大統領選挙、そして講演会などのお知らせなどは、随時更新させていただくつもりです。今後ともよろしくお願いします。 ＝＝＝ さて、シリアに対するアメリカの越境爆撃があったり、パキスタンやアフガニスタンが地震や軍事紛争で動乱していたり、または「北のジョン」の健康不安など、地政学的にも注目すべき状況が続いておりますが、とりあえずここで地政学の三位一体について簡単にまとめてみたいと思います。 何度も言うようですが、この三位一体とは 「地理」「テクノロジー」「歴史」 という
Course Readings for University Educators and Students - FEDERAL RESERVE BANK of NEW YORK
News & Events Advisory Groups Vendor Information Holiday Schedule At the New York Fed, our mission is to make the U.S. economy stronger and the financial system more stable for all segments of society. We do this by executing monetary policy, providing financial services, supervising banks and conducting research and providing expertise on issues that impact the nation and communities we serve. Th
勉強会は、講師と受講者のライブセッションだ － ＠IT自分戦略研究所
エンジニアの開催する勉強会が増えている。本連載では、かつてシリコンバレーで「勉強会の文化」に身を置き、自らも長年にわたって勉強会を開催し続けている「生涯一プログラマ」のよしおかひろたか氏が、勉強会に参加し、開催するためのマインドとノウハウを紹介する。 開催場所を見ると、さすがに東京が多い。しかしそれ以外にも、大阪、福岡、沖縄、島根など、日本全国津々浦々、毎日なにがしかの勉強会が開催されている。規模もほんの数人から100人を超える大規模なものまで千差万別である。 われわれはなんと勉強会が好きな国民なのか。一億総勉強会フリークなのか。 本連載「初めての勉強会」では、勉強会好きなあなたや、そうでないあなた、一度も勉強会に行ったことがないあなた、さまざまな人を対象に「勉強会」の面白さ、楽しさを伝えていくことを目的としている。自分は特に引っ込み思案で、人見知りだから、と思っている人や、一度も勉強会に
書評：理工系のための トポロジー・圏論・微分幾何 - 檜山正幸のキマイラ飼育記 (はてなBlog)
この本、圏論を主題としたものではないのですが、タイトルに「圏論」が含まれる日本語の書籍は他にマックレーンの本（The Book）しかないような状況ですから、読んでみる価値はありそう、と購入。 これ、一般書籍ではなくて雑誌の別冊なのでISBNは付いていません。 http://www.saiensu.co.jp/magazine-htm/spsk-200612.htm 臨時別冊・数理科学 SGCライブラリ 52 理工系のための トポロジー・圏論・微分幾何 ― 双対性の視点から ― 定価1980円（本体価格1886円＋税） 谷村 省吾著 著者・谷村省吾さんは物理学者で、趣旨としては、物理の基礎知識として「トポロジー・圏論・微分幾何」を解説するというものでしょう。サブタイトルは「双対性の視点から」 -- 実際、双対性への言及が頻繁に登場します。（それでも双対性ってよくわからん、って気もするが。）
GaucheNight
2008-03-08開催の第2回の情報はgauche.nightへ 2007-05-09開催の第1回の情報はGaucheNight:2007へ
4/28（土）ミュージック・トークショー 2007 No.1“MPJ.OG会員：きたはらいく＆しほり:トーク＆ミニライブ！ : MUSIC☆PORT JAPAN が開催する各種イベント情報Blog
〜How to live as a Singer Songwriter ？〜 “音楽とともに生きる：音楽活動に行き詰まっている人へ” 誰もが憧れる音楽の道。狭く険しいですが、魅力に溢れた生き方でもあります。 今回の素敵なゲスト“きたらいくさん＆しほりさん”は、入会仕立ての2000年に当時隔月で行なっていたMPJ(旧TSC)ボーカリストオーディションでベストボーカリスト賞（8/12月）をそれぞれ受賞しました。その後お二人の音楽活動は本格化し、プロダクション・大手インディーズレーベルに所属。それらを離れ、現在は個々にしっかり生活に根付いた音楽活動を行っています。いわゆるメジャーアーティストとは違い、ご自身のスタンスで着実に且つマイペースな作品作りとライブ活動を続けていますが、実は業界関係者の中にさえも沢山のファンを持っている実力のある方達です。 初めて会ってから７年が経ちすでに大人の女性として
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Learn you some Erlang for great good! — Learn you some Erlang for great good! v0.8 documentation
Lec 1 | MIT 6.189 Multicore Programming Primer, IAP 2007
Follow Matz
数学基礎論講演会「ゲーデルの不完全性定理」 - ヒビルテ(2009-10-31)
IT 勉強会カレンダー
Animated Quantum Video