イプシロン計算ってなんですかぁ？ こんなもんですよぉ - 檜山正幸のキマイラ飼育記 (はてなBlog)
ラムダ計算は、計算モデルとしてだけでなく、手計算の実際的手段としても役立ちます。しかし、通常使われる各種変換（アルファ、ベータ、イータ、デルタ）ではうまく計算が進まないときがあります。例えば、gがfの逆関数のとき、f(g(y)) は y に簡約されるのだけど、f(g(y)) ⇒ y って簡約規則は通常のラムダ計算ではうまく定式化できません（いや、できるかもしれませんが、僕にはうまい方法が思いつきません）。 そこで、ラムダ計算に加えてイプシロン計算も使うとよさそうです。でも、イプシロン計算は、ラムダ計算ほどにポピュラーではないですね。簡単な例でイプシロン計算を紹介しましょう。 内容： イプシロン記号とイプシロン項 イプシロン項の意味 イプシロン項が定義する関数 例題：gがfの断面（セクション）であること イプシロン記号とイプシロン項 負の数-1とか、無理数√2とかを導入するとき、次のような定
プログラマー面接時の技術的な質問事項(アプレッソ版) - 解答編 : 小野和俊のブログ
昨日、プログラマー面接時の技術的な質問事項(アプレッソ版)を書いたところ、「自分ならこう答える」というエントリを書いてくれた人が何人かいて、個別にコメントしようかとも思ったのだが、昨日のエントリだけだと質問の投げっぱなしになってしまうところもあるので、解答編を書くことにした。 なお、「面接の質問項目を公表しちゃっていいの？」という指摘もあったが、ブログに書いたのはあくまでも質問項目の一例だし、解法を検討する過程を見れば普段どんな風に開発しているのかはだいたいわかるので、特に問題ない。 for (int i = 0; i < list.getLength(); i++) {}の潜在的パフォーマンスボトルネック list.getLength()がlist.getLength()回評価されてしまう。具体例としては、JREに標準で付属するDOMのライブラリのNodeListの実装はlist.get
ファッションに興味が出てきたやつにオススメする10アイテム
いつまでもオタクなんて流行らないことしてないで、リア充体験したくなってきた！ けど服をどうしたら良いかわからない、、、なんてやつにオススメする10アイテムをピックアップ とりあえず、これだけ揃えておけば「即戦力になる」「後々便利」なアイテムを紹介してる。 こんな感じかなー わからん単語が出てきたらググれ。君達は一般人よりは情報戦は得意なはずだろ？ アメリカンアパレル Vネックカットソーとりあえず、夏のトップスはアウターやらレイヤードやらでお洒落感を出すのは難しい。暑いし。あとそんなスキルないだろ？ だから、夏、野暮ったいやつとスタイリッシュなやつどこで差がでるのかといえば、首周りとサイジングと配色。 そこで挙がってくるのはアメアパのVネックカットソー コイツはカラーバリエーションが多いし、サイズ展開も幅広い。んで安い。 サイズは体系に因るからなんとも言えないんだけど、若干小さいかな？って思
Latest topics > 拡張機能におけるeval()の5つの間違った使い方 - outsider reflex
Latest topics > 拡張機能におけるeval()の5つの間違った使い方 宣伝。日経LinuxにてLinuxの基礎？を紹介する漫画「シス管系女子」を連載させていただいています。 以下の特設サイトにて、単行本まんがでわかるLinux シス管系女子の試し読みが可能！ « Firefox 3.5 + Glasser + Aeroの環境でやっておきたい設定 for Glasser 3.5 Main 仏陀再誕 The REBIRTH of BUDDHA » 拡張機能におけるeval()の5つの間違った使い方 - Nov 28, 2009 以下、Adblock Plus and (a little) more: Five wrong reasons to use eval() in an extensionのいいかげんな訳です。XUL/Migemoのバージョンアップ時のエディタによるレビュー
ナウシカに隠された宮崎駿の陰謀
好きなものは空と緑とS2000とガンダムとラジコン・ミニ四駆、Perfume（かしゆか）。ときどき子育てとキャンプ。 先週から押井守・岡部いさく著の「戦争のリアル」という本を読んでますけど、文中にて宮崎駿の「風の谷のナウシカ」に関する面白い記述を見つけました。 戦争のリアル Disputationes PAX JAPONICA 押井 守 押井：（中略）一日にT-34戦車を50両撃破したとかさ。そういう話が日本人は大好きなんだよね。 岡部：だからドム12機を三分で（笑） （中略） 押井：そういうふうなことが日本人の心を慰撫するんだよ。でも慰撫してるだけであって何も学ばせようとしてない。 もっと言っちゃうと「（風の谷の）ナウシカ」だってそうなんだよ。巨人神兵ってなんなんだと。早すぎた試作品がウォーってなきながら、結局自壊しておしまいっていう。 一同：（笑） 押井：あの男の子の乗ってた戦闘機だっ
京都iPhone勉強会で発表した - Pastalablog in はてな
安田先生に頼まれていたWebViewの使い方と、簡単なHello,worldの書き方を日経ソフトウェアを参考に紹介しました。 iPhone勉強会資料View more documents from pastak.
吉野家社長「味にこだわる当社が、同業他社の値下げに安易に対応することは思想としてあり得ない」 : 痛いニュース(ﾉ∀`)
吉野家社長「味にこだわる当社が、同業他社の値下げに安易に対応することは思想としてあり得ない」 1 ： ラジオメーター(三重県)：2009/12/12(土) 20:52:50.91 ID:m+Kp5yKi ?PLT 【ドラマ・企業攻防】吉野家値下げせず！？ “牛丼デフレ”の試練 吉野家は値下げするのか。すき家が７日から牛丼並盛りを業界最安値の２８０円に値下げし、“牛丼デフレ”が一気に加速する中、吉野家は３８０円を堅持する構えだ。割高な米国産牛肉を使用し「こだわりの味」を守るには現在の値段がギリギリとみられている。値下げに参戦すれば、赤字に転落した業績がさらに悪化するのは必至だ。かつてのデフレの申し子が、試練を迎えている。 コストは１．５倍 値下げ当日に発表するという、すき家の電撃的な値下げから一夜が経過した８日午後７時過ぎ。吉野家の店舗の中でも最大の集客力を誇る有楽町店（東京都千代田区）は、
Kanasan.JSの３代目代表になりました。 - ちなみに
２代目である37toさんの引退を受けKanasan.JSの代表を引き継ぐことになりました。 初回から参加しているKanasan.JSにはとても思い入りがあり、 すこしでも手伝えればとスタッフをしていたのですが、 いつのまにか代表になってしまっていて、興奮と混乱が同時に来ております。 どう考えてもKanasanさんのように情熱的にも、37toさんのように誠実にも、 そのどちらにもなれないと思うのですが、無理して模倣するのではなくて、 僕といまのスタッフによるあたらしい雰囲気を作り出せればと思っています。 運営しているのは僕だけではなくスタッフ全員です。 id:yaotti という存在がなければ Kanasan.JSは成り立たないということを最後に強調してしめさせていただきます。 # スタッフは随時募集中です！ 学生の甘えの抜けない（口だけだし！）僕ですが、どうぞよろしくお願いいたします。 そ
『| ＾＾ |秒刊SUNDAY｜秒刊SUNDAYの閉鎖問題について、ブックマーク数が500に達した場合閉鎖します。』へのコメント
暮らし | ＾＾ |秒刊SUNDAY｜秒刊SUNDAYの閉鎖問題について、ブックマーク数が500に達した場合閉鎖します。
| ＾＾ |秒刊SUNDAY｜閉鎖なう。
コメント一覧 1. 秒刊名無し 2009年12月13日 00:09 ゴミみたいな人だね。 2. 秒刊名無し 2009年12月13日 00:11 厨房並だな 3. 秒刊名無し 2009年12月13日 00:11 閉鎖しろよ、さっさと。 そんな屁理屈が通じると思ってんのか 4. 秒刊名無し 2009年12月13日 00:11 え？ なにそれこわい 5. 秒刊名無し 2009年12月13日 00:12 俺の頭が悪いせいか意味がよく分からん 6. 秒刊名無し 2009年12月13日 00:13 >>閉鎖後は、通常通り更新致します。 >>閉鎖はしましても更新をしないとは言っておりません。 日本語がおかしいような気がする・・・
「やりたいこと」から逆算するリバース・スケジューリング
毎日夕方の５時半には職場を「お先に失礼」して、それでいて一線の研究者として成果を上げ、人気ブログを書く方法があるとしたら？ そんな方法があるなら、私こそそれを真っ先に実践してみたいです。 Study Hacks の管理人で MIT のポスドクが本業の Cal Newport さんのゲスト投稿がまさにこうした成果をたたき出すためのコツとマインドセットについて触れていて、うーんとうならされました。 まずは信じられない彼の活躍ぶりですが、MIT のポスドクとして研究を本業とし、プロシーディングも含めて 10 本の論文を書き、本を執筆したうえで、Study Hacks のブログも維持しているというのに、彼が働いている時間は毎日 8:30 から 17:30 の間だというのです。かれはこの５時半以降を完全にフリーにしておくのが好きだということで、運動や犬の散歩の時間も含めてこの時間までには完了させるよ
忘年会の写真の共有にも最適！「30days Album™」 | nanapi[ナナピ]
忘年会の写真の共有にも最適！「30days Album™」 に関するライフレシピをご紹介します。nanapi [ナナピ]は、みんなで作る暮らしのレシピサイトです。nanapiでライフレシピ生活！ あなたのライフレシピを待っている人たちがいます あなたが生活でちょっとうまくやっていること、 それを知りたがっている人たちがいます！ あなたの投稿で、 みんなの生活をハッピーにしてみませんか？ nanapiに参加する（無料） はじめに 忘年会シーズンですね！今年最後の思い出としてたくさん写真を撮る方も多いかと思います。せっかく撮ったその写真は、今年中にみんなに見せてあげませんか？ メールだと容量が大きすぎて撮ったものを全部送るなんてことはできません。1つ1つ手間をかければできたとしても、すごく時間がかかってしまいます。また、プリント（現像）するのはお金もかかる上に手間もかかります。撮った写真がた
「MashPad」素早く読みやすいメモが残せるオンラインメモ帳を公開しました
イベント・セミナー集客プラットフォーム 「こくちーずプロ」を使えば、驚くほど簡単で安全なイベント告知・集客ができます。誰でも使えるシンプルさ、とことんまでイベント集客の手助けができる拡張性、大規模なイベントの大量な申し込みも安心して受付ができる高機能を併せ持っています。 一般的なイベントだけでなく講演会や、定期的に開催する地域セミナー、クローズドな社内勉強会、大規模な学会など様々なイベント形態にあわせた募集が可能です。 サービスのトップへ セミナー会場検索サービス 「こくちーずスペース」は、イベント・セミナーの開催に適したセミナー会場（貸し会議室・ホール）を所有する全国2,700箇所以上の公共施設を掲載！リーズナブル・格安で安心して利用できる貸し会議室やレンタルスペースを中心にイベントの規模や設備など目的にあった施設を簡単に検索できます。 今まで見つけにくかった公共施設の詳細な情報をまとめ
ちくわしか持ってねえ
3 ：以下、名無しにかわりましてVIPがお送りします[]：2009/12/11(金) 12:50:02.96 ID:i0YGmWPl0 誰がくれ 4 ：以下、名無しにかわりましてVIPがお送りします[sage]：2009/12/11(金) 13:03:15.13 ID:+jyPTbrU0 5 ：以下、名無しにかわりましてVIPがお送りします[]：2009/12/11(金) 13:33:48.28 ID:i0YGmWPl0 age 6 ：以下、名無しにかわりましてVIPがお送りします[sage]：2009/12/11(金) 13:35:29.80 ID:+jyPTbrU0 7 ：以下、名無しにかわりましてVIPがお送りします[]：2009/12/11(金) 13:45:12.28 ID:i0YGmWPl0 age 8 ：以下、名無しにかわりましてVIPがお送りします[sage]：2009/1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
あなたが知らないかもしれないLinuxのコマンドいろいろ | IDEA*IDEA
変電工 - Google C++スタイルガイド日本語訳
Linux でのバックアップを自動化する
Engadget | Technology News & Reviews