🙂コンピュータサイエンスと魔法のYコンビネータ

こんにちは、上杉周作と申します。米国在住のプログラマ兼ブロガーです。2019年に日経BP社から発売された『ファクトフルネス』の共訳者でもあります。詳しいプロフィールとブログはこちら。 『ファクトフルネス』 本稿「コンピュータサイエンスと魔法のYコンビネータ」は、プログラミング未経験者向けの、邪道なコンピュータサイエンスの入門書です。どういう意味かは、すぐに説明しますね！

[nanakoso]

ラムダ式を弁当箱に変換してるっぽいんだけど、これ本当にわかりやすいのかなあ

[mohno]

とりあえずベンチャーキャピタルは関係なさそう。

[ga_kun]

こういう電子書籍が読みたい。紙の本をただスキャンして電子化するのではなく、はじめから電子デバイスで読むことを想定し最適化する。

[hiro_curry]

すごい。動く教科書だ。／そういえばファクトフルネスも動くグラフがベースになってたな。

[kazoo_oo]

台風後ノロノロの電車で読むのにちょうどよかった。

[axnsword]

パズルを使って学べばいい。将来的には、「スマホから、プログラミング無しにコンピュータサイエンスを学ぶ」ことが当たり前になればいいな。本稿では逆に、みなさんに高度な内容を学んでもらいます。

[MrShoz]

Yコンビネータ

[tanakaBox]

読んだ。シンプルなことを難しく説明してる。

[FutureIsWhatWeAre]

絵文字を使えばわかりやすくなると思うなよ

[quabbin]

読んだ。最後の最後まで読んでから、もう一度最初から読み直すと良い構成。かなりいい教材だなぁ/数式アレルギーを持っている人向けの内容。持ってない人は普通に学んだほうが、もちろん良い

[wireself]

]

[hamamuratakuo]

ラムダ計算の次は圏論をお願いします。

[hara_boon]

ふむふむ

[rrringress]

楽しい

[satohu20xx]

きになる

[kabisuke]

面白かったけど、ラムダ計算そのものを習ったときの方がわかり易かったかなぁ…あと、ラムダ計算したい動機（目的）が何かまで伝えてくれると良いと思った（計算可能性とか）

[fashi]

懐かしさを感じるノリだ

[s2kw]

途中でワイプしてしまうかもなのでメモがわりブクマ。まだ読み終えてない。

[triceratoppo]

いいね！

[everybodyelse]

おもしれー。なるほどラムダ式。

[dhrname]

Yコンビネータは、λy. (λx. y(x x)) (λx. y(x x)) か、func (y) { return ( func(x) { return y( x(x) ); }) ( func(x) { return y( x(x) ); }); }の名前呼びでいけると説明すればいいんじゃね （中学生なら、最左評価戦略と標準化定理も説明すればOK）

[nisemono_san]

恐らくだけど、プログラム「言語」が何をしているのか、という意味で凄く解りやすい気はする。これに興味出て来たらLispなりなんなりすると良いと思う

[airj12]

この丁寧さでYコンビネータに辿り着いたものを読み切れる自信がない

[fb001870]

あとで…

[zu2]

“まず、コンピュータサイエンスは「医学」に、プログラミングは「治療」に例えることができます。お医者さんは、患者を治療することができますが、その治療法は医学に基づいていますよね”

[dgen]

後で読むかもしれない。読んだ。こういうのに慣れてる人には弁当箱は逆にわかりづらいかもしれないけど、おそらく初学者にとっては良いのでは。

[benibana2001abc]

つよつよ"カーネギーメロン大学でコンピュータサイエンス学士、ヒューマンコンピュータインタラクション修士取得。卒業後シリコンバレーのPalantir Technologies社にてプログラマー、Quora社にてデザイナー、EdSurge社に文字数

[zgmf-x20a]

Yが抗体に見えて…w

[ukayare]

ああ誰かと思ったら上杉周作氏か

[h_taiji]

じっくり読もう

[richard_raw]

あとで読んでみる。

[fu_kak]

サヤちゃん天才すぎる！

[caffephilia]

10年以上前に「ハッカーと画家」を読んだ時、唯一意味不明だった項目がなんとなーくわかった。なんとなーく

[yttck2014]

すごい