2006-12-27から1日間の記事一覧
大分停滞している気もするが、とりあえず方向性を列挙 PA関係 IMPOSEをPAPに拡張する(記号と意味の追加) matchingをprojectionとsimulation関係で定義する 1つのProcess Termを分解(例えばA/Gとか)する方法 回路組み合わせがA/Gに基づくproof graph構造に…
大分停滞している気もするが、とりあえず方向性を列挙 PA関係 IMPOSEをPAPに拡張する(記号と意味の追加) matchingをprojectionとsimulation関係で定義する 1つのProcess Termを分解(例えばA/Gとか)する方法 回路組み合わせがA/Gに基づくproof graph構造に…