JavaScriptでカリー化。ありがち、つうか実際にあるでしょうね。小ネタと思ってやりはじめたら、意外と混乱した。一種のメタプログラミングのはずだが、実際にはテキスト加工処理。 内容： カリー化ってなに？ カリー化を行う関数を作る：準備 カリー化を行う関数を作る：テキストのパッチワーク カリー化を行う関数を作る：組み立て ●カリー化ってなに？ 2引数の関数f(x, y)に対して、「gがfのカリー化」だとは、f(x, y) = g(x)(y) が常に成立すること -- ゴチャゴチャ説明するより実例実例： functio sum(x, y) { return x + y; } このsumのカリー化の例： function curried_sum(x) { return function (y) {return sum(x, y);} } curreid_sum関数は1引数で、戻り値として関数

ブックマークしました ここにツイート内容が記載されます https://b.hatena.ne.jp/URLはspanで囲んでください Twitterで共有

はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28

前の記事のコメント欄で shinh さんから私の投稿した Brainfuck の Quine が実は世界記録ではないかという指摘があったので一応メモ． 負数のメモリ番地は反則らしいので，投稿した 392B （改行除く，以下同様）ではなく shinh さんの書き直した 404B が最短となる． 以下に簡単な解説を示すが，以前までの記録であった（と思われる）410B のものも全く同じ構造をしている． Brainfuck での Quine は，大まかに 3 つのパート A, B, C に分けられる． 具体的には，(A)「B+C」を表現するデータ列を生成， (B) A のデータ列から「A」自身を表現するデータ列への変換（同時に元のデータ列も複製）， (C) 作られたデータ列の出力処理（つまり「A+B+C」が出力される），という構成になっている． 最初に投稿した 587B のものでは，B の部分で，

OCaml では，let rec を使わずに再帰関数を模倣することができる． 但し「for ループを使えばできる」とかそういう話ではない． 例えば，階乗を計算する関数 fact は，通常 let rec を用いて， let rec fact n = if n > 0 then n * fact (n-1) else 1 と再帰的に定義されるが，次のように let rec を使わなくても定義できる．let turing (`M x) y = y (fun z -> x (`M x) y z) let fact = turing (`M turing) (fun f n -> if n > 0 then n * f (n-1) else 1) ちょっと読み難いが，実際に fact 10 と実行してみれば， 3628800 と正しい出力が得られることが確認できるだろう． このカラクリを支えている

2006年04月20日03:51 カテゴリLightweight Languages Y combinator is forbidden in Haskell!? Haskell流に自分の足を撃つ方法が、Y-combinatorの定義だったなんて! Haskellでは、実にElegantにLambda Calculusを実装できます。これをご覧になれば少しうっとりできるでしょう。 -- church numerals ch_0 = \f x -> x ch_1 = \f x -> f x ch_2 = ch_succ ch_1 ch_3 = ch_succ ch_2 ch_4 = ch_succ ch_3 ch_5 = ch_succ ch_4 ch_6 = ch_succ ch_5 ch_7 = ch_succ ch_6 ch_8 = ch_succ ch_7 ch_9 = ch_suc

はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28

再帰を無名のままやりたい。 … 無名の自分をどうやって呼ぶんだ？ 名前を付けてやればいい。 無名で名前が付けられるのはというと、仮引数しかない。 何かの関数の実引数としてわたしてやればいいんじゃない？ こんな感じ def nanika(f) f # あれ？ end引数としてfが渡されてきたということは、fは定義済みでブラックボックス。 fの定義をしたいのに。 … fにブロックを渡せるようにしておけばいいんじゃない？ で、fの定義でブロックを呼び出す。 つまり、fの定義(の一部)を実行時まで遅らせる、実行時に決定できるようにしておく。 def f(self, x) ... self(self, x-1) ... endこんな感じ。仮引数のselfは、自分自身(f)が入ってくる予定だよ〜という気持ち。 そしたら、nanikaの中では def nanika(f, x) f(f, x) endとし

はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28

2007年02月06日12:00 カテゴリMath プログラマーのための0.999...の解釈 あれ、はまちちゃんが釣られてる。イワシが不漁で小魚が足りなかったのかな！ ぼくはまちちゃん！(Hatena) - 0.999... について考えた 「0.999... は 1 に等しい」っていうのが話題ですね！ これを見て、なんだか面白そうだったから、 算数のテストでいつも 10てんくらいだったぼくも、ぼくなりに必死で考えてみました！ これね、0.999....がdoubleとかNumとかだと考えるからぐるぐるまわっちゃうんだ。 クロージャーないしオブジェクトだと思えばいいんだよ。 var one_third = 1/3; じゃないんだ。 var one_third = function(q){ return q() * 1 / 3; } なんだよ、本当は。 意味は、定義(define)してある

http://www.sampou.org/cgi-bin/haskell.cgi?Memoise http://www.ice.nuie.nagoya-u.ac.jp/~h003149b/lang/fix.html http://www.kmonos.net/wlog/52.php#_0308050827 (最小)不動点を使うのは、けっきょくletrecのような自身を参照できる機能を使わずに再帰的に自身を呼び出すからか。遅延評価な言語なら fix f = f (fix f) 。リンクにあるのは fix f = fixedf where fixedf = f fixedfか。どちらも左辺で指定した名前を右辺側で使っているか。これを使わないとしたら副作用無しの言語でやると例のdata constrcutorでつつむトリックが必要か。 Java annotationでやるとしたら @inter

「プログラマのためのJavaScript」の番外シリーズ -- いやっ、ホントに。 これはシリーズのハブエントリーです。番号を（0じゃなくて）1にしたのは、全体目次だけじゃなくて内容が含まれるから。 ※ 印刷時にはサイドバーは消えるはずです、お試しください。 シリーズ全体目次（予定） （この記事；総論） 速攻速習編 自己適用からゲーデル化へ 「展望」への緊急パッチ（オハナシだよ） Reflective JavaScript 停止問題の構造 不完全性定理の構造 今回の内容： ゲーデルの不完全性定理とプログラミング ゲーデルが示したこと 不完全性定理の兄弟 -- 停止問題 JavaScript使うんだもんね 関連する記事（参考） 次の記事 速攻速習編 ●ゲーデルの不完全性定理とプログラミング 「ゲーデル」（人名；Kurt Godel、'o'の上に点々が付いてる）や彼の「不完全性定理」とかって、

2024/12/27 ベイスターズのドキュメンタリー映画「勝ち切る覚悟」を見た！ シーズン終盤～日本シリーズ優勝までの舞台裏を抑えたドキュメンタリーで、ベンチ裏での映像がメインとなっている。ナレーションは無く、説明がほとんど無いので「いつ何があったか」があらかじめわかって…

http://d.hatena.ne.jp/CAX/20060608/sos シュレーディンガーの猫の核心 http://hp.vector.co.jp/authors/VA011700/physics/catwjs.htm 結局、「シュレーディンガーの猫」のパラドックスは、何を意味するか？　次のことだ。 「粒子説を前提とすると、おかしな結論が生じる」--http://hp.vector.co.jp/authors/VA011700/physics/catwjs.htm 罪悪感について（途中）について http://d.hatena.ne.jp/michiaki/20060607#1149613370 善とか悪とかを仮定するから、おかしな結論になるんじゃないかと思ったり。↑と同じ。 なんか、思考がループして無限ループになり、「罪悪感を感じる」ことを感じる、のようにどんどんスタックが積みあが