- 4/10 ~agdaIntroduction (lamda.agda…) 6h
- 4/12 ~youtube.agda (Agdaによる論理学入門) [[https://gist.github.com/KDXU/3ecf21603abe9e9a409e]] 14h
- 4/21 ~ agdawiki (みんなのagdawiki) [[https://agda.wiki.fc2.com/]] 20h
- A1-A9
- 5/1 ~ GearsAgda BinaryTreeを読む (ssh://firefly/hg/Gears/GearsAgda)
- 5/16 /17 OS研究会 (http://www.cr.ie.u-ryukyu.ac.jp/hg/Papers/2023/moririn-sigos/raw-file/2514493ae067/main.pdf)
- 5/22 agda勉強
- next HoareBinaryTree1の穴埋めていきたい