|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 対 : [つい] 【名詞】 1. pair 2. couple 3. set ・ 関 : [せき, ぜき] (suf) honorific added to names of makuuchi and juryo division sumo wrestlers ・ 関数 : [かんすう] (n) function (e.g., math, programming, programing) ・ 数 : [すう, かず] 1. (n,n-suf) number 2. figure
対関数(ついかんすう、英: Pairing function)とは、2つの自然数を一意に符号化して1つの自然数を返す関数である。 集合論では、任意の対関数を用いて、有理数全体の集合 Q が可算濃度であることを証明できる。理論計算機科学では、自然数のベクトルの関数 ''f'' : N''k'' → N を新たな関数 ''g'' : N → N に変換するために使われる。 全ての対関数は原始再帰関数である。 == 定義 == 対関数は次のような全単射関数である。 : 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「対関数」の詳細全文を読む スポンサード リンク
|