@k-sakoda

k-sakoda

迫田一希

Joined on 2023-10-05

activities
4 hours ago
@k-sakoda k-sakoda pushed to feature/axiom-inference-mk2 at nitta-lab/RDLProofSystem
b9eb38e dynamicTermのisMatchedByまで
10574c8 dynami 修正　途中まで
5 hours ago
@k-sakoda k-sakoda pushed to main at nitta-lab/RDLProofSystem
5 hours ago
@k-sakoda k-sakoda pushed to feature/axiom-inference-mk2 at nitta-lab/RDLProofSystem
e994038 dependency formulaのdynamicバグ修正
6 hours ago
@k-sakoda k-sakoda deleted tag test at nitta-lab/RDLProofSystem
2 days ago
3 days ago
@k-sakoda k-sakoda pushed to main at nitta-lab/RDLProofSystem
3 days ago
3 days ago
@k-sakoda k-sakoda pushed to feature/axiom_inference at nitta-lab/RDLProofSystem
3 days ago
@k-sakoda k-sakoda pushed to main at nitta-lab/RDLProofSystem
3 days ago
5 days ago
@k-sakoda k-sakoda pushed to main at nitta-lab/RDLProofSystem
895f156 意味論的同値性のコードを一時的にコメントアウト
5 days ago
@k-sakoda k-sakoda pushed to main at nitta-lab/RDLProofSystem
6e89c2f pom.xmlからdtramの依存関係を削除
5 days ago
@k-sakoda k-sakoda pushed to main at nitta-lab/RDLProofSystem
b2dead8 test commit
7797ade Add GitHub Actions workflow to mirror to GitBucket
5 days ago
@k-sakoda k-sakoda pushed to main at nitta-lab/RDLProofSystem
5 days ago
5 days ago
5 days ago
on 27 Jul
on 27 Jul
on 11 May
@k-sakoda k-sakoda pushed to main at k-sakoda/ResourceDependencyLogic
436801e fix PrimedTermのコンストラクタがprotectedだったのでpublicにした
on 20 Apr
on 20 Apr
on 7 Apr
@k-sakoda k-sakoda pushed to main at k-sakoda/JenkinsTest
0a0461e 変更
on 7 Apr
@k-sakoda k-sakoda pushed to main at k-sakoda/JenkinsTest
7cf1042 バージョン変更
on 7 Apr
@k-sakoda k-sakoda pushed to main at k-sakoda/JenkinsTest
964b689 バージョン変更
on 7 Apr
@k-sakoda k-sakoda pushed to main at k-sakoda/JenkinsTest
3fe8fd1 テスト用コミット
on 7 Apr
@k-sakoda k-sakoda pushed to main at k-sakoda/JenkinsTest
34956d2 テスト用コミット
on 7 Apr
@k-sakoda k-sakoda pushed to main at k-sakoda/JenkinsTest
5cdc896 パス追加
on 7 Apr
@k-sakoda k-sakoda created branch main at k-sakoda/JenkinsTest
on 7 Apr
on 7 Mar
@k-sakoda k-sakoda pushed to fix/#35-add-charset at nitta-lab/StartupManagement
on 7 Mar
on 7 Mar
on 7 Mar
@k-sakoda k-sakoda deleted branch fix/parse-csv at nitta-lab/StartupManagement
on 7 Mar
@k-sakoda k-sakoda deleted branch fix/31-import-csv at nitta-lab/StartupManagement
on 7 Mar
on 7 Mar
on 7 Mar
on 6 Mar
on 6 Mar
on 6 Mar
@k-sakoda k-sakoda deleted branch fix/parse-csv at nitta-lab/StartupManagement
on 6 Mar
on 5 Mar
on 5 Mar
@k-sakoda k-sakoda deleted branch feat/load-csv-and-save at nitta-lab/StartupManagement
on 5 Mar
on 5 Mar
@k-sakoda k-sakoda pushed to feat/load-csv-and-save at nitta-lab/StartupManagement
on 5 Mar
on 4 Mar
@k-sakoda k-sakoda pushed to feat/load-csv-and-save at nitta-lab/StartupManagement
09fb67d saveとloadを実装
on 3 Mar
on 16 Feb
@k-sakoda k-sakoda created branch main at k-sakoda/DTRAMServer