https://b.hatena.ne.jp/nsyee/lambda/ lambdaに関するnsyeeのはてなブックマーク (38) https://qiita.com/kamimoo/items/f4b3ef22ca0327e88e32 nsyee 2015-06-08T11:03:33Z Java android lambda <blockquote cite="https://qiita.com/kamimoo/items/f4b3ef22ca0327e88e32" title="Androidでラムダ式を使いたい - Qiita"><cite><img src="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fqiita.com%2Fkamimoo%2Fitems%2Ff4b3ef22ca0327e88e32" alt="" /> <a href="https://qiita.com/kamimoo/items/f4b3ef22ca0327e88e32">Androidでラムダ式を使いたい - Qiita</a></cite><p><a href="https://qiita.com/kamimoo/items/f4b3ef22ca0327e88e32"><img src="https://cdn-ak-scissors.b.st-hatena.com/image/square/cf2c87a5790ad5b47b3d5fcd031c3c630cfcce01/backend=imagemagick;height=90;version=1;width=120/https%3A%2F%2Fqiita-user-contents.imgix.net%2Fhttps%253A%252F%252Fqiita-user-contents.imgix.net%252Fhttps%25253A%25252F%25252Fcdn.qiita.com%25252Fassets%25252Fpublic%25252Farticle-ogp-background-afbab5eb44e0b055cce1258705637a91.png%253Fixlib%253Drb-4.0.0%2526w%253D1200%2526blend64%253DaHR0cHM6Ly9xaWl0YS11c2VyLXByb2ZpbGUtaW1hZ2VzLmltZ2l4Lm5ldC9odHRwcyUzQSUyRiUyRnFpaXRhLWltYWdlLXN0b3JlLnMzLmFtYXpvbmF3cy5jb20lMkYwJTJGMTkwNDglMkZwcm9maWxlLWltYWdlcyUyRjE0NzM2ODI2MDE_aXhsaWI9cmItNC4wLjAmYXI9MSUzQTEmZml0PWNyb3AmbWFzaz1lbGxpcHNlJmJnPUZGRkZGRiZmbT1wbmczMiZzPTUyNmM1ZjI5MTAyNDY3OGY3MGE0ZWZhYTA2Y2FlZWFj%2526blend-x%253D120%2526blend-y%253D467%2526blend-w%253D82%2526blend-h%253D82%2526blend-mode%253Dnormal%2526s%253D0a7702a514a1d72bab176b70292a4752%3Fixlib%3Drb-4.0.0%26w%3D1200%26fm%3Djpg%26mark64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZ3PTk2MCZoPTMyNCZ0eHQ9QW5kcm9pZCVFMyU4MSVBNyVFMyU4MyVBOSVFMyU4MyVBMCVFMyU4MyU4MCVFNSVCQyU4RiVFMyU4MiU5MiVFNCVCRCVCRiVFMyU4MSU4NCVFMyU4MSU5RiVFMyU4MSU4NCZ0eHQtYWxpZ249bGVmdCUyQ3RvcCZ0eHQtY29sb3I9JTIzMUUyMTIxJnR4dC1mb250PUhpcmFnaW5vJTIwU2FucyUyMFc2JnR4dC1zaXplPTU2JnR4dC1wYWQ9MCZzPThmYzQzNGQ2ZDY1NjZmNGY0NGQwNGEzMGUxM2QzYTFj%26mark-x%3D120%26mark-y%3D112%26blend64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZ3PTgzOCZoPTU4JnR4dD0lNDBrYW1pbW9vJnR4dC1jb2xvcj0lMjMxRTIxMjEmdHh0LWZvbnQ9SGlyYWdpbm8lMjBTYW5zJTIwVzYmdHh0LXNpemU9MzYmdHh0LXBhZD0wJnM9ZjA3ZmFlYTdhM2NlMmVjZDRmMTc4ODMzMjc1MzE0NjI%26blend-x%3D242%26blend-y%3D480%26blend-w%3D838%26blend-h%3D46%26blend-fit%3Dcrop%26blend-crop%3Dleft%252Cbottom%26blend-mode%3Dnormal%26s%3D65af9bcfe3953c4d7fca71f7248e986f" alt="Androidでラムダ式を使いたい - Qiita" title="Androidでラムダ式を使いたい - Qiita" class="entry-image" /></a></p><p>Java 8が正式リリースされ早2か月。 やっとJavaでラムダ式が正式に使えるようになって嬉しい限り。 とはいえ、AndroidはAPI 19でJava 7がやっとサポートされたばかり。 でも諦めるのは早い。Retrolambdaがある！ Retrolabmdaとは ラムダ式をJava 7, 6, 5で使えるようにしたバックポートツール Java 8でコンパイルされた...</p><p><a href="https://b.hatena.ne.jp/entry/s/qiita.com/kamimoo/items/f4b3ef22ca0327e88e32"><img src="https://b.hatena.ne.jp/entry/image/https://qiita.com/kamimoo/items/f4b3ef22ca0327e88e32" alt="はてなブックマーク - Androidでラムダ式を使いたい - Qiita" title="はてなブックマーク - Androidでラムダ式を使いたい - Qiita" border="0" style="border: none" /></a> <a href="https://b.hatena.ne.jp/entry/s/qiita.com/kamimoo/items/f4b3ef22ca0327e88e32"><img src="https://b.st-hatena.com/images/append.gif" border="0" alt="はてなブックマークに追加" title="はてなブックマークに追加" /></a></p></blockquote> 25 http://bro-app.herokuapp.com/ nsyee 2014-05-02T02:20:35Z lambda haskell scotty 事例 教育 <blockquote cite="http://bro-app.herokuapp.com/" title="Botkit Starter Kit"><cite><img src="https://cdn-ak2.favicon.st-hatena.com/64?url=http%3A%2F%2Fbro-app.herokuapp.com%2F" alt="" /> <a href="http://bro-app.herokuapp.com/">Botkit Starter Kit</a></cite><p><a href="http://bro-app.herokuapp.com/"><img src="" alt="Botkit Starter Kit" title="Botkit Starter Kit" class="entry-image" /></a></p><p></p><p><a href="https://b.hatena.ne.jp/entry/bro-app.herokuapp.com/"><img src="https://b.hatena.ne.jp/entry/image/http://bro-app.herokuapp.com/" alt="はてなブックマーク - Botkit Starter Kit" title="はてなブックマーク - Botkit Starter Kit" border="0" style="border: none" /></a> <a href="https://b.hatena.ne.jp/entry/bro-app.herokuapp.com/"><img src="https://b.st-hatena.com/images/append.gif" border="0" alt="はてなブックマークに追加" title="はてなブックマークに追加" /></a></p></blockquote> 1 https://hackage.haskell.org/package/slot-lambda nsyee 2014-04-08T00:10:15Z haskell lambda QuasiQuoter neta <blockquote cite="https://hackage.haskell.org/package/slot-lambda" title="slot-lambda"><cite><img src="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fhackage.haskell.org%2Fpackage%2Fslot-lambda" alt="" /> <a href="https://hackage.haskell.org/package/slot-lambda">slot-lambda</a></cite><p><a href="https://hackage.haskell.org/package/slot-lambda"><img src="" alt="slot-lambda" title="slot-lambda" class="entry-image" /></a></p><p></p><p><a href="https://b.hatena.ne.jp/entry/s/hackage.haskell.org/package/slot-lambda"><img src="https://b.hatena.ne.jp/entry/image/https://hackage.haskell.org/package/slot-lambda" alt="はてなブックマーク - slot-lambda" title="はてなブックマーク - slot-lambda" border="0" style="border: none" /></a> <a href="https://b.hatena.ne.jp/entry/s/hackage.haskell.org/package/slot-lambda"><img src="https://b.st-hatena.com/images/append.gif" border="0" alt="はてなブックマークに追加" title="はてなブックマークに追加" /></a></p></blockquote> 1 https://github.com/pi8027/lambda-calculus nsyee 2014-02-27T09:14:52Z Coq lambda SKI Agda type-system <blockquote cite="https://github.com/pi8027/lambda-calculus" title="GitHub - pi8027/lambda-calculus: A Formalization of Typed and Untyped λ-Calculi in Coq and Agda2"><cite><img src="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fgithub.com%2Fpi8027%2Flambda-calculus" alt="" /> <a href="https://github.com/pi8027/lambda-calculus">GitHub - pi8027/lambda-calculus: A Formalization of Typed and Untyped λ-Calculi in Coq and Agda2</a></cite><p><a href="https://github.com/pi8027/lambda-calculus"><img src="" alt="GitHub - pi8027/lambda-calculus: A Formalization of Typed and Untyped λ-Calculi in Coq and Agda2" title="GitHub - pi8027/lambda-calculus: A Formalization of Typed and Untyped λ-Calculi in Coq and Agda2" class="entry-image" /></a></p><p></p><p><a href="https://b.hatena.ne.jp/entry/s/github.com/pi8027/lambda-calculus"><img src="https://b.hatena.ne.jp/entry/image/https://github.com/pi8027/lambda-calculus" alt="はてなブックマーク - GitHub - pi8027/lambda-calculus: A Formalization of Typed and Untyped λ-Calculi in Coq and Agda2" title="はてなブックマーク - GitHub - pi8027/lambda-calculus: A Formalization of Typed and Untyped λ-Calculi in Coq and Agda2" border="0" style="border: none" /></a> <a href="https://b.hatena.ne.jp/entry/s/github.com/pi8027/lambda-calculus"><img src="https://b.st-hatena.com/images/append.gif" border="0" alt="はてなブックマークに追加" title="はてなブックマークに追加" /></a></p></blockquote> 1 http://www.jmuk.org/AlligatorEggs.html nsyee 2014-02-18T07:59:57Z math lambda game <blockquote cite="http://www.jmuk.org/AlligatorEggs.html" title="Alligator Eggs!"><cite><img src="https://cdn-ak2.favicon.st-hatena.com/64?url=http%3A%2F%2Fwww.jmuk.org%2FAlligatorEggs.html" alt="" /> <a href="http://www.jmuk.org/AlligatorEggs.html">Alligator Eggs!</a></cite><p><a href="http://www.jmuk.org/AlligatorEggs.html"><img src="" alt="Alligator Eggs!" title="Alligator Eggs!" class="entry-image" /></a></p><p>ワニのタマゴ パズルゲーム(作者: ブレット・ビクター) / 2007年5月1日 原文: http://worrydream.com/AlligatorEggs/ 翻訳: 向井 淳 準備 ステップ1: このPDFを6つかそれよりたくさんの色の紙で印刷しよう。 (ハガキとかに印刷するといいよ) ステップ2: このPDFを白い紙に印刷しよう。 ステップ3: ピースに切りわけよう...</p><p><a href="https://b.hatena.ne.jp/entry/www.jmuk.org/AlligatorEggs.html"><img src="https://b.hatena.ne.jp/entry/image/http://www.jmuk.org/AlligatorEggs.html" alt="はてなブックマーク - Alligator Eggs!" title="はてなブックマーク - Alligator Eggs!" border="0" style="border: none" /></a> <a href="https://b.hatena.ne.jp/entry/www.jmuk.org/AlligatorEggs.html"><img src="https://b.st-hatena.com/images/append.gif" border="0" alt="はてなブックマークに追加" title="はてなブックマークに追加" /></a></p></blockquote> 3 http://pasberth.github.io/blog/entry/2013-11-30/index.html nsyee 2014-01-08T13:03:15Z LLVM OCaml compiler lambda <blockquote cite="http://pasberth.github.io/blog/entry/2013-11-30/index.html" title="http://pasberth.github.io/blog/entry/2013-11-30/index.html"><cite><img src="https://cdn-ak2.favicon.st-hatena.com/64?url=http%3A%2F%2Fpasberth.github.io%2Fblog%2Fentry%2F2013-11-30%2Findex.html" alt="" /> <a href="http://pasberth.github.io/blog/entry/2013-11-30/index.html">http://pasberth.github.io/blog/entry/2013-11-30/index.html</a></cite><p><a href="http://pasberth.github.io/blog/entry/2013-11-30/index.html"><img src="" alt="http://pasberth.github.io/blog/entry/2013-11-30/index.html" title="http://pasberth.github.io/blog/entry/2013-11-30/index.html" class="entry-image" /></a></p><p></p><p><a href="https://b.hatena.ne.jp/entry/pasberth.github.io/blog/entry/2013-11-30/index.html"><img src="https://b.hatena.ne.jp/entry/image/http://pasberth.github.io/blog/entry/2013-11-30/index.html" alt="はてなブックマーク - http://pasberth.github.io/blog/entry/2013-11-30/index.html" title="はてなブックマーク - http://pasberth.github.io/blog/entry/2013-11-30/index.html" border="0" style="border: none" /></a> <a href="https://b.hatena.ne.jp/entry/pasberth.github.io/blog/entry/2013-11-30/index.html"><img src="https://b.st-hatena.com/images/append.gif" border="0" alt="はてなブックマークに追加" title="はてなブックマークに追加" /></a></p></blockquote> 39 https://ja.wikipedia.org/wiki/B,C,K,W%E3%82%B7%E3%82%B9%E3%83%86%E3%83%A0 nsyee 2013-09-07T13:10:07Z lambda combinator logic BCKW <blockquote cite="https://ja.wikipedia.org/wiki/B,C,K,W%E3%82%B7%E3%82%B9%E3%83%86%E3%83%A0" title="B,C,K,Wシステム - Wikipedia"><cite><img src="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fja.wikipedia.org%2Fwiki%2FB%2CC%2CK%2CW%25E3%2582%25B7%25E3%2582%25B9%25E3%2583%2586%25E3%2583%25A0" alt="" /> <a href="https://ja.wikipedia.org/wiki/B,C,K,W%E3%82%B7%E3%82%B9%E3%83%86%E3%83%A0">B,C,K,Wシステム - Wikipedia</a></cite><p><a href="https://ja.wikipedia.org/wiki/B,C,K,W%E3%82%B7%E3%82%B9%E3%83%86%E3%83%A0"><img src="" alt="B,C,K,Wシステム - Wikipedia" title="B,C,K,Wシステム - Wikipedia" class="entry-image" /></a></p><p>B, C, K, Wシステムは、基本的な4つの定数記号 B, C, K, W からなるコンビネータ論理の変種である。この体系はハスケル・カリーの博士論文Grundlagen der kombinatorischen Logikによるもので、その結論部分はCurry 1930において示された。 定数記号 B, C, K, W の簡約基の簡約規則は次のように定義される： B x y z → x...</p><p><a href="https://b.hatena.ne.jp/entry/s/ja.wikipedia.org/wiki/B,C,K,W%E3%82%B7%E3%82%B9%E3%83%86%E3%83%A0"><img src="https://b.hatena.ne.jp/entry/image/https://ja.wikipedia.org/wiki/B,C,K,W%E3%82%B7%E3%82%B9%E3%83%86%E3%83%A0" alt="はてなブックマーク - B,C,K,Wシステム - Wikipedia" title="はてなブックマーク - B,C,K,Wシステム - Wikipedia" border="0" style="border: none" /></a> <a href="https://b.hatena.ne.jp/entry/s/ja.wikipedia.org/wiki/B,C,K,W%E3%82%B7%E3%82%B9%E3%83%86%E3%83%A0"><img src="https://b.st-hatena.com/images/append.gif" border="0" alt="はてなブックマークに追加" title="はてなブックマークに追加" /></a></p></blockquote> 10 https://ja.wikipedia.org/wiki/%E3%82%B3%E3%83%B3%E3%83%93%E3%83%8D%E3%83%BC%E3%82%BF%E8%AB%96%E7%90%86 nsyee 2013-09-07T07:02:17Z lambda combinator logic <blockquote cite="https://ja.wikipedia.org/wiki/%E3%82%B3%E3%83%B3%E3%83%93%E3%83%8D%E3%83%BC%E3%82%BF%E8%AB%96%E7%90%86" title="コンビネータ論理 - Wikipedia"><cite><img src="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fja.wikipedia.org%2Fwiki%2F%25E3%2582%25B3%25E3%2583%25B3%25E3%2583%2593%25E3%2583%258D%25E3%2583%25BC%25E3%2582%25BF%25E8%25AB%2596%25E7%2590%2586" alt="" /> <a href="https://ja.wikipedia.org/wiki/%E3%82%B3%E3%83%B3%E3%83%93%E3%83%8D%E3%83%BC%E3%82%BF%E8%AB%96%E7%90%86">コンビネータ論理 - Wikipedia</a></cite><p><a href="https://ja.wikipedia.org/wiki/%E3%82%B3%E3%83%B3%E3%83%93%E3%83%8D%E3%83%BC%E3%82%BF%E8%AB%96%E7%90%86"><img src="" alt="コンビネータ論理 - Wikipedia" title="コンビネータ論理 - Wikipedia" class="entry-image" /></a></p><p>出典がまったく示されていないか不十分です。内容に関する文献や情報源が必要です。（2025年9月） 出典は脚注などを用いて記述と関連付けてください。（2025年9月） 出典検索?: &quot;コンビネータ論理&quot; – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL コンビネータ論理（英: combi...</p><p><a href="https://b.hatena.ne.jp/entry/s/ja.wikipedia.org/wiki/%E3%82%B3%E3%83%B3%E3%83%93%E3%83%8D%E3%83%BC%E3%82%BF%E8%AB%96%E7%90%86"><img src="https://b.hatena.ne.jp/entry/image/https://ja.wikipedia.org/wiki/%E3%82%B3%E3%83%B3%E3%83%93%E3%83%8D%E3%83%BC%E3%82%BF%E8%AB%96%E7%90%86" alt="はてなブックマーク - コンビネータ論理 - Wikipedia" title="はてなブックマーク - コンビネータ論理 - Wikipedia" border="0" style="border: none" /></a> <a href="https://b.hatena.ne.jp/entry/s/ja.wikipedia.org/wiki/%E3%82%B3%E3%83%B3%E3%83%93%E3%83%8D%E3%83%BC%E3%82%BF%E8%AB%96%E7%90%86"><img src="https://b.st-hatena.com/images/append.gif" border="0" alt="はてなブックマークに追加" title="はてなブックマークに追加" /></a></p></blockquote> 25 https://hatena.blog/api/diary_redirect?path=/D_Rascal/20120128/1327752897 nsyee 2013-09-07T06:52:54Z lambda haskell LazyK compiler SKI combinator <blockquote cite="https://hatena.blog/api/diary_redirect?path=/D_Rascal/20120128/1327752897" title="はてなブログ | 無料ブログを作成しよう"><cite><img src="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fhatena.blog%2Fapi%2Fdiary_redirect%3Fpath%3D%2FD_Rascal%2F20120128%2F1327752897" alt="" /> <a href="https://hatena.blog/api/diary_redirect?path=/D_Rascal/20120128/1327752897">はてなブログ | 無料ブログを作成しよう</a></cite><p><a href="https://hatena.blog/api/diary_redirect?path=/D_Rascal/20120128/1327752897"><img src="https://cdn-ak-scissors.b.st-hatena.com/image/square/e452ba45256772c64805702a9df012cf25380a56/backend=imagemagick;height=90;version=1;width=120/https%3A%2F%2Fcdn.blog.st-hatena.com%2Fimages%2Ftheme%2Fog-image-1500.png" alt="はてなブログ | 無料ブログを作成しよう" title="はてなブログ | 無料ブログを作成しよう" class="entry-image" /></a></p><p>酒粕レーズンのチーズケーキ 純米大吟醸の新酒の酒粕を使い、週末ケーキを焼きました。 15センチ型に砕いたビスケットを溶かしバターで固めたボトム。 酒粕50gはちぎって、酒大1を入れて30秒レンジで温めます。 柔らかくした酒粕に先月、ピオーネを天日干しにしたレーズンを合わせ酒粕レーズンに。…</p><p><a href="https://b.hatena.ne.jp/entry/s/hatena.blog/api/diary_redirect?path=/D_Rascal/20120128/1327752897"><img src="https://b.hatena.ne.jp/entry/image/https://hatena.blog/api/diary_redirect?path=/D_Rascal/20120128/1327752897" alt="はてなブックマーク - はてなブログ | 無料ブログを作成しよう" title="はてなブックマーク - はてなブログ | 無料ブログを作成しよう" border="0" style="border: none" /></a> <a href="https://b.hatena.ne.jp/entry/s/hatena.blog/api/diary_redirect?path=/D_Rascal/20120128/1327752897"><img src="https://b.st-hatena.com/images/append.gif" border="0" alt="はてなブックマークに追加" title="はてなブックマークに追加" /></a></p></blockquote> 11 https://bleis-tift.hatenablog.com/entry/dotNetBase nsyee 2013-08-28T04:36:07Z lambda tutorial <blockquote cite="https://bleis-tift.hatenablog.com/entry/dotNetBase" title=".NET基礎勉強会でラムダ計算の発表をしてきた - ぐるぐる～"><cite><img src="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fbleis-tift.hatenablog.com%2Fentry%2FdotNetBase" alt="" /> <a href="https://bleis-tift.hatenablog.com/entry/dotNetBase">.NET基礎勉強会でラムダ計算の発表をしてきた - ぐるぐる～</a></cite><p><a href="https://bleis-tift.hatenablog.com/entry/dotNetBase"><img src="" alt=".NET基礎勉強会でラムダ計算の発表をしてきた - ぐるぐる～" title=".NET基礎勉強会でラムダ計算の発表をしてきた - ぐるぐる～" class="entry-image" /></a></p><p>もう一か月以上も前の話ですが、.NET基礎勉強会で(型無し)ラムダ計算の話をしてきました。 .NETと言えばF#、F#の基礎と言えばラムダ計算！ですよね！ 発表資料はこちらです。 ラムダでウィザード 滅せよ手続き、とチャーチは言った (※言ってません) from bleis tift 当日は2 + 3が分からないと好評(?)でした。 当時の様...</p><p><a href="https://b.hatena.ne.jp/entry/s/bleis-tift.hatenablog.com/entry/dotNetBase"><img src="https://b.hatena.ne.jp/entry/image/https://bleis-tift.hatenablog.com/entry/dotNetBase" alt="はてなブックマーク - .NET基礎勉強会でラムダ計算の発表をしてきた - ぐるぐる～" title="はてなブックマーク - .NET基礎勉強会でラムダ計算の発表をしてきた - ぐるぐる～" border="0" style="border: none" /></a> <a href="https://b.hatena.ne.jp/entry/s/bleis-tift.hatenablog.com/entry/dotNetBase"><img src="https://b.st-hatena.com/images/append.gif" border="0" alt="はてなブックマークに追加" title="はてなブックマークに追加" /></a></p></blockquote> 11 https://speakerdeck.com/mchakravarty/do-extraterrestrials-use-functional-programming nsyee 2013-08-18T10:45:39Z haskell functional lambda tutorial <blockquote cite="https://speakerdeck.com/mchakravarty/do-extraterrestrials-use-functional-programming" title="Do Extraterrestrials Use Functional Programming?"><cite><img src="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fspeakerdeck.com%2Fmchakravarty%2Fdo-extraterrestrials-use-functional-programming" alt="" /> <a href="https://speakerdeck.com/mchakravarty/do-extraterrestrials-use-functional-programming">Do Extraterrestrials Use Functional Programming?</a></cite><p><a href="https://speakerdeck.com/mchakravarty/do-extraterrestrials-use-functional-programming"><img src="https://cdn-ak-scissors.b.st-hatena.com/image/square/404ebd011a3293de58ac0f265d2c2f025cb6783e/backend=imagemagick;height=90;version=1;width=120/https%3A%2F%2Ffiles.speakerdeck.com%2Fpresentations%2Fbc4332b0a34401306e951ed4f3fbbc75%2Fslide_0.jpg%3F1488466" alt="Do Extraterrestrials Use Functional Programming?" title="Do Extraterrestrials Use Functional Programming?" class="entry-image" /></a></p><p>Opening Keynote at YOW! Lambda Jam, Brisbane, 2013. Is functional programming just the result of clever language design? Are there deeper reasons for…</p><p><a href="https://b.hatena.ne.jp/entry/s/speakerdeck.com/mchakravarty/do-extraterrestrials-use-functional-programming"><img src="https://b.hatena.ne.jp/entry/image/https://speakerdeck.com/mchakravarty/do-extraterrestrials-use-functional-programming" alt="はてなブックマーク - Do Extraterrestrials Use Functional Programming?" title="はてなブックマーク - Do Extraterrestrials Use Functional Programming?" border="0" style="border: none" /></a> <a href="https://b.hatena.ne.jp/entry/s/speakerdeck.com/mchakravarty/do-extraterrestrials-use-functional-programming"><img src="https://b.st-hatena.com/images/append.gif" border="0" alt="はてなブックマークに追加" title="はてなブックマークに追加" /></a></p></blockquote> 7 https://mzp.hatenadiary.org/entry/20091123/coq nsyee 2013-08-12T11:22:45Z Coq lambda <blockquote cite="https://mzp.hatenadiary.org/entry/20091123/coq" title="Coqでラムダ計算を証明してみた - みずぴー日記"><cite><img src="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fmzp.hatenadiary.org%2Fentry%2F20091123%2Fcoq" alt="" /> <a href="https://mzp.hatenadiary.org/entry/20091123/coq">Coqでラムダ計算を証明してみた - みずぴー日記</a></cite><p><a href="https://mzp.hatenadiary.org/entry/20091123/coq"><img src="https://cdn-ak-scissors.b.st-hatena.com/image/square/e3f14df6ab068ea764d52bb62bb76572854ea6ad/backend=imagemagick;height=90;version=1;width=120/https%3A%2F%2Fcdn.image.st-hatena.com%2Fimage%2Fscale%2Fa5b76c429d50005d19c6fd604f17416bf8746e06%2Fbackend%3Dimagemagick%3Bversion%3D1%3Bwidth%3D1300%2Fhttps%253A%252F%252Fcdn-ak.f.st-hatena.com%252Fimages%252Ffotolife%252Fm%252Fmzp%252F20091122%252F20091122200215.jpg" alt="Coqでラムダ計算を証明してみた - みずぴー日記" title="Coqでラムダ計算を証明してみた - みずぴー日記" class="entry-image" /></a></p><p>前からずっと取り組んでいた「Coqで単純型付きラムダ計算を証明してみよう」が一段落しました。 動機 let多相の実装はしたから、次は証明だろ 最近、流行っているCoqを覚えたい 扱えるラムダ式 型は、Bool型と関数型のみ。 Inductive type : Set := | BoolT : type | FunT : type -&gt; type -&gt; type. 式は、変数参照、真偽...</p><p><a href="https://b.hatena.ne.jp/entry/s/mzp.hatenadiary.org/entry/20091123/coq"><img src="https://b.hatena.ne.jp/entry/image/https://mzp.hatenadiary.org/entry/20091123/coq" alt="はてなブックマーク - Coqでラムダ計算を証明してみた - みずぴー日記" title="はてなブックマーク - Coqでラムダ計算を証明してみた - みずぴー日記" border="0" style="border: none" /></a> <a href="https://b.hatena.ne.jp/entry/s/mzp.hatenadiary.org/entry/20091123/coq"><img src="https://b.st-hatena.com/images/append.gif" border="0" alt="はてなブックマークに追加" title="はてなブックマークに追加" /></a></p></blockquote> 8 https://mazzo.li/posts/Lambda.html nsyee 2013-08-11T11:23:56Z Agda lambda <blockquote cite="https://mazzo.li/posts/Lambda.html" title="Agda by Example: λ-calculus"><cite><img src="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fmazzo.li%2Fposts%2FLambda.html" alt="" /> <a href="https://mazzo.li/posts/Lambda.html">Agda by Example: λ-calculus</a></cite><p><a href="https://mazzo.li/posts/Lambda.html"><img src="" alt="Agda by Example: λ-calculus" title="Agda by Example: λ-calculus" class="entry-image" /></a></p><p>and so on. de Bruijn notation is a terrible device for humans to use directly, but it is often more convenient when dealing with terms mechanically. When parsing a language it is easy to go from names to nameless, so that we can have the best of both worlds. Thus we will have: infixl 80 _·_ data ...</p><p><a href="https://b.hatena.ne.jp/entry/s/mazzo.li/posts/Lambda.html"><img src="https://b.hatena.ne.jp/entry/image/https://mazzo.li/posts/Lambda.html" alt="はてなブックマーク - Agda by Example: λ-calculus" title="はてなブックマーク - Agda by Example: λ-calculus" border="0" style="border: none" /></a> <a href="https://b.hatena.ne.jp/entry/s/mazzo.li/posts/Lambda.html"><img src="https://b.st-hatena.com/images/append.gif" border="0" alt="はてなブックマークに追加" title="はてなブックマークに追加" /></a></p></blockquote> 7 http://mainisusuallyafunction.blogspot.com/2011/09/lambda-to-pi.html nsyee 2013-08-06T10:10:13Z haskell lambda pi-calculus <blockquote cite="http://mainisusuallyafunction.blogspot.com/2011/09/lambda-to-pi.html" title="Lambda to pi"><cite><img src="https://cdn-ak2.favicon.st-hatena.com/64?url=http%3A%2F%2Fmainisusuallyafunction.blogspot.com%2F2011%2F09%2Flambda-to-pi.html" alt="" /> <a href="http://mainisusuallyafunction.blogspot.com/2011/09/lambda-to-pi.html">Lambda to pi</a></cite><p><a href="http://mainisusuallyafunction.blogspot.com/2011/09/lambda-to-pi.html"><img src="" alt="Lambda to pi" title="Lambda to pi" class="entry-image" /></a></p><p>I gave a talk a while back which included an interpreter for the pi-calculus, and a compiler from the lambda-calculus to it. I didn&#39;t really do justice to the material in a few slides, so here&#39;s a proper blog post. This article is available as a Literate Haskell file, which you can load into GHCi...</p><p><a href="https://b.hatena.ne.jp/entry/mainisusuallyafunction.blogspot.com/2011/09/lambda-to-pi.html"><img src="https://b.hatena.ne.jp/entry/image/http://mainisusuallyafunction.blogspot.com/2011/09/lambda-to-pi.html" alt="はてなブックマーク - Lambda to pi" title="はてなブックマーク - Lambda to pi" border="0" style="border: none" /></a> <a href="https://b.hatena.ne.jp/entry/mainisusuallyafunction.blogspot.com/2011/09/lambda-to-pi.html"><img src="https://b.st-hatena.com/images/append.gif" border="0" alt="はてなブックマークに追加" title="はてなブックマークに追加" /></a></p></blockquote> 4 https://www.slideshare.net/slideshow/lambda-guide/13418647 nsyee 2013-07-26T02:57:04Z lambda <blockquote cite="https://www.slideshare.net/slideshow/lambda-guide/13418647" title="ラムダ計算入門"><cite><img src="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fwww.slideshare.net%2Fslideshow%2Flambda-guide%2F13418647" alt="" /> <a href="https://www.slideshare.net/slideshow/lambda-guide/13418647">ラムダ計算入門</a></cite><p><a href="https://www.slideshare.net/slideshow/lambda-guide/13418647"><img src="https://cdn-ak-scissors.b.st-hatena.com/image/square/b498d1a79e9a2e859496f5e7c059c475c7652c33/backend=imagemagick;height=90;version=1;width=120/https%3A%2F%2Fcdn.slidesharecdn.com%2Fss_thumbnails%2Flambda-guide-120622074101-phpapp02-thumbnail.jpg%3Fwidth%3D640%26height%3D640%26fit%3Dbounds" alt="ラムダ計算入門" title="ラムダ計算入門" class="entry-image" /></a></p><p>Pythonの処理系はどのように実装され，どのように動いているのか？ 我々はその実態を調査すべくアマゾンへと飛んだ．</p><p><a href="https://b.hatena.ne.jp/entry/s/www.slideshare.net/slideshow/lambda-guide/13418647"><img src="https://b.hatena.ne.jp/entry/image/https://www.slideshare.net/slideshow/lambda-guide/13418647" alt="はてなブックマーク - ラムダ計算入門" title="はてなブックマーク - ラムダ計算入門" border="0" style="border: none" /></a> <a href="https://b.hatena.ne.jp/entry/s/www.slideshare.net/slideshow/lambda-guide/13418647"><img src="https://b.st-hatena.com/images/append.gif" border="0" alt="はてなブックマークに追加" title="はてなブックマークに追加" /></a></p></blockquote> 34 https://nowokay.hatenablog.com/entry/20130522/1369202662 nsyee 2013-05-29T05:41:34Z Java closure lambda <blockquote cite="https://nowokay.hatenablog.com/entry/20130522/1369202662" title="Java8のlambda構文がどのようにクロージャーではないか - きしだのHatena"><cite><img src="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fnowokay.hatenablog.com%2Fentry%2F20130522%2F1369202662" alt="" /> <a href="https://nowokay.hatenablog.com/entry/20130522/1369202662">Java8のlambda構文がどのようにクロージャーではないか - きしだのHatena</a></cite><p><a href="https://nowokay.hatenablog.com/entry/20130522/1369202662"><img src="https://cdn-ak-scissors.b.st-hatena.com/image/square/f9a3837b6a9c6c9661d60a58766a4ae3ea967cdd/backend=imagemagick;height=90;version=1;width=120/https%3A%2F%2Fogimage.blog.st-hatena.com%2F12704346814673953808%2F98012380849192847%2F1548792088" alt="Java8のlambda構文がどのようにクロージャーではないか - きしだのHatena" title="Java8のlambda構文がどのようにクロージャーではないか - きしだのHatena" class="entry-image" /></a></p><p>Java8にlambda構文が入りましたが、これはクロージャーではない、とされています。 では、どのように「クロージャーではない」のか、ちょっと見てみます。 まず、lambdaを返すメソッドを定義します。 public static Supplier&lt;String&gt; createMessenger(String name, String address){ return () -&gt; { return String.forma...</p><p><a href="https://b.hatena.ne.jp/entry/s/nowokay.hatenablog.com/entry/20130522/1369202662"><img src="https://b.hatena.ne.jp/entry/image/https://nowokay.hatenablog.com/entry/20130522/1369202662" alt="はてなブックマーク - Java8のlambda構文がどのようにクロージャーではないか - きしだのHatena" title="はてなブックマーク - Java8のlambda構文がどのようにクロージャーではないか - きしだのHatena" border="0" style="border: none" /></a> <a href="https://b.hatena.ne.jp/entry/s/nowokay.hatenablog.com/entry/20130522/1369202662"><img src="https://b.st-hatena.com/images/append.gif" border="0" alt="はてなブックマークに追加" title="はてなブックマークに追加" /></a></p></blockquote> 137 https://www.infoq.com/jp/news/2013/05/Java_8_Delayed/ nsyee 2013-05-09T05:29:19Z Java lambda <blockquote cite="https://www.infoq.com/jp/news/2013/05/Java_8_Delayed/" title="Java 8のリリースが延期，いまだ続くセキュリティ問題のために2014年まで"><cite><img src="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fwww.infoq.com%2Fjp%2Fnews%2F2013%2F05%2FJava_8_Delayed%2F" alt="" /> <a href="https://www.infoq.com/jp/news/2013/05/Java_8_Delayed/">Java 8のリリースが延期，いまだ続くセキュリティ問題のために2014年まで</a></cite><p><a href="https://www.infoq.com/jp/news/2013/05/Java_8_Delayed/"><img src="https://cdn-ak-scissors.b.st-hatena.com/image/square/8a617b8f46736c89d96bbb5f0a8f5f1a4a5a1f0d/backend=imagemagick;height=90;version=1;width=120/https%3A%2F%2Fcdn.infoq.com%2Fstatics_s1_20260319113023%2Fstyles%2Fstatic%2Fimages%2Flogo%2Flogo-big.jpg" alt="Java 8のリリースが延期，いまだ続くセキュリティ問題のために2014年まで" title="Java 8のリリースが延期，いまだ続くセキュリティ問題のために2014年まで" class="entry-image" /></a></p><p>あなたにとって重要なトピックや同僚の最新情報を入手しましょう最新の洞察とトレンドに関する最新情報を即座に受け取りましょう。 継続的な学習のために、無料のリソースに手軽にアクセスしましょうミニブック、トランスクリプト付き動画、およびトレーニング教材。 記事を保存して、いつでも読むことができます記事を...</p><p><a href="https://b.hatena.ne.jp/entry/s/www.infoq.com/jp/news/2013/05/Java_8_Delayed/"><img src="https://b.hatena.ne.jp/entry/image/https://www.infoq.com/jp/news/2013/05/Java_8_Delayed/" alt="はてなブックマーク - Java 8のリリースが延期，いまだ続くセキュリティ問題のために2014年まで" title="はてなブックマーク - Java 8のリリースが延期，いまだ続くセキュリティ問題のために2014年まで" border="0" style="border: none" /></a> <a href="https://b.hatena.ne.jp/entry/s/www.infoq.com/jp/news/2013/05/Java_8_Delayed/"><img src="https://b.st-hatena.com/images/append.gif" border="0" alt="はてなブックマークに追加" title="はてなブックマークに追加" /></a></p></blockquote> 50 http://www.tatapa.org/~takuo/kotori_ski/index.html nsyee 2013-05-04T10:34:19Z lambda functional tutorial <blockquote cite="http://www.tatapa.org/~takuo/kotori_ski/index.html" title="高階ことりちゃんと学ぶSKIコンビネータ"><cite><img src="https://cdn-ak2.favicon.st-hatena.com/64?url=http%3A%2F%2Fwww.tatapa.org%2F~takuo%2Fkotori_ski%2Findex.html" alt="" /> <a href="http://www.tatapa.org/~takuo/kotori_ski/index.html">高階ことりちゃんと学ぶSKIコンビネータ</a></cite><p><a href="http://www.tatapa.org/~takuo/kotori_ski/index.html"><img src="" alt="高階ことりちゃんと学ぶSKIコンビネータ" title="高階ことりちゃんと学ぶSKIコンビネータ" class="entry-image" /></a></p><p>ことり: ねぇ、この前ね、λ式はみんなこんな感じの関数“S”と“K”だけで表現できるって聞いたんだけど、本当?</p><p><a href="https://b.hatena.ne.jp/entry/www.tatapa.org/~takuo/kotori_ski/index.html"><img src="https://b.hatena.ne.jp/entry/image/http://www.tatapa.org/~takuo/kotori_ski/index.html" alt="はてなブックマーク - 高階ことりちゃんと学ぶSKIコンビネータ" title="はてなブックマーク - 高階ことりちゃんと学ぶSKIコンビネータ" border="0" style="border: none" /></a> <a href="https://b.hatena.ne.jp/entry/www.tatapa.org/~takuo/kotori_ski/index.html"><img src="https://b.st-hatena.com/images/append.gif" border="0" alt="はてなブックマークに追加" title="はてなブックマークに追加" /></a></p></blockquote> 23 https://nowokay.hatenablog.com/entry/20130501/1367357873 nsyee 2013-05-01T04:50:40Z Java functional lambda <blockquote cite="https://nowokay.hatenablog.com/entry/20130501/1367357873" title="Java 8を関数型っぽく使うためのおまじない - きしだのHatena"><cite><img src="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fnowokay.hatenablog.com%2Fentry%2F20130501%2F1367357873" alt="" /> <a href="https://nowokay.hatenablog.com/entry/20130501/1367357873">Java 8を関数型っぽく使うためのおまじない - きしだのHatena</a></cite><p><a href="https://nowokay.hatenablog.com/entry/20130501/1367357873"><img src="https://cdn-ak-scissors.b.st-hatena.com/image/square/a49280f00a67a4a132122c4033ea0e7ab8c456ea/backend=imagemagick;height=90;version=1;width=120/https%3A%2F%2Fogimage.blog.st-hatena.com%2F12704346814673953808%2F98012380849193005%2F1548792110" alt="Java 8を関数型っぽく使うためのおまじない - きしだのHatena" title="Java 8を関数型っぽく使うためのおまじない - きしだのHatena" class="entry-image" /></a></p><p>やあ、３月に延期になったとはいえ、Java 8リリースが具体化してきましたね。 もうこれで、Lambdaがはずれるとかいうことはなさそうです。 ところで、Java 8で関数型っぽいことができるようになってうれしいのですが、ちょっと記述が冗長です。ということで、短く書けるおまじない考えてみました。 Function型 さて、ま...</p><p><a href="https://b.hatena.ne.jp/entry/s/nowokay.hatenablog.com/entry/20130501/1367357873"><img src="https://b.hatena.ne.jp/entry/image/https://nowokay.hatenablog.com/entry/20130501/1367357873" alt="はてなブックマーク - Java 8を関数型っぽく使うためのおまじない - きしだのHatena" title="はてなブックマーク - Java 8を関数型っぽく使うためのおまじない - きしだのHatena" border="0" style="border: none" /></a> <a href="https://b.hatena.ne.jp/entry/s/nowokay.hatenablog.com/entry/20130501/1367357873"><img src="https://b.st-hatena.com/images/append.gif" border="0" alt="はてなブックマークに追加" title="はてなブックマークに追加" /></a></p></blockquote> 211 https://syamino.hatenadiary.org/entry/20120524/p1 nsyee 2013-04-13T13:45:13Z functional lambda pattern-matching church-encoding <blockquote cite="https://syamino.hatenadiary.org/entry/20120524/p1" title="ラムダ計算で代数的データ型を表現する方法 - @syamino はてなダイアリー"><cite><img src="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fsyamino.hatenadiary.org%2Fentry%2F20120524%2Fp1" alt="" /> <a href="https://syamino.hatenadiary.org/entry/20120524/p1">ラムダ計算で代数的データ型を表現する方法 - @syamino はてなダイアリー</a></cite><p><a href="https://syamino.hatenadiary.org/entry/20120524/p1"><img src="https://cdn-ak-scissors.b.st-hatena.com/image/square/c75702c24288506d0bcef08bd72909ac230092fe/backend=imagemagick;height=90;version=1;width=120/https%3A%2F%2Fcdn.image.st-hatena.com%2Fimage%2Fscale%2F0b2c461b1a6d864865dd398f832a4d1e7b6e2ed7%2Fbackend%3Dimagemagick%3Bversion%3D1%3Bwidth%3D1300%2Fhttps%253A%252F%252Fcdn-ak.f.st-hatena.com%252Fimages%252Ffotolife%252Fs%252Fsyamino%252F20120524%252F20120524201205.png" alt="ラムダ計算で代数的データ型を表現する方法 - @syamino はてなダイアリー" title="ラムダ計算で代数的データ型を表現する方法 - @syamino はてなダイアリー" class="entry-image" /></a></p><p>ラムダ計算でEither Either型の値をパターンマッチする状況を考えます。 「データコンストラクタのパターンマッチ」は，下図のようにしてラムダ計算で表現できます。 ラムダ計算でBool 今度は，Bool型の値をパターンマッチする状況を考えます。 TrueやFalseには引数が無いので，(3)や(4)はλで囲みません。 パターンマッ...</p><p><a href="https://b.hatena.ne.jp/entry/s/syamino.hatenadiary.org/entry/20120524/p1"><img src="https://b.hatena.ne.jp/entry/image/https://syamino.hatenadiary.org/entry/20120524/p1" alt="はてなブックマーク - ラムダ計算で代数的データ型を表現する方法 - @syamino はてなダイアリー" title="はてなブックマーク - ラムダ計算で代数的データ型を表現する方法 - @syamino はてなダイアリー" border="0" style="border: none" /></a> <a href="https://b.hatena.ne.jp/entry/s/syamino.hatenadiary.org/entry/20120524/p1"><img src="https://b.st-hatena.com/images/append.gif" border="0" alt="はてなブックマークに追加" title="はてなブックマークに追加" /></a></p></blockquote> 67