ヘッダーを描き下ろしてくださったNague Greさんに新しいリターン (1000円相当) のステッカーのデザインをお願いしたところ、さっと目の前で描いていただいた原案です。

素敵ですね。

Nagueさんは現在、数学や技術系の同人誌の表紙や挿絵をかけたらと、かっこいい数式やその書体を模索中だそうで、以下のラムダ項を提案させていただきました。正体がわかった方はシェアとともに答えをどうぞ!!

λmn.m(lfm.f(mf(lfx.fx)))(lmfx.f(mfx))n