{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":133233610,"defaultBranch":"master","name":"cheaplogic","ownerLogin":"sazare","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2018-05-13T12:09:05.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/11900133?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1671405651.792244","currentOid":""},"activityList":{"items":[{"before":"9099378b186a5dac7cac5ab9c328f0554007ca3a","after":"b40a1beed24c2e2bba1a0d6528b2005e4a10bba3","ref":"refs/heads/master","pushedAt":"2024-08-17T22:49:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sazare","name":"s.omura","path":"/sazare","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11900133?s=80&v=4"},"commit":{"message":"引数不定の書き方ができないか調べている。\n\n集合とかリストが書きたい\n\n\tmodified:   20230524-memorun.txt\n\tmodified:   dev.log\n\tmodified:   docs/20240803-proveris.txt\n\tnew file:   docs/20240817-memorun.txt\n\tnew file:   kqc/basic/list.kqc\n\tnew file:   kqc/basic/list001.kqc\n\tnew file:   kqc/basic/list002.kqc\n\tnew file:   kqc/basic/nargsdiff.kqc\n\tnew file:   kqc/basic/nargsdiffp.kqc","shortMessageHtmlLink":"引数不定の書き方ができないか調べている。"}},{"before":"ad2aa9483ced9f90635d348e5756b6e59e0524c5","after":"9099378b186a5dac7cac5ab9c328f0554007ca3a","ref":"refs/heads/master","pushedAt":"2024-08-10T09:52:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sazare","name":"s.omura","path":"/sazare","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11900133?s=80&v=4"},"commit":{"message":"update doc\n\tmodified:   20240803-proveris.txt","shortMessageHtmlLink":"update doc"}},{"before":"a075eb50e6cab828d457a3be372232d4564f756f","after":"ad2aa9483ced9f90635d348e5756b6e59e0524c5","ref":"refs/heads/master","pushedAt":"2024-08-03T01:04:04.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"sazare","name":"s.omura","path":"/sazare","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11900133?s=80&v=4"},"commit":{"message":"add handmade for prop prover\n\tnew file:   ../../../docs/20240803-proveris.txt","shortMessageHtmlLink":"add handmade for prop prover"}},{"before":"6cc79df9ab42fdc394a02a905d3cb9d1d18ee83b","after":"a075eb50e6cab828d457a3be372232d4564f756f","ref":"refs/heads/master","pushedAt":"2024-06-09T00:42:23.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"sazare","name":"s.omura","path":"/sazare","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11900133?s=80&v=4"},"commit":{"message":"(+ Sim e1 e2)(- Expr e1)(- Expr e2)\n\nだけではe?が展開されない件\n\n\tmodified:   ../../../dev.log\n\tmodified:   unif-x001.kqc\n\tnew file:   unif-x002.kqc","shortMessageHtmlLink":"(+ Sim e1 e2)(- Expr e1)(- Expr e2)"}},{"before":"3df44e5777aa29bdfbbf7d420df86e321d53bc2c","after":"6cc79df9ab42fdc394a02a905d3cb9d1d18ee83b","ref":"refs/heads/master","pushedAt":"2024-06-05T00:48:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sazare","name":"s.omura","path":"/sazare","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11900133?s=80&v=4"},"commit":{"message":"dev.log更新、unifyrun.txt追加\n\tmodified:   dev.log\n\tnew file:   unifyrun.txt","shortMessageHtmlLink":"dev.log更新、unifyrun.txt追加"}},{"before":"cb9a9163e95a5f745b7d7b395950172ba4649f90","after":"3df44e5777aa29bdfbbf7d420df86e321d53bc2c","ref":"refs/heads/master","pushedAt":"2024-06-05T00:45:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sazare","name":"s.omura","path":"/sazare","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11900133?s=80&v=4"},"commit":{"message":"\tnew file:   expr004.kqc\n\tmodified:   unifyque0abfg.kqc\n\tmodified:   ../../../rubbish-goods.lisp","shortMessageHtmlLink":"\tnew file: expr004.kqc"}},{"before":"a1af6c00e607673e8c139c79df2dd0f60bf228a4","after":"cb9a9163e95a5f745b7d7b395950172ba4649f90","ref":"refs/heads/master","pushedAt":"2024-06-04T02:34:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sazare","name":"s.omura","path":"/sazare","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11900133?s=80&v=4"},"commit":{"message":"kqcのbug fixと、sx,sy,szをやめた\n\n\tmodified:   ../../../dev.log\n\tmodified:   unifyque00a1.kqc\n\tnew file:   unifyque00a2.kqc\n\tmodified:   unifyque0abfg.kqc","shortMessageHtmlLink":"kqcのbug fixと、sx,sy,szをやめた"}},{"before":"ba4edf842ff463f0c724b83eeaad63f75a761035","after":"a1af6c00e607673e8c139c79df2dd0f60bf228a4","ref":"refs/heads/master","pushedAt":"2024-06-04T00:57:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sazare","name":"s.omura","path":"/sazare","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11900133?s=80&v=4"},"commit":{"message":"explore unify.\n\n1) Expr may be irrelevant.\n2) -D(x,a,{x←a}) ok, ∀w -D(w,a,{w←a}) dosen't work.\n\n\tmodified:   ../../../dev.log\n\tmodified:   unifydef0ab.kqc\n\tmodified:   unifyque000.kqc\n\tnew file:   unifyque00a1.kqc\n\tmodified:   unifyque0ab.kqc\n\tmodified:   unifyque0abf.kqc\n\tnew file:   unifyque0abf1.kqc\n\tnew file:   unifyque0abfg-x.kqc\n\tmodified:   unifyque0abfg.kqc\n\tnew file:   unifyque0abfg1.kqc","shortMessageHtmlLink":"explore unify."}},{"before":"2169fa8e5819c165f7787ef7e70cef753d1565f3","after":"ba4edf842ff463f0c724b83eeaad63f75a761035","ref":"refs/heads/master","pushedAt":"2024-06-02T23:37:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sazare","name":"s.omura","path":"/sazare","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11900133?s=80&v=4"},"commit":{"message":"make simpler version of unify's\n\n∀xを∀ xと表示するようにしたin beauty\n\n\tmodified:   ../../../dev.log\n\tnew file:   unifydef001.kqc\n\tnew file:   unifydef00a.kqc\n\tnew file:   unifydef0ab.kqc\n\tnew file:   unifyque000.kqc\n\tnew file:   unifyque001.kqc\n\tnew file:   unifyque00a.kqc\n\tnew file:   unifyque0ab.kqc\n\tnew file:   unifyque0abf.kqc\n\tnew file:   unifyque0abfg.kqc\n\tmodified:   ../../../rubbish-beauty.lisp","shortMessageHtmlLink":"make simpler version of unify's"}},{"before":"d5ec3ca85397a02fa718ea5c3f980171d00f191c","after":"2169fa8e5819c165f7787ef7e70cef753d1565f3","ref":"refs/heads/master","pushedAt":"2024-05-28T01:11:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sazare","name":"s.omura","path":"/sazare","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11900133?s=80&v=4"},"commit":{"message":"矛盾関係　古いの\n\n\tmodified:   ../../.gitignore\n\tnew file:   dgmapn.rep.txt\n\tnew file:   mjda.r\n\tnew file:   run-gtrail\n\tnew file:   rungtrail\n\tnew file:   test-path","shortMessageHtmlLink":"矛盾関係　古いの"}},{"before":"f12cc4eeda521f1101d51e56a9af8698dfcc5db5","after":"d5ec3ca85397a02fa718ea5c3f980171d00f191c","ref":"refs/heads/master","pushedAt":"2024-05-28T01:06:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sazare","name":"s.omura","path":"/sazare","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11900133?s=80&v=4"},"commit":{"message":"すこし古いですがkqcのリスト\n\tnew file:   kqc/find.list\n\tnew file:   kqc/kqc-desc.csv","shortMessageHtmlLink":"すこし古いですがkqcのリスト"}},{"before":"73ab344afd8d72e221aeab15ddedfafaac02241c","after":"f12cc4eeda521f1101d51e56a9af8698dfcc5db5","ref":"refs/heads/master","pushedAt":"2024-05-28T01:05:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sazare","name":"s.omura","path":"/sazare","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11900133?s=80&v=4"},"commit":{"message":"unifydef.kqc works\n\n\tmodified:   20240301-explor.log\n\tmodified:   dev.log\n\tmodified:   docs/20240525-whatislimit.txt.txt\n\nexpr003.kqc わからない\n\tnew file:   kqc/explore/const/expr003.kqc\n\nunifyのテスト001と定義def\n\tmodified:   kqc/explore/const/unify001.kqc\n\tnew file:   kqc/explore/const/unifydef.kqc\n\nstart-prover-gtrailでlsystemの登録をしていたが、readekqcでやっているのでやめた\n\tmodified:   rubbish-prover-gtrail.lisp","shortMessageHtmlLink":"unifydef.kqc works"}},{"before":"bf3f22d279829ba57a81e26c8436c09f15ab6fd5","after":"73ab344afd8d72e221aeab15ddedfafaac02241c","ref":"refs/heads/master","pushedAt":"2024-05-24T23:03:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sazare","name":"s.omura","path":"/sazare","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11900133?s=80&v=4"},"commit":{"message":"うまく書けないこととか、Σの矛盾判定についてすこし書いた\n\n\tmodified:   20240301-explor.log\n\tmodified:   dev.log\n\tnew file:   docs/20240525-whatislimit.txt.txt","shortMessageHtmlLink":"うまく書けないこととか、Σの矛盾判定についてすこし書いた"}},{"before":"8879b4f510ae646275e50a78d9f6cd110d98eff5","after":"bf3f22d279829ba57a81e26c8436c09f15ab6fd5","ref":"refs/heads/master","pushedAt":"2024-05-21T01:20:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sazare","name":"s.omura","path":"/sazare","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11900133?s=80&v=4"},"commit":{"message":"unify001.kqc shows unification in relational invariant form\n\n\tmodified:   ../../../20240301-explor.log\n\tmodified:   ../../../dev.log\n\tnew file:   disexpr001.kqc\n\tnew file:   disexpr002.kqc\n\tnew file:   disexpr003.kqc\n\tmodified:   eqexpr001.kqc\n\tmodified:   eqexpr002.kqc\n\tmodified:   eqexprdef.kqc\n\tnew file:   unify001.kqc","shortMessageHtmlLink":"unify001.kqc shows unification in relational invariant form"}},{"before":"91add5dc584f814857785c07941483a6e839c914","after":"8879b4f510ae646275e50a78d9f6cd110d98eff5","ref":"refs/heads/master","pushedAt":"2024-05-14T22:44:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sazare","name":"s.omura","path":"/sazare","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11900133?s=80&v=4"},"commit":{"message":"make (b1 cid) like the  (p1 cid)\n\n\tmodified:   dev.log\n\tmodified:   kqc/explore/const/eqexpr002.kqc\n\tnew file:   kqc/explore/const/eqexprdef.kqc\n\tmodified:   kqc/explore/const/exprvcdef.kqc\n\tmodified:   rubbish-beauty.lisp","shortMessageHtmlLink":"make (b1 cid) like the (p1 cid)"}},{"before":"0e12ff096124a41c7faa8a27584bd5f49cbdb51e","after":"91add5dc584f814857785c07941483a6e839c914","ref":"refs/heads/master","pushedAt":"2024-05-12T02:01:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sazare","name":"s.omura","path":"/sazare","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11900133?s=80&v=4"},"commit":{"message":"eqexpr002.kqc has full test of Eqv=\n\nseparate the definition Eqv= from test. they are\n\tnew file:   exprdef.kqc\n\tnew file:   exprvcdef.kqc\ntest for Eqv=\n\tnew file:   eqexpr001.kqc\n\tnew file:   eqexpr002.kqc\n\n\tmodified:   ../../../20240301-explor.log\n\tmodified:   ../../../dev.log\n\tnew file:   eqexpr001.kqc\n\tnew file:   eqexpr002.kqc\n\tmodified:   expr002.kqc\n\tnew file:   exprdef.kqc\n\tnew file:   exprvcdef.kqc\n\tmodified:   ../../../rubbish-unif.lisp","shortMessageHtmlLink":"eqexpr002.kqc has full test of Eqv="}},{"before":"1a160064cb7b84f15f6643a842b1b5476bab2a28","after":"0e12ff096124a41c7faa8a27584bd5f49cbdb51e","ref":"refs/heads/master","pushedAt":"2024-05-11T22:37:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sazare","name":"s.omura","path":"/sazare","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11900133?s=80&v=4"},"commit":{"message":"11 of exper002 (is 1 of exper002a) causes memory exhosted.\n\nexplore.conf is a big *max-clauses* *max-contradictions*\n(load \"expore.conf\") for use it.\n not automatically loaded\n\n\tmodified:   20240301-explor.log\n\tmodified:   dev.log\n\tnew file:   explore.conf\n\tmodified:   kqc/explore/const/expr002.kqc\n\tnew file:   kqc/explore/const/expr002a.kqc","shortMessageHtmlLink":"11 of exper002 (is 1 of exper002a) causes memory exhosted."}},{"before":"3758a3e4bf856c589da5dc1fa9485898215b46bc","after":"1a160064cb7b84f15f6643a842b1b5476bab2a28","ref":"refs/heads/master","pushedAt":"2024-05-11T01:36:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sazare","name":"s.omura","path":"/sazare","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11900133?s=80&v=4"},"commit":{"message":"add kqc for expr definition\n\nadd a doc for about conf file.\n\n\tmodified:   20240301-explor.log\n\tmodified:   dev.log\n\tmodified:   docs/20240426-def_expr.txt\n\tnew file:   docs/20240511-conf.txt\n\tdeleted:    kqc/explore/const/.sample01.kqc.swp\n\tnew file:   kqc/explore/const/expr001.kqc\n\tnew file:   kqc/explore/const/expr002.kqc\n\tmodified:   rubbish-prover-gtrail.lisp","shortMessageHtmlLink":"add kqc for expr definition"}},{"before":"84e9824344005dd9579060325bca3d06cc4f69f7","after":"3758a3e4bf856c589da5dc1fa9485898215b46bc","ref":"refs/heads/master","pushedAt":"2024-04-28T01:27:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sazare","name":"s.omura","path":"/sazare","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11900133?s=80&v=4"},"commit":{"message":"substを述語論理で書こうとしている\n\nパスの定義で、定数のパスの末尾がすべて1になるようにするため、定数を0引数の関数として書いてみた。\nうれしいかうれしくないか\n\n\tmodified:   20240301-explor.log\n\tmodified:   dev.log\n\tnew file:   docs/20240419-existandtruth.txt\n\tnew file:   docs/20240426-def_expr.txt\n\tnew file:   kqc/explore/const/.sample01.kqc.swp\n\tnew file:   kqc/explore/const/sample01.kqc\n\tmodified:   rubbish-explore.lisp","shortMessageHtmlLink":"substを述語論理で書こうとしている"}},{"before":"66f3fc8408326c1f90cfd0b7e9fdc2a8e1456025","after":"84e9824344005dd9579060325bca3d06cc4f69f7","ref":"refs/heads/master","pushedAt":"2024-04-23T11:21:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sazare","name":"s.omura","path":"/sazare","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11900133?s=80&v=4"},"commit":{"message":"add kqcs for substitution.\n\n\tmodified:   ../../20240301-explor.log\n\tmodified:   ../../dev.log\n\tnew file:   subst/defsubst01.kqc\n\tnew file:   subst/example.kqc\n\tnew file:   subst/exp1.kqc\n\tnew file:   subst/seq0.kqc\n\tnew file:   subst/sub1.kqc\n\tnew file:   subst/subop1.kqc","shortMessageHtmlLink":"add kqcs for substitution."}},{"before":"edaedeb1596a2734b44b8e0ce38cdc1ecb629895","after":"66f3fc8408326c1f90cfd0b7e9fdc2a8e1456025","ref":"refs/heads/master","pushedAt":"2024-04-22T11:15:41.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"sazare","name":"s.omura","path":"/sazare","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11900133?s=80&v=4"},"commit":{"message":"a  little more dev.log\n\n\tmodified:   dev.log","shortMessageHtmlLink":"a little more dev.log"}},{"before":"4ec40fe182ff41f080d86643e982aabac438418e","after":"edaedeb1596a2734b44b8e0ce38cdc1ecb629895","ref":"refs/heads/master","pushedAt":"2024-04-21T22:17:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sazare","name":"s.omura","path":"/sazare","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11900133?s=80&v=4"},"commit":{"message":"sigma-graph to σ-graphなど\n\n\tmodified:   dev.log\n\tmodified:   docs/20240419-p2cprover.txt\n\tmodified:   rubbish-explore.lisp","shortMessageHtmlLink":"sigma-graph to σ-graphなど"}},{"before":"4a75fca12966c52a52156bb681a2aae754caa05c","after":"4ec40fe182ff41f080d86643e982aabac438418e","ref":"refs/heads/master","pushedAt":"2024-04-18T23:07:24.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"sazare","name":"s.omura","path":"/sazare","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11900133?s=80&v=4"},"commit":{"message":"expore のmguΣあたりの話をまとめつつある\n\n\tnew file:   ../../docs/20240414-explore.txt\n\tmodified:   dev.log\n\tnew file:   docs/20240419-p2cprover.txt","shortMessageHtmlLink":"expore のmguΣあたりの話をまとめつつある"}},{"before":"b18350621c148a5ab6a0d89b8452a81f24bd17dc","after":"4a75fca12966c52a52156bb681a2aae754caa05c","ref":"refs/heads/master","pushedAt":"2024-04-16T02:09:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sazare","name":"s.omura","path":"/sazare","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11900133?s=80&v=4"},"commit":{"message":"noinside4.kqc追加。mguofΣに2literalsのvarsをあわせたもの追加\n\nnoinside4.kqcは、3で逆関数が必要になったようなのでdでなくsを使うようにした\n\nmguofΣの結果をもとに、Σの仕様にそった結果を計算することはできないか。\nこのmmをデータ駆動のプログラミング言語とできないか?\n\n\tmodified:   ../../20240301-explor.log\n\tmodified:   noinside3.kqc\n\tnew file:   noinside4.kqc\n\tmodified:   ../../rubbish-explore.lisp","shortMessageHtmlLink":"noinside4.kqc追加。mguofΣに2literalsのvarsをあわせたもの追加"}},{"before":"eab35458d698a6897cbfeb87e4903134c6b2814a","after":"b18350621c148a5ab6a0d89b8452a81f24bd17dc","ref":"refs/heads/master","pushedAt":"2024-04-13T23:20:53.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"sazare","name":"s.omura","path":"/sazare","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11900133?s=80&v=4"},"commit":{"message":"gitignore 追加\n\tnew file:   .gitignore","shortMessageHtmlLink":"gitignore 追加"}},{"before":"bf5fda3552a2b843701799be32b3d9532c3f3548","after":"eab35458d698a6897cbfeb87e4903134c6b2814a","ref":"refs/heads/master","pushedAt":"2024-04-13T07:59:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sazare","name":"s.omura","path":"/sazare","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11900133?s=80&v=4"},"commit":{"message":"insideのないの考え中\n\n\tmodified:   20240301-explor.log\n\tmodified:   rubbish-base.lisp\n\tmodified:   rubbish-explore.lisp","shortMessageHtmlLink":"insideのないの考え中"}},{"before":"592e8cbbe0e423ccadf306a77ac7495bd9ec7d84","after":"bf5fda3552a2b843701799be32b3d9532c3f3548","ref":"refs/heads/master","pushedAt":"2024-04-10T22:42:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sazare","name":"s.omura","path":"/sazare","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11900133?s=80&v=4"},"commit":{"message":"trackvars is ok\n\nlet when put a sigma in tree, remove the sigma in graph.\n if (x,y) become (y,x) in tree, remove (x,y) in graph.\nthe last statement is added\n\n\tmodified:   rubbish-explore.lisp","shortMessageHtmlLink":"trackvars is ok"}},{"before":"ab2e73614af0a4571d52d7e0df13e650cb1b9e03","after":"592e8cbbe0e423ccadf306a77ac7495bd9ec7d84","ref":"refs/heads/master","pushedAt":"2024-04-10T10:00:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sazare","name":"s.omura","path":"/sazare","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11900133?s=80&v=4"},"commit":{"message":"trackvars work. many redundancies.\n\tmodified:   20240301-explor.log\n\tmodified:   rubbish-explore.lisp","shortMessageHtmlLink":"trackvars work. many redundancies."}},{"before":"624d1cd24fd90dcc4815474c4b87fe175217f51b","after":"ab2e73614af0a4571d52d7e0df13e650cb1b9e03","ref":"refs/heads/master","pushedAt":"2024-04-09T09:50:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sazare","name":"s.omura","path":"/sazare","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11900133?s=80&v=4"},"commit":{"message":"(setq zz (trackvars '(z.148))) seems almost good.\n\nbut many duplications and x.172 x.149 should x.149 x.172\n\n\tmodified:   20240301-explor.log\n\tmodified:   rubbish-explore.lisp","shortMessageHtmlLink":"(setq zz (trackvars '(z.148))) seems almost good."}},{"before":"c3bf47b2d3dfa6fe5832ff68859cebb99a0405c8","after":"624d1cd24fd90dcc4815474c4b87fe175217f51b","ref":"refs/heads/master","pushedAt":"2024-04-07T10:57:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sazare","name":"s.omura","path":"/sazare","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11900133?s=80&v=4"},"commit":{"message":"expore.lisp進行中\n\n新しいkqcを加えた\n\n\tmodified:   20240301-explor.log\n\tnew file:   kqc/explore/2on2001.kqc\n\tnew file:   kqc/explore/2on2002.kqc\n\tnew file:   kqc/explore/2on2003.kqc\n\tnew file:   kqc/straylogic/stray001.kqc\n\tnew file:   kqc/straylogic/stray002.kqc\n\tnew file:   kqc/straylogic/stray101.kqc\n\tmodified:   rubbish-explore.lisp","shortMessageHtmlLink":"expore.lisp進行中"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOC0xN1QyMjo0OToxNC4wMDAwMDBazwAAAASdBZDc","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOC0xN1QyMjo0OToxNC4wMDAwMDBazwAAAASdBZDc","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNC0wN1QxMDo1Nzo0Ni4wMDAwMDBazwAAAAQqEZB9"}},"title":"Activity · sazare/cheaplogic"}