GitBucket
| 2026-04-20 |
DependencyTermの支配項に項が来れないようにした
Sakoda2269
committed
11 days ago
|
|---|---|
| 2026-04-18 |
書き換えの推論を少し実装
Sakoda2269
committed
13 days ago
|
| 2026-04-17 |
依存項の支配項、引数項を複数持てるようにした
Sakoda2269
committed
14 days ago
|
|
main変更
Sakoda2269
committed
14 days ago
|
|
| 2026-03-26 |
推論のバグを修正
Sakoda2269
committed
on 26 Mar
|
| 2026-03-24 |
Merge branch 'feature/proof-system' of https://github.com/Sakoda2269/RDLPrototype into feature/proof-system
Sakoda2269
committed
on 24 Mar
|
|
項のサイズのバグを修正
Sakoda2269
committed
on 24 Mar
|
|
| 2026-03-23 |
推論バグ修正中
Sakoda2269
committed
on 23 Mar
|
| 2026-03-17 |
項にサイズを追加
Sakoda2269
committed
on 17 Mar
|
| 2026-03-16 |
推論ができなかったバグを修正
Sakoda2269
committed
on 16 Mar
|
| 2026-03-09 |
公理を追加
Sakoda2269
committed
on 9 Mar
|
| 2026-03-01 |
公理を使った推論を実装
Sakoda2269
committed
on 1 Mar
|
| 2026-02-28 |
公理による推論を実装中
Sakoda2269
committed
on 28 Feb
|
|
公理系更新のために既存の公理系を削除
Sakoda2269
committed
on 28 Feb
|
|
|
Merge pull request #9 from Sakoda2269/feature/semantic-equivalence
...
Sakoda2269
authored
on 28 Feb
GitHub
committed
on 28 Feb
|
|
|
typoを修正
Sakoda2269
committed
on 28 Feb
|
|
|
Merge pull request #8 from Sakoda2269/feature/semantic-equivalence
...
Sakoda2269
authored
on 28 Feb
GitHub
committed
on 28 Feb
|
|
| 2026-02-17 |
意味論的同値関係の推論ができるようになった
Sakoda2269
committed
on 17 Feb
|
| 2025-12-20 |
意味論的同値関係について実装
Sakoda2269
committed
on 20 Dec
|
|
途中まで
Sakoda2269
committed
on 20 Dec
|
|
|
途中まで
Sakoda2269
committed
on 20 Dec
|
|
|
線形右正規形に関する制約を追加
Sakoda2269
committed
on 20 Dec
|
|
| 2025-12-13 |
dsu作成
Sakoda2269
committed
on 13 Dec
|
| 2025-11-28 |
mainを変更
Sakoda2269
committed
on 28 Nov
|
| 2025-11-20 |
推移律のチェックを追加
Sakoda2269
committed
on 20 Nov
|
|
InferenceRule#checkの計算量を改善
Sakoda2269
committed
on 20 Nov
|
|
| 2025-11-19 |
前提部に結論部が含まれる場合trueを返すようにした
Sakoda2269
committed
on 19 Nov
|
|
公理を追加
Sakoda2269
committed
on 19 Nov
|
|
|
Merge branch 'main' into feature/proof-system
Sakoda2269
committed
on 19 Nov
|
|
|
Merge branch 'feature/meta-model2'
Sakoda2269
committed
on 19 Nov
|
|
|
セッターを追加
Sakoda2269
committed
on 19 Nov
|
|
|
checkにbindingを追加
Sakoda2269
committed
on 19 Nov
|
|
| 2025-11-07 |
公理の追加完了
Sakoda2269
committed
on 7 Nov
|
|
公理追加完了
Sakoda2269
committed
on 7 Nov
|
|
|
DependencyFormulaを更新
Sakoda2269
committed
on 7 Nov
|
|
|
公理作成中
Sakoda2269
committed
on 7 Nov
|
|
| 2025-11-05 |
階数の制約追加によりコンストラクタ追加
Sakoda2269
committed
on 5 Nov
|
|
Merge branch 'main' into feature/proof-system
Sakoda2269
committed
on 5 Nov
|
|
|
公理に出現する階数の制約を追加できるようにした
Sakoda2269
committed
on 5 Nov
|
|
|
inの形の式に対応
Sakoda2269
committed
on 5 Nov
|
|
|
Merge branch 'feature/meta-model2'
Sakoda2269
committed
on 5 Nov
|
|
|
集合の形の評価可能項に対応
Sakoda2269
committed
on 5 Nov
|
|
|
Merge branch 'main' into feature/meta-model2
Sakoda2269
committed
on 5 Nov
|
|
|
Merge branch 'main' into feature/proof-system
Sakoda2269
committed
on 5 Nov
|
|
|
クラスパスの追跡を中止
Sakoda2269
committed
on 5 Nov
|
|
| 2025-11-01 |
Merge branch 'main' into feature/proof-system
Sakoda2269
committed
on 1 Nov
|
|
Merge pull request #7 from Sakoda2269/fix/DepTerm-lrn
...
Sakoda2269
authored
on 1 Nov
GitHub
committed
on 1 Nov
|
|
|
線形右正規化のバグを修正
Sakoda2269
committed
on 1 Nov
|
|
|
src/Main.javaを変更
Sakoda2269
committed
on 1 Nov
|
|
| 2025-10-31 |
mainを変更
Sakoda2269
committed
on 31 Oct
|
|
Merge branch 'main' into feature/proof-system
Sakoda2269
committed
on 31 Oct
|
|
|
Dependency#toStringがバグっていたので修正
Sakoda2269
committed
on 31 Oct
|
|
|
ProofSystem#checkの引数の型が間違っていたので修正
Sakoda2269
committed
on 31 Oct
|
|
|
Merge branch 'main' into feature/proof-system
Sakoda2269
committed
on 31 Oct
|
|
|
Merge branch 'feature/formulas'
Sakoda2269
committed
on 31 Oct
|
|
|
コンストラクタ追加
Sakoda2269
committed
on 31 Oct
|
|
|
テスト追加
Sakoda2269
committed
on 31 Oct
|
|
|
Merge branch 'main' into feature/meta-model2
Sakoda2269
committed
on 31 Oct
|
|
| 2025-10-30 |
ProofSystem作成中
Sakoda2269
committed
on 30 Oct
|
|
Merge branch 'feature/formulas'
Sakoda2269
committed
on 30 Oct
|
|
|
コンストラクタ追加
Sakoda2269
committed
on 30 Oct
|
|
|
ProofSystem作成中
Sakoda2269
committed
on 30 Oct
|
|
|
Merge branch 'main' into feature/proof-system
Sakoda2269
committed
on 30 Oct
|
|
|
Merge branch 'feature/inference-rule'
Sakoda2269
committed
on 30 Oct
|
|
|
InferenceRuleに名前をつけれるようにした
Sakoda2269
committed
on 30 Oct
|
|
|
ProofSystem作成
Sakoda2269
committed
on 30 Oct
|
|
|
Merge pull request #5 from Sakoda2269/feature/inference-rule
...
Sakoda2269
authored
on 30 Oct
GitHub
committed
on 30 Oct
|
|
| 2025-10-27 |
テスト追加
Sakoda2269
committed
on 27 Oct
|
|
テスト追加
Sakoda2269
committed
on 27 Oct
|
|
|
テスト追加
Sakoda2269
committed
on 27 Oct
|
|
| 2025-10-25 |
toString調整
Sakoda2269
committed
on 25 Oct
|
|
Merge branch 'main' into feature/inference-rule
Sakoda2269
committed
on 25 Oct
|
|
|
Merge pull request #4 from Sakoda2269/feature/formulas
...
Sakoda2269
authored
on 25 Oct
GitHub
committed
on 25 Oct
|
|
|
MetaFormulaにtoString, hashCode, equalsを追加
Sakoda2269
committed
on 25 Oct
|
|
|
InferenceRule作成
Sakoda2269
committed
on 25 Oct
|
|
|
Merge pull request #3 from Sakoda2269/feature/formulas
...
Sakoda2269
authored
on 25 Oct
GitHub
committed
on 25 Oct
|
|
|
EquationFormulaのフィールド名変更
Sakoda2269
committed
on 25 Oct
|
|
| 2025-10-24 |
メソッド名修正
Sakoda2269
committed
on 24 Oct
|
|
テスト追加
Sakoda2269
committed
on 24 Oct
|
|
|
MetaResourceVariableのテスト追加
Sakoda2269
committed
on 24 Oct
|
|
| 2025-10-23 |
テスト追加
Sakoda2269
committed
on 23 Oct
|
|
Merge branch 'main' into feature/formulas
Sakoda2269
committed
on 23 Oct
|
|
|
ディレクトリ変更
Sakoda2269
committed
on 23 Oct
|
|
|
Merge branch 'main' into feature/formulas
Sakoda2269
committed
on 23 Oct
|
|
|
Merge pull request #2 from Sakoda2269/feature/meta-model2
...
Sakoda2269
authored
on 23 Oct
GitHub
committed
on 23 Oct
|
|
|
MetaRDLTermにtypeCheckを追加
Sakoda2269
committed
on 23 Oct
|
|
|
Formulaを追加
Sakoda2269
committed
on 23 Oct
|
|
|
ディレクトリ変更
Sakoda2269
committed
on 23 Oct
|
|
|
Merge pull request #1 from Sakoda2269/feature/meta-model2
...
Sakoda2269
authored
on 23 Oct
GitHub
committed
on 23 Oct
|
|
| 2025-10-22 |
テスト追加
Sakoda2269
committed
on 22 Oct
|
|
MetaRDLTermのコンストラクタを修正
Sakoda2269
committed
on 22 Oct
|
|
|
MeatRDLTermのDependencyTermのコンストラクタを変更
Sakoda2269
committed
on 22 Oct
|
|
|
Merge branch 'main' into feature/meta-model2
Sakoda2269
committed
on 22 Oct
|
|
|
DependencyTermのコンストラクタ変更
Sakoda2269
committed
on 22 Oct
|
|
|
binやtargetをuntrack
Sakoda2269
committed
on 22 Oct
|
|
|
gitignore変更
Sakoda2269
committed
on 22 Oct
|
|
| 2025-10-21 |
tmp
Sakoda2269
committed
on 21 Oct
|
| 2025-10-20 |
medaモデルで階数の表示方法を変更
Sakoda2269
committed
on 20 Oct
|
|
TermTypeのフィールド名変更
Sakoda2269
committed
on 20 Oct
|
|
| 2025-10-19 |
テストを追加
Sakoda2269
committed
on 19 Oct
|
| 2025-10-18 |
パターンマッチ追加
Sakoda2269
committed
on 18 Oct
|
| 2025-10-16 |
Merge branch 'main' into feature/meta-model2
Sakoda2269
committed
on 16 Oct
|
|
RDLTermのequalsを修正
Sakoda2269
committed
on 16 Oct
|
|
|
metaモデル基礎作成
Sakoda2269
committed
on 16 Oct
|
|
|
Merge branch 'main' into feature/meta-model2
Sakoda2269
committed
on 16 Oct
|
|
|
equalsなどを追加
Sakoda2269
committed
on 16 Oct
|
|
|
metaモデル基礎作成
Sakoda2269
committed
on 16 Oct
|
|
|
Merge branch 'main' into feature/meta-model2
Sakoda2269
committed
on 16 Oct
|
|
|
例外を追加
Sakoda2269
committed
on 16 Oct
|
|
|
例外を追加
Sakoda2269
committed
on 16 Oct
|
|
|
Merge branch 'main' into feature/meta-model2
Sakoda2269
committed
on 16 Oct
|
|
|
例外を追加
Sakoda2269
committed
on 16 Oct
|
|
|
metaモデル基礎作成
Sakoda2269
committed
on 16 Oct
|
|
|
不要なものを削除
Sakoda2269
committed
on 16 Oct
|
|
| 2025-10-13 |
symbolをコンストラクタで渡すようにした
Sakoda2269
committed
on 13 Oct
|
| 2025-09-26 |
DTRAMのTermを使用するようにした
Sakoda2269
committed
on 26 Sep
|
| 2025-09-20 |
first commit
Sakoda2269
committed
on 20 Sep
|