引きこもって論文書き。ついに3年近く考えてた問題の証明が完了。書き下した定理を眺めてるだけで1時間はイケますね。「1996年に示唆されていつつも証明がなされていなかった問題を解決した」とか字面だけ見ると超カッコイイ。実際はジョイメカのプレイヤー人口並に過疎ジャンルってだけですが。まあとにかく論文の主菜の証明は済んだので副菜の証明に取り掛かろう。