From 3e067a24656bac85c563a9fee62b1b26cc280c7b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=E6=9D=BE=E6=B5=A6=20=E7=9F=A5=E4=B9=9F=20Matsuura=20Tomoy?=
 =?UTF-8?q?a?= <me@matsuuratomoya.com>
Date: Tue, 9 Sep 2025 17:41:01 +0900
Subject: [PATCH] [obsidian] vault backup: 2025-09-09 17:41:01[

---
 content/文脈様相型理論.md | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 content/文脈様相型理論.md

diff --git a/content/文脈様相型理論.md b/content/文脈様相型理論.md
new file mode 100644
index 00000000..23657bf8
--- /dev/null
+++ b/content/文脈様相型理論.md
@@ -0,0 +1,10 @@
+---
+date: 2025-09-09 17:08
+---
+#programming 
+
+[[Contextural Modal Type Theory]]
+
+[[メタプログラミング]]や[[多段階計算]]に近しいやつ（らしい）
+
+[tocl07.pdf](https://www.cs.cmu.edu/~fp/papers/tocl07.pdf)
\ No newline at end of file