No Such Blog or Diary
Home > Archives > 2011年07月04日
lhs2tex がおかしかったのはファイルを全部生成しなおしたら治った．共通のファイルをインクルードするようにするのが肝なのね．
閑話休題．
定式化と表記法を総取替え（伸びる方向に）しつつ現状よりも大幅に量を減らすという荒行に…… まあ，無駄を承知で全部書き下しただけなので削るのはいいのだけど普通に削っただけでは目標に到達しないような予感．どうすべか．
Page Top