2ちゃんねる ★スマホ版★ ■掲示板に戻る■ 全部 1- 最新50  

■ このスレッドは過去ログ倉庫に格納されています

Lisp Scheme Part36

319 :デフォルトの名無しさん:2013/04/27(土) 14:41:23.87
ペアノの公理系(の自然数の部分):ラムダ計算:チャーチ数 = 仕様:アーキテクチャ:実装
アーキテクチャに合わせた実装。

> ;;ノイマン版 懼・, {懼・}, {懼・,{懼・}},...

これが集合論というアーキテクチャに合わせたバージョン。
succも集合演算で定義できる。

226 KB
■ このスレッドは過去ログ倉庫に格納されています

★スマホ版★ 掲示板に戻る 全部 前100 次100 最新50

read.cgi ver 05.02.02 2014/06/23 Mango Mangüé ★
FOX ★ DSO(Dynamic Shared Object)