From 0779555e244ce057069efa6d9e6b1f58cf84fafd 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: Sun, 12 Jan 2025 11:27:53 +0900
Subject: [PATCH] [obsidian] vault backup: 2025-01-12 11:27:53[

---
 content/BrainFuck.md                          | 19 +++++++++++++++++++
 content/CCRMA.md                              |  4 ++++
 content/IRCAM.md                              |  4 ++++
 content/JUCE.md                               |  4 ++++
 content/PDP-11.md                             |  4 ++++
 ...hine.md => Spineless Tagless G Machine.md} |  2 ++
 content/Unit Generator.md                     |  4 ++++
 content/private                               |  2 +-
 content/遅延評価.md                           |  4 ++++
 9 files changed, 46 insertions(+), 1 deletion(-)
 create mode 100644 content/BrainFuck.md
 create mode 100644 content/CCRMA.md
 create mode 100644 content/IRCAM.md
 create mode 100644 content/JUCE.md
 create mode 100644 content/PDP-11.md
 rename content/{Spinless Tagless G Machine.md => Spineless Tagless G Machine.md} (57%)
 create mode 100644 content/Unit Generator.md
 create mode 100644 content/遅延評価.md

diff --git a/content/BrainFuck.md b/content/BrainFuck.md
new file mode 100644
index 00000000..6eea1ad2
--- /dev/null
+++ b/content/BrainFuck.md
@@ -0,0 +1,19 @@
+---
+date: 2025-01-12 11:14
+---
+#esolang #programming-language 
+
+言わずと知れた難解言語。
+
+メタプログラミングをやる拡張に興味がある（[[多段階計算]]の命令型表現に応用できそう）
+
+古いのだとこれ
+
+[GitHub - angrykoala/meta-brainfuck: A brainfuck-like programming language that generates code of itself](https://github.com/angrykoala/meta-brainfuck)
+
+より最近のでこういうのもある
+
+[メタプログラミング可能なBrainf\*ck派生言語BFmeta 【Brainf\*ck Advent Calendar 2019 3日目】 - prime's diary](https://primenumber.hatenadiary.jp/entry/2019/12/04/014858)
+
+[GitHub - primenumber/BFmeta: Brainf\*ckでリフレクションができるようにしたプログラミング言語BFmetaのインタプリタ・デバッガ](https://github.com/primenumber/BFmeta)
+
diff --git a/content/CCRMA.md b/content/CCRMA.md
new file mode 100644
index 00000000..d5ec447e
--- /dev/null
+++ b/content/CCRMA.md
@@ -0,0 +1,4 @@
+---
+date: 2025-01-12 11:11
+---
+
diff --git a/content/IRCAM.md b/content/IRCAM.md
new file mode 100644
index 00000000..d5ec447e
--- /dev/null
+++ b/content/IRCAM.md
@@ -0,0 +1,4 @@
+---
+date: 2025-01-12 11:11
+---
+
diff --git a/content/JUCE.md b/content/JUCE.md
new file mode 100644
index 00000000..a4888ee3
--- /dev/null
+++ b/content/JUCE.md
@@ -0,0 +1,4 @@
+---
+date: 2025-01-12 11:12
+---
+#stub #software #framework
diff --git a/content/PDP-11.md b/content/PDP-11.md
new file mode 100644
index 00000000..d5ec447e
--- /dev/null
+++ b/content/PDP-11.md
@@ -0,0 +1,4 @@
+---
+date: 2025-01-12 11:11
+---
+
diff --git a/content/Spinless Tagless G Machine.md b/content/Spineless Tagless G Machine.md
similarity index 57%
rename from content/Spinless Tagless G Machine.md
rename to content/Spineless Tagless G Machine.md
index 3ed94097..c688023d 100644
--- a/content/Spinless Tagless G Machine.md	
+++ b/content/Spineless Tagless G Machine.md	
@@ -9,3 +9,5 @@ date: 2025-01-12 10:08
 [[Haskell]]の中間表現の1つ（C--の1個手前）。
 
 [[遅延評価]]に適した仕組み
+
+[[表示的意味論]]と[[操作的意味論]]の両方を定義することで、形式的な正しさと命令型の表現への変換の両方をやりやすくしているという理解
\ No newline at end of file
diff --git a/content/Unit Generator.md b/content/Unit Generator.md
new file mode 100644
index 00000000..d5ec447e
--- /dev/null
+++ b/content/Unit Generator.md	
@@ -0,0 +1,4 @@
+---
+date: 2025-01-12 11:11
+---
+
diff --git a/content/private b/content/private
index 2fa3191a..a01db3a9 160000
--- a/content/private
+++ b/content/private
@@ -1 +1 @@
-Subproject commit 2fa3191a2a568be9e2520b5bda2ca9c9bf58c245
+Subproject commit a01db3a9da2ec9f13d99bb7f1f0c2de32f465de6
diff --git a/content/遅延評価.md b/content/遅延評価.md
new file mode 100644
index 00000000..d5ec447e
--- /dev/null
+++ b/content/遅延評価.md
@@ -0,0 +1,4 @@
+---
+date: 2025-01-12 11:11
+---
+