From ced4c81de6b268a58a012afbfa46741a17b95779 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, 15 Jan 2025 13:54:50 +0900 Subject: [PATCH] [obsidian] vault backup: 2025-01-15 13:54:50[ --- content/.obsidian/graph.json | 2 +- content/Christopher Strachey.md | 8 +++++++- content/index.md | 2 ++ ...ã¨ã„ã†æˆ¦å ´ã€€æš®ã‚‰ã—ã¯ãƒ‡ã‚¶ã‚¤ãƒ³ã§ãã‚‹ã‹ï¼Ÿâ€‹ - ä¹…ä¿æ˜Žæ•™.md | 4 +++- content/タイムシェアリング.md | 4 ++++ content/ベティ・クロッカー.md | 14 ++++++++++++++ content/存在ã—ãªã„人物.md | 9 +++++++++ content/æ“作的æ„味論.md | 4 ++++ content/æ–™ç†.md | 5 +++++ content/表示的æ„味論.md | 8 ++++++++ 10 files changed, 57 insertions(+), 3 deletions(-) create mode 100644 content/タイムシェアリング.md create mode 100644 content/ベティ・クロッカー.md create mode 100644 content/存在ã—ãªã„人物.md create mode 100644 content/æ“作的æ„味論.md create mode 100644 content/æ–™ç†.md create mode 100644 content/表示的æ„味論.md diff --git a/content/.obsidian/graph.json b/content/.obsidian/graph.json index 0026a257..8d638273 100644 --- a/content/.obsidian/graph.json +++ b/content/.obsidian/graph.json @@ -60,6 +60,6 @@ "repelStrength": 15.1642583672965, "linkStrength": 0.975453871804372, "linkDistance": 42, - "scale": 0.10049974559912697, + "scale": 0.2104538395895509, "close": true } \ No newline at end of file diff --git a/content/Christopher Strachey.md b/content/Christopher Strachey.md index 24a353a2..c459d4c2 100644 --- a/content/Christopher Strachey.md +++ b/content/Christopher Strachey.md @@ -6,4 +6,10 @@ date: "2023-11-07T18:37:51+0900" [Christopher Strachey, 1916-1975: A Biographical Note -Martin Campbell-Kelly(1985)](https://ieeexplore.ieee.org/document/4392962) -[[Alan Turing]]ã¨äº¤æµãŒã‚ã£ãŸ \ No newline at end of file +[[Alan Turing]]ã¨äº¤æµãŒã‚ã‚Šã€ä¸€ç·’ã«ã‚³ãƒ³ãƒ”ューターã§åˆã‚ã¦è©©ã‚’書ã„ãŸã¨è¨€ã‚ã‚Œã¦ã„ã‚‹ （[[MUC Loveletter Generator]]） + + + +[[タイムシェアリング]]ã®æ¦‚念やã€ãƒ—ログラミング言語ã®[[表示的æ„味論]]ã‚’æå”±ã—ãŸäººã§ã‚‚ã‚ã‚‹ + + diff --git a/content/index.md b/content/index.md index df221d43..05914396 100644 --- a/content/index.md +++ b/content/index.md @@ -25,6 +25,8 @@ https://matsuuratomoya.com - [[授業ã«é–¢ã‚るメモ]] - [[ヤãƒã„個人Webサイト]] - [[好ããªWikipediaã®è¨˜äº‹]] +- [[存在ã—ãªã„人物]] +- [[æ–™ç†]] ### タイトルã®ã‚る書ã物 diff --git a/content/「家庭料ç†ã€ã¨ã„ã†æˆ¦å ´ã€€æš®ã‚‰ã—ã¯ãƒ‡ã‚¶ã‚¤ãƒ³ã§ãã‚‹ã‹ï¼Ÿâ€‹ - ä¹…ä¿æ˜Žæ•™.md b/content/「家庭料ç†ã€ã¨ã„ã†æˆ¦å ´ã€€æš®ã‚‰ã—ã¯ãƒ‡ã‚¶ã‚¤ãƒ³ã§ãã‚‹ã‹ï¼Ÿâ€‹ - ä¹…ä¿æ˜Žæ•™.md index 7fdd699a..abcc23c5 100644 --- a/content/「家庭料ç†ã€ã¨ã„ã†æˆ¦å ´ã€€æš®ã‚‰ã—ã¯ãƒ‡ã‚¶ã‚¤ãƒ³ã§ãã‚‹ã‹ï¼Ÿâ€‹ - ä¹…ä¿æ˜Žæ•™.md +++ b/content/「家庭料ç†ã€ã¨ã„ã†æˆ¦å ´ã€€æš®ã‚‰ã—ã¯ãƒ‡ã‚¶ã‚¤ãƒ³ã§ãã‚‹ã‹ï¼Ÿâ€‹ - ä¹…ä¿æ˜Žæ•™.md @@ -1,7 +1,9 @@ --- date: 2024-04-08 21:43 --- -#book #food +#book #food #cooking + + [[ä¹…ä¿æ˜Žæ•™]]（著） diff --git a/content/タイムシェアリング.md b/content/タイムシェアリング.md new file mode 100644 index 00000000..39a79696 --- /dev/null +++ b/content/タイムシェアリング.md @@ -0,0 +1,4 @@ +--- +date: 2025-01-15 13:53 +--- + diff --git a/content/ベティ・クロッカー.md b/content/ベティ・クロッカー.md new file mode 100644 index 00000000..2518435d --- /dev/null +++ b/content/ベティ・クロッカー.md @@ -0,0 +1,14 @@ +--- +date: 2025-01-15 13:17 +--- +#person #cooking + +製粉メーカーã®ã‚¦ã‚©ãƒƒã‚·ãƒ¥ãƒãƒ¼ãƒ³ãƒ»ã‚¯ãƒ­ã‚¹ãƒ“ー（ã®ã¡ã®ã‚¼ãƒãƒ©ãƒ«ãƒ»ãƒŸãƒ«ã‚ºï¼‰ã®åºƒå‘Šå¡”ã¨ã—ã¦ã€ç¬¬äºŒæ¬¡å¤§æˆ¦å‰å¾Œã«ã‚¢ãƒ¡ãƒªã‚«ã§ãƒ©ã‚¸ã‚ªãƒ»TV・書ç±ã‚’通ã˜ã¦ç™»å ´ã—ãŸæž¶ç©ºã®äººç‰©ã€‚ + + + +[Betty Crocker - Wikipedia](https://en.wikipedia.org/wiki/Betty_Crocker) + +[世界ã®å¥‡æ›¸ã‚’ゆã£ãり解説 第20回 「ベティ・クロッカーã®ãŠæ–™ç†ãƒ–ック〠- YouTube](https://www.youtube.com/watch?v=UYaiKIpSwLw) + +[ベティ・クロッカーã®è¡¨è±¡ã¨ã‚¢ãƒ¡ãƒªã‚«ç¤¾ä¼šã®å¤‰é·-久野愛](https://repository.dl.itc.u-tokyo.ac.jp/record/37174/files/pas9_128-140.pdf) \ No newline at end of file diff --git a/content/存在ã—ãªã„人物.md b/content/存在ã—ãªã„人物.md new file mode 100644 index 00000000..ec6abd8d --- /dev/null +++ b/content/存在ã—ãªã„人物.md @@ -0,0 +1,9 @@ +--- +date: 2025-01-15 13:24 +--- +[Category:共有筆å - Wikipedia](https://ja.wikipedia.org/wiki/Category:%E5%85%B1%E6%9C%89%E7%AD%86%E5%90%8D)ã¨ã‹ã®ä¸­ã§ã‚‚ã€ç¤¾ä¼šçš„ã«1人ã®äººç‰©ã¨ã—ã¦æ‰±ã‚ã‚Œã¦ã„るタイプã®ã‚‚ã®ãŒé¢ç™½ã„ + +- [ニコラ・ブルãƒã‚­ - Wikipedia](https://ja.wikipedia.org/wiki/%E3%83%8B%E3%82%B3%E3%83%A9%E3%83%BB%E3%83%96%E3%83%AB%E3%83%90%E3%82%AD) +- [[ベティ・クロッカー]] +- [高見温(æ—§æ±äº¬è—術大学ãŠå¬¢æ§˜éƒ¨)](https://note.com/geidaiojosama/n/n2604393eae56) +- [æ±å ‚ã„ã¥ã¿ã€çŸ¢ç«‹è‚‡](https://ja.wikipedia.org/wiki/%E3%83%9A%E3%83%B3%E3%83%8D%E3%83%BC%E3%83%A0) diff --git a/content/æ“作的æ„味論.md b/content/æ“作的æ„味論.md new file mode 100644 index 00000000..30a04e3e --- /dev/null +++ b/content/æ“作的æ„味論.md @@ -0,0 +1,4 @@ +--- +date: 2025-01-15 13:17 +--- + diff --git a/content/æ–™ç†.md b/content/æ–™ç†.md new file mode 100644 index 00000000..7aa75bed --- /dev/null +++ b/content/æ–™ç†.md @@ -0,0 +1,5 @@ +--- +date: 2025-01-15 13:21 +--- +#cooking + diff --git a/content/表示的æ„味論.md b/content/表示的æ„味論.md new file mode 100644 index 00000000..3d8d2515 --- /dev/null +++ b/content/表示的æ„味論.md @@ -0,0 +1,8 @@ +--- +date: 2025-01-15 13:41 +--- +#programming-language + + +[The denotational semantics of programming languages | Communications of the ACM](https://dl.acm.org/doi/10.1145/360303.360308) +