* このページに掲載している原稿は 速報ファイル です。
* These papers are "flash report".
RIMS Kôkyûroku
No.2228
証明と計算の理論と応用
Theory and Applications of Proof and Computation
RIMS 共同研究（公開型）
 　
2021/12/20〜2021/12/22
池田　一磨
Kazuma Ikeda
　
目　次
　
1. Tableau Calculus of Hybrid Product Logic (Theory and Applications of Proof and Computation)---------------------------------------1
　　　　東京工業大学情報理工学院　　　西村 祐輝　(Nishimura,Yuki)
　
2. 命題変数の量化を持つ時相論理の表現能力について (証明と計算の理論と応用)----------------------------------------------------------12
　　　　東京工業大学情報理工学院　　　佐藤 悠　(Sato,Yu)
　
3. 合流性とZ性について (証明と計算の理論と応用)-------------------------------------------------------------------------------------30
　　　　群馬大学理工学府 / 群馬大学理工学府 / 名古屋大学大学院情報学研究科　　　赤坂 陸来 / 藤田 憲悦 / 中澤 巧爾　(Akasaka,Riku / Fujita,Ken-etsu / Nakazawa,Koji)
　
4. Exchangeに関わる結合則の族に対応する推論規則 (証明と計算の理論と応用)------------------------------------------------------------41
　　　　新潟大学経営戦略本部評価センター　　　関 隆宏　(Seki,Takahiro)
　
5. 循環証明体系におけるカット除去の反例について (証明と計算の理論と応用)------------------------------------------------------------47
　　　　総合研究大学院大学複合科学研究科情報学専攻　　　益岡 幸弘　(Masuoka,Yukihiro)
　
6. Cut-Elimination for Cyclic Proof Systems with Inductively Defined Propositions (Theory and Applications of Proof and Computation)---59
　　　　東邦大学 / 名古屋大学 / セコム株式会社　　　木村 大輔 / 中澤 巧爾 / 早乙女 献自　(Kimura,Daisuke / Nakazawa,Koji / Saotome,Kenji)
　
7. Recent Results on Reflection Principles in Second-Order Arithmetic (Theory and Applications of Proof and Computation)------------73
　　　　東北大学　　　Pacheco,Leonardo
　
8. Linear algebra in bounded arithmetic (Theory and Applications of Proof and Computation)------------------------------------------78
　　　　群馬県立女子大学文学部　　　黒田 覚　(Kuroda,Satoru)
　
9. 超直観主義述語論理における prenex normal form theoremに関する覚書 (証明と計算の理論と応用)---------------------------------------88
　　　　静岡大学理学部数学教室　　　鈴木 信行　(Suzuki,Nobu-Yuki)
　
10. Gentzenから始まる証明論の50年 : 順序数解析を中心として (証明と計算の理論と応用)-------------------------------------------------99
　　　　東京大学大学院数理科学研究科　　　新井 敏康　(Arai,Toshiyasu)
　
11. Proof search in multi-succedent sequent calculi for intuitionistic logics (Theory and Applications of Proof and Computation)---126
　　　　東京大学大学院数理科学研究科　　　新井 敏康　(Arai,Toshiyasu)
　
12. Weakly balanced multi-branching AND-OR trees: Reconstruction of the omitted part of Saks-Wigderson (1986) (Theory and Applications of Proof and Computation)---148
　　　　東京都立大学 / 東京都立大学 / 東京都立大学　　　栗田 亮也 / 清水 泰良 / 鈴木 登志雄　(Kurita,Ryoya / Shimizu,Taira / Suzuki,Toshio)
　
13. An effective study of continued fractions and applications (Theory and Applications of Proof and Computation)------------------168
　　　　　　　八杉 滿利子 / 辻井 芳樹 / 森 隆一　(Yasugi,Mariko / Tsujii,Yoshiki / Mori,Takakazu)
　
14. On the pigeonhole and the modular counting principles over the bounded arithmetic $V^{0}$ (Theory and Applications of Proof and Computation)---186
　　　　東京大学大学院数理科学研究科　　　権 英哲　(Ken,Eitetsu)
　
15. A Remark on Lattice Models of Second-Order Intuitionistic Propositional Logic (Theory and Applications of Proof and Computation)---206
　　　　法政大学 / 群馬大学　　　倉田 俊彦 / 藤田 憲悦　(Kurata,Toshihiko / Fujita,Ken-etsu)
　
16. 汎用的学習理論 (証明と計算の理論と応用)----------------------------------------------------------------------------------------215
　　　　明治大学理工学部数学科　　　宮部 賢志　(Miyabe,Kenshi)