Show threadQithub(bot)Dec 18, 2019

🆕 新着Qiita記事をお知らせします。​

​『CPS/DS変換』
https://qiita.com/fgborges/items/ffe0e50ad630b434c625 by @fgborges @​Qiita

#ラムダ計算_qiita #プログラミング言語_qiita #計算機科学_qiita

CPS/DS変換 - Qiita

プログラミング言語においてシンプルな言語仕様というのはやはり魅力的ですよね。大域脱出やコルーチン、非同期処理の取り回しなど、多くの言語機能は継続という一つの概念で記述することができることが知られています。この記事で、言語処理系を自作す...

Show threadQithub(bot)Nov 24, 2019

🆕 新着Qiita記事をお知らせします。​

​『Go使ってAWS Lambdaでラムダ計算した』
https://qiita.com/A_kirisaki/items/b43b3dbb1d71cf047f80 by @a_kirisaki @​Qiita

#go_qiita #aws_qiita #ラムダ計算_qiita

Go使ってAWS Lambdaでラムダ計算した - Qiita

### tl; dr [ソースコードはこちら](https://github.com/kirisaki/go-lambda) エンドポイントは https://nd88j25ztg.execute-api.ap-northeast-...

Show threadQithub(bot)Oct 10, 2019

🆕 新着Qiita記事をお知らせします。​

​『JavaScriptを使ってチャーチ数で遊ぼう』
https://qiita.com/omineyu/items/01b8f3b30a07f96cd4c7 by @omineyu @​Qiita

#javascript_qiita #ラムダ式_qiita #数学_qiita #ラムダ計算_qiita #チャーチ数_qiita

JavaScriptを使ってチャーチ数で遊ぼう - Qiita

JavaScriptを使って、チャーチ数で遊びましょう。 チャーチ数とは、関数で自然数を表現したものです。 ここでは、JavaScriptを使ってチャーチ数を定義し、初等的な計算を行います。 # チャーチ数 **チャーチ数 (Ch...