トップページ⇒math

1001コメント376KB

数学基礎論・数理論理学　その8

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

0533１３２人目の素数さん

2011/08/13(土) 19:06:29.24

計算のモデルって普通デカルト閉圏なんかを使ってモデル化することが多いような

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