stanford-oval/wikipedia huggingface dataset:
レーヴェル・ウンベルト・アウヴェス・アラウージョ
経歴 > 代表

マノ・メネーゼスにより2010年7月26日のアメリカとの親善試合に向けたメンバーとしてブラジル代表に初招集され、同年10月7日のイランとの親善試合に途中出場し、代表デビュー。2012年のスーペルクラシコ・デ・ラス・アメリカスではキャプテンとしてプレーした。
2013年4月24日にアトレチコ・ミネイロの本拠地であるミネイロンで行われたチリとの親善試合で代表初得点を挙げた。
| # | 日時 | 場所 | 対戦相手 | スコア | 最終結果 | 大会 |
| --- | --- | --- | --- | --- | --- | --- |
| 1. | 2013年4月24日 |  ミネイロン、ベロオリゾンテ |  チリ | 1 - 1 | 2 - 2 | 親善試合 |
タイトル > クラブ

コパ・ド・ブラジル：2005
カンピオナート・ミネイロ：2012, 2013, 2020, 2021, 2022, 2023
コパ・リベルタドーレス：2013
レコパ・スダメリカーナ:2014
コパ・ド・ブラジル:2014, 2021
カンピオナート・ブラジレイロ・セリエA: 2021
スーペルコパ・ド・ブラジル: 2022
カンピオナート・ガウショ:2015, 2016
カンピオナート・カリオカ: 2017
タイトル > 代表

スーペルクラシコ・デ・ラス・アメリカス：2011、2012
FIFAコンフェデレーションズカップ：2013
タイトル > 個人

プレミオ・クラッキ・ド・ブラジレイロン：2011、2012
カンピオナート・ガウショベストイレブン：2009
カンピオナート・ミネイロベストイレブン：2011、2012, 2013
カンピオナート・カリオカベストイレブン：2017
ボーラ・ジ・プラッタ：2012, 2016
VISAッピ

VISAッピ（びざっぴ）は、かつてビザ・インターナショナルが日本での導入を試みたクレジット決済サービスの名称である。
NTTドコモのiアプリ・赤外線通信機能対応携帯電話（主に50Xiシリーズ）で、店舗でのクレジット決済時に専用iアプリを起動し、携帯電話のIrDAポートをクレジット決済照会端末（CAT）に外付けした専用IrDAポートへ向けてiアプリの送信ボタンを押し、VISAッピ情報を送信することでクレジット決済が行われる仕組みである。利用代金は紐付けしたVISAカードに合算されて請求された。
2003年10月にVISAカードを発行する日本のクレジットカード会社と共同で商用化トライアルを開始し、2004年春からの本格導入を計画していた。しかし、時期を前後してFelicaを利用したおサイフケータイによるポストペイ決済サービスの実用化が迫っており、商用化が見送られた。
VISAッピのトライアルに参加した日本信販・UFJカード（三菱UFJニコス）はSmartplus（Visa Touch）を、三井住友カード・ユーシーカードはドコモが開発したiDを、オーエムシーカードはジェーシービーが開発したQUICPayへと、それぞれ独自規格によって携帯電話によるポストペイ決済を2005年以降商用化している。なお、後にVisaが導入している非接触決済サービス「Visa payWave」→「Visaのタッチ決済」との関わり合いは皆無。
オリオール・パーク

オリオール・パーク（Oriole Park）は、アメリカのメリーランド州ボルチモアにかつて存在した複数の野球場の名称である。ボルチモアに本拠を置く野球チームは球団名を「オリオールズ」にするのが半ば慣習となっており、そのためオリオール・パークという球場も複数存在した。現在MLBに参加しているボルチモア・オリオールズの本拠地球場についてはオリオール・パーク・アット・カムデン・ヤーズを参照のこと。
歴史

