ヘルプ
ヘルプ

検索結果 389 件

合流性とZ性について (証明と計算の理論と応用)

合流性とZ性について (証明と計算の理論と応用)
紙記事
赤坂 陸来, 藤田 憲悦, 中澤 巧爾<Z43-1336>数理解析研究所講究録(2228):2022.8p.30-40
国立国会図書館全国の図書館

Recent Results on Reflection Principles in Second-Order Arithmetic (証明と計算の理論と応用)

Recent Results on Reflection Principles in Second-Order Arithmetic (証明と計算の理論と応用)
紙記事
Leonardo Pacheco<Z43-1336>数理解析研究所講究録(2228):2022.8p.73-77
国立国会図書館全国の図書館

Tableau Calculus of Hybrid Product Logic (証明と計算の理論と応用)

Tableau Calculus of Hybrid Product Logic (証明と計算の理論と応用)
紙記事
西村 祐輝<Z43-1336>数理解析研究所講究録(2228):2022.8p.1-11
国立国会図書館全国の図書館

命題変数の量化を持つ時相論理の表現能力について (証明と計算の理論と応用)

命題変数の量化を持つ時相論理の表現能力について (証明と計算の理論と応用)
紙記事
佐藤 悠<Z43-1336>数理解析研究所講究録(2228):2022.8p.12-29
国立国会図書館全国の図書館

A Remark on Lattice Models of Second-Order Intuitionistic Propositional Logic (証明と計算の理論と応用)

A Remark on Lattice Models of Second-Order Intuitionistic Propositional Logic (証明と計算の理論と応用)
紙記事
Toshihiko Kurata, Ken-etsu Fujita<Z43-1336>数理解析研究所講究録(2228):2022.8p.206-214
国立国会図書館全国の図書館

On the pigeonhole and the modular counting principles over the bounded arithmetic V⁰ (証明と計算の理論と応用)

On the pigeonhole and the modular counting principles over the bounded arithmetic V⁰ (証明と計算の理論と応用)
紙記事
Eitetsu Ken<Z43-1336>数理解析研究所講究録(2228):2022.8p.186-205
国立国会図書館全国の図書館

Linear algebra in bounded arithmetic (証明と計算の理論と応用)

Linear algebra in bounded arithmetic (証明と計算の理論と応用)
紙記事
Satoru Kuroda<Z43-1336>数理解析研究所講究録(2228):2022.8p.78-87
国立国会図書館全国の図書館

An effective study of continued fractions and applications (証明と計算の理論と応用)

An effective study of continued fractions and applications (証明と計算の理論と応用)
紙記事
八杉 滿利子, 辻井 芳樹, 森 隆一<Z43-1336>数理解析研究所講究録(2228):2022.8p.168-185
国立国会図書館全国の図書館

Proof search in multi-succedent sequent calculi for intuitionistic logics (証明と計算の理論と応用)

Proof search in multi-succedent sequent calculi for intuitionistic logics (証明と計算の理論と応用)
紙記事
Toshiyasu Arai<Z43-1336>数理解析研究所講究録(2228):2022.8p.126-147
国立国会図書館全国の図書館

Gentzenから始まる証明論の50年 : 順序数解析を中心として (証明と計算の理論と応用)

Gentzenから始まる証明論の50年 : 順序数解析を中心として (証明と計算の理論と応用)
紙記事
新井 敏康<Z43-1336>数理解析研究所講究録(2228):2022.8p.99-125
国立国会図書館全国の図書館

汎用的学習理論 (証明と計算の理論と応用)

汎用的学習理論 (証明と計算の理論と応用)
紙記事
宮部 賢志<Z43-1336>数理解析研究所講究録(2228):2022.8p.215-225
国立国会図書館全国の図書館

循環証明体系におけるカット除去の反例について (証明と計算の理論と応用)

循環証明体系におけるカット除去の反例について (証明と計算の理論と応用)
紙記事
益岡 幸弘<Z43-1336>数理解析研究所講究録(2228):2022.8p.47-58
国立国会図書館全国の図書館

