メモ: PostgreSQLでは宣言的パーティショニングをしたテーブルを参照する外部キー制約が書ける。

CREATE TABLE foo (
  id int PRIMARY KEY
) PARTITION BY RANGE (id);

CREATE TABLE foo_100 PARTITION OF foo FOR VALUES FROM (0) TO (100);

CREATE TABLE bar (
  id int PRIMARY KEY,
  foo_id int NOT NULL REFERENCES foo
);

INSERT INTO foo (id) VALUES (0);

INSERT INTO bar (id, foo_id) VALUES (0, 0); -- 制約を満たすので挿入できる。
INSERT INTO bar (id, foo_id) VALUES (1, 1); -- エラーとなる。

MySQLでは書けないはず。

https://dev.mysql.com/doc/refman/9.6/en/partitioning-limitations-storage-engines.html

プログラミング言語の意味論で、small-step semanticsとbig step semanticsの中間的なbig-stop semanticsというものがあるらしい。

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

直感的には次のような感じっぽい。

• small-step semantics: 式e1は1ステップ計算すると式e2になる。
• big-step semantics: 式eは最終的に値vになる。
• big-stop semantics: 式e1は何ステップか計算するとe2になる。

big-step semanticsっぽく簡単に書けて、停止しない計算も素直に扱える。

アメリカのCBPやICEが使っている顔識別技術はNEC製とのこと。

https://www.wired.com/story/mobile-fortify-face-recognition-nec-ice-cbp/

「NECグループ AIと人権に関するポリシー」と関連ページ

https://jpn.nec.com/sustainability/ja/social/ai.html

https://wisdom.nec.com/ja/feature/biometrics/2022032501/index.html

https://jpn.nec.com/corporateblog/202409/04.html

https://jpn.nec.com/techrep/journal/g18/n02/180205.html

https://soudai.hatenablog.com/entry/2026/01/27/185902

「startならstopの方が対になるし、期間を表すならfrom-toやbegin-endの方が意味が通りやすい」というのは直感的にはそんなことはないと思うけど、何を示せたらそうである/そうでないと言えるだろうか(そもそもendとstopはニュアンス違う気もする)。

動詞のstartとendが対で使われている用例は英英辞典などにも多くあるけど、「本来は誤用だったが慣用化した」への反論としては弱い。

他の例: Javaの文字列のstartsWithとendsWith https://docs.oracle.com/en/java/javase/25/docs/api/java.base/java/lang/String.html#startsWith(java.lang.String)

また、動詞のstart/endではないが、日付の開始日と終了日はstart/endで表す例が多い。

例1: Wikipediaで日付の範囲を指定するテンプレート https://en.wikipedia.org/wiki/Template:Start_and_end_dates

例2: PostgreSQLの日付のOVERLAPS演算子の説明 https://www.postgresql.org/docs/current/functions-datetime.html

例3: JavaScriptのTimeRanges https://developer.mozilla.org/en-US/docs/Web/API/TimeRanges

例4: pandas.date_range https://pandas.pydata.org/pandas-docs/stable/reference/api/pandas.date_range.html

その他、カレンダーアプリでも開始日/終了日はstart date/end dateが多いっぽい?

機械学習の際、参考となるモデルを使うことで学習を効率化する手法についての論文。

https://arxiv.org/abs/2505.06699

学習中モデルの損失関数から、参考モデルの損失関数を引いたものを使って学習する。

直感的には、参照モデルでは上手く扱える(損失関数が小さい)が、学習中のモデルで上手く扱えない(損失関数が大きい)ようなデータを重点的に学習することで学習を効率化する。

知識蒸留とは違い、参照モデルよりも良い性能を出せる可能性がある。また、参照モデルとアーキテクチャが異なっていてもよい。

手法自体は以前から知られていて、学習データの絞り込みや重み付けに使われていたが、本論文では数学的な分析をしていて、学習データの絞り込みや重み付けをしなくても損失関数の入れ替えだけで効率化できることを示している。

理論的には、学習後の危険関数の上界の式に「最適なモデルの損失関数の分散」が通常は含まれるのに対し、これが「(最適なモデルの損失関数 - 参照モデルの損失関数)の分散」となることで、参照モデルが最適なモデルに十分近ければ上界がその分小さくなる、ということらしい。

コード的には、パラメータを更新する式に勾配∇avg(exp(損失関数))が含まれるので、損失関数が大きい部分は勾配も大きくなるということっぽい?