--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/slide/comment.md	Wed Feb 13 15:48:19 2019 +0900
@@ -0,0 +1,38 @@
+title: 継続を基本とした言語による OS のモジュール化
+
+## コメント
+
+数え上げとはなに?
+    実行すると言う意味?
+
+メタ計算の切り離しとはなに?
+    OSなんでしょ?
+
+信頼性を保証するのは、何を保証するのか?
+    OSの?
+
+この型ってどれ?
+
+記述するなら切り離されるのと矛盾してない?
+
+stub ってなに?
+
+Contex_ref の図が hg にaddされてない
+
+だいじょうぶじゃないけど
+
+    Gears OS の設計で、自分のやったところは?
+
+自動生成される部分
+　　それを先にいって欲しかった
+
+それを書かなくて良かったから良いんじゃないの?
+
+   処理が切り離されている?
+
+
+入り口と出口が
+
+上位で書いた方がバグが少ないのでは?
+
+   発表しているスライドがcommit pushされてない