564 [´･ω･｀] algrothendieck.nos-oignons.net 2023/12/19(火) 23:26:37.27 ID:TdS756LP0
筑波やね https://gist.github.com/japankun/2cf80906dc4d1c9adf01c299a09c46c6