カリー化 - Wikipedia
カリー化 (currying, カリー化された=curried) とは、複数の引数をとる関数を、引数が「もとの関数の最初の引数」で戻り値が「もとの関数の残りの引数を取り結果を返す関数」であるような関数にすること（あるいはその関数のこと）である。クリストファー・ストレイチーにより論理学者ハスケル・カリーにちなんで名付けられたが、実際に考案したのはMoses Schönfinkelとゴットロープ・フレーゲである。 ごく簡単な例として、f(a, b) = c という関数 f があるときに、F(a) = g（ここで、g は g(b) = c となる関数である）という関数 F が、f のカリー化である。 関数 f が の形のとき、 をカリー化したものを とすると、 の形を取る。uncurryingは、これの逆の変換である。 理論計算機科学の分野では、カリー化を利用すると、複数の引数をとる関数を、一つ
ラムダ計算 - Wikipedia
この記事には参考文献や外部リンクの一覧が含まれていますが、脚注による参照が不十分であるため、情報源が依然不明確です。 適切な位置に脚注を追加して、記事の信頼性向上にご協力ください。（2020年5月） ラムダ計算（ラムダけいさん、英語: lambda calculus）は、計算模型のひとつで、計算の実行を関数への引数の評価（英語: evaluation）と適用（英語: application）としてモデル化・抽象化した計算体系である。ラムダ算法とも言う。関数を表現する式に文字ラムダ (λ) を使うという慣習からその名がある。アロンゾ・チャーチとスティーヴン・コール・クリーネによって1930年代に考案された。1936年にチャーチはラムダ計算を用いて一階述語論理の決定可能性問題を（否定的に）解いた。ラムダ計算は「計算可能な関数」とはなにかを定義するために用いられることもある。計算の意味論や型理論
京都府、本気出しすぎ！ 国勢調査を「けいおん!!」でPR
「律ちゃん、国勢調査ってなにー？」――京都府が、アニメ「けいおん!!」のキャラクターを使った国勢調査のPRに乗り出した。 けいおんのキャラ5人をポスターに採用。キャラ同士の掛け合いで国勢調査の意義をPRするラジオCMも制作し、Webサイトで音声を公開している。 府の担当者によると、「限られた予算の中で国勢調査をよく知っていただく」ことを目的に広告代理店からの提案を受け、「けいおん!!」の採用を決めたという。「若者にも国勢調査に興味を持っていただきたい」としている。 けいおん!!は京都アニメーション（京都府宇治市）が制作しており、アニメには京都の風景も描かれている。 関連記事 唯や澪、あずにゃんが傘に アニメ「けいおん！」のヒロインが傘に！ これなら雨の日のお出かけも楽しくなりそうだ。 寺ズッキュン♪ “萌え寺”了法寺がCD発売、テーマソング御開聴 萌え看板で知られる了法寺がテーマソングCD
[JS]jQueryのプラグイン33+1選 -2010年7・8月
当サイトではCookieを使用しています。引き続き当サイトを閲覧することにより、ポリシーを受け入れたものとみなされます。今後表示しない詳しく見る
ソフトバンクの動画配信サービスをiPhoneで楽しめる「選べるかんたん動画2010」
『選べるかんたん動画』は、ソフトバンクモバイルの3G携帯向けの動画配信サービス「選べるかんたん動画」をiPhoneで視聴することができる無料のアプリです。 このサービスは、プロ野球・Jリーグなどのスポーツのハイライト、映画、芸能、グルメなど、13ジャンル・42コースの動画を無料で楽しむことができます。 「お気に入り」の機能があり、42のコースから興味のあるものを登録し、自分だけの動画チャンネルを作ることが可能です。 まずは、「ジャンル」のリストから観たいものを選択。 プロ野球・Jリーグでは、球団・チームごとにコースが別れており、応援したいものだけをお気に入りに登録することができます。 最新の動画は「新着」でチェック。頻繁に新しい動画が追加されているようです。 動画の視聴にはWi-Fiでの接続が必要。外出時には、「ソフトバンクWi-FIスポット」などを利用すると便利です。 プロ野球やJリーグ
Twitter APIのBASIC認証の生存を確認するためのbotを作りました
ここで書いたとおり Twitter APIのBASIC認証は2010年6月に「廃止予定」（→8月まで延長） – 頭ん中 Twitter API の BASIC 認証は8月31日をもって終了。 以後は使えなくなる予定。のはず。 これを書いている時点ではまだ動いてるみたいなんだけど、 予告どおりならもうすぐ止まるはずなので いつまで生きてるか確認するための bot を作りました。 この bot は BASIC 認証で動かしているので、 これが発言をしている間は まだ BASIC 認証が生きているということですね。 毎分発言するのでフォローはしない方がいいと思います。 これいつか止まるんだなあ。 それを前提として作ったのではあるけど、何となく寂しい。 なお、こちらに挙げている bot は これまでに作ったTwitterのbotまとめ – 頭ん中 すでに全部 OAuth 対応済みなので大丈夫です。
グリー株式会社に入社しました - naoyaのはてなダイアリー
昨日は退職の挨拶にブックマークや Twitter などで多数のコメントをいただきました。改めて、自分がたくさんの人に支えられていることを実感し、自分は幸せ者だなと感じました。本当にありがとうございます。 いただいたコメントで「次はどこへ」というご質問を多数いただきましたので、報告させてください。 本日より、グリー株式会社で働きます。 グリーのサービスのビジョンは「インターネットを通じて、世界をより良くする。」というメッセージに集約されています。 インターネットが本格的に世の中に普及してすでに10年以上の年月が立ちますが、まだまだ、それが秘める体験は世の中の人々に届いていないと感じます。ここ何年かの間に、ブログや SNS、ソーシャルゲーム、ソーシャルメディアなどの大きなトレンドがあって、その中で各サービスがその体験を補完する形で立ち上がってきました。 これから10年20年、自分がやるべきこと
git add -p の使い方 - @kyanny's blog
y ... 追加 n ... スキップ s ... もっと細かい hunk にわける e ... 直接編集 (うまくできなかった) s がすてき。
Ajaxを勉強しよう
このページはAjaxを勉強してみたい人向けの学習用ページです。サーバーを入れ替えたため一部CGIを使用したものが動作していません。時間のある時に修正します。また、書いてから、かなり時間が経過しているため内容的に古いものもあります。ご了承ください。 Ajaxで利用されるエフェクトに関しては別ページ(Ajax Effect)に移動しました。 Ajax関連書籍に関してはAjax関連書籍一覧ページを用意しました。 Prototype系ライブラリ サンプルプログラム【New !!】のページを用意しましたので、Prototype系のライブラリを利用している方は参考にしてみてください。 ミスや間違いなどがありましたらopenspc@po.shiojiri.ne.jpまでお願いします。 第一章 Ajaxって？ AjaxとRIA AjaxとDHTML AjaxとFlash Ajaxに必要な知識と技術 Aja
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://twitter.com/bulkneets/status/22629470007
TechCrunch | Startup and Technology News