Mercurial > hg > Papers > 2020 > menikon-thesis

view final_main/chapter1.tex @ 11:53114bdcb0c3

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tweak
author menikon
date Sun, 09 Feb 2020 19:53:00 +0900
parents d5ee39726253
children b67e4c9f0374
line wrap: on
line source

\chapter{xv6 の OS の信頼性保証}
%\label{chap:introduction}
\pagenumbering{arabic}

%序論の目安としては1枚半ぐらい．
%英語発表者は，最終予稿の「はじめに」の英訳などを載せてもいいかも．