Mercurial > hg > Members > Moririn

comparison Todo.txt @ 575:73fc32092b64

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
push local rbtree
author ryokka
date Fri, 01 Nov 2019 17:42:51 +0900
parents 8777baeb90f8
children 7bacba816277
comparison
equal deleted inserted replaced
574:70b09cbefd45 575:73fc32092b64
1
2
1 Sun May 6 17:54:50 JST 2018 3 Sun May 6 17:54:50 JST 2018
2 4
3 do1 a $ \b -> do2 b next を、do1 と do2 に分離することはできる? 5 do1 a $ \b -> do2 b next を、do1 と do2 に分離することはできる?
4 6
5 7
42 Gearsで記述したsynchornizedQueueを検証する 44 Gearsで記述したsynchornizedQueueを検証する
43 45
44 gotoを用いてモデル検査と証明の組み合わせを実現する 46 gotoを用いてモデル検査と証明の組み合わせを実現する
45 47
46 48
49 Wed Aug 27 17:52:00 JST 2019
50
51 別で定義した TriCotomos や \=? などの Relation の関数を
52 Agdaで定義してあるものに置き換える,まとめる
53
54 HoareLogic をベースにした SingleLinkedStack の作成
55
56 HoareLogic ベースの Tree の証明