Mercurial > hg > Document > Growi

changeset 123:d2a77b1cca9d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
backup 2023-05-23
author autobackup
date Tue, 23 May 2023 00:10:03 +0900
parents 25b8e0232710
children bfe3d8f7eb59
files user/Moririn/メモ/2023/05/10/進捗.md user/matac42/2023/research_plan.md user/matac42/notes/2023/05/22.md
diffstat 3 files changed, 23 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- 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
--- 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
+    - 読み込みに時間がかかるかもしれません
 	
 ## 大学院入学以降の研究活動への取り組みに関する振り返り
 
--- /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
+
+- 進捗なし