λ-calculus.λ計算.(lambda calculus)
■ このスレッドは過去ログ倉庫に格納されています
0059名無しさん＠お腹いっぱい。
2007/02/01(木) 23:12:57ID:K+vNzHhD0道具として使えればよいので、正確じゃないくらいなら
気にしない。道具の見地からは、圏論＝what ?
教えてほしい。
■ このスレッドは過去ログ倉庫に格納されています
道具として使えればよいので、正確じゃないくらいなら
気にしない。道具の見地からは、圏論＝what ?
教えてほしい。