Mercurial > hg > Members > Moririn

comparison Todo.txt @ 524:5f684d39832e

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add Todo.txt
author ryokka
date Fri, 05 Jan 2018 17:23:06 +0900
parents
children 7d9af1d4b5af
comparison
equal deleted inserted replaced
523:8fbc3ef749b6 524:5f684d39832e
1 Fri Jan 5 16:43:26 JST 2018
2
3 unbalanced binary search tree の動作を調べる
4
5 RedBlackTree の put を完成させる
6
7 RedBlackTree の Deletion を完成させる
8
9 unbalanced binary search tree と同様の動作をする
10
11 木の深さの最小と最大の差が２倍を超えない
12
13 CodeGear/DataGear が構成する圏を定義する
14
15 goto を定義して meta 計算を可能にする
16
17 DataSegment をすべて含む sum 型を定義しmetaDataSegmentとする
18
19 実行環境をcontextとして定義しgotoと合わせて並列実行をモデル化する
20
21 Monad の合成に必要な規則を上の圏上に定義する
22
23 synchronizedQueue の仕様をCTLを使って定義する
24
25 Gearsで記述したsynchornizedQueueを検証する
26
27 gotoを用いてモデル検査と証明の組み合わせを実現する
28
29