3,076 followers
SnO2WMaNというハンドルネームは相当ありえない表記(間に数字が入っている上にアルファベット大文字小文字が入り乱れている)とは思っているが、証明論の証明体系に同じ感じの名前の体系(G4iSL)があって親近感が湧いている https://t.co/YMeynBOWAA
SnO2WMaNというハンドルネームは相当ありえない表記(間に数字が入っている上にアルファベット大文字小文字が入り乱れている)とは思っているが、証明論の証明体系に同じ感じの名前の体系(G4iSL)があって親近感が湧いている https://t.co/YMeynBOWAA