最初にオリオール・パークと呼ばれた球場は、19世紀終盤のものである。1882年にアメリカン・アソシエーションというリーグが設立された際、ボルチモアにオリオールズというチームが誕生した。このチームはシーズン当初ニューイントン・パークを本拠地にしていたが、シーズン途中で新しく建設された球場に移転した。これが初代のオリオール・パークである。5,000人収容の新球場は、その後1889年のシーズン終了までオリオールズの本拠地となった。
その年限りでオリオールズはアメリカン・アソシエーションからいったん離脱したが、翌1890年のシーズン途中（8月27日）から復帰し、再び同リーグに参戦。このときオリオールズの本拠地となったのが、別の場所に新しく建設された二代目のオリオール・パークである。ただしこの新球場は「暫定的本拠地」の色合いが濃い。1890年に22試合、1891年に14試合の計36試合を戦っただけで、オリオールズは1891年のシーズン途中（5月11日）から新球場ユニオン・パークへ移転した。
それから10年後の1901年、アメリカンリーグに新球団ボルチモア・オリオールズ（現ニューヨーク・ヤンキース）が誕生。新オリオールズは、旧オリオールズが1890年から1891年にかけて本拠地にしていた球場の跡地に新しい球場を建て直し、旧球場と同じオリオール・パークと名付けた。オリオールズは2年間三代目のオリオール・パークでプレーし、その後ア・リーグのナ・リーグへの対抗策の一環としてニューヨークへ移転した。翌1903年からはマイナーリーグの新球団オリオールズの本拠地となり、若き日のベーブ・ルースらがプレーした。
カムデン・ヤーズ登場前までは最も知名度が高かった四代目のオリオール・パークは、開場当初はテラピン・パーク（Terrapin Park）という名称だった。テラピン・パークは、1914年創設のフェデラル・リーグに参戦していたボルチモア・テラピンズの本拠地だった。オリオールズの本拠地三代目のオリオール・パークの北に建設され、一部こそ鉄骨やコンクリートを使っていたが、構造の大部分は木製だった。
テラピンズはオリオールズに対し、ルースら有力選手数人をテラピンズに入団させるよう圧力をかけるようになった。圧力から逃れるため、オリオールズはバージニア州リッチモンドへ移転した。フェデラル・リーグは1915年、活動期間2年で解散。翌1916年、オリオールズはボルチモアへ戻ってきた。このときオリオールズは、かつての本拠地よりも新しいテラピン・パークに目をつけ、オリオール・パークと改称して本拠地にした。
オリオールズはこの年から29年弱のあいだ、オリオール・パークを本拠地にし、1920年代初期にはインターナショナルリーグ7連覇を達成した。その一方で、試合終了後には木造部分を水洗いするなど、球場の整備も欠かさなかった。しかし1944年7月3日、出火原因不明（タバコの火の不始末とも言われる）の火災が発生。球場や備品などを焼き尽くした。本拠地球場を突然失ったオリオールズは、市内にあったアメフト用スタジアムのミュニシパル・スタジアムへと移転した。
その年インターナショナルリーグを制したオリオールズは、続くジュニア・ワールドシリーズでもルイビル・コロネルズを4勝2敗で下した。ボルチモアで開催された試合ではオリオール・パークでは入りきらないくらいの大観衆がミュニシパル・スタジアムへ詰めかけた。このことが大リーグ各球団のオーナーの注目を集め、ボルチモアは魅力的な球団移転先として急浮上した。
オリオールズの移転に刺激されたボルチモア市はミュニシパル・スタジアムを改装し、メモリアル・スタジアムへ名称を変更した。1954年、セントルイス・ブラウンズがミズーリ州セントルイスからボルチモアに移転し、ボルチモア・オリオールズへ球団名を変更。ボルチモアに52年ぶりに大リーグ球団が来たのだった。
| 0 | 1 | 2 |
| --- | --- | --- |
| 前本拠地： n/a  -  | ニューヨーク・ヤンキースの本拠地 1901 - 1902 | 次本拠地： ヒルトップ・パーク 1903 - 1912  |
| 表 話  歴ニューヨーク・ヤンキース |
| --- | --- |
球団:  歴史  選手  監督  成績  YESネットワーク 
歴代本拠地:  オリオール・パーク  ヒルトップ・パーク  ポロ・グラウンズ  旧ヤンキー・スタジアム  シェイ・スタジアム  ヤンキー・スタジアム 
文化:  サブウェイ・シリーズ  『ニューヨーク・ニューヨーク』  『打撃王』  『スカウト/涙の81球』  『くたばれ!ヤンキース』  ニューヨーク・シティFC 
永久欠番:  1  2  3  4  5  6  7  8  8  9  10  15  16  20  21  23  32  37  42  42  44  46  49  51 
ワールドシリーズ優勝（27回）:  1923  1927  1928  1932  1936  1937  1938  1939  1941  1943  1947  1949  1950  1951  1952  1953  1956  1958  1961  1962  1977  1978  1996  1998  1999  2000  2009 
ワールドシリーズ敗退（13回）:  1921  1922  1926  1942  1955  1957  1960  1963  1964  1976  1981  2001  2003 
リーグ優勝（40回）:  1921  1922  1923  1926  1927  1928  1932  1936  1937  1938  1939  1941  1942  1943  1947  1949  1950  1951  1952  1953  1955  1956  1957  1958  1960  1961  1962  1963  1964  1976  1977  1978  1981  1996  1998  1999  2000  2001  2003  2009 
できごと:  バンビーノの呪い  1978年のアメリカンリーグ東地区優勝決定プレイオフ  パインタール事件  伊良部メジャーリーグ移籍騒動  コア4  2006年ニューヨーク小型機衝突事故 
傘下マイナーチーム:  スクラントン・ウィルクスバリ・レイルライダース（AAA級）  サマセット・ペイトリオッツ（AA級）  ハドソンバレー・レネゲーズ（High-A級）  タンパ・ターポンズ（Low-A級）  フロリダ・コンプレックスリーグ・ヤンキース（Rookie級）  ドミニカン・サマーリーグ・ヤンキース（Rookie級）
ブリスク・ド・ガスコーニュ

| ブリスク・ド・ガスコーニュ Brisque de Gascogne>  |
| --- | --- |
称号:  アキテーヌ公妃 ポワティエ伯夫人
出生:  970/80年 
死去:  1018年 
配偶者:  アキテーヌ公ギヨーム5世
子女:  ウード アドレース
家名:  ガスコーニュ家
父親:  ガスコーニュ公ギヨーム・サンシュ
母親:  ユラカ・ド・ナヴァール
テンプレートを表示
ブリスク・ド・ガスコーニュ（フランス語：Brisque de Gascogne, 970/80年 - 1018年）は、アキテーヌ公妃及びポワティエ伯夫人。
ガスコーニュ公ギヨーム・サンシュと妃ユラカ・ド・ナヴァールの娘にあたる。ギヨーム５世と結婚したことにより、ガスコーニュをポワティエ家の所領とした。
結婚と子女

1011年始めにアキテーヌ公・ポワティエ伯ギヨーム5世の2人目の妃となり、以下2子の母となった。
ウード（1039年没） - 1032年に伯父サンシャ・ギヨームの死によりガスコーニュ公となり、その後1038年に異母兄ギヨーム6世の死によりアキテーヌ公となる。
アドレース（アデライードまたはアリス） - アルマニャック伯ジェロー1世(フランス語版)と結婚し、その後、ロマーニュ副伯(フランス語版)アルノー2世と結婚した。
ブリスクの結婚を機に、ガスコーニュは息子ウードに統治権が渡り、アキテーヌ所領の一部となった。
ブリスクは1018年に死去し、遺した夫ギヨーム５世は1019年にブルゴーニュ公女アニェスと再婚した。
ミュンヒハウゼン (アム・クリステンベルク)

| --- | --- |
: この項目では、ドイツ、ヘッセン州中部の町について説明しています。その他の用法については「ミュンヒハウゼン」をご覧ください。
| 紋章 | 地図 （郡の位置） |
| --- | --- |

基本情報
連邦州:: ヘッセン州
行政管区:: ギーセン行政管区
郡:: マールブルク＝ビーデンコプフ郡


緯度経度:: 北緯50度57分38秒 東経08度43分06秒﻿ / ﻿北緯50.96056度 東経8.71833度﻿ / 50.96056; 8.71833座標: 北緯50度57分38秒 東経08度43分06秒﻿ / ﻿北緯50.96056度 東経8.71833度﻿ / 50.96056; 8.71833
標高:: 海抜 284 m
面積:: 41.54 km2
人口::  3,338人（2023年12月31日現在） 
人口密度:: 80 人/km2
郵便番号:: 35117
市外局番:: 06423, 06452, 06457
ナンバープレート:: MR, BID
自治体コード::  	06 5 34 015 
行政庁舎の住所:: Marburger Straße 82 35117 Münchhausen
ウェブサイト:: www.gemeinde-muenchhausen.de
首長:: ペーター・フンク (Peter Funk)
郡内の位置

地図

