RIMS Kôkyûroku
No.2083
証明論と証明活動
Proof theory and proving
RIMS 共同研究(公開型)
2017/12/25〜2017/12/27
佐々木 克巳
Katsumi Sasaki
目 次
首都大学東京大学院理工学研究科数理情報科学専攻 / 首都大学東京大学院理工学研究科数理情報科学専攻 重水 美香 / 宇佐美 紘貴 (Shigemizu,Mika / Usami,Koki)
首都大学東京 / 首都大学東京 / 首都大学東京 水澤 勇気 / 伴 滉一郎 / 鈴木 登志雄 (Mizusawa,Yuki / Ban,Koichiro / Suzuki,Toshio)
三重大学教養教育機構 伊藤 美香 (Ito,Mika)
慶應義塾大学文学研究科 西牟田 祐樹 (Nishimuta,Yuki)
南山大学理工学研究科 稲垣 元哉 (Inagaki,Motoya)
南山大学大学院理工学研究科 / 南山大学理工学部 久間 一輝 / 佐々木 克巳 (Kuma,Kazuki / Sasaki,Katsumi)
京都大学大学院情報学研究科 / フランス国立情報学自動制御研究所・ボローニャ大学計算機理工学部 福田 陽介 / 由水 輝 (Fukuda,Yosuke / Yoshimizu,Akira)
8.
計算可能測度論 (証明論と証明活動)------------------------------------------------------------------------------------------------88
明治大学理工学部数学科 宮部 賢志 (Miyabe,Kenshi)
東北大学 / 東北大学 / 東北大学 Li Wenjuan / 小俣 安彦 / 田中 一之 (Li,Wenjuan / Omata,Yasuhiko / Tanaka,Kazuyuki)
国立研究開発法人産業技術総合研究所 山形 頼之 (Yamagata,Yoriyuki)
国立研究開発法人産業技術総合研究所 / 株式会社ピコラボ 山形 頼之 / 鈴木祐京 (Yamagata,Yoriyuki / Suzuki,Ukyo)
群馬大学 藤田 憲悦 (Fujita,Ken-etsu)
法政大学経営学部 倉田 俊彦 (Kurata,Toshihiko)
法政大学文学部哲学科 安東 祐希 (Andou,Yuuki)
公立鳥取環境大学 / 鹿児島大学 吉田 聡 / 古澤 仁 (Yoshida,Satoru / Furusawa,Hitoshi)
東京工業大学情報理工学院 / 東京工業大学情報理工学院 中村 知己 / 鹿島 亮 (Nakamura,Kazuki / Kashima,Ryo)
17.
シークエントと証明活動 (証明論と証明活動)--------------------------------------------------------------------------------------167
南山大学 佐々木 克巳 (Sasaki,Katsumi)