機械翻訳について

リスト関数

Name(parameters) パラメータ・ドメイン 説明

list contains(list, element)

list、nullを含むセマンティク・ドメインの要素

listにはelementが含まれていますか?

list contains([1,2,3], 2) = true

count(list)

list

listのサイズを返します

count([1,2,3]) = 3

minimum(list)

比較可能なアイテムのリスト

最大アイテムを戻します

minimum([1,2,3]) = 1

maximum(list)

比較可能なアイテムのリスト

最大アイテムを返します

maximum([1,2,3]) = 3

sum(list)

数字(のリスト)

数の合計を返す

sum([1,2,3]) = 6

mean(list)

数字(のリスト)

数値の算術平均(平均)を返す

mean([1,2,3]) = 2

sublist(list, start position, length?)

list, number1, number2

listlengthの(またはすべての)要素をlist[start position]から返します。最初の位置は1、最後の位置は-1

sublist([1,2,3],1,2) = [2]

append(list, item…)

list、nullを含む任意の要素

itemsを追加した新しいlistを返します

append([1], 2, 3) = [1,2,3]

concatenate(list…)

list

引数を連結した新しいlistを返します

concatenate([1,2],[3]) = [1,2,3]

insert before(list, position, newItem)

list、number1、nullを含む任意の要素

positionnewItemが挿入された新しいlistを返します

insert before([1,3],1,2) = [1,2,3]

remove(list, position)

list, number1

positionのアイテムが削除されたlistが削除されました

remove([1,2,3], 2) = [1,3]

reverse(list)

list

listを逆にします

reverse([1,2,3]) = [3,2,1]

index of(list, match)

list、nullを含む任意の要素

matchを含むlistの位置の昇順リストを返す

index of([1,2,3,2],2) = [2,4]

union(list…)

list

重複を除いて連結

union([1,2],[2,3]) = [1,2,3]

distinct values(list)

list

重複削除

distinct values([1,2,3,2,1]) = [1,2,3]

flatten(list)

list

ネストしたリストをフラットにする

flatten([[1,2],[[3]], 4]) = [1,2,3,4]