ミュンヒハウゼン (ドイツ語: Münchhausen) は、ドイツ連邦共和国ヘッセン州マールブルク＝ビーデンコプフ郡に属す町村（以下、本項では便宜上「町」と記述する）である。この町はヘッセン州中部の大学都市マールブルクの北 20 km に位置する。これはマールブルク＝ビーデンコプフ郡の北縁に当たる。この町が現在の町域となったのは1974年で、その広さは約 41 km2 である。
地理 > 位置

町の西側にはロタール山地がある。町の東境はブルクヴァルトであり、これに属すクリステンベルクがミュンヒハウゼン地区のすぐ隣に位置している。
ミュンヒハウゼン地区およびジムツハウゼン地区はヴェトシャフト川の谷に位置する。ヴォルマー地区は同名のヴォルマー川沿いにある。この川はミュンヒハウゼンでヴェトシャフト川に合流する。オーバーアスフェ地区およびニーダーアスフェ地区をアスフェ川が流れている。
ミュンヒハウゼンの町は鉄道ヴァーブルク - ザルナウ線沿線に位置している。この路線のミュンヒハウゼンを含む南部分は「ブルクヴァルト鉄道」と呼ばれている。
地理 > 隣接する市町村

ミュンヒハウゼンは、北西はバッテンベルク、北東はブルクヴァルトおよびローゼンタール（以上、3市町村はヴァルデック＝フランケンベルク郡）、東と南はヴェッター、西はビーデンコプフ（ともにマールブルク＝ビーデンコプフ郡）と境を接する。
地理 > 自治体の構成

ミュンヒハウゼン（1,233人）
ニーダーアスフェ（800人）
オーバーアスフェ（340人）
ジムツハウゼン（420人）
ヴォルマー（750人）
人口は、2009年5月現在。
歴史

ミュンヒハウゼン・アム・クリステンベルクの町は、1974年1月1日にヘッセン州の地域再編に伴ってそれまで独立した町村であったミュンヒハウゼン、ジムツハウゼン、ニーダーアスフェ、オーバーアスフェ、ヴォルマーが合併して成立した。
行政 > 議会

ミュンヒハウゼンの町議会は、23議席からなる。
行政 > 紋章

この町の紋章は、赤地に銀（白）の先端が広がった先広十字。その中に黒い5本スポークの輪が描かれている。紋章の十字は中世の教会があるクリステンベルクを、5本スポークの輪は5つの地区が町を形成していることを示している。この輪は、また、かつてマインツ選帝侯に属していたことを想起させる。「マインツの輪」と呼ばれる6本スポークの輪は旧マインツ選帝侯領の市町村の紋章に広く用いられているデザインである。
引用

↑  Hessisches Statistisches Landesamt: Bevölkerung in Hessen am 31.12.2023 (Landkreise, kreisfreie Städte und Gemeinden, Einwohnerzahlen auf Grundlage des Zensus 2011)]
↑  2011年3月27日の町議会議員選挙結果、ヘッセン州統計局（2012年5月12日 閲覧）
クリステンベルクのマルティン教会
R-30

R-30は、以下のようなものの名称。
R-30掲示板。30代を対象とした画像掲示板。ニュースや仕事、結婚の話題。
R-30「ブラヴァー」 - ロシア連邦の潜水艦発射弾道ミサイル。
大型ミサイル艇R-30 - ロシア海軍の大型ミサイル艇ブジョーノフスクのこと。
67式30型ロケット弾発射機 - 陸上自衛隊の自走ロケット弾発射機
代数的データ型

代数的データ型（だいすうてきデータがた、英: algebraic data type）とはプログラミング、特に関数型プログラミングや型システムにおいて使われるデータ型である。それぞれの代数的データ型の値には、1個以上のコンストラクタがあり、各コンストラクタには0個以上の引数がある。
代数的データ型の値（データ）の感覚的な説明としては、引数で与えられた他のデータ型の値を、コンストラクタで包んだようなもの、である。コンストラクタに引数がある代数データ型は複合型（他のデータ型を組み合わせて形成する型）である。
概要

Haskellにおける、葉に整数型の値を持つ（分岐は部分木しか持たない）、二分木の例で説明する。以下のようなdata宣言で、データ型を宣言する。
data Node = Leaf Integer | Branch Node Node
  deriving (Show)  -- 表示させて確認するために付加してあるもので、必須ではない。
この宣言でNodeという名前の型を宣言している（Haskellでは型名の先頭は大文字でなければならない）。縦棒（"|"）で区切って、各コンストラクタによる形を並べる。LeafとBranchはコンストラクタ（データコンストラクタ）である。コンストラクタLeafは1個のIntegerを引数として取り、Branchは2個のNodeを引数として取る（再帰データ型の例にもなっている）。Haskellではコンストラクタの名前も、先頭は大文字でなければならない（ここでは避けたが、型とコンストラクタに同じ名前を使っても構わない）。
Haskellインタプリタghciで、この型の値を入力し表示させた例を示す。
*Main> Leaf 1
Leaf 1
*Main> Branch (Branch (Leaf 1) (Leaf 2)) (Branch (Leaf 3) (Leaf 4))
Branch (Branch (Leaf 1) (Leaf 2)) (Branch (Leaf 3) (Leaf 4))
中のデータにアクセスするにはパターンマッチングを使う。ここで定義した型の木の深さを返す関数の例で次に示す。
depth tree = case tree of
  Leaf _     -> 1
  Branch a b -> 1 + max (depth a) (depth b)
応用

基本的な代数データ型としては、多くの関数型言語において、言語組み込みのリスト型が用意されており、空リストのためのコンストラクタに相当するリテラルと、追加したい要素と残りのリストを引数に取るコンストラクタ（Lispのen:cons）に相当する、中置記法風のコンストラクタ（ ":" など）が言語組み込みで用意されている。
代数的データ型の特殊な例として、直積型（1つのコンストラクタだけを持つ）と列挙型（引数なしの多くのコンストラクタを持つ）がある。
前述の二分木の例において、コンストラクタLeafは Integer -> Node という型を、コンストラクタBranchは Node -> Node -> Node という型を持つ。型のみを見た場合、関数と同じ型をしている。しかし、関数とは違いコンストラクタは単にそこにあるだけのものであり、評価（実行）されるものではなく、オブジェクト指向言語におけるコンストラクタとは異なる。式として見た場合、関数に引数を適用する式は簡約可能だが、コンストラクタによる式は全体としてはそれ以上簡約できない、値をあらわす式である。
関数型言語で抽象データ型を実現する手法のひとつに、モジュールシステムによるスコープ制限を利用して、コンストラクタを掩蔽し、型のみを公開する、という手法がある。データコンストラクタそのものの代わりに、相当する引数をとって、目的の型の値を返すような、コンストラクタを抽象化した関数を定義し、そちらの関数を公開する。この関数が、オブジェクト指向言語におけるコンストラクタに相当する。
他の言語での例

