括弧の意味論作者:木村大治ＮＴＴ出版Amazon 図書館でふと見つけたので読んでみた。第一部は読んでいて普通に面白いが、第二部は「超越論的なんちゃってビリティ」に関する議論と、次に挙げる類型とその説明（これらはバラバラの位置に置かれているのでここ…

「円周角の定理」と呼ばれる主張には $\forall P.\ \angle{AOB}=2\angle{APB}$ $\forall P\forall Q.\ \angle{APB}=\angle{AQB}$ の二通りがあって, 2 は 1 の系なので本質的には 1 が効いているわけですが, 「円周角」の well-defined 性を保証するという観…