javascript - λ表記をDSLに : 404 Blog Not Found
2010年10月02日05:00 カテゴリMathLightweight Languages javascript - λ表記をDSLに 計算論 計算可能性とラムダ計算 高橋正子 クロージャーがある言語には、λ演算がすでに含まれています。 が、たいていの場合、その言語の流儀で書かねばなりません。たとえばこんな風に。 var Z = function(f) { return (function(g) { return function(m) { return f(g(g))(m); }; })(function(g) { return function(m) { return f(g(g))(m); }; }) }; ふつーに Z := λf. (λx. f (λy. x x y)) (λx. f (λy. x x y)) と書けたらよいと思いませんか? λscript(笑) できるようにし
群の叡智 - ガロア理論を知るための三作 : 404 Blog Not Found
2010年08月23日22:30 カテゴリ書評/画評/品評Math 群の叡智 - ガロア理論を知るための三作 技術評論社成田様より献本御礼。 天才ガロアの発想力 小島寛之 『天才ガロアの発想力』出ました！ - hiroyukikojimaの日記 「意欲的な中学生なら理解できるぜ」を目標に書いた ガロアが「自分終了のお知らせ」の前に「あれ」を見つけたのは、まだ10代の頃。 天才の業績を再現するのに天才である必要は必ずしもない。ニュートン力学だって高校生で習うではないか。さすればガロアの理論だって中学生に理解できるように再構成できるはずである。 本書は、それをやった。 とはいえ、物足りなさもあるので本entryではさらに二冊紹介することにする。 「天才ガロアの発想力」は、ガロアが「あれ」をどう解いたのかを説いた本としては、おそらく現時点で世界一簡潔な一冊。 目次 - 書籍案内：天才ガロアの発想
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
