96
edits
Talk:German terminology: Difference between revisions
Jump to navigation
Jump to search
Talk:German terminology (view source)
Revision as of 07:44, 24 November 2020
, 07:44, 24 November 2020→Case folding
(→id="dtwords": new section) |
MichaelBaas (talk | contribs) |
||
| Line 3: | Line 3: | ||
== Case folding == | == Case folding == | ||
Es scheint keinen deutschen Begriff zu geben, der exakt dem entspricht, was case-folding tut. "Normalisierung" überlappt, scheint mir aber nicht ganz passend zu sein. Ich schlage vor, das Wort einzudeutschen | Es scheint keinen deutschen Begriff zu geben, der exakt dem entspricht, was case-folding tut. "Normalisierung" überlappt, scheint mir aber nicht ganz passend zu sein. Ich schlage vor, das Wort einzudeutschen und als *ein* Wort zu schreiben: "casefolding". | ||
== Character vector == | == Character vector == | ||