173 followers ymd.sht @iedcba 格子関係のテクニックが証明可能安全の文脈に現れたものを集めたgentryのサーベイ http://t.co/hPMDAxtqVA 25 Oct 2014 Reply Repost Favourite