From 3b53c3c9013c4735a62e31ee05fe3e519297dd92 Mon Sep 17 00:00:00 2001
From: "Matsuura Tomoya(Windows)" <me@matsuuratomoya.com>
Date: Sun, 17 Nov 2024 01:44:15 +0900
Subject: [PATCH] [obsidian] vault backup: 2024-11-17 01:44:15[

---
 ...µéšŽè¨ˆç®—を命令型VMインストラクションã�§è¡¨ç�¾ã�™ã‚‹.md | 15 +++++++++++----
 1 file changed, 11 insertions(+), 4 deletions(-)

diff --git a/content/多段階計算を命令型VMインストラクション�表��る.md b/content/多段階計算を命令型VMインストラクション�表��る.md
index d7931993..942ccf56 100644
--- a/content/多段階計算を命令型VMインストラクション�表��る.md
+++ b/content/多段階計算を命令型VMインストラクション�表��る.md
@@ -30,27 +30,34 @@ let addc x y = &(~x + ~y) in
   ~(addc &n &m )
 ```
 
-`addc`�型�`&int -> &int`
+`addc`�型�`(&int,&int) -> &int`
 
 CodeもEscapeも�スト��る構造�ん��ら命令型�直������ら�スタック構造を�作�るも���る��
 Escape�����埋�込む���評価を�る���ゃ��ん�よ�
 
 `&(~x + ~y)`�����り出�������
 
+`~x`�xを評価��後�エスケープ�る������もん��
+
 ```
 fn addc x y // reg 1,2��プログラム辺�インデックス
+startescape
 mov 1 x
+endescape
+startescape
 mov 2 y
+endescape
 add 1 1 2 //最後�必����る���
 
 fn main
 movc 1 100
 movc 2 200
 
-lift 1 1
-lift 2 2
+lift 2 1
+lift 3 2
 startescape
-call "addc" 1 2
+move 1 "addc"
+call 1 2 1
 endescape
 ret 1
 ```