From e62048276e641ada1fecd87d3823613cac0b7d61 Mon Sep 17 00:00:00 2001 From: "Tomoya Matsuura(MacBookPro)" Date: Fri, 8 Sep 2023 19:46:16 +0900 Subject: [PATCH] [obsidian] vault backup: 2023-09-08 19:46:16[ --- content/mimium新内部表現の構想.md | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/content/mimium新内部表現の構想.md b/content/mimium新内部表現の構想.md index 3a564364..77b63204 100644 --- a/content/mimium新内部表現の構想.md +++ b/content/mimium新内部表現の構想.md @@ -4,9 +4,15 @@ [[多段階計算]]を取り入れたい -とりあえず$W$ Calculusを自然に多段階に拡張してみる -## 型定義 +とりあえず$W$ Calculusを自然に拡張してみる。 +$W$ Calculusとmimiumの形式は似ているが、主に2つの違いがある。 +1.　$W$ Calculus はLinear-Time Invariant なシステムを想定しているため、基本演算は項の加算と、項と定数の乗算しか使えない。 +2. $W$ Calculusでは関数が数をとって数を返すものしかない。つまり、関数やfeedの項を取ったり返すような高階関数は想定されていない。 + +問題になるのは後者の方だ。 + +## 型定義 a個の実数のタプルである$R_a$