OCamlではヴァリアント型と言い、前述の二分木と同等のデータ型は、次のように書く。
type node = Leaf of int | Branch of node * node
また、伝統的なMLではdatatypeというキーワードを使う。いずれも、ofの後に1個しか型を指定できないので、Branchのように組み込みの直積型であるタプルを併用する必要がある。MLでもコンストラクタの先頭は大文字だが、型名の先頭は小文字である。
Haskellの場合と同様にして、インタプリタ上で値を作る例と深さを返す関数の例を示す。
# Leaf 1;;
- : node = Leaf 1
# Branch (Branch (Leaf 1, Leaf 2), Branch (Leaf 3, Leaf 4));;
- : node = Branch (Branch (Leaf 1, Leaf 2), Branch (Leaf 3, Leaf 4))
let rec depth tree = match tree with
  Leaf _        -> 1
| Branch (a, b) -> 1 + max (depth a) (depth b)
Visual Prologでは次のように書く。
domains
 tree =
 empty();
 leaf(integer Leaf);
 node(tree Left, tree Right).
この例では、leafとnodeの他に、空の木を示すemptyがある。
理論

集合論において代数的データ型と等価なものとして直和がある。この集合の各元はタグ（コンストラクタと等価）とそのタグに対応する型のオブジェクト（コンストラクタの引数と等価）で構成される。
一般に代数的データ型は直積型の総和であり、再帰的に定義されることもある。各コンストラクタは直積型のタグとなって他と区別されるか、1つしかコンストラクタがない場合は、そのデータ型自体が直積型となる。さらにコンストラクタの引数の型が直積型の要素となる。引数のないコンストラクタは空に対応する。データ型が再帰的であるなら、その直積型の総和は再帰データ型となり、各コンストラクタによって再帰データ型が構成される。
例えば、以下のような Haskell のデータ型
data List a = Nil | Cons a (List a)
を型理論的に表すと次のようになる。
\lambda \alpha .\mu \beta .1+\alpha \times \beta
コンストラクタは次のようになる。
\mathrm {nil} _{\alpha }=\mathrm {roll} \ (\mathrm {inl} \ \langle \rangle )

 \mathrm {cons} _{\alpha }\ x\ l=\mathrm {roll} \ (\mathrm {inr} \ \langle x,l\rangle )
この Haskell の List 型を型理論の別の形式で表すと、次のようになる。
\mu \phi .\lambda a.1+\alpha \times \phi \ \alpha
\mu  と  \lambda  が2つの定義で順序が入れ替わっている点に注意されたい。前者の形式は再帰型を本体とする型関数の定義であり、後者は型の再帰関数定義である。型変数  \phi  は、これが  \beta  のような基本型ではなく関数型であることを示している（ \phi  はギリシャ文字で "f" に相当する）。また、型本体の中の引数型  \alpha  に関数  \phi  を適用しなければならない。
List の例の用途から考えると、これら2つの定式化に大きな違いはないが、後者の形式は「入れ子データ型; nested data type」と呼ばれる表現を可能とする。入れ子データ型とは、オリジナルとパラメータ的に異なる再帰型を派生させるものである。詳しくは、 Richard Bird、Lambert Meertens、Ross Paterson らの研究を参照されたい。
ケイトリン・フォード

ケイトリン・ジェイド・フォード（英: Caitlin Jade Foord、1994年11月11日 - ）は、オーストラリア出身のプロ女子サッカー選手。オーストラリア女子代表。ポジションはFW、DF (サイドバック)。
経歴 > クラブ経歴 > セントラルコースト・マリナーズ

2009年のオフシーズンにフォードはオーストラリア・ニューサウスウェールズ州スポーツ研究所(NSWIS)からW-リーグのセントラルコースト・マリナーズFCへと移籍した。
経歴 > クラブ経歴 > シドニーFC

セントラルコースト・マリナーズが資金難のためにWリーグの2010-11シーズンから撤退することが決定したため、チームメートのテレサ・ポリアス、リディア・バンデンバーグ、レニー・ローラソンらとともにシドニーFCへと移籍した。
経歴 > クラブ経歴 > スカイブルーFC

2013年3月、フォードは創設初年度の米プロリーグ・NWSLのスカイブルーFCでプレーすることを表明した。
経歴 > クラブ経歴 > シドニーFC(期限付き移籍)

2013年10月、スカイブルーFCからシドニーFCへの期限付き移籍をした。
経歴 > クラブ経歴 > パース・グローリーFC

2014年8月、Wリーグのパース・グローリーFCへと移籍した。
経歴 > クラブ経歴 > スカイ・ブルーFC

2015年にフォードは古巣のスカイブルーFCと契約し、FIFA女子ワールドカップカナダ大会でオーストラリア代表プレーした後に同代表のサマンサ・カーとともにシーズン途中からチームに合流した。
経歴 > クラブ経歴 > シドニーFC

2016年9月、シドニーFCはフォードとの契約を発表した。
経歴 > クラブ経歴 > ベガルタ仙台レディース

2017年1月、なでしこリーグのマイナビベガルタ仙台レディースと完全移籍で合意した。同年12月、契約満了により仙台を退団した。
経歴 > クラブ経歴 > シドニーFC（2017-18）

2017年12月、古巣のシドニーFCへの加入が発表された。
2018年2月10日、Wリーグのプレーオフ準決勝ニューカッスル・ジェッツ戦で前半9分に先制ゴールを挙げたものの、前半終了間際に右足を負傷し、リスフラン靭帯損傷と診断され手術を行った。
経歴 > クラブ経歴 > ポートランド・ソーンズFC

2018年1月、NWSLのポートランド・ソーンズFCへの加入が発表された。
経歴 > クラブ経歴 > アーセナル・ウィメンFC

2020年1月24日、FA WSLのアーセナル・ウィメンFCに移籍した。
経歴 > オーストラリア代表

