der
Derivationの略
「由来」のこと
特にこのサイトでは「この名前をつけるまでの由来」「この概念を思いつくまでの背景」といった意味で使う
使いたい since 2023/06/09 10:05:04