--- 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>