2007-01-05から1日間の記事一覧
年末ずっとやっていた、プロセス代数でワークフローシステムの定式化を 試みていたが、どうもうまく纏まらない。とくに、プロセス項同士の部分マッチというのが今100歩である、最初は 順序依存関係のマトリクスを作って、これにて比較を行うことを試みたが …
年末ずっとやっていた、プロセス代数でワークフローシステムの定式化を 試みていたが、どうもうまく纏まらない。とくに、プロセス項同士の部分マッチというのが今100歩である、最初は 順序依存関係のマトリクスを作って、これにて比較を行うことを試みたが …