tab leader
plural of dejunker
(computing) In word processing, a series of repeated text characters filling the area of a tab stop, such as the row of periods/dots leading to the name of a chapter in a table of contents.
(law) The transfer of an estate back to the person who demised it; reconveyance.
(mathematics) A method for proving Gödel's incompleteness theorems without the assumption that the theory being considered is ω-consistent. While Gödel's original proof uses a sentence that states ...
目次で章のタイトルとページ番号を揃えるために、それらの間にタブリーダーを挿入してください。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
