なぜλ計算はλ計算と呼ばれているのか - まめめも
π計算のπは、λ計算のλからギリシャ文字順に選んだそうです *1 。僕も "process" の p だと思ってました。では、λ計算はなぜλなのか。λはアルファベットの l の祖先ですが、"function" には l は現れません。これは学生時代に調べたことがあって、答えは表記の変遷の中にありました (?) 以下 [1] によります。まず、パラドックスで有名なバートランド・ラッセルは、x を受け取って 2x+1 を返す関数を次のように書いていました。 つまり仮引数の上にハットを置く。これにちなんで、λ計算の生みの親であるアロンゾ・チャーチは次のように書きました。 しかしチャーチの文章を出版するとき、当時の印刷技術ではハット付きの文字が印刷できなかった (!) ので、 ^x.2x+1と写植屋さんが書き換えてしまいました。さらに、これをみた別の写植屋さんが ^ をλと勘違いしてしまった (!
Kotaku - The Gamer's Guide
A little more than a week ago, Steam developer HyperReuts was at rock bottom. The studio had given out 10,000 free keys for its multiplayer arena space game Evolvation, only for scammers to snap up a chunk of them. In response, HyperReuts tried to delete the offending keys, but in the process, it accidentally zapped…
幼女よ今日も健やかであれ――癒し系子育て漫画「ゆる家族（仮）」
こんな姉妹が親戚にいたら、さぞ愛らしく楽しいに違いない。イラストレーターのしみずとしやすさんがブログやpixivで公開している子育て漫画「ゆる家族（仮）」を読んでいると、そんな気分になってくる。チビッコの思考回路は、大人にとってはときに不可解でおかしい。でも子供当人は奇をてらったわけでなく、毎日が真剣だ。そんな姿に自然と愛着が湧き、姉妹の成長を応援したくなる。 同作は“とーちゃん”こと作者のしみずさんが、自身の体験をベースにして描く実録コミック。好奇心旺盛な“かーちゃん”、おませな長女“はる”、おしゃべり能力が日に日に高まっていく次女“ゆず”――家族4人の日常がほのぼのと描かれている。 物語を通じて、はるちゃんはチビッコからお嬢さんに、ゆずちゃんは赤ん坊からチビッコへとクラスチェンジ。マイペースなゆずちゃんのオモシロ言動はつきることがなく、ときおり見せる無心の表情が何ともおかしい（無心とい
「大きなミスを犯してしまった」――楽天koboに何が起きたのか
「kobo Touchのアクティベーションができない」――楽天が鳴り物入りで投入した電子書籍サービスに、発売当日から不具合が続出した。担当の執行役員は「申し訳ない」と陳謝。顧客の声を聞きながら、スピーディに改善していきたいという。 楽天子会社のカナダKoboが7月19日に発売した電子書籍端末「kobo Touch」。7980円という挑戦的な価格が話題を呼び、三木谷浩史社長が店頭でトップセールスするなど鳴り物入りで登場したが、発売当日に手に入れたユーザーの一部は、「アクティベーションできない」「電子書籍が正常に表示されない」など不具合に悩んだ。楽天の直販サイトの端末レビュー欄には批判が殺到し、炎上状態になった。 一連の問題はなぜ起きたのか。楽天は、問題にどう対処していくのか。そして、直販サイトのレビューが閲覧できない状態になったのはなぜか――楽天デジタルコンテンツ推進室の本間毅執行役員に真相
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
