
ヘッダーを描き下ろしてくださったNague Greさんに新しいリターン (1000円相当) のステッカーのデザインをお願いしたところ、さっと目の前で描いていただいた原案です。
素敵ですね。
Nagueさんは現在、数学や技術系の同人誌の表紙や挿絵をかけたらと、かっこいい数式やその書体を模索中だそうで、以下のラムダ項を提案させていただきました。正体がわかった方はシェアとともに答えをどうぞ!!
λmn.m(lfm.f(mf(lfx.fx)))(lmfx.f(mfx))n
現在の支援総額
193,500円
目標金額は150,000円
支援者数
20人
募集終了まで残り
終了
このプロジェクトは、2019/08/27に募集を開始し、 20人の支援により 193,500円の資金を集め、 2019/09/16に募集を終了しました
現在の支援総額
193,500円
129%達成
目標金額150,000円
支援者数20人
このプロジェクトは、2019/08/27に募集を開始し、 20人の支援により 193,500円の資金を集め、 2019/09/16に募集を終了しました

ヘッダーを描き下ろしてくださったNague Greさんに新しいリターン (1000円相当) のステッカーのデザインをお願いしたところ、さっと目の前で描いていただいた原案です。
素敵ですね。
Nagueさんは現在、数学や技術系の同人誌の表紙や挿絵をかけたらと、かっこいい数式やその書体を模索中だそうで、以下のラムダ項を提案させていただきました。正体がわかった方はシェアとともに答えをどうぞ!!
λmn.m(lfm.f(mf(lfx.fx)))(lmfx.f(mfx))n