--- a/paper/sigos.bbl	Thu Apr 20 20:52:25 2017 +0900
+++ b/paper/sigos.bbl	Fri Apr 21 16:46:59 2017 +0900
@@ -1,14 +1,14 @@
 \begin{thebibliography}{1}
 
-\bibitem{segment}
-河野真治，杉本　優\：Code Segment と Data Segment
-  によるプログラミング手法，第54回プログラミング・シンポジウム (2013).
-
 \bibitem{gears}
 小久保翔平，伊波立樹，河野真治\：Monad に基づくメタ計算を基本とする Gears OS
   の設計，情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS)
   (2015).
 
+\bibitem{segment}
+河野真治，杉本　優\：Code Segment と Data Segment
+  によるプログラミング手法，第54回プログラミング・シンポジウム (2013).
+
 \bibitem{cbc-lola}
 TOKKMORI, K. and KONO, S.: Implementing Continuation based language in LLVM and
   Clang, {\em LOLA 2015} (2015).