Exchangeに関わる結合則の族に対応する推論規則 (証明と計算の理論と応用)

Exchangeに関わる結合則の族に対応する推論規則 (証明と計算の理論と応用)
紙記事
関 隆宏<Z43-1336>数理解析研究所講究録(2228):2022.8p.41-46
国立国会図書館全国の図書館

Weakly balanced multi-branching AND-OR trees : Reconstruction of the omitted part of Saks-Wigderson (1986) (証明と計算の理論と応用)

Weakly balanced multi-branching AND-OR trees : Reconstruction of the omitted part of Saks-Wigderson (1986) (証明と計算の理論と応用)
紙デジタル記事
Ryoya Kurita, Taira Shimizu, Toshio Suzuki<Z43-1336>数理解析研究所講究録(2228):2022.8p.148-167
インターネットで読める国立国会図書館全国の図書館

Cut-Elimination for Cyclic Proof Systems with Inductively Defined Propositions (証明と計算の理論と応用)

Cut-Elimination for Cyclic Proof Systems with Inductively Defined Propositions (証明と計算の理論と応用)
紙記事
Daisuke Kimura, Koji Nakazawa, Kenji Saotome<Z43-1336>数理解析研究所講究録(2228):2022.8p.59-72
国立国会図書館全国の図書館

超直観主義述語論理におけるprenex normal form theoremに関する覚書 (証明と計算の理論と応用)

超直観主義述語論理におけるprenex normal form theoremに関する覚書 (証明と計算の理論と応用)
紙記事
鈴木 信行<Z43-1336>数理解析研究所講究録(2228):2022.8p.88-98
国立国会図書館全国の図書館

原価計算の理論と実務 (わが国におけるガバナンス・ディスクロージャーの在り方 会計人のサステナビリティに役立つリサーチ・トピック ; 特集 第17回 青山学院 会計サミット 第一部 パネル討論会 : 会計人のサステナビリティに役立つリサーチ・トピック)

原価計算の理論と実務 (わが国におけるガバナンス・ディスクロージャーの在り方 会計人のサステナビリティに役立つリサーチ・トピック ; 特集 第17回 青山学院 会計サミット 第一部 パネル討論会 : 会計人のサステナビリティに役立つリサーチ・トピック)
紙記事
清水 孝<Z72-D979>Aoyama accounting review = 青山アカウンティング・レビュー / 青山学院大学大学院会計プロフェッション研究学会 企画編集9:2019p.74-77
国立国会図書館全国の図書館

並列計算の数理とアルゴリズム

書影
並列計算の数理とアルゴリズム
紙図書
フレデリック・マグレス, フランソワ=グザヴィエ・ルー, 桑原拓也 著訳森北出版2015.2<M154-L154>
国立国会図書館全国の図書館
  • 要約等基礎となる数学的理論の理解に重点をおいて，並列計算の理論とアルゴリズムを解説する専門的テキスト．MPIを用いた例題に...
  • 内容細目内容紹介：基礎となる数学的理論の理解に重点をおき、並列計算の理論とアルゴリズムを解説する専門的テキスト。ＭＰＩを用いた例題に...

計算の理論 (情報数学講座 ; 第4巻)

書影
計算の理論 (情報数学講座 ; 第4巻)
紙図書
笠井琢美, 戸田誠之助 著共立出版1993.6<MA41-E75>
国立国会図書館全国の図書館
  • 内容細目計算の理論 笠井琢美 著 笠井琢美∥著

Theory and application of a meta lambda calculus with cross-level computation

書影書影書影
Theory and application of a meta lambda calculus with cross-level computation
デジタル博士論文障害者向け資料あり
飛澤, 和則2015-09-04
インターネットで読める国立国会図書館全国の図書館
  • 並列タイトル等（連結）レベル横断的計算機構を持つメタラムダ計算の理論と応用
  • 並列タイトル等レベル横断的計算機構を持つメタラムダ計算の理論と応用