From 10eb520d7c2bf4aa04e7148e46ae3af921416626 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?= Date: Wed, 20 Nov 2024 07:38:48 +0900 Subject: [PATCH] [obsidian] vault backup: 2024-11-20 07:38:48 --- content/index.md | 1 + content/mimium新内部表現の構想.md | 2 +- ...ンで表現する.md => 多段階計算を命令型VMインストラクションで表現したい.md} | 0 content/好きなWikipediaの記事.md | 4 +++- 4 files changed, 5 insertions(+), 2 deletions(-) rename content/{多段階計算を命令型VMインストラクションで表現する.md => 多段階計算を命令型VMインストラクションで表現したい.md} (100%) diff --git a/content/index.md b/content/index.md index cc42e008..d375aa69 100644 --- a/content/index.md +++ b/content/index.md @@ -24,6 +24,7 @@ https://matsuuratomoya.com - [[論文の管理]] - [[授業に関わるメモ]] - [[ヤバい個人Webサイト]] +- [[好きなWikipediaの記事]] ### タイトルのある書き物 diff --git a/content/mimium新内部表現の構想.md b/content/mimium新内部表現の構想.md index f3ea9337..49bf532d 100644 --- a/content/mimium新内部表現の構想.md +++ b/content/mimium新内部表現の構想.md @@ -5,7 +5,7 @@ date: "2023-09-20T17:12:17+0900" [[音楽プログラミング言語の形式化#mimium と 多段階計算]] -[[多段階計算]]を取り入れたい　→　[[多段階計算を命令型VMインストラクションで表現する]] +[[多段階計算]]を取り入れたい　→　[[多段階計算を命令型VMインストラクションで表現したい]] とりあえず[[The w-calculus a synchronous framework for the verified modelling of digital signal processing algorithms|W Calculus]]を自然に拡張してみる。 $W$ Calculusとmimiumの形式は似ているが、主に2つの違いがある。 diff --git a/content/多段階計算を命令型VMインストラクションで表現する.md b/content/多段階計算を命令型VMインストラクションで表現したい.md similarity index 100% rename from content/多段階計算を命令型VMインストラクションで表現する.md rename to content/多段階計算を命令型VMインストラクションで表現したい.md diff --git a/content/好きなWikipediaの記事.md b/content/好きなWikipediaの記事.md index 65662aea..01fbf182 100644 --- a/content/好きなWikipediaの記事.md +++ b/content/好きなWikipediaの記事.md @@ -15,5 +15,7 @@ reference: [面白かったWikipedia記事の一覧 | 麦 Baku](https://baku89.c - [肋骨レコード](https://ja.wikipedia.org/wiki/%E8%82%8B%E9%AA%A8%E3%83%AC%E3%82%B3%E3%83%BC%E3%83%89) - [アコースティック・キティー](https://ja.wikipedia.org/wiki/%E3%82%A2%E3%82%B3%E3%83%BC%E3%82%B9%E3%83%86%E3%82%A3%E3%83%83%E3%82%AF%E3%83%BB%E3%82%AD%E3%83%86%E3%82%A3%E3%83%BC) - [ラムダ計算騎士団](https://ja.wikipedia.org/wiki/%E3%83%A9%E3%83%A0%E3%83%80%E8%A8%88%E7%AE%97%E9%A8%8E%E5%A3%AB%E5%9B%A3) - +- [Hyper Text Coffee Pot Control Protocol](https://ja.wikipedia.org/wiki/Hyper_Text_Coffee_Pot_Control_Protocol) + - ジョークRFC関連だと[鳥類キャリアによるIP（IP over Avian Carriers, IPoAC）](https://ja.wikipedia.org/wiki/%E9%B3%A5%E9%A1%9E%E3%82%AD%E3%83%A3%E3%83%AA%E3%82%A2%E3%81%AB%E3%82%88%E3%82%8BIP)も好き +- [ISO 3103(茶の淹れ方の標準)](https://ja.wikipedia.org/wiki/ISO_3103) [^token]: tokenさんが[貼ってた](https://fedibird.com/@aknosp6/112240788498392236)のを見て。