\newpage
\vspace*{\stretch{1}}
{\Huge \textbf{研究関連業績}}%
\\
\\
\begin{enumerate}
	\item 宮城光希, 河野真治. Code Gear と Data Gear を持つ Gears OS の設計. 第59回プログラミング・シンポジウム, Jan, 2018
    \item 宮城光希, 桃原 優, 河野真治. GearsOSのモジュール化と並列API. 情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS), May, 2018
    \item 宮城光希, 河野真治. 継続を中心とした言語 Gears OS のデモンストレーション. 第60回プログラミング・シンポジウム, Jan, 2019
\end{enumerate}
\vspace*{\stretch{2}}