GitBucket
| 2026-10-25 |
初期化を追加
Sakoda2269
committed
19 days ago
|
|---|---|
| 2026-09-30 |
test完了
Sakoda2269
committed
on 30 Sep
|
|
isMatchedByにPositionを追加
Sakoda2269
committed
on 30 Sep
|
|
| 2026-09-23 |
公理の推論の実装変更とtransitivity testまで
Sakoda2269
committed
on 23 Sep
|
| 2026-09-21 |
公理系一通り実装完了
Sakoda2269
committed
on 21 Sep
|
|
Right Normalizationまで
Sakoda2269
committed
on 21 Sep
|
|
| 2026-09-18 |
dependency axiom unccuried mappingまで
Sakoda2269
committed
on 18 Sep
|
| 2026-09-17 |
left sub, identityを追加
Sakoda2269
committed
on 17 Sep
|
| 2026-09-16 |
right sub実装まで
Sakoda2269
committed
on 16 Sep
|
|
dynamicのsubstitutionを作成
Sakoda2269
committed
on 16 Sep
|
|
| 2026-09-14 |
dynami 修正 途中まで
Sakoda2269
committed
on 14 Sep
|
| 2026-09-12 |
dynamicの見直し
Sakoda2269
committed
on 12 Sep
|
| 2026-09-11 |
DependencyとDependencyTermの支配項の重複を許した
Sakoda2269
committed
on 11 Sep
|
| 2026-09-09 |
test commit
Sakoda2269
committed
on 9 Sep
|
|
DTRAMからalgebraを抜き出し、DTRAMの依存を解消
Sakoda2269
committed
on 9 Sep
|
|
| 2026-07-24 |
MetaTermも複数引数に対応
Sakoda2269
committed
on 24 Jul
|
| 2026-07-17 |
書き換え推論をいったん完成
Sakoda2269
committed
on 17 Jul
|
| 2026-07-10 |
推論の過程を表示できるように実装中
Sakoda2269
committed
on 10 Jul
|
| 2026-06-13 |
Merge branch 'feature/rewrite' of https://github.com/Sakoda2269/RDLPrototype into feature/rewrite
Sakoda2269
committed
on 13 Jun
|
|
mainを変更
Sakoda2269
committed
on 13 Jun
|
|
| 2026-06-08 |
修正
Sakoda2269
committed
on 8 Jun
|
| 2026-05-23 |
木の書き換えを実装。テストは未完了
Sakoda2269
committed
on 23 May
|
| 2026-05-19 |
木の構築を更新
Sakoda2269
committed
on 19 May
|
|
ディレクトリ構成の更新
Sakoda2269
committed
on 19 May
|
|
|
Merge remote-tracking branch 'origin/feature/unification' into feature/semantic-equivalence
Sakoda2269
committed
on 19 May
|
|
| 2026-05-18 |
ディレクトリ構造変更
Sakoda2269
committed
on 18 May
|