同じ式がMap型, List型, Tuple型, Pair型の異なるグループに同時に所属している場合に，推論が正しく進まない不具合を修正．

1. Map型を追加． ...

2. nil をList型とMap型に限定し，null を追加．
3. if文が入れ子になったときなどに副作用が正しく出力されなかったのを修正．（若干の設計変更あり．）
4. 実行文直後の改行が出力されない場合があったのを修正．
5. 初期化子の型も推論するようにした．
6. ジェネリクス中の型のデフォルトが Integer になっていたのを修正．
7. 酒屋の在庫問題のモデルファイルを追加．

剰余演算を演算子ではなく,mod関数で演算を行うようにしました.

剰余の計算を行う演算子「%」を使用できるようにしました

StoreAttribute of a node was being overwritten illegally.

メインクラスのコンストラクタを追加し、フィールドの初期化をコンストラクタ内で行うように修正。

・init {} で初期化ができるようにした。 ...

・入力メソッドが複数存在したときに、各メソッドに更新メソッドの呼び出しを正しく追加できていなかった。

生成された Java コードを削除した。

・JAX-RS 出力での Pair クラス対応。 ...

・Tuple 型のパラメータとレスポンスの受け渡しが正しくできていなかった？のを修正。
・if 文で用いるローカル変数の名前が競合していたのを修正。

・状態を保持するフィールド名の value への変更を JAX-RS のコード生成にも反映させる。 ...

・Pair クラスのフィールドを left と right に。
・Pair 型の型推論を強化した。
・Pair クラスの追加を JAX-RS のコード生成にも反映させる。
・model ファイルの変更（単位元による遷移を削除、fst/snd関数 → left/right関数）

JAX-RS出力でもフィルド名を value に変更するようにした。

メインクラスの getter メソッドからの getter メソッドの呼び出しが、getValue() になっていなかったのを修正。

引数を持たない input メソッドを生成できなかった不具合を修正。

コンストラクタ内でのフィールドの初期化が不完全だった不具合を修正。

入力メソッド先頭のフィールドへの代入文がフィールド名の変更に対応できていなかったバグを修正。

不要な生成ファイルを削除しました.

Pairクラスをジェネリクスで生成するようになりました.

クラスと同名の変数名をvalueに置き換えました

Pairクラスをdouble型で宣言するようにしました.

modelファイルを修正しました.

if文生成時の一時変数の型を宣言するよう修正しました.

Revert "if文の一時変数に型がなかったのを修正しました." ...

This reverts commit 0ccc738.

if文の一時変数に型がなかったのを修正しました.

if文を修正しました

複数の親を持てるように型階層を拡張し，それに合わせて型推論できるように修正．

・四則演算，fst，snd 関数に対する型推論を行う． ...

・数値型の間に型階層を導入する．
・Tuple 型の要素の型の違いによる型階層を考慮する．
・その他型推論のもろもろのバグ修正．

・生成されたJavaコードの Main ...

クラスのフィールド定義順が不適切でコンパイルエラーが出ていたため，トポロジカルソートを行って定義順を決めるようにした．
・同一のIOチャンネルに複数の入力メッセージが定義されていた場合に正しくメソッドが生成されていなかったのを修正．

・JumpGame.model　の変数名の誤りの修正． ...

・ref ポートに定義されたリソースをコンストラクタの引数として渡し，フィールドの初期化を行うようにする．
・コンパイルエラーが出るので，タプル型フィールドの初期化は行わないようにする．（リスト型フィールドのみ初期化する．）
・小数の定数を double 型，整数の定数を int 型として解釈するようにする．

JumpGame.model のアーキテクチャ設計にさらに以下の不備があったので修正． ...

・地面に着地したときに一瞬地面にめり込む場合があったのを修正．
・地面の上に乗っているとき，下向きに動こうとした場合は受け付けないようにする．
・地面の上に乗っている場合は，重力の加速度の影響を受けないようにする．

onground リソースが更新されたときに，チャンネル c3 と c4 の両方の通知が行き，velocity リソースの c3 からの更新と ...

c4 からの更新が競合してしまう（状態遷移の制約2に違反する）ので，onground を最後に更新し，onground の値は ref
で参照するように，JumpGame.model のアーキテクチャモデルを設計変更した．