From 977d544e198920b6611869ff632852fc75e93ffc 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: Fri, 19 Dec 2025 15:28:06 +0900 Subject: [PATCH] [obsidian] vault backup: 2025-12-19 15:28:06[ --- content/AudioWorklet.md | 4 ++++ content/Coqの勉強.md | 6 +++--- content/Gleam.md | 0 content/How to Build a Low tech Solar Panel？.md | 7 ++++++- content/Obsidianのグラフは役に立つのか.md | 2 ++ content/Ralf Schreiber.md | 4 ++++ content/Sonic Pi.md | 2 ++ content/SuperSonic.md | 8 ++++++++ content/System-Fω.md | 4 ++++ content/bellingcat.md | 8 ++++++++ content/private | 2 +- content/太陽電池.md | 13 +++++++++++++ content/太陽電池シンセサイザー.md | 8 ++++++-- content/存在しない人物.md | 4 ++++ content/日本語プログラミング言語.md | 2 ++ content/酸化熱による自然発火.md | 8 ++++++++ 16 files changed, 75 insertions(+), 7 deletions(-) create mode 100644 content/AudioWorklet.md delete mode 100644 content/Gleam.md create mode 100644 content/Ralf Schreiber.md create mode 100644 content/SuperSonic.md create mode 100644 content/System-Fω.md create mode 100644 content/bellingcat.md create mode 100644 content/太陽電池.md create mode 100644 content/酸化熱による自然発火.md diff --git a/content/AudioWorklet.md b/content/AudioWorklet.md new file mode 100644 index 00000000..9eed3411 --- /dev/null +++ b/content/AudioWorklet.md @@ -0,0 +1,4 @@ +--- +date: 2025-12-19 15:10 +--- +#stub diff --git a/content/Coqの勉強.md b/content/Coqの勉強.md index b0c60da5..fe44fc23 100644 --- a/content/Coqの勉強.md +++ b/content/Coqの勉強.md @@ -3,7 +3,7 @@ date: "2023-08-24T21:45:03+0900" --- #programming-language #memo #logic -[[Coq]]を用いた定理証明支援の基礎 +[[Coq]]を用いた[[定理証明支援]]の基礎 - [Software Foundations 日本語訳](https://chiguri.info/sfja/) - 大体これ読めばいいっぽい（プログラミング言語系は特に） @@ -22,12 +22,12 @@ date: "2023-08-24T21:45:03+0900" ・・・というのは全部、あくまで普通の関数型言語で考えたら、というので、厳密には全然違う -問題はCoqがラムダキューブ最上位のCalculus of Constructionを採用しているところ。つまり次の全てが扱える +問題はCoqがラムダキューブ最上位の[[Calculus of Construction]]を採用しているところ。つまり次の全てが扱える - 項に依存する項 単純型付ラムダ計算 - 型に依存する項（ジェネリクス）System F - 型に依存する型（カインド多相）System F $\underline{\omega}$ -- 型依存の型と型依存の項の両方 System F$\omega$ +- 型依存の型と型依存の項の両方 [[System-Fω]] - 項に依存する型（依存型） $\lambda\Pi$ - 型依存の項と依存型　$\lambda\Pi2$ - 型依存の項、項依存の型、型依存の項 CoC diff --git a/content/Gleam.md b/content/Gleam.md deleted file mode 100644 index e69de29b..00000000 diff --git a/content/How to Build a Low tech Solar Panel？.md b/content/How to Build a Low tech Solar Panel？.md index 5048608b..567debbc 100644 --- a/content/How to Build a Low tech Solar Panel？.md +++ b/content/How to Build a Low tech Solar Panel？.md @@ -8,4 +8,9 @@ author: [[Kris De Decker]] https://solar.lowtechmagazine.com/2021/10/how-to-build-a-low-tech-solar-panel/ -スピ界隈でCDにコイルを巻き付けるとソーラー電池ができるというエセ科学が流行っている中で、めちゃくちゃガチだ \ No newline at end of file +[[フェイクソーラーパネル]]について調べてたらガチのやつが出てきた。[[George Cove]]という人物が1900年代にショットキー接合を偶然に用いて当時としては相当効率の高い太陽電池を作っていて、しかも570℃と比較的低温での製造と、リサイクルのしやすさ的にも興味深いという話。 + + +[[bellingcat]]によるとチャールズ・フリッツという人物が1884年に作ったと言われる写真がコーブの写真と不可解に一致しているなどなんかいろんな疑惑がある（写っているコーブを後から消した？かもしれないが、画像編集の痕跡はない、とか、、、）。コーブはなぜか途中で逮捕されたりとか + +[Untangling the Mystery of the World’s First Rooftop Solar Panel - bellingcat](https://www.bellingcat.com/news/2023/08/16/untangling-the-mystery-of-the-worlds-first-rooftop-solar-panel/) diff --git a/content/Obsidianのグラフは役に立つのか.md b/content/Obsidianのグラフは役に立つのか.md index 2673a76c..88cc9697 100644 --- a/content/Obsidianのグラフは役に立つのか.md +++ b/content/Obsidianのグラフは役に立つのか.md @@ -15,3 +15,5 @@ date: 2025-08-20 16:30 --- Imcoming/Outgoing Linkの代用になりそうなビューなら悪くないのかも（[[2hop-link]]）的な機能も含め + +[[ノートの暗黙知]] diff --git a/content/Ralf Schreiber.md b/content/Ralf Schreiber.md new file mode 100644 index 00000000..c1116688 --- /dev/null +++ b/content/Ralf Schreiber.md @@ -0,0 +1,4 @@ +--- +date: 2025-12-19 15:01 +--- +#stub diff --git a/content/Sonic Pi.md b/content/Sonic Pi.md index 43f62968..2b7b8268 100644 --- a/content/Sonic Pi.md +++ b/content/Sonic Pi.md @@ -13,3 +13,5 @@ date: "2024-02-06T02:00:06+0900" [GitHub - samaaron/tau5: Code. Music. Live.](https://github.com/samaaron/tau5) +またその下敷きとして、[[scsynth]]を[[AudioWorklet]]で動くようにした[[SuperSonic]]というのを使う予定らしい + diff --git a/content/SuperSonic.md b/content/SuperSonic.md new file mode 100644 index 00000000..2b828840 --- /dev/null +++ b/content/SuperSonic.md @@ -0,0 +1,8 @@ +--- +date: 2025-12-19 15:10 +--- +#computermusic + +[[Sam Aaron]]が作っている[[SuperCollider]]のサウンドエンジン部分を[[WebAssembly]]にコンパイルして[[AudioWorklet]]Nodeとして動くようにしたやつ + +[SuperSonic - SuperCollider's Synthesis Engine in the Browser](https://sonic-pi.net/supersonic/demo.html) diff --git a/content/System-Fω.md b/content/System-Fω.md new file mode 100644 index 00000000..ae71ce49 --- /dev/null +++ b/content/System-Fω.md @@ -0,0 +1,4 @@ +--- +date: 2025-12-19 15:07 +--- +#stub diff --git a/content/bellingcat.md b/content/bellingcat.md new file mode 100644 index 00000000..08d25939 --- /dev/null +++ b/content/bellingcat.md @@ -0,0 +1,8 @@ +--- +date: 2025-12-19 14:39 +--- +#organization + +> Bellingcat is an independent investigative collective of researchers, investigators and citizen journalists brought together by a passion for open source research. + +[Who We Are - bellingcat](https://www.bellingcat.com/about/who-we-are) diff --git a/content/private b/content/private index 6e13a600..91e7bc75 160000 --- a/content/private +++ b/content/private @@ -1 +1 @@ -Subproject commit 6e13a600d36c46fc39d662f15c5ebf324444935b +Subproject commit 91e7bc75236ecceef5095c94e16be70140814cdf diff --git a/content/太陽電池.md b/content/太陽電池.md new file mode 100644 index 00000000..3c5505c4 --- /dev/null +++ b/content/太陽電池.md @@ -0,0 +1,13 @@ +--- +date: 2025-12-19 15:00 +--- + +[[色素増感太陽電池]] + +[[太陽電池シンセサイザー]] + +[[太陽電池ピックアップ]] + +[[How to Build a Low tech Solar Panel？]] + + diff --git a/content/太陽電池シンセサイザー.md b/content/太陽電池シンセサイザー.md index 4e238e4c..ce9aaa1c 100644 --- a/content/太陽電池シンセサイザー.md +++ b/content/太陽電池シンセサイザー.md @@ -1,12 +1,16 @@ --- date: 2025-02-18 20:29 --- -#stub +#semiconductor -元ネタ（1996） +[[太陽電池]] + +元ネタ（1996）[[Ralf Schreiber]]による [solarsoundmodule - ralf schreiber](https://ralfschreiber.com/solarsound.html) +[[Starvation Synth]]の元ネタっぽい + Hackteriaで作り直した diff --git a/content/存在しない人物.md b/content/存在しない人物.md index ec6abd8d..99388a39 100644 --- a/content/存在しない人物.md +++ b/content/存在しない人物.md @@ -7,3 +7,7 @@ date: 2025-01-15 13:24 - [[ベティ・クロッカー]] - [高見温(旧東京藝術大学お嬢様部)](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) + +ちょっと違うが[[bellingcat]]もそうかも + + diff --git a/content/日本語プログラミング言語.md b/content/日本語プログラミング言語.md index 81f4206f..263961d8 100644 --- a/content/日本語プログラミング言語.md +++ b/content/日本語プログラミング言語.md @@ -9,5 +9,7 @@ date: 2025-01-15 18:49 [[プロデル]] +[[テキスト音楽サクラ]] + [日本語プログラミング言語は 日本人にとって可読性が高いが、 なぜあまり普及していないのか - 新村 裕太(2020)](https://halo.aichi-u.ac.jp/wp/wp-content/uploads/2021/10/5fca7c3a7df99c6d0e24a2f840fad199.pdf) diff --git a/content/酸化熱による自然発火.md b/content/酸化熱による自然発火.md new file mode 100644 index 00000000..914e8098 --- /dev/null +++ b/content/酸化熱による自然発火.md @@ -0,0 +1,8 @@ +--- +date: 2025-12-19 14:49 +--- +#memo + +[大阪市阿倍野消防署：自然発火にご注意ください！ （お知らせ）](https://www.city.osaka.lg.jp/shobo_abeno/page/0000640444.html) + +油の発火点が350℃であっても、キッチンペーパーに拭き取った高温の油をくるくる丸めて捨てたりすると、酸素に触れる面積が大きくなる＋放熱されなくなることで自然発火の条件を満たすことがある