一般的な機械式腕時計の月齢表示機能は29.5日周期なんだけど、実際の月は29.53日周期(708.72時間)なのでズレがある。そこでギアを工夫して29.51日周期にしたという時計がKickstarterに出ている(プレッジしていません)。

http://kck.st/4gfSJpW

図を見ると1周12時間のギアに1周4.5時間のギアを繋げて、さらに13対66対31の比率のギアで約29.51日としているっぽい。

でも、12対61対31にすれば29.546875日で、より29.53日に近づくんじゃないだろうか。

カレンダー機能を改造しているっぽくて、なんかそこに由来する制約があるんだろうか(竜頭で先に進めるのは簡単だけど戻すには1周させないとだめとか)。

高ランク多相とintersection型とunion型があって、型推論もできる型システム(ただし高ランク多相などはアノテーションが必要)。

https://dl.acm.org/doi/10.1145/3704907

TypeScriptやScalaを意識している。TypeScriptのコーナーケースが紹介されている。型システムや推論アルゴリズムの定義が丁寧に書いてあって良い。

ただ、途中で出てくるレコード型拡張は重複するラベルがあるとうまくいかない気がする。

みんな大好き構造化定理の話2025年版。

https://doi.org/10.1145/3704861

構造化定理は連接・分岐・繰り返しで全ての制御構造を表せるというものだが、実はプログラム側から直接操作できない変数が必要という前提がある。

そういったものが無い場合、表せない制御構造があることが知られていた(条件式の値が変化する限り繰り返す、とか)。

一方、有限状態に対する非決定的な演算については小さな言語KATで任意の構造を表せることがわかっている。

この論文では、有限個の正規制御構造(KATへのローカルな書き換えで表現できる演算)を用意しても、表せない制御構造が常に存在する、というのを示している。