https://123deta.com/document/y4wdxpl0-直観主義論理への招待数学基礎論サマースクール.html