# HG changeset patch
# User tobaru
# Date 1526809511 -32400
# Node ID 94494b3cd38b9535abfebc21e209793d95eb19f4
# Parent  07b7aba92874380901a21a34a65952fa48924d23
fix

diff -r 07b7aba92874 -r 94494b3cd38b Slide/prosym.md
--- a/Slide/prosym.md	Sun May 20 18:41:38 2018 +0900
+++ b/Slide/prosym.md	Sun May 20 18:45:11 2018 +0900
@@ -46,7 +46,7 @@
 % その記述にAgdaを使う
 
 % Interfaceはほとんどかかない
-%  
+% TaskScheduler の図も入れる Gears の構成のやつ
 
 # Gears OS での形式化とInterfaceの導入
 - 形式化とは仕様、実装、実行を Logic で記述する事である。