ぽるちん 8.4に入ったとこ。コンパクト化。まあstringのformalizationのキモみたいなとこですけど、めんどいことこの上ないですね。 元々俺がいる研究室ってのは、学生がそんなに多いところではなくて。まあでも、俺らの学年は妙に多い。そんなもんで、入っ…