関数だけを使って自然数（チャーチ数）が定義できる - Qiita

この記事は株式会社LIFULLの数学同好会あなぐま会のための発表資料です。 アナリストやデータサイエンティストが多いので、「彼らが普段使っているPythonで（普段あまりあまり触れないであろう）コンピュータ・サイエンスの数学とつながる話をしよう」という意図です。実は「圏論の初歩をPythonプログラミングで説明する」という資料も用意しつつあったのですが、夜の回（飲み会）の題材にしては重すぎたのと、Pythonでは説明しづらい概念（射の集合など）があったので断念しました。 自己紹介 名前: 二宮健（たけし） 所属: AI戦略室データサイエンスG（嶋村さんチーム） → PE3U4G（須藤さんチーム） 機械科学専攻（修士）から、2015年にLIFULLにエンジニアとして新卒入社。 広告運用自動化（MAM）やAIシステムの実装に従事。 プログラミングや情報科学は就職後に学んだことのほうが多い気がす

[dhrname]

引き算とか割り算とかもできるよ。「関数だけで四則演算をやってみた (前編)　」https://dhrname.hatenadiary.org/entry/20151223/p1　Zコンビネータを使ってループや条件分岐など制御構造も　https://dhrname.hatenadiary.org/entries/2015/11/25