From 369cc9eeadae828ba9d70a52ab9501fd7d609620 Mon Sep 17 00:00:00 2001 From: "Matsuura Tomoya(Windows)" Date: Wed, 25 Dec 2024 03:45:51 +0900 Subject: [PATCH] [obsidian] vault backup: 2024-12-25 03:45:51[ --- content/単位変換のための型システム.md | 12 +++++++++--- 1 file changed, 9 insertions(+), 3 deletions(-) diff --git a/content/単位変換のための型システム.md b/content/単位変換のための型システム.md index aca6a0b9..55568d8e 100644 --- a/content/単位変換のための型システム.md +++ b/content/単位変換のための型システム.md @@ -2,9 +2,15 @@ [[mimium]] で、例えばMIDIノートも生の周波数も、どちらも「音の高さ」を表すことには変わりないので、そういうのを型としてグループ化したい。そして自動変換できるようにしたい。 - -[Types for units of measure | varkor’s blog](https://varkor.github.io/blog/2018/07/30/types-for-units-of-measure.html) - 自動キャストといえば[[部分型]]の話になるけど、単位変換を扱うのはなにか違う概念を使う気がする たとえば周波数とMIDIノートの足し算みたいなことに意味があるかといわれると、よくわからん + + +[Types for units of measure | varkor’s blog](https://varkor.github.io/blog/2018/07/30/types-for-units-of-measure.html) + +[Unit Conversion and Dimensional Analysis Library: UNITS](https://nholthaus.github.io/units/) + +Dimension Typeかー + +[Unit Conversion the Easy Way (Dimensional Analysis) - YouTube](https://www.youtube.com/watch?v=HRe1mire4Gc) \ No newline at end of file