オーストラリア女子U-16代表でフィリピン女子代表にハットトリックを達成し、チームがAFC女子U17選手権に進出するのに貢献した。
2011年5月12日にゴスフォードのブルータン・スタジアムで行われたニュージーランド戦でフル代表デビューを果たし、ゴールを挙げてチームの3-0の勝利に貢献した。
2011年6月に行われたFIFA女子ワールドカップドイツ大会にオーストラリア女子代表としては史上最年少の16歳で参加した。グループリーグ3試合のうち2試合に先発出場し、チームの決勝トーナメント進出に貢献したが、準々決勝スウェーデン戦で1-3で敗れた。フォードはこの大会のFIFAベストヤングプレーヤーに選出された。
2018年2月に国内リーグのプレーオフ準決勝で負傷し手術を行ったため、同年4月に行われた2018 AFC女子アジアカップには出場することができなかった。
2023年8月5日、2023 FIFA女子ワールドカップ・決勝トーナメントのデンマーク戦において先制点を奪取し、VISAプレイヤー・オブ・ザ・マッチに輝いた。
個人成績 > 代表ゴール

| # | 開催年月日 | 開催地 | 対戦国 | 得点 | 結果 | 試合概要 |
| --- | --- | --- | --- | --- | --- | --- |
| 1 | 2011年5月12日 |  ゴスフォード |  ニュージーランド | 1–0 | 3–0 | 親善試合 |
| 2 | 2014年5月14日 |  ホーチミン |  日本 | 1–0 | 2–2 | 2014 AFC Women's Asian Cup |
| 3 | 2015年2月12日 |  オークランド |  ニュージーランド | 3–0 | 3–2 | 親善試合 |
| 4 | 2015年5月19日 |  シドニー |  ベトナム | 2–0 | 4–0 | 親善試合 |
| 5 | 2015年5月21日 |  ウロンゴン |  ベトナム | 11–0 | 11–0 | 親善試合 |
| 6 | 2016年6月4日 |  バララット |  ニュージーランド | 1–0 | 2–0 | 親善試合 |
| 7 | 2016年6月4日 |  バララット |  ニュージーランド | 2–0 | 2–0 | 親善試合 |
| 8 | 2016年8月6日 |  サンパウロ |  ドイツ | 2–0 | 2–2 | 2016 リオオリンピック |
| 9 | 2017年8月3日 |  カーソン |  ブラジル | 2-1 | 6-1 | 2017 トーネメント・オブ・ネーションズ |
| 10 | 2017年8月3日 |  カーソン |  ブラジル | 5-1 | 6-1 | 2017 トーネメント・オブ・ネーションズ |
| 11 | 2017年9月19日 |  ニューカッスル |  ブラジル | 2-1 | 3-2 | 親善試合 |
| 12 | 2018年11月13日 |  ニューカッスル |  チリ | 2-0 | 5-0 | 親善試合 |
| 13 | 2018年11月13日 |  ニューカッスル |  チリ | 3–0 | 5-0 | 親善試合 |
| 14 | 2018年11月13日 |  ニューカッスル |  チリ | 5–0 | 5-0 | 親善試合 |
| 15 | 2019年3月6日 |  メルボルン |  アルゼンチン | 3-0 | 3-0 | 2019 ネイションズカップ |
| 16 | 2019年4月4日 |  コマースシティ |  アメリカ合衆国 | 2-1 | 3-5 | 親善試合 |
| 17 | 2019年6月13日 |  モンペリエ |  ブラジル | 1-2 | 3-2 | 2019 FIFA女子ワールドカップ |
| 18 | 2020年2月7日 |  シドニー |  チャイニーズタイペイ | 1-0 | 7-0 | 親善試合 |
| 19 | 2020年2月7日 |  シドニー |  チャイニーズタイペイ | 4–0 | 7-0 | 親善試合 |
| 20 | 2020年2月7日 |  シドニー |  チャイニーズタイペイ | 7–0 | 7-0 | 親善試合 |
獲得タイトル > クラブ

Wリーグ レギュラーシーズン: 2010-11
Wリーグ グランドファイナル: 2012-13, 2018-19
Wリーグ リーグ優勝: 2014年
獲得タイトル > 代表

AFF U-16女子選手権: 2009年
トーナメント・オブ・ネーションズ：2017年
獲得タイトル > 個人

FIFA女子ワールドカップ・最優秀若手選手賞 : 2011年
アジア女子年間最優秀ユース選手賞 : 2011年
オーストラリアサッカー連盟・U20女子年間最優秀選手 : 2011年
アジア女子年間最優秀選手賞 : 2016年
2023 FIFA女子ワールドカップ VISAプレイヤー・オブ・ザ・マッチ : ラウンド16（デンマーク戦）
ブラックウィドー

| --- | --- |
: この項目では、アニメのキャラクターについて説明しています。その他の「ブラックウィドー」や「ブラックウィドウ」については「ブラックウィドウ」をご覧ください。
ブラックウィドー (Blackarachnia) は、アニメ『トランスフォーマー』シリーズの登場キャラクターで、架空の女性ロボットである。
特徴

『ビーストウォーズ 超生命体トランスフォーマー』で登場し、『ビーストウォーズ』シリーズ初の女性トランスフォーマーとなった。サイバトロンとデストロンのそれぞれの陣営に所属しては裏切るという行為を繰り返した。それまでのアーシーなどといった女性トランスフォーマーキャラには無いこの行動は、特色となっている。
性格はやや陰険で陰湿な一面があるものの、サイバトロンに入った後は、気の強い姉御肌の女性戦士として活躍している。悪女のように見えて情に厚い面もあり、その性格は善悪二元論で語ることはできない。
声

声は英語版ではヴィーナス・ターゾ、日本版では柚木涼香が担当した。柚木は当初は永椎あゆみという名だったが、途中から改名した。
名前とモチーフ

スキャンしたのはセアカゴケグモだが、日本語版ではジョロウグモとなっている。なお、実際のブラックウィドーとは黒後家蜘蛛（クロゴケグモ）を意味しており、交尾後に雌が雄を食べる習性から、後の作中でシルバーボルトに対し、こう言って脅すシーンもあった（ジョロウグモも交尾後に雌が雄を食べてしまうことがある）。
英語版の名称であるブラックアラクニア (Blackarachnia) は、スキャンしたクモの名称の一部である「Black」と、クモ形網の動物全般を指す「Arachnid」から来ている。
登場作品 > ビーストウォーズ 超生命体トランスフォーマー

