最短知名原則2023/10/21 4:22:00 知名の付け方の原則。 知番で同一性が保証され全知検索を繰り返すデルンでは，出来るだけ簡潔な（扱いやすい）知名を用いることが望ましい。 希哲15年（2021年）6月5日，輪郭整備に導入。
あれ2024/3/11 21:45:00 最近（2023年10月〜）は、最短知名原則を採用し、置き換えつつある。 以前は「正式名称で書いてきっちりせねば」という感じだったが、「知名が長いとめんどくさいしもういいか」と思い始めた。 とはいえ、一度は「正式名称で書いてきっちりせねば」を経由しないと、ここには至らない気がする。仏陀が苦行では悟りに至らないと言っていてもなお、それを確認するために苦行をするような感じ。
