[obsidian] vault backup: 2025-01-12 11:27:53[
All checks were successful
Build / build (push) Successful in 7m24s

This commit is contained in:
松浦 知也 Matsuura Tomoya 2025-01-12 11:27:53 +09:00
parent 5300c253a6
commit 0779555e24
9 changed files with 46 additions and 1 deletions

19
content/BrainFuck.md Normal file
View File

@ -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)

4
content/CCRMA.md Normal file
View File

@ -0,0 +1,4 @@
---
date: 2025-01-12 11:11
---

4
content/IRCAM.md Normal file
View File

@ -0,0 +1,4 @@
---
date: 2025-01-12 11:11
---

4
content/JUCE.md Normal file
View File

@ -0,0 +1,4 @@
---
date: 2025-01-12 11:12
---
#stub #software #framework

4
content/PDP-11.md Normal file
View File

@ -0,0 +1,4 @@
---
date: 2025-01-12 11:11
---

View File

@ -9,3 +9,5 @@ date: 2025-01-12 10:08
[[Haskell]]の中間表現の1つC--の1個手前 [[Haskell]]の中間表現の1つC--の1個手前
[[遅延評価]]に適した仕組み [[遅延評価]]に適した仕組み
[[表示的意味論]]と[[操作的意味論]]の両方を定義することで、形式的な正しさと命令型の表現への変換の両方をやりやすくしているという理解

View File

@ -0,0 +1,4 @@
---
date: 2025-01-12 11:11
---

@ -1 +1 @@
Subproject commit 2fa3191a2a568be9e2520b5bda2ca9c9bf58c245 Subproject commit a01db3a9da2ec9f13d99bb7f1f0c2de32f465de6

4
content/遅延評価.md Normal file
View File

@ -0,0 +1,4 @@
---
date: 2025-01-12 11:11
---