Mercurial > hg > Members > Moririn

annotate 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
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
524
5f684d39832e add Todo.txt
ryokka
parents:
diff changeset
1 Fri Jan 5 16:43:26 JST 2018
5f684d39832e add Todo.txt
ryokka
parents:
diff changeset
2
5f684d39832e add Todo.txt
ryokka
parents:
diff changeset
3 unbalanced binary search tree の動作を調べる
5f684d39832e add Todo.txt
ryokka
parents:
diff changeset
4
5f684d39832e add Todo.txt
ryokka
parents:
diff changeset
5 RedBlackTree の put を完成させる
5f684d39832e add Todo.txt
ryokka
parents:
diff changeset
6
5f684d39832e add Todo.txt
ryokka
parents:
diff changeset
7 RedBlackTree の Deletion を完成させる
5f684d39832e add Todo.txt
ryokka
parents:
diff changeset
8
5f684d39832e add Todo.txt
ryokka
parents:
diff changeset
9 unbalanced binary search tree と同様の動作をする
5f684d39832e add Todo.txt
ryokka
parents:
diff changeset
10
5f684d39832e add Todo.txt
ryokka
parents:
diff changeset
11 木の深さの最小と最大の差が２倍を超えない
5f684d39832e add Todo.txt
ryokka
parents:
diff changeset
12
5f684d39832e add Todo.txt
ryokka
parents:
diff changeset
13 CodeGear/DataGear が構成する圏を定義する
5f684d39832e add Todo.txt
ryokka
parents:
diff changeset
14
5f684d39832e add Todo.txt
ryokka
parents:
diff changeset
15 goto を定義して meta 計算を可能にする
5f684d39832e add Todo.txt
ryokka
parents:
diff changeset
16
5f684d39832e add Todo.txt
ryokka
parents:
diff changeset
17 DataSegment をすべて含む sum 型を定義しmetaDataSegmentとする
5f684d39832e add Todo.txt
ryokka
parents:
diff changeset
18
5f684d39832e add Todo.txt
ryokka
parents:
diff changeset
19 実行環境をcontextとして定義しgotoと合わせて並列実行をモデル化する
5f684d39832e add Todo.txt
ryokka
parents:
diff changeset
20
5f684d39832e add Todo.txt
ryokka
parents:
diff changeset
21 Monad の合成に必要な規則を上の圏上に定義する
5f684d39832e add Todo.txt
ryokka
parents:
diff changeset
22
5f684d39832e add Todo.txt
ryokka
parents:
diff changeset
23 synchronizedQueue の仕様をCTLを使って定義する
5f684d39832e add Todo.txt
ryokka
parents:
diff changeset
24
5f684d39832e add Todo.txt
ryokka
parents:
diff changeset
25 Gearsで記述したsynchornizedQueueを検証する
5f684d39832e add Todo.txt
ryokka
parents:
diff changeset
26
5f684d39832e add Todo.txt
ryokka
parents:
diff changeset
27 gotoを用いてモデル検査と証明の組み合わせを実現する
5f684d39832e add Todo.txt
ryokka
parents:
diff changeset
28
5f684d39832e add Todo.txt
ryokka
parents:
diff changeset
29