2009-09-13 進捗 研究 主テーマ 順序制約に関する正しい分解法則を整理して、横チェーンの見直しと縦チェーンの見直しをほぼ終了。ふと振り返って、それ以前の充足性の判定とか演算の導入とかみると、いまやったところと温度差がありすぎ、記法もバラバラ、n巡目を区別するといっていてもなんか、区別できてないし。というわけで、さっきやった横チェーン見直しでつかった形式に書換開始、もう間に合わない。広島市立図書館のパソコン机にて