Binary file paper/anatofuz-sigos.pdf has changed

--- a/paper/anatofuz-sigos.tex	Tue Apr 28 14:05:15 2020 +0900
+++ b/paper/anatofuz-sigos.tex	Tue Apr 28 14:26:03 2020 +0900
@@ -48,27 +48,15 @@
 \end{abstract}
 
 
-%
-%\begin{jkeyword}
-%情報処理学会論文誌ジャーナル，\LaTeX，スタイルファイル，べからず集
-%\end{jkeyword}
-%
-%\begin{eabstract}
-%This document is a guide to prepare a draft for submitting to IPSJ
-%Journal, and the final camera-ready manuscript of a paper to appear in
-%IPSJ Journal, using {\LaTeX} and special style files.  Since this
-%document itself is produced with the style files, it will help you to
-%refer its source file which is distributed with the style files.
-%\end{eabstract}
-%
-%\begin{ekeyword}
-%IPSJ Journal, \LaTeX, style files, ``Dos and Dont's'' list
-%\end{ekeyword}
-
 \maketitle
 
-\section{はじめに}
-
+\section{OSの信頼性}
+様々なアプリケーションはOSの上で動作するのが当たり前になってきた。
+アプリケーションの信頼性を向上させるのはもとより、 土台となるOS自体の信頼性は高く保証されていなければならない。
+OSそのものも巨大なプログラムであるため、 テストコードを用いた方法で信頼性を確保する事が可能である。
+しかし並列並行処理などに起因する動かしてみないと発見できないバグなどが存在するため、 テストで完全にバグを発見するのは困難である。
+また、OSを構成する処理も巨大であるため、 これら全てをテスト仕切るのも困難である。
+テストを用いずに別の方法でOSの信頼性を高めたい。
 
 \nocite{*}
 \bibliographystyle{ipsjunsrt}