From 23ac0e0b151a5614c43b2cc33ff4f174a3ae7e81 Mon Sep 17 00:00:00 2001
From: "Tomoya Matsuura(MacBookPro)" <me@matsuuratomoya.com>
Date: Sun, 20 Aug 2023 15:39:31 +0900
Subject: [PATCH] [obsidian] vault backup: 2023-08-20 15:39:31[

---
 content/多段階計算.md | 16 +++++++++++++++-
 1 file changed, 15 insertions(+), 1 deletion(-)

diff --git a/content/多段階計算.md b/content/多段階計算.md
index 17fb74a1..f0780801 100644
--- a/content/多段階計算.md
+++ b/content/多段階計算.md
@@ -11,4 +11,18 @@ tags:
 Black
 
 MetaOCaml を使った自己反映言語のコンパイル 浅井 健一 
-http://www.is.ocha.ac.jp/~asai/jpapers/ppl/asai14.pdf
\ No newline at end of file
+http://www.is.ocha.ac.jp/~asai/jpapers/ppl/asai14.pdf
+
+メタプログラミングのための時相論理に基づく型付 λ 計算 湯瀬 芳洋 五十嵐 淳
+http://www.fos.kuis.kyoto-u.ac.jp/~igarashi/papers/pdf/lambdaCB-PPL05.pdf
+
+λ○: nextとprevを導入
+
+[MetaML](https://www.sciencedirect.com/science/article/pii/S0304397500000530) nextとprevに加えてrunを導入
+
+λ□: box(cross-stage persistence)を導入
+
+λ○□：両方を統合
+
+
+[SATySFi の多段階計算入門](https://sankantsu.hatenablog.com/entry/2022/08/19/215024)