From 45a77a389b88eebe5b8e01c272a1fc928f8f06de Mon Sep 17 00:00:00 2001 From: "Matsuura Tomoya(Windows)" Date: Sat, 29 Nov 2025 20:30:10 +0900 Subject: [PATCH] [obsidian] vault backup: 2025-11-29 20:30:10[ --- ...ž‹ãƒªã‚¢ã‚¯ãƒ†ã‚£ãƒ–プログラミングã®ã«ã‚ˆã‚‹ä¿¡å·å‡¦ç†ã®ãƒ©ã‚¤ãƒ–コーディング.md | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/content/多段階計算ã¨å¢—分関数型リアクティブプログラミングã®ã«ã‚ˆã‚‹ä¿¡å·å‡¦ç†ã®ãƒ©ã‚¤ãƒ–コーディング.md b/content/多段階計算ã¨å¢—分関数型リアクティブプログラミングã®ã«ã‚ˆã‚‹ä¿¡å·å‡¦ç†ã®ãƒ©ã‚¤ãƒ–コーディング.md index fe2dd658..e281d8b3 100644 --- a/content/多段階計算ã¨å¢—分関数型リアクティブプログラミングã®ã«ã‚ˆã‚‹ä¿¡å·å‡¦ç†ã®ãƒ©ã‚¤ãƒ–コーディング.md +++ b/content/多段階計算ã¨å¢—分関数型リアクティブプログラミングã®ã«ã‚ˆã‚‹ä¿¡å·å‡¦ç†ã®ãƒ©ã‚¤ãƒ–コーディング.md @@ -102,6 +102,12 @@ v ::= \end{align} $$ + +セマンティクスをã©ã“ã¾ã§æ›¸ãã‹ã€ã‚¿ãƒ—ルを入れる㋠+ +æ“作的æ„味論 + + ### シンタックスシュガー mimiumã§ã¯ã€å¤šæ®µéšŽè¨ˆç®—ã®ä½“ç³»ã‚’ç›´æ„Ÿçš„ã«æ‰±ãˆã‚‹ã‚ˆã†ã«2ã¤ã®ã‚·ãƒ³ã‚¿ãƒƒã‚¯ã‚¹ã‚·ãƒ¥ã‚¬ãƒ¼ã‚’å°Žå…¥ã—ã¦ã„る。