サイバトロン側の女性プロトフォームがデストロン側に奪取されたため、当初は悪の戦士となって誕生した。
諜報工作兵となって、伸縮自在の糸で暗所や閉所にビーストモードのまま潜入し、ポイズンアンカーと回し蹴りを強力な武器として、サイバトロンを苦しめた。タランス同様、ロボットモードでは、ビーストモードの脚の先から弾を連射するネオラウンドマシンガンを撃つ。ハッキング能力にも長け、タランス/Tarantulasにその能力を利用されることもあった。ワスピーター/Waspinetorに取り憑いたスタースクリーム/Starscreemと手を組んだこともある。
タランスは当初は同じクモをスキャンしたことで好意を持っていたが、やがて彼女の頭脳回路を利用して自身のサイバーコントロールで操ったり、邪魔者として処分しようとするようになる。そして、最終回においてタランスに操られたブラックウィドーはコンボイ/OptimusPrimalを葬るために、エイリアンポッドを密閉し、脱出不可能にしてしまった。
当初は普通に話していたが、後に語尾に「〜っしゃ！」という口癖を付け加えるようになった。
玩具はタランスの塗装と一部のパーツを変更した仕様品だが、2007年に発売された『テレもちゃ』版ではアニメに近いカラーリングになっている。後に『トランスフォーマー レジェンズ』にてリメイクされ、プロポーションが劇中のように女性型になっている。
登場作品 > ビーストウォーズメタルス 超生命体トランスフォーマー

序盤ではデストロンとして戦っていたが、新たに参戦したサイバトロンのフューザー戦士シルバーボルト/Silverboltに助けられてからは、ランページ/Rampageとの戦闘などを通じ、「元は同じサイバトロン」と何度も説得された後、メガトロン/Megatronの目的が400万年前に惑星エネルゴア（地球）に辿り着いた自分たちの祖先の抹殺であることに気づき、デストロンを裏切ることになる。
入った後もまだ、デストロンだったことの後ろめたさや、仲間への不信感から思い悩むこともあったが、その度にシルバーボルトに説得されて、デストロンに戻ることはなかった。途中で手に入れたトランスメタルドライバーの力を応用してメタルス化を試みるが、実験は失敗し、生命の危険にさらされる。
デストロンによる襲撃で先祖たちを破壊されることを恐れたブラックウィドーはサイバトロンの宇宙船アークのアクセスコードをコンボイに渡し、シェルプログラム解除の手術を受けるが最終段階で失敗し、絶命してしまう。
しかし、トランスメタルスドライバーの力によって彼女はメタルスブラックウィドーへと進化し、完全なサイバトロン戦士となり、以降エネルゴアでは最後までこの姿のままで戦い、セイバートロン星へと帰還する。より強靱になったボディと糸、キックを駆使し、サイコキネシスも使えるようになった。
当初は馴染めなかったサイバトロンにも次第に溶け込み、「蜘蛛姉ちゃん」というあだ名で呼ばれるようになった。
登場作品 > 超生命体トランスフォーマー ビーストウォーズリターンズ

メガトロンの放ったウイルスプログラムによって元のビースト状態に戻されたが、糸も中途半端にしか出せない有様だったものの、セイバートロン星の中枢コンピューターオラクルによって新たな姿へと変わる。その姿は長い足のピンクのクモであり、ロボットモードではマスクが展開し、バイザー状に隠されている部分から目は4つ出てくる。高速で敵を翻弄し、手の爪で相手を切り裂く。
自分をサイバトロンに戻してくれたシルバーボルトのことを想うあまりに、コンボイの命令を無視して、ビーコンジェネラルのスラスト/Thrustをシルバーボルトだと思って追いかけていたが、やがて同じビーコンジェネラルのジェットストーム/Jetstormがシルバーボルトであることを知り、今度は逆に彼女が恋人をサイバトロンに戻すために躍起になった。
一方のシルバーボルトはサイバトロンに戻っても、かつてビーコンジェネラルとして破壊活動をしていたことへの負い目と、セイバートロン星がメガトロンに占領されていることから、ブラックウィドーに心を開けなかった。しかし、最終回でようやくセイバートロン星が解放され、シルバーボルトも心の重荷を下ろしてブラックウィドーを抱き締め、彼女の想いは成就されることになった。
なお、日本語版では自分のことを「ビーストの萌えキャラ」と豪語している。
登場作品 > トランスフォーマーアニメイテッド

『Transformers Animated（トランスフォーマー アニメイテッド）』では元オートボット（Autobots）のエリータ1（エリータワン）/Elita-1/Elita Oneが変化したブラックアラクニア/Blackarachniaとして登場。英語版ではクリー・サマーだが、日本語版はこれまでの作品同様、柚木涼香が声を担当した。
巨大なクモに変形する。武器は相手を絡める蜘蛛の糸・スパイダーフックと、エリータ1（エリータワン）のころから有するコピー能力。
メガトロン/Megatronの部下の一人。第1話でもシルエットの状態で登場していた。オートボット（Autobots）だったころはオプティマスプライム（コンボイ）/Optimus Primeと、センチネル/Sentinel Primeでチームを組んで、惑星探査を行っていたが、巨大クモの惑星でクモに襲撃されて巨大クモ型生命体をコピーしようとした際、体がクモの毒によって変貌してしまい、その毒に侵されてしまったために半有機ロボット生命体となってしまった。そのため、巨漢揃いのディセプティコン（Decepticons）の中では小柄な部類である。毒をはじめとした生体部分との融合は機械と不可分な状態であり、毒を除去されては生命を維持できない、毒が無くなってしまうと生きてはいけない身体になっている。また、彼女の毒液で強力なものはトランスフォーマーでも解毒薬を使わないと死に至らしめる。さらに生体部分がトランスフォーマー特有のエネルギー反応を阻害するためセンサー類では感知されない。また、歴代シリーズのトランスフォーマーが普通に涙を流せるのに対し、本作品では有機要素を持つ彼女とサリ・サムダック/Sari Sumdacのみが涙を流す描写がある他、彼女は呼吸により酸素を取り入れる必要があることが描写された。彼女を助けられなかったことを悔やみ、今でも助けようと思っているオプティマスプライム（コンボイ）/Optimus Primeに対して愛憎の混じり合った複雑な態度を取る。醜い姿になったために仮面を被ってオートボット（Autobots）を去り、元の姿に戻るために色々な実験をしている。そのためディセプティコン(Decepticons)への忠誠心は薄く、メガトロン/Megatronが復活した後も一人で行動している。第36話にてワスピネーター/Waspinatorと共にどこかへと飛ばされ、それ以降は登場しない。また、海外ムック本『TRANSFORMERS ANIMATED: THE ALLSPARK ALMANAC II』によると第4シーズン（シーズン4）では再びメガトロン（マローダーメガトロン）/Megatron（Marauder Megatron）の指揮下に入られてしまうが、独自にロボットと生物を合成したプレダコンで構成する自分の部隊を作ろうと画策する予定であった。また、この時には自身の有機部分に対する嫌悪感は無くなりつつあったようである。
日本語版ではブラックウィドーと同様に語尾に「-ッシャ」を付けて喋る。また、ミニコーナーの「音仏一家のトランスフォーマー生活」で幾度となくナレーションを担当している。
日本語版のオープニング映像では同じ女性戦士であるオートボット（Autobots）のアーシー/Arceeとの戦闘シーンが描かれている。漫画版のザ・クールでは第1話、第4話、エクストラ第3話で登場。アニメ版と比べると出番が少なかった。後に「トランスフォーマー レジェンズ」の玩具のクロミア/Chromiaに付属している漫画版（出張版第11話）では登場している。
容貌はメタルスブラックウィドー（Blackarachnia）、第4シーズン（シーズン4）ではブラックウィドー（Blackarachnia）、玩具の変形機構はリターンズ版のブラックウィドー（Blackarachnia）に似ている。
登場作品 > トランスフォーマー:ウォー・フォー・サイバトロン・トリロジー

