いげ太のブログ: フドーテンが倒せない
不動点とは、関数を適用しても動かない点、つまり、f(x) = x なる x が不動点である。 と、簡潔に説明されても理解できない素地のなさ。そんなわけで、ググりつつ、妄想しつつ、なんとか解せぬものかと頭をひねり、首をひねるのである。 一次関数で考えてみる。たとえば、y = 2x - 3 （傾きが 2 で切片が -3）において、y = x であるときの x を求めればよいので、y に x を代入し、x = 2x - 3 を解いて、x = 3 が得られ、よって、y = 2x - 3 の不動点は 3 である。グラフで考えれば、x 軸と y 軸が同じである点が不動点であるので、不動点とは、ある関数 f(x) が f(x) = x （傾きが 1 で切片が 1）のグラフと交わる点である、と言い換えることもできる。 ここで、f(x) = x を x 軸上に横に平行移動したようなグラフについて考えれば、そ
ことりちゃん誕生物語 またはbleis氏は如何にしてことりちゃんを愛するようになったのか - みずぴー日記
この記事はLL/ML Advent Calendarの4日目です。 LL/ML Advent Calendarの首謀者のひとりである@bleisさんが、最近スライドに貼りまくっていることりちゃんがどのように誕生したかについて書いてみようと思います。 ※ 記憶に基づくものなので、一部事実と異なる可能性があります。 その前に ことりちゃんの画像については、自由に転載・改変していただいてかまいません。 またオリジナルサイズの画像は以下にあります。 http://f.hatena.ne.jp/mzp/20121206231515 http://f.hatena.ne.jp/mzp/20121206231514 はじまり そもそもの発端は、@dico_lequeさんがモナド/do記法の薄い本を書いていることまでさかのぼります。 mzp「内容はでこちゃんだから問題ないとしても、たぶん地味な内容になるの
F#入門
コンビネータ ラムダ計算の親戚みたいな理論として、コンビネータ理論がありますが このページの趣旨は、理論的なことはさておき コンビネータを使って遊んでみようというものです。 例えばコンビネータを使うと 「引数の順序を入れ替えたり、入れ替えて適用する」 といったことができます。 なお、ここではλ式について少し知識があることを仮定しています。 最初にコンビネータとは何かというと 「自由変数を含まないλ式」、と定義されています。 自由変数とはλ式において束縛されていない変数のことで letによる関数定義をλ式の定義とみなすと 引数が束縛変数、 既に定義されてる識別子が自由変数 になります。 コンビネータに関する本として スマリヤンの本「To mock a mocking bird」 (邦題：数学パズル ものまね鳥をまねる―愉快なパズルと結合子論理の夢の鳥物語) は有名です。 この本の楽しいところ
Home Page | F# Snippets
Get Bitcoin wallet 76a9142220867b1e79c403fafe339a809a65ed01cb697988ac 0 people like this Like the snippet! Posted: 13 days ago by The streets Computation Expression Stub Stubbed methods for a computation expression with some explanations 4 people like this Like the snippet! Posted: 1 month ago by Jimmy Byrd Recursively find all files from a sequence of directories A function that will take a seque
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Y: いげ太のブログ
F#がプレビューリリースで3.1にアップデート
