changeset 34:529e93784da3

fix
author mir3636
date Sun, 21 Jan 2018 08:35:25 +0900
parents 583eb189f004
children d98dc007854b
files Slide/prosym.md
diffstat 1 files changed, 0 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- a/Slide/prosym.md	Sun Jan 21 00:54:43 2018 +0900
+++ b/Slide/prosym.md	Sun Jan 21 08:35:25 2018 +0900
@@ -269,9 +269,6 @@
 - Gears OS ではノーマルレベルの計算の他に Context や stub などのメタ計算を記述する必要がある。
 - 現在の CbC で Gears OS を記述すると、このメタ計算の記述も行わなくてはならず、これには多くの労力を要する。
 - この記述を助けるために Context を生成する generate_context と stub Code Gear を生成する generate_stub を perl スクリプトで作成した。
-<div style="text-align: center;">
- <img src="./fig/generate_context.pdf" alt="generate_context" width="900">
-</div>
 
 
 # stub Code Gear の生成