Seminars
竹内が主催や世話人となったseminarやworkshopの情報です。
モデル理論夏の学校&研究会2023 2023年9月6-8日, 筑波大学&online
応用数学ワークショップ「Circomで始めるZKRollup入門」第2回 2023年2月23日, Online.
応用数学ワークショップ「Circomで始めるZKRollup入門」第1回 2023年1月21日, Online.
数学基礎論サマースクール2022 2022年9月7-9日, Online
応用数学セミナー「ゼロ知識証明の仕組みと応用」第3回 2022年8月12日, Online.
応用数学セミナー「ゼロ知識証明の仕組みと応用」第2回 2022年5月8日, Online.
応用数学セミナー「ゼロ知識証明の仕組みと応用」第1回 2022年4月12日, Online.
RIMS Model Theory Workshop December 7(Mon) - 9(Wed), 2020, RIMS(Online).
モデル理論夏の学校2019 2019年9月2 - 4日 東海大学山中湖セミナーハウス
モデル理論夏の学校2017 2017年9月19-21日 大学セミナーハウス(東京都八王子市
モデル理論夏の学校2014 2014年9月14-16日 筑波大学
代数幾何セミナー「有理点の幾何学ー代数幾何を通して見たHilbertの第10問題ー」 2012年8月14-16日 筑波大学
圏論への招待 第三回(集合、圏、代数) 2012年6月1-3日 筑波大学
圏論への招待 第二回 (圏と位相) 2011年11月11-13日 筑波大学
圏論への招待 2011年7月30日-8月1日 筑波大学