- 最強の数式処理系を考える [無断転載禁止]©2ch.net
18 :名無しさん@お腹いっぱい。[sage]:2017/07/05(水) 23:59:05.25 ID:tI6WhfVD0 - >>3
> コンビネーター理論がよくわからない 英語だがCambridge University Pressから出ているHindley & Seldinの入門書を読め (新旧どちらでも良いし、取り敢えずはモデルの話とかは読まずに省いても良い ちゃんと理解できれば面白い話題だけどプログラミングにはλやコンビネータのモデルの話は知らなくても影響ゼロ) それ読んでも良く解らなかったなら自分はλやコンビネータには無縁の人間だと諦めろ とにかくちゃんとわかりたければちゃんとした人が書いた入門用教科書、それも良い教科書を読むことだ 論文とか解説とかをつまみ食いしてる限りはちゃんと解らなくても仕方ない 単に色んなコンビネータの品評会みたいなのを知りたいだけならばSmullyanのTo Mock a Mocking Birdか 森北から出てる日本語訳を読め(俺自身は日本語訳は読んでないので訳の質は保証できないが)
|
|