タグ

2009年4月23日のブックマーク (2件)

  • 自分自身をFAXしようとしているネコ

    自分自身をFAXしようとしているネコの写真。FAXの狭い排紙口に入ろうとしている姿が非常に愛らしく、ずっと見ていたくなります。 写真は以下より。 ImageShackR faxcat.png 一生懸命すき間に入っていますが、自分でFAXはおろかコピーすることもできません。

    自分自身をFAXしようとしているネコ
    System
    System 2009/04/23
  • さあ、Yコンビネータ(不動点演算子)を使おう! - よくわかりません

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