--- a/paper/ikkun.bib	Thu May 07 23:29:52 2020 +0900
+++ b/paper/ikkun.bib	Mon May 18 20:10:53 2020 +0900
@@ -1,41 +1,46 @@
 @article{
-    gears,
+    pargoto,
     author = "河野 真治 and 伊波 立樹 and  東恩納 琢偉",
-    title = "Code Gear、Data Gear に基づく OS のプロトタイプ",
-    journal = "情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS)",
+    title = {Code Gear、Data Gear に基づく OS のプロトタイプ},
+    journal = {情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS)},
     month = "May",
-    year = 2016}
+    year = 2016
+}
+
 @article{
-    gears,
+    gearsOS2,
     author = "宮城　光希 and 桃原　優 and  河野真治",
-    title = "Code Gear と Data Gear を持つ Gears OS の設計",
-    journal = "第59回プログラミング・シンポジウム)",
+    title = {Code Gear と Data Gear を持つ Gears OS の設計},
+    journal = {第59回プログラミング・シンポジウム},
     month = "Jan",
-    year = 2018}
+    year = 2018
+    }
 @article{
-    gears,
-    author = "小久保翔平 and 伊波立樹 and 河野真治"
-    title = "Monad に基づくメタ計算を基本とする Gears OS の設計"
-    journal = 情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS)
+    GearsOS,
+    author = "小久保翔平 and 伊波立樹 and 河野真治",
+    title = {Monad に基づくメタ計算を基本とする Gears OS の設計},
+    journal = {情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS)},
     month = "May",
-    year = 2015}
+    year = 2015
+    }
 @article{
-    gears,
-    author = "下地篤樹 and 河野真治"
-    title = "タブロー法を用いたContinuation based C プログラムの検証"
-    journal = 日本ソフトウェア科学会第23回大会,
-    year = 2006}
+    tauble,
+    author = "下地篤樹 and 河野真治",
+    title = {タブロー法を用いたContinuation based C プログラムの検証},
+    journal = {日本ソフトウェア科学会第23回大会},
+    year = 2006
+    }
 @article{
-    gears,
-    author = "河野真治"
-    title = "継続を持つCの下位言語によるシステム記述"
-    journal = 日本ソフトウェア科学会第17回大会
-    year = 2000}
+    CbC,
+    author = "河野真治",
+    title = {継続を持つCの下位言語によるシステム記述},
+    journal = {日本ソフトウェア科学会第17回大会},
+    year = 2000
+    }
 @article{
-    gears,
-    author = "比嘉 薫 and 河野真治"
-    title = "タブロー法の負荷分散について"
-    journal = 日本ソフトウェア科学会第18回論文集
-    year = 2001}
-
-
+    tauble2,
+    author = "比嘉 薫 and 河野真治",
+    title = {タブロー法の負荷分散について},
+    journal = {日本ソフトウェア科学会第18回論文集},
+    year = 2001
+    }
\ No newline at end of file