# HG changeset patch
# User autobackup
# Date 1684768203 -32400
# Node ID d2a77b1cca9d69921866cf22489e62f5a4dfdfe5
# Parent  25b8e02327104f397ac3717e1ec41f052af3738d
backup 2023-05-23

diff -r 25b8e0232710 -r d2a77b1cca9d user/Moririn/メモ/2023/05/10/進捗.md
--- a/user/Moririn/メモ/2023/05/10/進捗.md	Fri May 19 00:10:03 2023 +0900
+++ b/user/Moririn/メモ/2023/05/10/進捗.md	Tue May 23 00:10:03 2023 +0900
@@ -4,4 +4,6 @@
 - 4/21 ~ agdawiki (みんなのagdawiki) [[https://agda.wiki.fc2.com/]] 20h
     - A1-A9
 - 5/1 ~ GearsAgda BinaryTreeを読む　(ssh://firefly/hg/Gears/GearsAgda) 
-- 
\ No newline at end of file
+- 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の穴埋めていきたい
\ No newline at end of file
diff -r 25b8e0232710 -r d2a77b1cca9d user/matac42/2023/research_plan.md
--- a/user/matac42/2023/research_plan.md	Fri May 19 00:10:03 2023 +0900
+++ b/user/matac42/2023/research_plan.md	Tue May 23 00:10:03 2023 +0900
@@ -31,10 +31,11 @@
 
 ## 大学院在学中に実施した研究の内容
 
-OS研究会に投稿した論文を研究内容としたい
+2023年5月のOS研究会に投稿した論文を研究内容とする
 
-- 和田先生の許可は得た
+- 中間報告書の研究内容としての使用許可を和田先生と河野先生から得た
 - http://www.cr.ie.u-ryukyu.ac.jp/hg/Papers/2023/matac-sigos/raw-file/tip/Paper/paper.pdf
+    - 読み込みに時間がかかるかもしれません
 	
 ## 大学院入学以降の研究活動への取り組みに関する振り返り
 
diff -r 25b8e0232710 -r d2a77b1cca9d user/matac42/notes/2023/05/22.md
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/user/matac42/notes/2023/05/22.md	Tue May 23 00:10:03 2023 +0900
@@ -0,0 +1,17 @@
+## 研究目的
+
+- システム全体の信頼性を上げたい
+- Gears OSを使って実現する
+- FSとDBをRedBlackTreeで統一
+
+## 中間報告書を作った
+
+- https://growi.cr.ie.u-ryukyu.ac.jp/user/matac42/2023/research_plan#%E4%B8%AD%E9%96%93%E5%A0%B1%E5%91%8A%E6%9B%B8
+
+## n重で再帰する関数を言葉で説明するのは難しい(Erlang)
+
+- https://www.blog.matac.info/posts/yaep31/
+
+## CbC x.v6 DB
+
+- 進捗なし