タグ

2012年10月27日のブックマーク (8件)

  • 日本酒イベント - 日本酒カレンダー

    まいにち日酒がある幸せ。「日酒カレンダー」です。 日酒カレンダーはみなさまから寄せられた情報からできています。イベントの開催案内、こんなイベントあるよ、等々情報大歓迎です! 03月03日(水) 三月三日ひな祭りに日酒を! 02月14日(土)(02月22日(日)まで) #蔵開き 💝【第2弾】蔵祭り2/14㈯▶22㈰の9日間! 白扇酒造 02月20日(金) 10:00〜15:00(02月22日(日)まで) #蔵開き 株式会社 わしの尾 鷲の尾の蔵開き 酒と肴の器 02月21日(土) 09:00〜17:00(02月22日(日)まで) #蔵開き 酒蔵開き 鷹の夢 山盛酒造株式会社 名古屋の地酒 清酒タカノユメ 山盛酒造株式会社 02月21日(土) 09:30〜12:30(02月22日(日)まで) #第1部 #蔵開き 甲斐の開運醸造元 井出醸造店「第33回 蔵開き」 02月21日(土) 0

    日本酒イベント - 日本酒カレンダー
  • ラムダ計算とチューリングマシンの違い 2009-04-13 - きしだのはてな

    ぼくもYコンビネータがわかるようになるまではそうだったのだけど、Yコンビネータを使うとどのような処理ができるのかがよくわからなくて悩んでいる人が多いように思う。他の人のブログを見ても、名前をつけずに再帰ができるのがすばらしいとか書いてあったりするのだけど、それによってどういう処理ができるのかわからずにいた。 結論をいえばYコンビネータには、なにかの処理を便利にする能力はない。関数であらゆる計算ができるということが示せれば、あとは用なしだ。理論の礎としてうまってしまえばいい。 結局、Yコンビネータによってどのような処理ができるかというのは、ラムダ計算の要素のメリットをチューリングマシンの中に見出そうとしてるといえる。 ラムダ計算とチューリングマシンは、どちらも計算モデルという点では一致しているけど、全く違う。 無限であるか有限かの違いといってもいい。 チューリングマシンでは、データの量と処理

    ラムダ計算とチューリングマシンの違い 2009-04-13 - きしだのはてな
  • さあ、Yコンビネータ(不動点演算子)を使おう! - よくわかりません

    前回、おとうさんにもわかるYコンビネータ!(絵解き解説編) - よくわかりませんというエントリで、Yコンビネータ(不動点演算子)と再帰の絵解き解説をしました。 Yコンビネータ自身は、結局のところ再帰を産み出してくれるだけです。関数(正確にはλという単純な文字列変換ルール)だけで出来て、プログラミングに関するいろんな原理の研究を可能にするのが凄い訳です。その辺のさわりを、きしださんが解説されています。しかし、単なる再帰なら、実際のプログラミングではYコンビネータなんて使わなくても出来ます。 じゃあ、Yコンビネータとか不動点とかは、偉い学者さんとかが研究に使えばいいもので、普通のプログラマには何の意味もないモノなのでしょうか? というわけで、今回はポジティブに、Yコンビネータや不動点で出てくる考え方を、理論だけじゃなく、実際のプログラミングに応用する例を見てみましょう。 今回、プログラムの例を

    Hash
    Hash 2012/10/27
    同じ結果を返すけどYコンビネータで包むことができるから, 再帰にキャッシュを仕込むことができるのか...
  • 不動点コンビネータ - Wikipedia

    「Yコンビネータ」は不動点演算子について説明しているこの項目へ転送されています。カリフォルニア州の企業については「Yコンビネータ (企業)」をご覧ください。 不動点コンビネータ(ふどうてんコンビネータ、英: fixed point combinator、不動点結合子、ふどうてんけつごうし)とは、与えられた関数の不動点(のひとつ)を求める高階関数である。不動点演算子(ふどうてんえんざんし、英: fixed-point operator)、パラドキシカル結合子(英: paradoxical combinator)などとも呼ばれる。ここで関数 の不動点とは、 を満たすような のことをいう。 すなわち高階関数 が不動点コンビネータであるとは、 任意の関数 に対し、 とすると, が成立する 事を指す。 あるいは全く同じことだが、不動点コンビネータの定義は、任意の関数 に対し、 が成立する事であるとも

    Hash
    Hash 2012/10/27
    無名再帰とも. fixed point combinatorの最もシンプルな例がYコンビネータ. 任意の関数gに対して Y g = g (Y g) が成り立つ... 頭がフットーしそうだよおっっ
  • 手軽に使える forward http proxy : stone, Tinyproxy - 酒日記 はてな支店

    直接グローバルに繋がる経路をもたないホストから http アクセスしたいので http proxy を使いたい。Squidは定番ですが、もう少し手軽なのはなにかないかと思っていたところ twitter で教えていただきました。ありがとうございます。 reverseじゃなくてforwardなhttp proxyでsquid以外って手軽なの何かないか。Apacheをそれだけのために動かすのはちょっと…てかんじ 2012-10-23 17:57:44 via YoruFukurou @fujiwara stone とか? 2012-10-23 18:03:07 via web to @fujiwara @fujiwara うちはtinyproxyつかってますよ。 2012-10-23 19:01:47 via Echofon to @fujiwara Stone Simple Repeater

  • sourceforge.jp

    We’re getting things ready Loading your experience… This won’t take long.

    sourceforge.jp
    Hash
    Hash 2012/10/27
  • Scheme:内部defineの評価順

  • twitterでOAuthを使う方法(その1:認証まで) - てっく☆ゆきろぐ

    FreeBSD、MacOSX、Webアプリ系、RDBMS(PostgreSQL)などの話題が中心になるかと思います。 OAuthって結構難しいと思われてるようですが、難しいというよりは、『ややこしい』です(苦笑) そんなわけで。 手順毎に順番に説明をしようと思います。 ※2009/09/23 説明の図(手書きでごめんなさい)追加しました。 ●語句の説明 ・サービスプロバイダ(service provider)・・・サービスを提供しているところ。この場合、twitter。 ・ユーザ(user)・・・サービスプロバイダに登録していて、そのサービスを利用している人。 ・コンシューマ(consumer)・・・サービスを提供しているところに、ユーザにかわって、そのサービスに対してアクセスする第三者。サードパーティ、とでも言うべきでしょうか。要は、この記事を見て「何か作ってみたい」という、あなたです。

    twitterでOAuthを使う方法(その1:認証まで) - てっく☆ゆきろぐ
    Hash
    Hash 2012/10/27
    よい図解