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

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

diff --git a/content/多段階計算を命令型VMインストラクション�表��る.md b/content/多段階計算を命令型VMインストラクション�表��る.md
index 2275e21b..d7931993 100644
--- a/content/多段階計算を命令型VMインストラクション�表��る.md
+++ b/content/多段階計算を命令型VMインストラクション�表��る.md
@@ -26,7 +26,8 @@ decl_level�レベル0����ら...�ーん
 ```ocaml
 let n = 100 in
 let m = 200 in
-  ~( let addc x y  = &(~x + ~y) in addc &n &m )
+let addc x y = &(~x + ~y) in
+  ~(addc &n &m )
 ```
 
 `addc`�型�`&int -> &int`
@@ -37,8 +38,20 @@ Escape�����埋�込む���評価を�る���ゃ��ん
 `&(~x + ~y)`�����り出�������
 
 ```
+fn addc x y // reg 1,2��プログラム辺�インデックス
 mov 1 x
 mov 2 y
 add 1 1 2 //最後�必����る���
+
+fn main
+movc 1 100
+movc 2 200
+
+lift 1 1
+lift 2 2
+startescape
+call "addc" 1 2
+endescape
+ret 1
 ```