項数とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > 項数の意味・解説 

アリティ

(項数 から転送)

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2025/01/09 08:16 UTC 版)

アリティ: arity)とは、代数学論理学計算機科学などにおいて、関数演算(算法)が取る引数オペランド)の個数を意味する用語である[1]。複合語としては、「変数」(例えば、二変数函数、多変数函数)や単に「項」(二項演算多項関係など)あるいはまた(不定元の数という意味で)「(n-)元」(例えば、二元連立一次方程式)という訳語が当てられてきた概念にあたる[2]。アリティそのものに関しては項数のような訳語が当てられる場合もあれば[3]、アリティあるいは arity とカタカナ・英単語のまま用いられることも多い[4]

数学におけるアリティ

典型的には、関数 f定義域が、ある集合 Sn 項の直積である場合、f のアリティは n であると言われる。 また、ある集合 S 上の n-項関係 (n-ary relation) は、形式的に集合の n 項の直積 Sn部分集合、もしくは Sn を定義域とする特性関数として表され、これに対しても n をアリティと呼ぶ。

この概念は特に代数構造を抽象化して統一的に扱おうとする普遍代数学において有用である。 例えばは、ある空でない集合 S 上に2項演算 (-)・(-) : S × SS と、定数である単位元 eS、および逆元を与える単項演算 (-)−1 : SS が与えられたものと見ることができる。 単位元は形式上 0 項の演算 e : 1 → S (ただし、1 = {*} は 1 点集合) と同一視できるので、群とは、集合 S に異なるアリティをもつ演算の集合 Ω = {e, (-)−1, ・} および演算が満たすべき等式の集合 E = {ex = x, xe = x, xx−1 = e, x−1x = e, (xy)・z = x・(yz)} が与えられたものだとみることができる。 同様にとは、非空の集合 S と、(特定の性質 E を備えた) 4 つの演算 Ω = {0, −, +, ・} の対だとみなすことができる。 これら 4 つの演算はすべて値域を S とするが、定義域のアリティは様々である。 演算からアリティを与える関数 ar: ΩN を考えるなら、環の場合 ar(0) = 0, ar(-) = 1, ar(+) = ar(・) = 2 のようになる。 このようにしてアリティの異なる演算の集合を通じて様々な代数構造を統一的に扱う道が開ける。

計算機科学におけるアリティ

計算機科学において、プログラミング言語における関数や手続き(プロシージャー)入力としてとる引数の個数を、その関数・手続きのアリティという[5][6]。アリティの概念は、特に言語が可変個の引数を許すような仕組みを持つ場合に有用である。 一方、関数からの出力として返る値が、タプルなどによりいくつかの要素からなるような値を返すような場合、その要素数をコアリティ (co-arity) と呼ぶことがある。

データベース分野でのアリティは、関係データベースにおける、その理論としての関係モデルの文脈で使われる。「ある関係(リレーション) に含まれる属性 (attribute) の数」という意味で「その関係のアリティ」と表現する。

語源

アリティの語は、ラテン語由来の英単語で単項を unary、二項を binary、三項を ternary のように接尾辞 -ary を付けて呼んだことに由来し、独立させたこの接尾辞に名詞語尾 -ity を付けて成立した。元となった各項数の呼称には以下のようなバリエーションがある。

  • 零項英語版 - 引数のない関数、メソッド。無項演算と呼ばれることがある。nullary, niladic, medadic
  • 単項 - 引数を1つとる関数、メソッド。unary, monadic
  • 二項 - 引数を2つとる関数、メソッド。binary, dyadic
  • 三項 - 引数を3つとる関数、メソッド。ternary, triadic
  • 多項 - 2つ以上の引数をとる関数、メソッド。大抵の場合引数は有限項数だが、一般には無限変数の場合を扱いうる表現。multiary, multary, polyadic、無限変数の場合 infinitary
  • n-項 - 引数を(有限の)n 個(しかしここでいう n は単なるプレースホルダであり、別の文字に取り換えうる)とる関数、メソッド。多項演算の同義語として扱われることも多いがふつう無限変数の場合までさすことはない。また、n は(任意の値を指定し得るけれども)確定の値を持つのであり、可変長とは異なる。n-ary, finitary
  • 可変長引数 - プログラミングにおける概念で、引数の個数が指定されていないもの。variable arity, variadic

関連項目

  • 演算子
  • 結合価
  • 順序組
  • 指標 (数理論理学)英語版: 各構造が持つ演算および関係とそのアリティの組をすべて指定するもの。普遍代数学における代数系の「型」など。

脚注・出典

  1. ^ Stanley Burris; H.P. Sankappanavar. “A Course in Universal Algebra” (PDF). p. 23. 2023年7月13日閲覧。
  2. ^ しかし、同じ語でも、例えば数列多項式などに用いられる「項」や「項数」は、アリティではなく "term" に関する言及である。
  3. ^ 照井一成. “「代数学入門」入門としての普遍代数学” (PDF). 2023年7月13日閲覧。
  4. ^ 辻下徹. “計算数学 1” (PDF). 2023年7月13日閲覧。
  5. ^ 関数のアリティ (arity)”. ATS プログラミング入門. 2023年7月15日閲覧。
  6. ^ Method クラス”. Ruby 3.2 リファレンスマニュアル. 2023年7月13日閲覧。

外部リンク


「項数」の例文・使い方・用例・文例

Weblio日本語例文用例辞書はプログラムで機械的に例文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。


英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「項数」の関連用語

項数のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



項数のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアのアリティ (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。
Tanaka Corpusのコンテンツは、特に明示されている場合を除いて、次のライセンスに従います:
 Creative Commons Attribution (CC-BY) 2.0 France.
この対訳データはCreative Commons Attribution 3.0 Unportedでライセンスされています。
浜島書店 Catch a Wave
Copyright © 1995-2025 Hamajima Shoten, Publishers. All rights reserved.
株式会社ベネッセコーポレーション株式会社ベネッセコーポレーション
Copyright © Benesse Holdings, Inc. All rights reserved.
研究社研究社
Copyright (c) 1995-2025 Kenkyusha Co., Ltd. All rights reserved.
日本語WordNet日本語WordNet
日本語ワードネット1.1版 (C) 情報通信研究機構, 2009-2010 License All rights reserved.
WordNet 3.0 Copyright 2006 by Princeton University. All rights reserved. License
日外アソシエーツ株式会社日外アソシエーツ株式会社
Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved.
「斎藤和英大辞典」斎藤秀三郎著、日外アソシエーツ辞書編集部編
EDRDGEDRDG
This page uses the JMdict dictionary files. These files are the property of the Electronic Dictionary Research and Development Group, and are used in conformance with the Group's licence.

©2025 GRAS Group, Inc.RSS