手形 L⁴ 研究集会

秋田大学にて数学基礎論・Logic in CS系の講演者を集め研究集会を行います． 聴講参加申し込みなどは不要です．部分参加も歓迎です．学生の皆様もどうぞお気軽にご参加ください．

講演者リスト (講演順，敬称略，学生LT講演者除く)
清水 伸高 (東京大学)， 山口 勇太郎 (大阪大学)， 浅田 和之 (東京大学)， 金沢 誠 (NII)，
依田 大樹 (筑波大学)， 坪井 明人 (筑波大学)， 根元 多佳子 (JAIST)， 石原 哉 (JAIST)， 中村 誠希 (東京工業大学)， 西牟田 祐樹 (慶應義塾大学)， 河野 友亮 (東京工業大学)，
鹿島 亮 (東京工業大学)， 中野 圭介 (電気通信大学)， 薄葉 季路 (早稲田大学)， 木原 貴行 (名古屋大学)， 照井 一成 (京都大学)，
新屋 良磨 (秋田大学)．

研究集会詳細および講演プログラム・概要
pdf

講演スライド(許可が取れたもののみ)

• 清水 伸高 「ランダム正則グラフの直径と平均距離」(表紙のみ)

• 山口 勇太郎 「グラフにおけるマッチング・パス詰め込み問題」(表紙のみ)
• 金沢 誠 「Pumping and Ogden properties of multiple context-free grammars」
• 依田 大樹 「分類理論と安定性についての紹介」

• 坪井 明人 「A model theoretic proof of Hales-Jewett theorem」(表紙のみ)
• 根元 多佳子 「至る所微分不可能な連続関数の構成的数学」
• 石原 哉 「Coequalisers in the category of basic pairs」
• 中村 誠希 「 グラフ状の経路をもつオートマトンについて」
(表紙のみ)
• 薄葉 季路 「Compactness cardinals and covering properties of topological spaces」
• 木原 貴行 「The ultimate analysis of some hierarchies under AD+」
• 照井 一成 「MacNeille completion and Buchholz' Omega rule」
• 新屋良磨 「形式言語理論の未解決問題達」(表紙のみ)

Last update: 2018.03.30 by Ryoma Sin'ya, Akita University