整合性判定の実装完了？

JGraphXを用いてアプリケーションを作成した。 ...

・Main.javaを追加。
・graphicalrefactor.*パッケージ群を作成。
・JGraphXのテストプログラムを追加。
・PushPullAttributeクラスを選択可能な転送方式の集合ではなくリストに。（リストの先頭要素が選択された要素であるとわかるように。）

・顧客リストモデルを追加。 ...

・if関数とeq関数の追加。
・数式の文字列出力と実装出力を分けるようにする。

Merge branch 'master' into ohta

・StateTransition#deriveMessageConstraintFor() ...

内の処理で、変数に変数を代入する場合を考慮していなかった。
・単一化で代数系上の変数とプログラム上の変数を単一化しようとする場合があったので。プログラム上の変数を Variable ではなく、 Field
と Parameter で表すようにした。
・項中のパラメータ（Parameter）の一覧を取得したかったので、 Expression#getSubterms(Class<T>)
を作った。また、 Expression#getVariables() は、このメソッドを呼ぶようにした。
・力学演算を行うモデルを追加した。

Merge pull request #4 from nitta-lab/separateAlgebraPackage ...

以下の修正および改良

・リソース更新コード生成テストプログラム（UpdateCodeGenerationTest.java）で、引数とフィールドを同じ名前にしていたため、生成コードがおかしくなっていた不具合を修正。 ...

・リソースと変数に型を定義できるようにし、シンボルにシグニチャを定義できるようにした。
・入力側リソースの状態遷移関数で遷移後の項が含んでいる変数の値を、遷移前の項が含んでいる変数の値から求められる場合、求めた値を使って、メッセージ制約を導出するようにした。（そのようにしないと導出できない場合があるため。また、そのようにすることで変数の値の重複定義を回避できる場合があるため。）

Merge pull request #3 from nitta-lab/separateAlgebraPackage ...

代数処理系を別パッケージに分けた。

Merge pull request #2 from nitta-lab/addStateTransitions ...

代数処理系を追加

代数処理系を別パッケージに分けた。

代数処理系を追加

考案中

Merge pull request #1 from nitta-lab/addStateTransitions ...

コードのひな型（インタフェース）を追加した。

自ブランチを更新

コードのひな型（インタフェース）を追加した。

テストケース修正 動作確認？

Tajanアルゴリズム実装完了（未点検）

Tajanアルゴリズム実装中

テストケースなどを追加

Merge branch 'master' of http://nitta-lab-www.is.konan-u.ac.jp/gitbucket/git/nitta-lab/AlgebraicDataflowArchitectureModel.git

・DataFlowModelTest.java に代数式などをコメントとして追加した。 ...

・ソフトウェア工学研究会の原稿に合わせて、チャンネルを利用しない単純な例題（POSシステム）のテストケースを追加した。

assignの中身を作成中

帰りがけ作成中

Kosarajuアルゴリズムを使用することに

TarjanとKosarajuの両方を調べ中

もう少し

深さ優先探索完成一歩手前？

深さ優先探索を作成中

tarjanアルゴリズム作成中

アルゴリズムを作成中