HeaderSize

HeaderSize

Datasetのオプションで，ヘッダの高さと幅を指定する．

詳細

  • HeaderSizeの設定は，任意のサイズ指定，あるいは同じものを返す純関数でよい．
  • オプションHeaderSizesize のとき，データ集合中のすべてのヘッダに指定されたサイズが使われる．
  • HeaderSizeAutomaticは，行や列の内容に適するようにサイズを自動的に計算するように指定する．
  • HeaderSizeの設定を以下のように与えて異なる項目に別々に適用することができる．
  • specspec をすべてのヘッダ人適用する
    {spec1,spec2,…,specn}speckをDatasetのレベル k のヘッダに適用する
    {spec_(1),spec_(2),...,spec_(n), rules}個々のヘッダに明示的な規則も使えるようにする
  • speckは以下の形でよい．
  • {s1,s2,…,sn}s1から snまでを使い，次にデフォルトを使う
    {{c}}すべての場合に c を使う
    {{c1,c2}}c1と c2を交互に使う
    {{c1,c2,…}}すべての ciを循環的に使う
    {s,{c}}s を使い，次に c を繰り返し使う
    {s1,{c},sn}s1を使い，次に c を繰り返し使うが，最後は snを使う
    {s1,s2,…,{c1,c2,…},sm,…,sn} 最初の一続きの siを使い，次に ciを循環的に使い，最後に siの最後の一続きを使う
    {s1,s2,…,{},sm,…,sn}はじめに siの最初の一続きを使い，最後に終りの一続きを使う
  • 規則は ispec の形をしている．i はデータ集合内の位置を指定する．
  • 位置はパターンでもよい．
  • ヘッダの位置は，ヘッダにカーソルを合わせてデータ集合の一番下から読むことができる．
  • 規則の左辺がリストではないとき，設定は左辺をキーあるいは指標として持つ任意の位置に適用される．
  • サイズを返す純関数 f を任意のサイズの代りに使うことができる．設定は f[item,position,data]で与えられる．data はデータ集合の第1引数である．

例題

すべて開くすべて閉じる

例  (2)

すべてのヘッダの横幅を同じ文字数にする：

行のヘッダを最低でも4文字分の高さにし，列のヘッダを最低でも5文字分の幅にする：

一般化と拡張  (1)

位置にパターンを使う：

考えられる問題  (1)

表示されたヘッダのサイズは，ヘッダが低レベルの行または列に合わせて大きくならなければならないなら，指定されたサイズよりも大きくなるかもしれない：

Wolfram Research (2020), HeaderSize, Wolfram言語関数， https://reference.wolfram.com/language/ref/HeaderSize.html.

テキスト

Wolfram Research (2020), HeaderSize, Wolfram言語関数， https://reference.wolfram.com/language/ref/HeaderSize.html.

CMS

Wolfram Language. 2020. "HeaderSize." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/HeaderSize.html.

APA

Wolfram Language. (2020). HeaderSize. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/HeaderSize.html

BibTeX

@misc{reference.wolfram_2024_headersize, author="Wolfram Research", title="{HeaderSize}", year="2020", howpublished="\url{https://reference.wolfram.com/language/ref/HeaderSize.html}", note=[Accessed: 22-November-2024 ]}

BibLaTeX

@online{reference.wolfram_2024_headersize, organization={Wolfram Research}, title={HeaderSize}, year={2020}, url={https://reference.wolfram.com/language/ref/HeaderSize.html}, note=[Accessed: 22-November-2024 ]}