声は英語版ではジーン・カー、日本版では和優希が担当した。
類似したキャラクター

『超ロボット生命体 トランスフォーマー プライム』にて、同様のモチーフと類似したデザインを持った女性ディセプティコンエアラクニッド/Airachnidが登場。
通常のロボットモードに加え、蜘蛛に似た多脚歩行形態を持つ。ビークルモードではステルスヘリに変形し、第17話から披露している。海外版では蜘蛛をモチーフにしている以外の共通点は無い。
極めて残忍な性格で、敵を痛めつけ嬲り殺しにする嗜虐癖の持ち主。アーシーの眼前でパートナーであるテイルゲートを拷問、惨殺したことからアーシーとは因縁がある。また有能ではあるがメガトロンおよびディセプティコン軍団に対する忠誠心は薄く、シーズン1終盤にてガイアユニクロンとの戦いへ赴いたメガトロンを見捨てようとしたことがある。別の星の絶命に瀕した生物を殺しては頭部をコレクションする趣味があったが、ジャックに宇宙船ごと爆破されてしまい、以降はアーシーとジャックを目の敵にするようになり、シーズン1第17話にてメック / M.E.C.H.と手を組んだこともある。
武器は両手から放つ粘着質な糸とビーム、背中の蜘蛛脚には鋭いかぎ爪を備え、また全身をドリルのように回転することで地中を潜行する能力も持つ。日本語版では粘着性の糸の攻撃はネバネバ攻撃という技になっている。これらの多彩な能力を活かし相手を罠にかけて翻弄する戦術を得意とし、ウォーブレークダウンを惨殺して見せたほどの実力者。
日本語版での肩書は「追跡者」で、一人称は「私」。非常に饒舌で、語尾に「－ッシャ」をつけてハイテンションに喋るなど、賑やかさと上述の冷酷さが同居したキャラクターとなっている。ヒロイン、女優を自称し、それゆえに顔を攻撃されるのを嫌がる他、イケメンに過剰反応するなど面食いな一面が見られる。
公式人気投票のキャラクター部門では第15位（11票）。
後に「トランスフォーマー レジェンズ」の玩具のクロミアに付属している漫画（出張版第11話）にも登場している。
当初は単独行動をとっていたが、シーズン1序盤の第18話で不本意ながらもディセプティコンへ復帰して第20話でスタースクリームを蹴落としを追い落としてディセプティコンのナンバー2の座に収まる。メガトロンの腹心の地位に収まったが、いざという時にはメガトロンを見捨てようとするなど忠誠心は欠片もない。その後、メガトロンへの度重なる不満から、彼に代わってディセプティコンのリーダーになろうと企んでいたことをサウンドウェーブによってメガトロンに知らされ、メガトロンへの背信行為が露見し謀殺されそうになったものの逆にそれに乗じて機に再びディセプティコンを離脱、第33話で偶然出会った大量のインセクティコンを洗脳し手下として従え、手を組もうとしたスタースクリームの誘いも拒否してメガトロン打倒を目指す。第36話で洗脳したインセクティコンたちの大群を率いてメガトロンに反旗を翻した。だが、追跡してきたアーシーとの戦いにて一瞬の隙を突かれて敗北し、インセクティコンのステイシスポッドへ封印されてしまった。その後、彼女の身柄はポッドごと回収され、オートボットの基地であるオメガワンにて保管される。
日本未放送のシーズン3『Beast Hunters（ビーストハンターズ）』では、オメガワン破壊時にディセプティコンによってポッドごと回収され、第3話（通算第55話）にてネメシスの保管室に入っていることが判明。その後、第8話（通算第60話）でスタースクリームが引き起こしたゾンビ騒動でテラーコン化したサイラスブレークダウンによって（エネルゴン目当てで）解放され、中のサイラス共々止めを刺す。そして再びインセクティコンたちを洗脳してディセプティコン制圧に乗り出したが、サウンドウェーブが出したグランドブリッジによってサイバトロン星の衛星軌道上にある小惑星群へと放逐され、自身もサイラスブレークダウンを通じて彼から受けた首の傷が原因でテラーコン化しており、コントロールした配下のインセクティコンたちを捕食して貪り食うとする様子が描かれる最期を迎えた。
原語版はジーナ・トーレス、日本語版ではこれまでの作品と同様に柚木涼香が演じ、より過去作を意識したユーモラスな脚色が加えられており、台詞が格段に増やされている。また「かつてはヒロインだった」「今回はヨゴレなの!?」などビーストウォーズでのブラックウィドーを意識した台詞も多い。
原語版のオープニング映像には登場しないが、日本語版のオープニング映像とエンディング映像では第14話から登場し、第40話以降はいなくなった。
『深夜の完全変形2時間スペシャル!』でのインタビューによると、かつてブラックウィドー/Blackarachniaとして『ビーストウォーズ』に参戦していた事を仄めかすコメントを出している。
代数的構造

数学において代数的構造（だいすうてきこうぞう、algebraic structure）とは、集合に定まっている算法（演算ともいう）や作用によって決まる構造のことである。代数的構造の概念は、数学全体を少数の概念のみを用いて見通しよく記述するためにブルバキによって導入された。
また、代数的構造を持つ集合は代数系（だいすうけい、algebraic system）であるといわれる。すなわち、代数系というのは、集合 A とそこでの算法（演算の規則）の族 R の組 (A, R) のことを指す。逆に、具体的なさまざまな代数系から、それらが共通してもつ原理的な性質を抽出して抽象化・公理化したものが、代数的構造と呼ばれるのである。
なお、分野（あるいは人）によっては代数系そのもの、あるいは代数系のもつ算法族のことを代数的構造とよぶこともあるようである。 後者は、代数系の代数構造とも呼ばれる。
現代では、代数学とは代数系を研究する学問のことであると捉えられている。
代数的構造の例

