「10.8.4 変数・記号・論理式」の続き 定義18 "第n型の記号"である (define (IsNthType x n) (or (and (= n 1) (IsNumberType x)) (and (> n 1) (∃ v ≦ x (and (IsVarType v n) (= x (<> v))))))) さて高速化 もともと、#tが帰るようなときは遅くないんです…

プリンキピアといってもこれですが プリンキピア：マスター・オブ・サイエンス Shin Hirota ゲーム ¥360 App Storeで見かけてピンと来て購入しましたニュートンが活躍してた時代のヨーロッパを舞台としてたくさんの科学者が競って研究するというシミュレーシ…

「10.8.4 変数・記号・論理式」の続き 時間がかかるのはいつものパターンで書き換え (define (IsNumberType x) (let loop ((k 1)) (let ((e (elm x k))) (cond ((not (= e cf)) (and (or (= e c0) (IsVarType e 1)) (= (elm x (+ k 1)) 0))) (else (loop (+ …

Dynalist https://dynalist.io/ っていうアウトライナーのサービスがあります 後発だけあってWorkflowyの上位互換的なサービスになってます Dynalistいいかも - kb84tkhrのブログ ということでDynalistを試用してますが今のところの印象は、まだWorkflowyの…