ラムダ計算基礎文法最速マスター - 貳佰伍拾陸夜日記
ラムダ計算は, 多くのプログラミング言語, とくに関数型言語の原形になっています. ラムダ計算について理解しておくことは, 多くのプログラミング言語の習得に役立つでしょう. ラムダ計算はチューリング完全で, 計算能力としてはふつうのプログラミング言語と同じです. ラムダ計算で計算を書く訓練をしておくことは, 任意の計算を関数のみを使って(他の制御構文を用いずに)書くときに役立ちます. ふつうに書いたら煩雑な処理を, 関数型言語のやり方で書くとすっきりすることが多々あり, コードを自由自在に書くためには必須の考え方と言えるでしょう. 項 ラムダ計算の式を項(term)と言います. 項は変数, 抽象, 適用のいずれかです. 変数 変数(variable)はふつう1文字で書きます. 変数には関数内の束縛変数(bound variable)か自由変数(free variable)かという区別があり
Y コンビネータって何？ - IT戦記
このエントリの 親友へ。ブログを書こう。 - IT戦記 y がブログを始めたみたいなので、読んでみた。 で、最新のエントリを読んでみたら、 Y コンビネータというものについて書いてあったので、 Y Combinatorが凄すぎる！ - yuji1982の日記 Y コンビネータって何ってところから、自分でもいろいろ考えてみた。 結局なんなのかさっぱり分からなかったんですが、自分が考えたことをまとめておく まず、フィボナッチ数を求める fib を定義する var fib = function(n){ return (n <= 2) ? 1 : (arguments.callee(n-1) + arguments.callee(n-2)); }; fib(10); おお！ JS すげー！名前は n しか使ってねーよ！ めでたし、めでたし。。。。じゃなくて！ JS が素晴らし過ぎて話が終わってしま
Flashがオープンソース化できず、FirefoxがYouTubeのHTML5動画を再生できない理由。H.264
「Flashをオープンソース化できない主な理由は、H.264のようにアドビが所有していない技術が含まれているから」と説明するのは、アドビシステムズでオープンソース担当ディレクタのDave McAllister氏。 McAllister氏が自身のブログにポストしたエントリ「Following the open trail. 」で、こう説明されています。 The main reason we can't release Flash Player as open source is because there is technology in the Player that we don't own, such as the industry standard hi-def video codec, H.264. われわれがFlash Playerをオープンソースとして公開できな主な理由は、Pl
Smalltalk基礎文法最速マスター（Squeak版） - Smalltalkのtは小文字です
はてな的プログラミング言語人気ランキング - Life like a clown 流行りには乗っておくのが吉…と思いつつ、なかなか書き進められないので、とりあえず、クラスやメソッド定義より前のごく基礎的な部分について。思いついたときに断わりなく追記・修正することがありますので、どうぞあしからず。（さっそくですが、タイトルを他の言語のものにあわせて変更しました） ■基本的な考え方 Smalltalk では「オブジェクトに対してメッセージを送る」という考え方のみでコードを書きます。「メッセージ式」と呼ばれる式のみを用います。 ▼メッセージ式 メッセージ式の基本文法です。 receiver message ▼カスケード 式の終わりにセミコロン「;」を置くと、直前のメッセージのレシーバーに対して、続くメッセージを畳みかけるようにして送ることができます。これを「カスケード」と呼びます。 receiv
アフリカが発展しない理由 - Chikirinの日記
私は 2005年に「なぜアフリカは発展しないのか？」というエントリを書いています。 「アジアも南米もそれなりに発展してるのに、なんでアフリカだけ戦後 60年ずっと暗黒大陸なわけ？」と長く疑問だったのですが、下記二冊の本を読み、ようやく少し理解が進みました。 で、「だったらこーすればいいんじゃない？」という案も浮かんだのですが、ちきりん仮説が実行される可能性はほぼゼロなので、アフリカは今後もずうっと発展しないかもしれません。 私が理解できなかったのは、 ・なぜ、アフリカにおける国際援助はここまで実を結ばないのか。 ・最大産業である“国際援助（ODA）獲得産業”を超える他の産業が生まれないのはなぜか。 ・なぜアフリカには「長期的な国家建設を私利私欲に優先するリーダー」がでてこないのか？ などでした。 食料を配布すればその分だけ一部の人の寿命は延びるのかもしれない。 けど、「自律的に生産・生存の
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Sketchpad