ポスト

あー、#自然数#チャーチ数 表示(か、それを #多進法#変換 した #表示)するのに #cdr はいらんのだから、たぶん #lambda#cdr のいずれか一方はいらないな(実際、さっきの #呟き 書いているときにも迷ったし。)。

メニューを開く

家鴨のジョナサン@JonathanTheDuck

人気ポスト

もっと見る
Yahoo!リアルタイム検索アプリ