E:\LW2001_how_to_walk_the_kernel.prn.pdf
•1 VA Linux Systems Japan taka@valinux.co.jp Linux World C&D/Tokyo 2001 2001 10 24 Linux World C&D/Tokyo 2001 2001 10 24 u u u u u u u u u u u u u CD Linux if ( A { A B B A if ( A { B return } B •2 u u u u ’ u … ² u u u u u u u u u u u u u u u u u u u u J •3 u u u u … u … u … u … u … u … u u u u u u u u u u … u u u u …… u u u u •4 u u u u u l l l l CD Linux libc.so 4. I/O a.out LINUX fread() 3. I/
圏論とラムダ計算の参考書 - (保存用) 檜山正幸のキマイラ飼育記 メモ編
次のエントリー内で書籍に触れています。 groovyとラムダ式(6)：補足と総括 - 檜山正幸のキマイラ飼育記 (はてなBlog)→プログラミング言語の基礎理論、プログラム意味論 ウルトラ・マクロな立場の定式化 - 檜山正幸のキマイラ飼育記 (はてなBlog)→プログラミング言語の基礎理論 見つけもの：Angelo Vistoliのていねいな論文 - 檜山正幸のキマイラ飼育記 (はてなBlog)→Categorical Logic and Type Theory, Handbook of Categorical Algebra 2 データ型のクレイジー計算 - 檜山正幸のキマイラ飼育記 (はてなBlog)→Categories and Computer Science 圏論、論理、計算論の関係については、"Introduction to Higher-Order Categorical L
perl - DESTROYって何? : 404 Blog Not Found
2006年05月07日11:30 カテゴリLightweight Languages perl - DESTROYって何? Shiroさん、いい質問です。 404 Blog Not Found:perl - Yet Another Way to Add Singleton Methods ちょっと疑問。この実装で、$fooが不要になった時に$fooおよびシングルトンメソッドのsubの実体はGCされるのでしょうか。結論を先に言うと、きちんとされます。というのか、この場合それを手でやっているわけです。そして、それを手でやっている箇所がDESTROY。 sub DESTROY { my $self = shift; $DEBUG and carp "Destroing $self"; delete $Method{ $self + 0 }; } 実はこのmethodは、名前に反して「ゴミ捨て」そ
404 Blog Not Found:TuringとChurchの狭間で
2006年04月16日13:53 カテゴリMath書評/画評/品評 TuringとChurchの狭間で The Emperor's New Mind Roger Penrose [邦訳:皇帝の新しい心] なんでひげぽんが反復がすぐにわからなかったかを憶測すると、「変数とは代入すべきもの」、という手続き型言語の呪縛が思い立つ。ひげぽんは別にがっかりする必要はない。hyukiさんさえそれに引っかかっていたんだから。 その証拠を、以下にお見せする。 [結]2005年8月 - www.textfile.org sub fix { my $G = shift; return $G->( sub { my $x = shift; return fix($G)->($x); } ); } これはPerlで実装した不動点関数で、全く問題なく動く。しかし、hyukiさんも知らぬ間に一つ「反則」を犯しているこ
オブジェクト指向と高階関数は同じようなもの？ - sumiiのブログ
等とLL Ringで口走った責任をとって解説してみる。オブジェクトをλ計算にencodeする話は1990年代に流行って、λ計算＋レコードで「大体」表現できる、ということになったらしい。情報隠蔽は存在型(exsitential type)でもstateのclosureでもよい（というか、それらも似たようなものだが）。細かい違いはいろいろとあるようだし、そもそも「オブジェクト指向」の定義も曖昧なので問題がwell-definedではないかもしれないが。 ちなみに、4年生のときに研究室配属されて、最初に参加したゼミの講演が上述のcomparing object encodingsだったのだが（話者はTACSで来日していたPierce）、当たり前ながらまったくわからず、これはヤバいと思って、数週間後の自分の発表*1までに型システム関係の論文を20本ぐらい読み漁った（当時はTAPLなどという便利なも
東大での講演 - squeakerのブログ
(ちょっとだけ追記しました。その他1/25のあたりも見てみてください。) "Can programming be reinvented?"というタイトルでの発表。東工大と東大で似たような発表をしたのだが、ストーリーラインが比較的新しいため、先にやった東工大での発表には反省点がいろいろあり、それが東大での発表に生かされた形になったのは否めない、かもしれない。以下は、かなり再現性の低いメモ。詳細はさらに聞いてください。「私」はもちろんAlan Kayを指します。 近所の人から、「なんで新しいコンピュータのほうがWindowsの起動やMS Wordの起動が遅いの?」、「大きいディスクがついているはずなのに、なぜ使える容量が少なくなるの?」、「アップデートをしたら、何で再起動しなくてはいけないの？」という質問をされる。なかなか良い質問である。 私自身も、コンピュータに関する疑問がある。「なぜ、コン
【レビュー】カユいところに手がとどく - 軽量・高速「jQuery」 (1) jQueryとは | エンタープライズ | マイコミジャーナル
1 jQueryとは jQueryはJavaScriptで開発されたAjaxライブラリ。The MIT LicenseおよびGNU GENERAL PUBLIC LICENSE Version 2のデュアルライセンスで提供されているオープンソースソフトウェアで、一口でいえばPrototype.jsとよく似たJavaScriptライブラリだ。2006年9月23日(米国時間)に公開された「Ajaxian.com 2006 Survey Results」の調査結果によると、もっとも人気があるAjaxフレームワークは上から順にPrototype、Script.aculo.us、Dojo、DWR。割合は7%ながらも6位にはiQueryがランクインしている。 jQueryはPrototype.jsに触発されて開発がはじまったライブラリで、Prototype.jsと類似した表記方法を採用しつつ、整理され
元ギーク、今ただの人。
ふとはてブを見たら、前に仕事をしていた小さな会社の社長が、別の大きな会社の取締役になっていて、小さな会社と業務提携をする発表会の記事が載っていた。微妙に5Users。 ああ、あんな頃もあったな、と。 中学に入ったときにPC-9801VXを入手。高校時代にMS-DOSを操作するいわゆるパソコンおたくとなり、大学時代にLinux, FreeBSDの薫陶を受けた。 そして、大学出るところで怪しげな個人事業主に騙されてベンチャー企業で偽装請負、最初は１８万の給料だったか。 そこそこ頑張っていると、やがてそのベンチャーの社長に声をかけていただき、その個人事業主と訣別してベンチャーに入社。気が付くと、ある大手のお客様に納品するサブシステムのリーダーを２２の時にやっていた。 だが、開発のいろはを何もしらないペーペーだ。基本設計も詳細設計もぼろぼろというかやっていないような酷い出来で、正常系の１本も通るか
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
IBM Developer
HMV Ellen Mcilwaine（エレン マキルウェイン）
字幕.in | YouTube動画にブラウザ上から字幕を挿入できるサービス