一つの演算によって決まる代数的構造
マグマ: 一つの二項演算の定義された集合。
準群: a × x = b、y × a = b であるような x と y が一意に決まるマグマ
ループ: 単位元 e を持つ準群。任意の元が左および右逆元を持つマグマとも言える。
半群: 結合法則を満たすマグマ
モノイド: 単位元を持つ半群
群: 任意の元が逆元を持つモノイド、もしくは結合法則を満たすループ
アーベル群: 可換な群
|  | 単位律 | 可逆律 | 結合律 | 消約律 | 可換律 |
| --- | --- | --- | --- | --- | --- |
| 準群 | × | × | × | ○ | × |
| ループ | ○ | △ | × | ○ | × |
| 半群 | × | × | ○ | × | × |
| モノイド | ○ | × | ○ | × | × |
| 群 | ○ | ○ | ○ | ○ | × |
アーベル群: ○
二つの演算によって決まる代数的構造
環: 加法に関してアーベル群であり、乗法に関して半群（またはモノイド）であり、分配法則を満たす。
体: 0 でない元が乗法に関して群（またはアーベル群）をなす環
演算と作用によって決まる構造
環上の加群: 環の作用するアーベル群
ベクトル空間: 体上の加群
算法や二項演算の項に記す通り、加群やベクトル空間などにいて環や体が与える外部的な作用も適当な方法で内部的な 1 項算法（単項算法）と捉えなおすことができるので、加群やベクトル空間やほかにも同様に作用域を持つ構造である多元環などが、群や環と同様のもの（多くの演算によって決まる構造）として統一的に論ずることもできる。
さらに複雑なもの
代数（多元環）: 乗法の定義された加群やベクトル空間
結合代数: 乗法が結合法則を満たす代数
可換代数: 乗法が可換な結合代数
束: 二つの演算が定義されている集合で、演算が冪等で可換で結合的で簡約律（吸収律）を満たすもの。これは順序的構造から定義することもできる。
一般的な代数的構造は普遍代数という数学の分野で研究される。代数的構造はまた、ほかの構造に加えて定義されることもある。位相構造をもつ位相群、位相線型空間、リー群はそのような例である。
どの構造も、それぞれに固有の準同型（構造を保つ写像）の概念を持っている。このことを使って、それぞれの構造を満たすもの全体の圏を考えることができる。
構造の類と種

代数系 (A, R) と (B, S) とは、それぞれの代数構造（算法族） R と S とが項数を込めて等しいか同一視できるとき、同類であるという（項数については算法の項参照）。
例えば群は、積だけを算法とする代数系とみなせば半群と同類であるが、各元にその逆元を対応させる写像も群の（単項の）算法に含めて考えると、半群とは同類ではない。
そして群をそのように半群と同類でない代数系として定義する方が、代数系の論としては正当で、理論上も便利なことがある（群論参照）。
また、環を加法と乗法を算法とする代数系とみなし、束を結びと交わりを算法とする代数系とみなせば、加法 x + y と結び x ∨ y 、乗法 x × y と交わり x ∧ y とを同一視することによって、この両者は同類の代数系となる。
しかし、環における加法・乗法と束における結び・交わりとは、異なる法則に従う。
例えば、環での加法・乗法は分配律 x × (y + z) = (x × y) + (x × z) に従うが、束での結び・交わりは必ずしも分配律 x ∧ (y ∨ z) = (x ∧ y) ∨ (x ∧ z) には従わない。
また、束での交わり・結びは冪等律 x ∧ x = x, x ∨ x = x に従うが、環での加法・乗法は冪等律 x × x = x, x + x = x に必ずしも従わない。
そこで、同類の代数系をさらに「それらの算法がどういう法則に従うか」によって分類して種に分けて、それぞれの種に属す代数系をまとめて抽象化して論ずるのが普通である。
歴史的には、半群・群・環・多元環・体・束などはそうやって出来た抽象概念である。
重要な概念

代数系についての基本概念には以下の2つがある。
代数系の部分代数系（部分系）: もとの代数系の部分集合で、もとの構造の制限を構造として伴うもの。
同種の代数系の間の準同型写像（準写）: 定義域上の演算の後に写像した値と、写像した後に値域上の演算を行って得た値が一致する写像。
代数学の一分科である線型代数学に例をとれば、線型空間が研究対象とする代数系に当たり、線型部分空間が部分系に当たり、線型写像が代数系間の準写に当たる。
代数系についての副次的概念には、生成系・直積（直和）・商・拡大・普遍性・表現などがある。
算法の全域性・局所性

実数すべてから成る集合とそこでの四則（加減乗除の算法、すなわち足し算・引き算・掛け算・割り算）との組は、典型的な代数系である。
この例では、足し算・引き算・掛け算は任意の二つの数の組について実行可能であるが、割り算は、0での割り算ができないという意味で局所的（あるいは非全域的）である。
代数系の算法には一般には、こういうような局所的（あるいは非全域的）算法も含まれる。
たとえば行列の足し算・掛け算も、あらゆるサイズの行列から成る集合での算法とみなせば、局所的である。
こういう局所的算法を含む代数系の理論は複雑であるので、数学の分野では避けられる傾向がある。たとえば行列の足し算・掛け算も、数学者の間でさえ、上記のような意味での局所的算法と捉えて説明されることは稀である。また、上記の実数と四則とから成る代数系は体の典型であるが、体の概念も環の概念も、局所的算法である除法を用いないで説明するのが通例である。
一方で、数理論理学では、研究対象として形式言語を代数系の一種と捉えるが、形式言語における算法は局所的のものが一般的である。たとえば、述語論理学における形式言語である述語言語（論理式と項とから成る）では、論理記号 ∧, ∨, ￢, ⇒, ∀x, ∃x は論理式に対してのみ実行可能な局所算法を表し、関数記号や述語記号は、項のみに対して実行可能な局所算法を表すと解される。
また、推論規則も局所的算法と解される。たとえば三段論法は、二つの論理式 A と A ⇒ B とから第三の論理式 B を導き出す推論規則であるが、これは、第二の論理式が A ⇒ B という特別な形のときだけ実行可能な局所算法と解される。