JavaScriptで学ぶ・プログラマのためのラムダ計算 - 檜山正幸のキマイラ飼育記 (はてなBlog) を見てたらラムダ計算のインタプリタを作りたくなってしまった。JavaScript で適当に作成。 http://v.takeuchi.googlepages.com/lambda.html 例えば 問題集編 にある (λx.1)[(λx.[x(x)])(λx.[x(x)])]は (λx.1)((λx.x x) (λx.x x))とすると実行できます。 別の例として、チャーチ数を使って 3 * 4 を計算してみます。 (λm.λn. m ((λm.λn.λs.λz. m s (n s z)) n) (λs.λz.z)) (λs.λz.s(s(s(z)))) (λs.λz.s(s(s(s(z)))))を入力して適当にクリックしていくと λs.λz.s (s (s (s (s (s (s

アイコンがずばりラムダ・マーク なid:mindさんが、はてなブックマークコメントで曰く： ぉ! 問題集希望♪ そうですね。「JavaScriptで学ぶ・プログラマのためのラムダ計算」の節ごとに練習問題を入れておけばよかったな、と、ちょっと高階、じゃなくて後悔。このエントリーで練習問題を提供しましょう。JavaScriptの実行環境に関しては「もっともお手軽な対話的JavaScript処理系」を参照してください。 1. JavaScriptの関数リテラル 例に挙げたsquareは、「square(x) = x×x」という中学数学風の関数定義を二通りの方法でJavaScritpに翻訳したものです。同様に以下の関数定義を、JavaScritp関数として二通りの方法で定義してください。 double(x) = 2×x sqsum(x, y) = x×x + y×y 次の式（ラムダ計算の用語では適

最近、CSS の使いまわしなどを視野に入れ、一部で class名や id名の共有というテーマへの関心が徐々に高まりつつあるような印象です。microformats なんかも、その流れのひとつといえるでしょう。 Naming conventions table（And all that Malarkey） もう、class名やid名で悩まないんだからっ！！（CSS HappyLife） (X)HTML の id/class における命名規則（purprin さん CSS Flight プレゼンスライド） 名前の共有はコードの共有のための（複数人で同一コードを編集・転用する）重要なファクターのひとつですし、非常にいい傾向だとは思うんですけど、実際につけられている名前を見てみると、シブい顔をせざるを得ない事例が結構あるようです。 コード共有のためには避けたい命名事例 構造ではなく見栄えで命名して

ご存知の方も多いかと思いますが、ご存知ない方のためにちょっとしたTipsをご紹介。Internet Explorer5.5以上限定ですが。 Webサイトをブラウザ上で自由に編集できてしまうテクニックです。やり方は簡単。下記のJavaScriptをアドレスバーに打ち込むだけ。 javascript:document.body.contentEditable='true'; document.designMode='on'; void 0 こんな（↓）感じです。 ドラッグ＆ドロップで画像を動かせる他、テキストも自由に書きかえることができます。これはコンテンツをブラウザ上で編集できる「contentEditable」というタグを活用したTipsですね。 » contentEditableについて スクリーンショットを取る時にいらない画像を簡単に消したりできるのは便利かも。diggからの情報でした

ベルリン＆ポーランド旅行での食事を一挙公開！ 2025年の7月、戦後80周年ということで、「もうひとつの敗戦国ドイツ」と「アウシュビツ」を訪れる12日間の「ちきりんオリジナルツアー」を催行しました。今回のツアーでは、食事の内容まで事前打ち合わせを行い、しかもかなり細かく（旅行会社に）希望を伝えたため、大…

htaccess使えない人は、こういうことやればいいのかな? var Tinycafe = {}; Tinycafe.toppage = 'http://localhost/~kazuaki/tinycafe/'; Tinycafe.deny = [ 'http://localhost/~kazuaki/tinycafe/denied.html' ]; Tinycafe.allow = []; Tinycafe.check = function (ref,pattern) { for(var i = 0, len = pattern.length; i < len; i++) if(ref.match('^' + pattern[i])) return true; return false; }; Tinycafe.verify = function () { var ref = docu

Are you experiencing an issue with an Opera product or just want to find out how to do something? You're at the right place.

デフォルトブラウザよりも速く、安全でスマートなOperaブラウザ。プライバシー、セキュリティ、オンラインで行うすべてのことに対応したフル もっと見る

本ドキュメントははてなブックマークコメントをその場で表示するライブラリについての解説です。主にはてなスタッフがその作成と更新を行っています。

タイトル長い。はてなブックマークのJSONPインターフェイスを使って、タイトルの通りのものを作ってみた。 Hatena Bookmark Comment Reader Bookmarklet 実は結構昔に作ったのだけれど、諸事情で遅くなってしまった。 extractorとか良いサービスもあるのだけれど、残念ながらインラインで表示するブックマークレットがSafari（とか）で動かないので、Safari（とか）で動くことを目標に作った。 ついでだったので、extractorよろしくいろんなソーシャルブックマークのJSONPインターフェイスを叩きまくるバージョンも作りかけているのだけれど、たまにブラウザ（Safari）が落ちたりするので、まだまだ。でも、そっちも一応URIだけプレリリース。 Bookmark Comment Reader Bookmarklet 今ははてなブックマークだけ。はてな

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

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

http://aql.osx.cc/hatena/syntax/badge.html 実行するとクリップボードにコピーするバージョンを作った。以下を参考に（というかまんま使わせてもらって）Flash経由でクリップボードに上書きコピーする。 http://a-h.parfe.jp/einfach/archives/2005/0706043145.html 上書きコピーするもんで、実行が破壊的操作となるのが微妙なのだが、そもそも実行する時はコピーしたい時がほとんどで、実際に使ってみるとかなり使い勝手が良かった。 本当は、良い感じに継承してオーバーライドしてみたいなことをしたかったのだけれど、スクリプトから別のスクリプトを読み込んだりが結構面倒で、ひとまず二つのバージョンに分けた。ただ、メンテナンスの都合上、１つにまとめたいな。