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で共有

前の記事のコメント欄で 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

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

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さんも知らぬ間に一つ「反則」を犯しているこ