日報

• まだ（また？）MinCamlのエスケープ解析関係。思ったより難しくて、なかなか証明（というか定義）がうまくいかず試行錯誤。
• ４年生の人々から質問。ようやく研究らしくなってきたかも。
• なぜか給与規定のお勉強＆計算。ややこしすぎる…
• 前に悩んだ出張旅費、やっぱり事務が計算を間違えていたらしい。これもややこしすぎ。