Mercurial > hg > Papers > 2022 > matac-thesis

changeset 40:18265abe9d74

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
...
author matac42 <matac@cr.ie.u-ryukyu.ac.jp>
date Mon, 31 Jan 2022 02:52:18 +0900
parents c573ea94a469
children ac9b7aa9bb06
files paper/thesis.pdf paper/thesis.tex slide/slide.html slide/slide.md slide/slide.pdf.html
diffstat 5 files changed, 22 insertions(+), 37 deletions(-) [+]
line wrap: on
line diff
Binary file paper/thesis.pdf has changed
--- a/paper/thesis.tex	Sun Jan 30 21:04:55 2022 +0900
+++ b/paper/thesis.tex	Mon Jan 31 02:52:18 2022 +0900
@@ -85,7 +85,7 @@
 最後に、長年に渡り理解を示し、支援してくださった家族に感謝いたします。
 
 \begin{flushright}
-2021年 2月 \\又吉　雄斗
+2022年 2月 \\又吉　雄斗
 \end{flushright}
 
 % reference
--- a/slide/slide.html	Sun Jan 30 21:04:55 2022 +0900
+++ b/slide/slide.html	Mon Jan 31 02:52:18 2022 +0900
@@ -91,25 +91,18 @@
 <div class='slide'>
   
 <!-- _S9SLIDE_ -->
-<h2 id="gearsosにおけるfilesystemの設計">GearsOSにおけるFileSystemの設計</h2>
-
-<ul>
-  <li>アプリケーションの信頼性を保証するために，アプリケーションが動作するOSの信頼性を高める必要がある</li>
-  <li>当研究室では，信頼性の保証を目的としたGearsOSを開発している</li>
-  <li>GearsOSで未実装の機能であるファイルシステムの実装を行う</li>
-  <li>Unix likeな実装</li>
-</ul>
-
-
-
-</div>
-
-<div class='slide'>
-  <!-- _S9SLIDE_ -->
 <h2 id="inodeを用いたgearsdirectoryの実装">inodeを用いたgearsDirectoryの実装</h2>
 
 <ul>
+  <li>アプリケーションの信頼性を保証するために，アプリケーションが動作するOSの信頼性を高める必要がある
+    <ul>
+      <li>信頼性確保の方法として定理証明やモデル検査がある</li>
+    </ul>
+  </li>
+  <li>当研究室では，信頼性の保証を目的としたGearsOSを開発している</li>
+  <li>GearsOSで未実装の機能であるファイルシステムの実装を目指す</li>
   <li>今回はディレクトリシステムを実装した</li>
+  <li>Unix likeな実装</li>
   <li>GearsOSへUnixのFile systemの仕組みを取り入れるアプローチをとる</li>
   <li>Unixのinodeの仕組みを取り入れる</li>
   <li>GearsOSのディレクトリシステムであるgearsDirectoryについて説明する</li>
--- a/slide/slide.md	Sun Jan 30 21:04:55 2022 +0900
+++ b/slide/slide.md	Mon Jan 31 02:52:18 2022 +0900
@@ -2,16 +2,15 @@
 author: 又吉　雄斗
 profile: 河野研
 
-## GearsOSにおけるFileSystemの設計
-
-- アプリケーションの信頼性を保証するために，アプリケーションが動作するOSの信頼性を高める必要がある
-- 当研究室では，信頼性の保証を目的としたGearsOSを開発している
-- GearsOSで未実装の機能であるファイルシステムの実装を行う
-- Unix likeな実装
 
 ## inodeを用いたgearsDirectoryの実装
 
+- アプリケーションの信頼性を保証するために，アプリケーションが動作するOSの信頼性を高める必要がある
+  - 信頼性確保の方法として定理証明やモデル検査がある
+- 当研究室では，信頼性の保証を目的としたGearsOSを開発している
+- GearsOSで未実装の機能であるファイルシステムの実装を目指す
 - 今回はディレクトリシステムを実装した
+- Unix likeな実装
 - GearsOSへUnixのFile systemの仕組みを取り入れるアプローチをとる
 - Unixのinodeの仕組みを取り入れる
 - GearsOSのディレクトリシステムであるgearsDirectoryについて説明する
--- a/slide/slide.pdf.html	Sun Jan 30 21:04:55 2022 +0900
+++ b/slide/slide.pdf.html	Mon Jan 31 02:52:18 2022 +0900
@@ -75,25 +75,18 @@
 <div class='slide'>
   
 <!-- _S9SLIDE_ -->
-<h2 id="gearsosにおけるfilesystemの設計">GearsOSにおけるFileSystemの設計</h2>
-
-<ul>
-  <li>アプリケーションの信頼性を保証するために，アプリケーションが動作するOSの信頼性を高める必要がある</li>
-  <li>当研究室では，信頼性の保証を目的としたGearsOSを開発している</li>
-  <li>GearsOSで未実装の機能であるファイルシステムの実装を行う</li>
-  <li>Unix likeな実装</li>
-</ul>
-
-
-
-</div>
-
-<div class='slide'>
-  <!-- _S9SLIDE_ -->
 <h2 id="inodeを用いたgearsdirectoryの実装">inodeを用いたgearsDirectoryの実装</h2>
 
 <ul>
+  <li>アプリケーションの信頼性を保証するために，アプリケーションが動作するOSの信頼性を高める必要がある
+    <ul>
+      <li>信頼性確保の方法として定理証明やモデル検査がある</li>
+    </ul>
+  </li>
+  <li>当研究室では，信頼性の保証を目的としたGearsOSを開発している</li>
+  <li>GearsOSで未実装の機能であるファイルシステムの実装を目指す</li>
   <li>今回はディレクトリシステムを実装した</li>
+  <li>Unix likeな実装</li>
   <li>GearsOSへUnixのFile systemの仕組みを取り入れるアプローチをとる</li>
   <li>Unixのinodeの仕組みを取り入れる</li>
   <li>GearsOSのディレクトリシステムであるgearsDirectoryについて説明する</li>