💾 Archived View for sdf.org › takeda › notes.gmi captured on 2023-01-29 at 03:41:33. Gemini links have been rewritten to link to archived content

-=-=-=-=-=-=-

メモ書き

1音の変化によって生成される循環的なスケールの族 https://ianring.com/musictheory/mutantmodes/
強進行と循環が一致するのはメジャースケールのみ。
TODO: Deep Scaleとの関連とは？

GitHubのスターをピン留めとして使っているので度々整理するんだけど、スター数が減ってたらやっぱり悲しむ人もいるんだろうか...。
ゲーム機によくある、十字キーで操作するタイプのキーボードの操作音から、内容を推測できるか？
Normal form:部分式を含めて完全に評価されている形。
Weak head normal form:最も外側の構造について評価されている形。ラムダ抽象やデータコンストラクタなど。
d払い、本人確認が「チャージ」にあって分かりづらい。
未だに右結合と左結合をよく混同する。
TODO: ﾓﾇｽ(Monus)
Agdaはなんで打ちにくい記号ばっかり使うんだ...。APLか？
あるインターフェイスを実装するすべての型に対してテストを実行できたら
プログラムの処理に逆元があったら
TODO:乗法標準形、加法標準形
完全系:NOR(OR&NOT)のみ、NAND(AND&NOT)のみ、XORとAND
BCD符号:10進数の桁ごと、グレイ符号:インクリメントで1bitずつ異なる（TODO:追記）
小数の基数変換はどうしても誤差が出るケースがある（10進から2進など）。
メモ化はmemorizationじゃなくmemoizationらしい...。
GitでTwitter。https://github.com/diracdeltas/tweets
日本語ニュースメディアに関してもAllSidesみたいなものがあると嬉しい。
次のハリウッドのトランスフォーマーはビーストウォーズ観てから観たいね。
ルックバックをおすすめされた。
TODO: IEEE754を調べる
TODO: ベーシック圏論の英語版は無料 https://arxiv.org/pdf/1612.09375.pdf
https://twitter.com/randomsakuga/status/1540907705686278145
アニメと比べると、音楽は時の好みという感じがある？
今までに観たことのあるアニメの一覧を作った。その過程で思ったのだが、配信サービスなどで作品名を「あ行」「か行」...と分類すると、一覧の前半に視聴が偏りはしないのだろうか...。
ある調の曲を、その属調や下属調の曲だと勘違いしていることがよくある。
何でもコンピュータに関連させて例える癖をやめたい。というか、何でも何かで例える癖自体をやめたい。
実際には存在しないソフトウェアの製品紹介ページを作ると面白そう。
もし過去の親族や自分に取り立てができるサービスがあったら（SF）

∀P, (P -> ~P) -> ~P. これは直観主義論理の上でも成り立つが、どう解釈すればいいんだろう...。
あほだった。単に∀P, ~P -> ~Pと書ける。

Rustc

Rustコンパイラ関連。

アロケーションを減らすために、Arenaという仕組みがある。値に対して一意にアロケーション位置が決まっているので、ポインタの比較=値の比較となる。型はこれで管理してるらしい。
型情報のArenaのLifetimeは'tcxらしい。あらゆるところに出てくるやつはこれだったのか...。
Substs:substitutions、Genericsのパラメータのリスト。TraitRef:トレイトの参照。Predicate:トレイト実装の判定。これらはArenaが使われるらしい。
Arenaに入れるデータはスタック上に置かれるべきじゃないらしい。
Interned<T>は値に対して一意なアロケーションへの参照を表す。

MIRはボローチェックや最適化、THIRはパターンやenumとかの網羅性のチェックに使われる。単相化はMIRで行う。
rustc_hir::Ty=ソースコードに書かれた型を表す。比較はできない。トークンに近い？ ty::Ty=コンパイラが認識している型。Arenaに入っている。ty::TyKindが内側にあって、それが本体。

日別

2022-12-08 エイトケンの加速法:代入法の式を等比数列として扱ってみる
2022-12-06 丸め誤差:切り捨て、打ち切り誤差:無限級数、桁落ち:近い数値の差
2022-12-06 加減算では誤差限界が、乗除算では総体誤差がそれぞれ加算的に増える可能性がある
2022-12-06 和を取るとき、小さい方から加えると誤差が少なくてよい
2022-12-06 区間縮小法:はさみうちの原理、代入法:「x=?」に変形し数列に？
2022-12-06 二分法:中間値の定理、線形逆補完法:0との交点