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
応用数学セミナー「ゼロ知識証明の仕組みと応用」第３回 2022年8月12日, Online.
応用数学セミナー「ゼロ知識証明の仕組みと応用」第２回 2022年５月８日, Online.
応用数学セミナー「ゼロ知識証明の仕組みと応用」第１回 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日 筑波大学