CPS（継続渡し方式）変換をJavaScriptで説明してみるべ、ナーニ、たいしたことねーべよ - 檜山正幸のキマイラ飼育記 (はてなBlog)
久々にThe n-Category Cafeを見たら、Mike Stayによる"The Continuation Passing Transform and the Yoneda Embedding"なんて記事がありました。 米田埋め込みは圏論ではお馴染み。継続渡しへの変換はコンピュータ・プログラミングではお馴染み。 この2つは、実は同じものなんだよ。なんで、誰もこのことを言わないんだろうね？ The Yoneda embedding is familiar in category theory. The continuation passing transform is familiar in computer programming. They're the same thing! Why doesn't anyone ever say so? Mike Stayのこの記事、面白いのだ
ポジション取りのくだらなさ - 終わりの近い日記
名声満足ゲーム 判断において一定の専門知識が必要なジャンルがあるとする。 そこにおいて相互に矛盾する説があって、現状の自分では、どちらを取るべきか簡単には判断できないとする。 正しいほうについて、自分が正しいことが証明された場合は、一定の名声や満足を得る。間違ったほうについて、否定された場合は、同様に不利益を被る。 利益、不利益は、その議論に関わった長さに比例する。 さて、この時、どんな戦法が有効か？ 自分が正しいと思う側について正面から論陣を張った場合、成功すれば大きな利益を得られるが、間違った場合は、マイナスが大きい。 安全に利益を得ようとするのなら、「関わった議論の長さ」を最大にしつつ、かつ、旗色次第で、どっちの側にも飛び移れるようにしておくのが賢いだろう。 これが、つまり、中立、相対化タイプだ。 「どっちでもありえる」「どっちでもいえる」という立場で、両側に軽く足をおきつつ、議論に
nXhtml - an Emacs mode for Web Development
Above is a little banner you can put on your site if you want to. nXhtml - Emacs Utilities for Web Development Introduction to nXhtml nXhtml is an addon to Emacs for editing XHTML, PHP and similar things. It is not very well-known, but it looks like at least Drew Yates has found it useful: nXML mode and the subsequent nXHTML mode for emacs are godsends ... And that was before I fixed all the bugs
「消費者省」を創設せよ - 池田信夫 blog
社民党のコメントなんて、ふだんは誰も読まないだろうが、昨年末に出された独立行政法人の整理合理化についての書記長談話は、いいポイントをついている。「これだけ消費者問題や偽装が騒がれている中、国民生活センターについては、行革の観点だけがクローズアップされ、廃止・統合が議論されるのはおかしい」として、逆に各省庁に分散している消費者行政機能を統合した「消費者庁」の創設を求めたのだ。 今年の年頭に出された首相談話では、さっそく首相がこれに乗った。自民党内には「行革に逆行する」との声もあるようだが、これは逆である。今の「経済産業省」「農林水産省」などと産業別にわかれている官庁を解体・再編し、消費者省に統合すればいいのだ。市場経済の原則は消費者主権だから、これはもっとも重要な官庁である。 日本の官庁は、産業を振興することを目的とし、供給側の立場で政策を立案してきた。これは生産を増やして先進国に追いつ
はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
これぞマッド・サイエンティスト
面白い物理の実験を見せてくれるMITの教授のビデオがYoutubeで大人気だが、これを見て思い出したのは、子供のころは科学の実験の時間が大好きだった私（物理より化学だったが）。自分の家にも実験室を持とうと、小遣いをためては、ビーカー＋フラスコ＋石綿金網＋三脚＋アルコールランプと買い集めていたころを思い出す。専門の薬局に水酸化ナトリウムと塩酸を買いに行って「子供には売れない」と断られたのも私だし、木炭を作ろうとしていて部屋の中に一酸化炭素が充満してしまい、「何このにおい！」と母親に助け出されたのも私だ。 ちなみに、このビデオは落下する水と空き缶だけで発電するという実験。確かにすごい。こんな先生ばかりだったら、科学好きの子供たちが増えるだろうなあ、と。
use open ':std' - てきとうなメモ
[を] Perl 標準入力と utf8 404 Blog Not Found:perl - PerlIO vs. <> それ use open - odz buffer use open ':std'を使うのが一番短く済む気がする．この場合STDERRも:utf8を通しているのでencodeせずに出力することができる． #!/usr/bin/perl use strict; use warnings; use utf8; use open ':utf8'; use open ':std'; while (<>) { print if (/[ぁ-ん]/); print STDERR "$_\n"; } use open ':std'はperldoc openで説明されている． The ":std" subpragma on its own has no effect, but if comb
【ヤッターマン】 主題歌作者の山本正之氏、世良のカバーに落胆…読売テレビ・プロデューサーの独断に戸惑いも : 痛いニュース(ﾉ∀`)
【ヤッターマン】 主題歌作者の山本正之氏、世良のカバーに落胆…読売テレビ・プロデューサーの独断に戸惑いも 1 名前：ブルーベリーうどんφ ★ 投稿日：2008/01/14(月) 20:06:55 ID:???0 アニメ「ヤッターマン」は1月14日からリメイク版がスタートする。初代は山本正之さんによる主題歌が人気だったが、リメイク版は世良公則さんと野村義男さんによるユニットが歌う。この経緯について山本正之さんが非常に悲しい裏話を明かしている。 山本正之さんからのメッセージは「ベラ・ボー エンタテインメント」のサイトに掲載されている。山本正之さんは初代「ヤッターマン」の主題歌「ヤッターマンの歌」を作曲を担当し、歌っている。 リメイク版は世良公則さんと野村義男さんによるユニット「音屋吉右衛門」が歌うことに決定しているが、その決定にはいろんな経緯があったようだ。デモＣＤがいつのまに作られ、「若い人
GC - GCアルゴリズム詳細解説 - livedoor Wiki（ウィキ）
GC¥¢¥ë¥´¥ê¥º¥à¾ÜºÙ²òÀâ ÆüËܸì¤Î»ñÎÁ¤¬¤¹¤¯¤Ê¤¤GC¥¢¥ë¥´¥ê¥º¥à¤Ë¤Ä¤¤¤Æ¾ÜºÙ¤Ë²òÀ⤷¤Þ¤¹ ¥È¥Ã¥×¥Ú¡¼¥¸¥Ú¡¼¥¸°ìÍ÷¥á¥ó¥Ð¡¼ÊÔ½¸ GC ºÇ½ª¹¹¿·¡§ author_nari 2010ǯ03·î14Æü(Æü) 20:47:11ÍúÎò Tweet ¤³¤ÎWiki¤¬Ìܻؤ¹½ê GC¤È¤Ï¡© GC¤ò³Ø¤ÖÁ°¤ËÃΤäƤª¤¯»ö ¼Â¹Ô»þ¥á¥â¥ê¹½Â¤ ´ðËÜ¥¢¥ë¥´¥ê¥º¥àÊÔ Reference Counter Mark&Sweep Copying ±þÍÑ¥¢¥ë¥´¥ê¥º¥àÊÔ IncrementalGC À¤ÂåÊÌGC ¥¹¥Ê¥Ã¥×¥·¥ç¥Ã¥È·¿GC LazySweep TwoFinger Lisp2 Pa
NSM Console « :wq
UPDATE: NSM-Console has a new home on my new website! NSM Console (Network Security Monitoring Console) is a framework for performing analysis on packat capture files. It implements a modular structure to allow for an analyst to quickly write modules of their own without any programming language experience. Using these modules a large amount of pcap analysis can be performed quickly using a set of
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
