λ-calculus.λ計算.(lambda calculus)
■ このスレッドは過去ログ倉庫に格納されています
0057名無しさん＠お腹いっぱい。
2007/02/01(木) 21:43:15ID:K+vNzHhD0一般ユーザは理論なんかじゃなく道具がほしいわけですが。
技術的には、圏論＝λ計算＋有向グラフ だくらいに
言えないものですか？
■ このスレッドは過去ログ倉庫に格納されています
一般ユーザは理論なんかじゃなく道具がほしいわけですが。
技術的には、圏論＝λ計算＋有向グラフ だくらいに
言えないものですか？