Mercurial > hg > Papers > 2018 > tobaru-sigos

changeset 6:94494b3cd38b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fix
author tobaru
date Sun, 20 May 2018 18:45:11 +0900
parents 07b7aba92874
children dfa8973bfe10
files Slide/prosym.md
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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 で記述する事である。