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(笑) できるようにし
きしだのHatena
CerebrasがQwen3 Coderのホストをして2000tok/secを出してるという話があって、試したいなぁと思ってたのですよ。 Qwen3 Coder 480B is Live on Cerebras ただ、$50/monや$200/monの定額プランは早々に売り切れ。 けど、1M tok/dayまで無料という噂を聞いて、使ってみることにしました。 で、以前つくった雑なエージェントを試す。 Tool Useが効かないDevstralでコーディングエージェントを作る - きしだのHatena そしたら、3秒でSpring BootでのTODOアプリが！これ、ほんとにこの速さで生成してます。 といいつつ実際に計測すると2000tps出ないんでは、とか思ってたら逆で、2600tok/sec出ていました。 いま、Claude Sonnet 4は70tpsくらいですね。 https://o
プログラマのための「ゲーデルの不完全性定理」(1) - 檜山正幸のキマイラ飼育記 (はてなBlog)
「プログラマのためのJavaScript」の番外シリーズ -- いやっ、ホントに。 これはシリーズのハブエントリーです。番号を（0じゃなくて）1にしたのは、全体目次だけじゃなくて内容が含まれるから。 ※ 印刷時にはサイドバーは消えるはずです、お試しください。 シリーズ全体目次（予定） （この記事；総論） 速攻速習編 自己適用からゲーデル化へ 「展望」への緊急パッチ（オハナシだよ） Reflective JavaScript 停止問題の構造 不完全性定理の構造 今回の内容： ゲーデルの不完全性定理とプログラミング ゲーデルが示したこと 不完全性定理の兄弟 -- 停止問題 JavaScript使うんだもんね 関連する記事（参考） 次の記事 速攻速習編 ●ゲーデルの不完全性定理とプログラミング 「ゲーデル」（人名；Kurt Godel、'o'の上に点々が付いてる）や彼の「不完全性定理」とかって、
檜山正幸のキマイラ飼育記 (はてなBlog)
2025-10-17 レノボとThinkPadにはもうガッカリだぜ（サポートのメール全文公開） 日常 僕は、ThinkPad がIBM製品だった時代から今まで、ThinkPad をずっと使い続けています。次の写真の下側のノートPCは ThinkPad X1 Carbon Gen 12 で、上に載っている汚れた箱は ThinkPad 701C （バタフライキーボード）の模型の箱です。模型は ThinkPad 10周年… 2025-10-16 ヒルベルトのイプシロン記号とボトム 雑記／備忘 「ヒルベルトのイプシロン記号のうまい使い方」において、ヒルベルトのイプシロン記号を集合ではなくて集合族に作用させると具合がいい、という話をしました。このことを別な側面から見てみます。$`A`$ が空でない集合のとき、$`\varepsilon\, A`$ は、$`A`$… 2025-10-14 また「普遍性
絵を描いて学ぶ・プログラマのためのラムダ計算 - 檜山正幸のキマイラ飼育記 (はてなBlog)
「JavaScriptで学ぶ・プログラマのためのラムダ計算」は、1回では述べ切らなくて、一段落付いたところで区切りました。これはかえって良かったですね、ブックマークやトラックバックでフィードバックが得られたので。 そのフィードバックなどをかんがみて、「残り＝次回の話題」として予告した内容とは食い違ってしまうのだけど、今回は、文章では伝わりにくい（前回うまく伝わらなかったと思える）ラムダ計算の大事なツボを、なんとか表現してみようと思います。 ［このエントリーの内容はだいぶ前にほぼ出来上がっていたのだけど、ココに書いてある事情で、“お絵描き”がなかなか出来なかったのです。］ ※印刷のときはサイドバーが消えます。 内容： 知っていて損はない 計算は身体的に理解しよう ラムダ項のツリー表示：準備 ラムダ項のツリー表示：描く！ β変換に対応するツリーの描き換え もっとβ変換をやってみよう 計算現象を
STUDIO KAMADA
X68000 X68000 LIBRARY (2008-08-18) X68000 Emulator in Java (2005-06-05) X68000関連の読み物と資料 (2003-11-15) プロセッサ関連の読み物と資料 (2001-06-22) ダウンロード (2006-01-01) Mathematics 素因数分解 (2008-09-27) New! GMPの使い方 (2008-09-21) New! GMP-ECMの使い方 (2008-08-09) Msieveの使い方 (2008-09-25) New! GGNFSの使い方 (2007-12-21) フラクタル (2002-01-14) FFTを用いた多倍長乗算の話 (2007-09-22) Space Science 人工衛星の位置を表示する (2008-09-27) New! 太陽系の天体の位置を表示する (2008
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
生活や実務に役立つ高精度計算サイト
