■

昨日がハードだったせいか、疲れ気味。例のなぜかTeXのタイプセッティングができない件。試行錯誤した挙げ句、ふとソースを見たら\end{document}が無くなってることに気づく。そこまでの俺の費した時間って一体・・・orz

こうして精神的にも脱力感たっぷり。forcingのレジュメを作る。「あるはずないもの」を作る技法。