\newpage
\vspace*{\stretch{1}}
{\Huge \textbf{研究関連業績}}%
\\
\\
\begin{enumerate}
	\item 外間政尊, 河野真治. GearsOSのAgdaによる記述と検証. 研究報告システムソフトウェアとオペレーティング・システム（OS), May, 2018
  \item 外間政尊, 河野真治. GearsOSのHoare Logicをベースにした検証手法. 電子情報通信学会 ソフトウェアサイエンス研究会 (SIGSS) 1月, Jan, 2019
  \item 外間政尊, 河野真治. 継続を基本とする言語CbCでのHoareLogicによる健全性の考察. 電子情報通信学会 ソフトウェアサイエンス研究会 (SIGSS) 3月, Mar, 2020
  %% \item 宮城光希, 河野真治. Code Gear と Data Gear を持つ Gears OS の設計. 第59回プログラミング・シンポジウム, Jan, 2018
\end{enumerate}

\vspace*{\stretch{3}}