書誌情報 | ファイル |
表紙・目次 (2013-04) 数理解析研究所講究録, 1832
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
計算の複雑さと証明の複雑さ : 基調講演 (証明論と複雑性) 垂井, 淳 (2013-04) 数理解析研究所講究録, 1832: 1-1
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
A propositional proof system based on comparator circuits : 基調講演 (証明論と複雑性) Kuroda, Satoru (2013-04) 数理解析研究所講究録, 1832: 2-7
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
Sheaf-Theoretical Representation of Concrete Domains (Proof theory and complexity) 倉田, 俊彦 (2013-04) 数理解析研究所講究録, 1832: 8-18
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
弱い2階算術におけるリーマンの写像定理 (証明論と複雑性) 堀畑, 佳宏 (2013-04) 数理解析研究所講究録, 1832: 19-32
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
再帰的解析学における計算量 (証明論と複雑性) 河村, 彰星 (2013-04) 数理解析研究所講究録, 1832: 33-38
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
A Simplified Characterisation of Provably Computable Functions of the System ID$_1$ of Inductive Definitions : Extended Abstract (Proof theory and complexity) Eguchi, Naohi; Weiermann, Andreas (2013-04) 数理解析研究所講究録, 1832: 39-58
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
Bounded arithmetic in free logic (Proof theory and complexity) Yamagata, Yoriyuki (2013-04) 数理解析研究所講究録, 1832: 59-72
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
On fine structures between Church-style and Curry-style $lamnda$2-terms (Proof theory and complexity) Fujita, Ken-etsu (2013-04) 数理解析研究所講究録, 1832: 73-87
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
Prawitz-Doorman Term Existence Property を超直観主義述語論理で考える (証明論と複雑性) 鈴木, 信行 (2013-04) 数理解析研究所講究録, 1832: 88-96
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
実数の集合論とランダムネス : 概説 (証明論と複雑性) 木原, 貴行 (2013-04) 数理解析研究所講究録, 1832: 97-113
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
アルゴリズム的ランダムネスへの解析学的アプローチ (証明論と複雑性) 宮部, 賢志 (2013-04) 数理解析研究所講究録, 1832: 114-126
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
Notes on the first-order part of Ramsey's theorem for pairs (Proof theory and complexity) Yokoyama, Keita (2013-04) 数理解析研究所講究録, 1832: 127-134
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
ラムダ計算と組み合わせ論理の体系C$lambda$$I_lambda$ (証明論と複雑性) 山川, 郁加; 古森, 雄一 (2013-04) 数理解析研究所講究録, 1832: 135-138
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
体系$Clambda_I_lambda$に関する予想の証明 (証明論と複雑性) 松田, 直祐 (2013-04) 数理解析研究所講究録, 1832: 139-142
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
Values on generalized reachability games (Proof theory and complexity) Ghani, Ahmad Termimi Ab; Higuchi, Kojiro; Tanaka, Kazuyuki (2013-04) 数理解析研究所講究録, 1832: 143-153
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
A Report on Studies of Relative Randomness (Proof theory and complexity) Peng, NingNing (2013-04) 数理解析研究所講究録, 1832: 154-157
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
完全二分AND-OR木上の最適な乱択アルゴリズムについて (証明論と複雑性) 仁井田, 哲尚; 小川, 孝典 (2013-04) 数理解析研究所講究録, 1832: 158-176
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |