stanford-oval/wikipedia huggingface dataset:
ブルーノ・ヌネス・ジ・バホス

ブルーノ・トゥバロン（Bruno Tubarão）ことブルーノ・ヌネス・ジ・バホス（ポルトガル語: Bruno Nunes de Barros、1995年3月5日 - ）は、ブラジルのサッカー選手。ポジションはMF。
クラブ歴

ADカボフリエンセで選手となり、カンピオナート・カリオカで出場した。その間にマドゥレイラECやサンパイオ・コヘイアFEに期限付き移籍をした。2018年にカンピオナート・ブラジレイロ・セリエB所属のボアECに期限付き移籍し32試合出場のブレークスルーを果たした。しかしボアは降格してしまい、2019年にレッドブル・ブラジルに完全移籍した。同年4月にレッドブル・ブラジルはCAブラガンチーノと合併しレッドブル・ブラガンチーノとなったため、再びカンピオナート・ブラジレイロ・セリエBでプレーする事となった。翌年に昇格し、カンピオナート・ブラジレイロ・セリエAに参戦した。
ペトスコス

ペトスコス(Petsuchos)とは「セベク神に仕える者」を意味し、特にエジプト神話の中のセベク神の使い、ないし眷属や化身とされるナイルワニのことをいう。
バステト女神が守護神のブバスティスでの猫がそうであったように、セベク神への崇拝が特に強かったクロコディポリスのセベク神の神殿の池やナイル河河岸の神殿では沢山のナイルワニが大切に飼われており、それは宝石で飾られていて死んだ後も丁寧にミイラにされた。
理由は不明だがナイルワニはナイル河が氾濫した際の水位より少し高い場所に卵を産み付けるため、その土地に住む住民にとってナイルワニは農作業や都市の建築を安全かつ効率的に行う時に非常に重要な動物であったために豊穣を司る生き物として崇拝の対象になった。また、セベク神が罪人を好物とすることから罪人をこうしたワニ達に食い殺させて一種の処刑の機器としても利用したという。
軍用機の命名規則 (アメリカ合衆国)

この項目では、アメリカ軍の軍用機の命名規則について記す。
現行の命名規則

現在はアメリカ陸軍・海軍・空軍の3軍で共通の命名規則を用いている。1962年9月に導入された。
この命名規則は名称に含まれる要素の頭文字をとってMDS（Mission-Design-Series）とも呼ばれ、航空機に限らずミサイル等にも適用される。本項では航空機のみに絞って解説する。ミサイルの命名規則については、ミサイル・ロケットの命名規則 (アメリカ合衆国)を参照。
アメリカ合衆国の軍用機の正式名称は、各々の機体に固有識別を与えるために組み合わされた一連の文字および数字で示される。最初の一連の文字（最高4文字）は、航空機の種類及び意図された任務種別を決定する。番号は同様の種類と主任務も持つ航空機の中で機体を特定する。最後に、一連のシリーズとブロックは機体の正確な構成を特定する。
現行の命名規則 > 構成要素

| 0 | 1 | 2 | 3 | 4 | 5 | 6 |
| --- | --- | --- | --- | --- | --- | --- |
例: 
|  | R | A | H | - | 66 | A |
|  | (2) | (3) | (4) |  | (5) | (6) |
| N | K | C |  | - | 135 | A |
| (1) | (2) | (3) |  |  | (5) | (6) |
| Y |  | F |  | - | 22 | A |
| (1) |  | (3) |  |  | (5) | (6) |
航空機を含む飛翔体システムの正式名称に含まれる構成要素は全部で10あり、航空機ではこのうち8つが該当する（残り2つはミサイル/ロケット専用）。また、正式名称は、MDSのM (Mission) が示す現状 / 任務 / 機体種別、D (Design) が示す設計番号及び S (Series) が示すシリーズの3つの基本的な部分から成る。
現状 / 任務 / 機体種別（M）機体の現状、任務及び機体種別を示す1 - 4文字のアルファベット。正式名称の左から順に次のものを含む。
Status Prefix（現状接頭記号） - (1)
正式名称の先頭に記述する。機体に伴う現状（例えば、非飛行、実験機）を意味する接頭記号。
Modified Mission（任務変更記号） - (2)
基本任務記号の直前に記述する。基本任務の変更を表示又は明確にする追加任務識別記号。
Basic Mission（基本任務記号） - (3)
正式名称の最初の部分で最も基本的な構成要素であり、機体の基本的な任務を特定する。
Vehicle Type（機体種別記号） - (4)
基本任務記号の直後に記述する。標準機体でない機体種別を特定する。
Design Number（設計番号）（D） - (5)
同じ任務を持つ航空機の各々の設計に割り当てられるシリアル番号。任務記号と設計番号をダッシュ（-）によって分けて記述する。
Series（シリーズ）（S） - (6)
同じ設計番号の中でどのシリーズに属しているかを示すアルファベット1文字の接尾記号。
Block（ブロック）
航空機専用。シリーズ又は設計の範囲内で定義された構成（「ブロック30」のように記述する）。
Serial Number（シリアルナンバー）
同型機の1機を特定するために、シリアルナンバーを持つ。
現行の命名規則 > 構成要素 > 現状接頭記号

現状接頭記号 (Status Prefix) はオプションであり、通常は正規の軍務に用いる機体には使われない。
公式に認可されている現状接頭記号は次のとおり。
G：Permanently Grounded - 地上設置
永続的に飛行することなく地上に置かれる航空機に適用される。そのため、この記号が適用される航空機には、初めから飛行に必要な部品が存在しない場合がほとんどである。この航空機には主に乗員と整備員の地上訓練のために使われるものや、開発中の航空機の地上試験機、落下試験機などがある。なお、この記号は、恒久的な指定として適用されるのみであり、解除されることはない。この記号が使用されることは稀である。
J：Special Test (Temporary) - 特別試験（臨時） 
一時的に設置された器材の特別試験に用いられる航空機に適用される。“J”記号は、テスト後に元の構成に無理なく戻すことができる航空機に使われる。例えば、新しい電子機器のためのテストベッドとして使われる航空機などに適用されるが、テスト終了後も当該航空機がその器材を保持し続けることもある。
N：Special Test (Permanent) - 特別試験（永久） 
機体構成への復元不可能な改修を加えられ、原則として永続的に特別試験に用いられる航空機に適用される。航空研究のためにNASAへ移される多くの軍用機は、この呼称を与えられる。
X：Experimental - 実験 
まだ軍が受領していない航空機又は標準構成が確定していない試作機に適用される。過去の大部分の試作機はこの接頭記号を与えられた。ただし、基本任務記号の“X”（研究）を与えられた航空機と混同してはならない。現状接頭記号の“X”は、設計プロセスの実験段階でのみ用いられ、その航空機は本来他の任務のために設計されている。
Y：Prototype - 試作
当初は構成が決定されたデモンストレーション機に適用されたが、最近は、生産を意図する全ての航空機のプロトタイプに適用される。“Y”記号が伝統的な“X”記号より危険が少ないことを意味したため、1970年代から大部分のプログラムにおいて政治的理由のために“Y”記号が好まれている。
Z：Planning - 計画
計画又は開発前段階に適用される。形として存在する航空機に対して適用されることは無い。
現行の命名規則 > 構成要素 > 任務変更記号

数々の航空機はそれらの基本任務記号が示す特定の任務のために設計されるが、それらの一連の同型機シリーズは最初の設計とは異なる任務のために設計される。このとき、元の任務の能力を維持することもあるが、維持しないこともある。任務変更記号 (Modified Mission) は、基本設計MDSとの共通性を失うことなく正確に航空機の使命を示す。任務変更記号が使用される場合は、基本任務記号のすぐ前に置かれる。
公式に認可されている任務変更記号は次のとおり。
A：Attack (Ground Attack) - 攻撃
C：Transport - 輸送
D：Director (Drone Director) - 指揮（無人航空機管制）
E：Special Electronic Installation (Special Electronic Mission) - 特殊電子装備
F：Fighter - 戦闘
H：Search and Rescue (Search and Rescue / Medevac) - 捜索・救難 / MEDEVAC
K：Tanker - 空中給油
L：Cold Weather (Equipped for Cold Weather Operations) - 寒冷地仕様
M：Multimission - 多用途 *1
O：Observation - 観測
P：Patrol (Maritime Patrol) - 哨戒
Q：Drone (Unmanned Drone) - ドローン（無人）
R：Reconnaissance - 偵察
S：Antisubmarine (Antisubmarine Warfare) - 対潜
T：Trainer - 練習
U：Utility - 汎用
V：Staff (Staff Transport) - 要人輸送 *2
W：Weather (Weather Reconnaissance) - 気象観測
これらは一字ではなく、複数が並べられることもある。例えば、AC-130 ガンシップの場合、ベースの機体が輸送機なので"C"の機種記号が付くが、攻撃機に改造されているため"C"の前に"A"が付加されている。またベースが同じでも、V-22のように配備先の任務に合わせた仕様によって、MV、HV、CVと変わることもある。
FA-18はF/A-18と表記されることもあるが、「/」の使用は正式には許可されていないため、本来は「FA-18」が正式な表記である（後述）。
現行の命名規則 > 構成要素 > 基本任務記号

基本任務記号 (Basic Mission) は、正式名称の任務を示す部分の核となる記号である。また、F-14やC-5のように、正式名称の任務部分が基本任務記号だけから成ることがある。
公式に認可されている基本任務記号は次のとおり。
A：Attack (Ground Attack)  - 攻撃機
B：Bomber - 爆撃機
C：Transport - 輸送機
E：Special Electronic Installation (Special Electronic Mission) - 特殊電子装備（電子戦機、早期警戒機など）
F：Fighter - 戦闘機
(K：Tanker - 空中給油機) *3
L：Laser (Laser-Equipped) - レーザー *4
O：Observation - 観測機
P：Patrol (Maritime Patrol) - 哨戒機
R：Reconnaissance - 偵察機 *5
S：Antisubmarine (Antisubmarine Warfare) - 対潜機
T：Trainer - 練習機
U：Utility - 汎用機
X：Research (Special Research) - 研究機（Xプレーン）
現行の命名規則 > 構成要素 > 機体種別記号

標準機体でない機体（離陸から着陸まで完全に空気力学的な揚力によって支えられ、有人、固定翼、自己推進できる航空機以外の機体）については機体種別を特定するために、機体種別記号 (Vehicle Type) を付与する。例えば、AH-64 アパッチはヘリコプターなので"H"の機体種別記号が付くが、攻撃用途に使われる（攻撃ヘリコプター）ため機体種別記号の前に"A"の基本任務記号が付く。
公式に認可されている機体種別記号は次のとおり。
D：UAV Control Segment - UAV地上制御装置 *6
G：Glider - グライダー
H：Helicopter - ヘリコプター
Q：Unmanned Aerial Vehicle - UAV（無人航空機）
S：Spaceplane - スペースプレーン *7
V：VTOL / STOL - VTOL機・STOL機
Z：Lighter-Than-Air Vehicle - 軽航空機（飛行船・気球） *8
現行の命名規則 > 構成要素 > 設計番号

命名システムによると、航空機の機体種別又は標準機体の基本任務ごとに連続して番号を振られることになっており、設計番号 (Design Number) を他の文字列との混乱を避けて割り当てたり、メーカー側のモデル番号にかなうように割り当てたりできるようにはなっていない。最近この規則は無視されており、航空機があるシリーズから別のシリーズに移行されるとき、航空機はメーカーのモデル番号と同じ設計番号を受けたか（例えば、KC-767A）、移行前のシリーズの設計番号を引き継いだ（例えば、X-35はF-35になったが、“X”は1文字の場合は基本任務記号であり、本来なら“X”シリーズの35が引き継がれるのではなく、“F”シリーズの別の番号が新たに割り当てられるべきだった）。
現行の命名規則 > 構成要素 > シリーズ記号

同型の航空機の異なるバージョンは、“A”から始まり順に増えていく1文字のシリーズ記号 (Series) を使って詳細に示されることになっている（ただし、数字の“1”及び“0”との混同を避けるために“I”及び“O”は使用されない）。しかし、どれくらいの変更があれば新しいシリーズ記号を与えるに値する要件となるのかは明らかではない（例えば、時間とともに広範囲にわたって生産工程に変更を加えられたF-16C）。偵察任務のために改修されたF-111CがRF-111Cと称されるように、新しい任務を遂行するための改修が新しいシリーズ記号を必ずしも必要とするというわけではない。また、SAR任務のために改修されたUH-60AがHH-60Gと称されるように、しばしば新しいシリーズ記号が割り当てられることがある。
現行の命名規則 > 例外

規則は破られるために作られると言われるが、機体正式名称命名システムも例外ではない。長年にわたって、システムに適合しないいくつかの呼称が生み出された。いくつか例を次に示す。ただし、このリストは決してすべてを記したものではない。（訳注：この例示の中に単なる推測としかとれず根拠として疑問なものがあるが、全文を翻訳した）
なお、F-22ラプターは、2003年から2005年の2年間、“FA-22”（一般にはF/A-22）と呼ばれていたが、現役軍務状態へ移行する直前に再度F-22と命名し直された。最近、F-22の戦闘攻撃機バージョンは、FB-22という名称で議題にのっている。
現行の命名規則 > 命名法改正に伴う命名変更

統一規則は基本的に空軍の規則を踏襲していたため、原則的に既存の空軍機はそのままの番号とされ、陸軍および海軍の航空機は新しい制式名を与えられることになったが、その際 重複がない限りなるべくそれまでの番号を割り振ることとした。これ以後の新型機については、空き番号を原則少ない数字から与えられることになった。
（例1）海軍戦闘機の命名変更
FJ-4 → F-1E
F2H-4 → F-2D
F3H-2 → F-3B
F4H-1F → F-4B - 海軍のF4HファントムIIは空軍でも採用されてF-110（愛称はスペクター）の制式名が与えられていたが、もともとが海軍機であることから海軍の呼称 F4H から取った F-4 が新しい制式名となり、空軍でもそれを使用することとなった。
F4D-1 → F-6A
XF2Y-1→YF-7A
F8U-1E → F-8B
F9F-8 → F-9J
F3D-2 → F-10B
F11F-1 → F-11A
（例2）海軍攻撃機の命名変更
AD-6 → A-1H
AJ-2 → A-2B
A3D-2 → A-3B
A4D-5 → A-4E
A3J-1 → A-5A
A2F-1 → A-6A
過去の命名規則 > アメリカ陸軍・空軍

陸軍航空隊、陸軍航空軍および後に陸軍から分離した空軍の軍用機の制式名称は次のように変遷した。
1920年9月時点では、
機種記号
レシプロエンジンの冷却方式（水冷〈液冷〉・空冷）の区別
通し番号
モデル
によるものであった。たとえば、追撃機（Pursuit aircraft. 他国での戦闘機と同義）で水冷（water cooling）のものは「PW-9C」などという表示をする。
1924年5月、水空冷の区別を廃止。追撃機の場合はP-1から開始するものへと変わり、「XPW-8B」は「P-1」となった。
1947年に空軍が陸軍から独立した。その後1948年に、追撃機は戦闘機（Fighter）となり、「F」に改められた。
過去の命名規則 > アメリカ陸軍（空軍独立後）

アメリカ陸軍では空軍独立後の1956年から規則統一の1962年まで、以下のような独自の制式名を使用した。陸上自衛隊がUH-1をしばらくHU-1と称していたのはこの命名法の時代に装備を開始したことに由来する。また、同機のニックネームのヒューイもこのHU-1から来たものである。
A:固定翼機
AC:固定翼輸送（例「AC-1」デ・ハビランド・カナダ・カリブー。名称統一後CV-2を経てC-7）
AO:固定翼観測（例「AO-1」グラマン・モホーク。名称統一後OV-1）
AU:固定翼汎用（実機なし）
H:ヘリコプター
HC:輸送ヘリコプター（例「HC-1B」バートル・チヌーク。名称統一後CH-47）
HO:観測ヘリコプター（例「HO-6」ヒューズ・カイユース。名称統一後OH-6）
HU:汎用ヘリコプター（例「HU-1」ベル・イロコイ。愛称ヒューイ。名称統一後UH-1）
V:VTOL
VZ:VTOL研究（例「VZ-12」ホーカー P.1127（VTOL実験機、ハリアーの原型）用に保留。P.1127は後日XV-6となった。）
過去の命名規則 > アメリカ海軍

三軍表記統一前のアメリカ海軍の制式名称は、
機種記号
メーカーごとの通し番号
メーカー記号
モデル記号
であった。例えば F6F ヘルキャット は、グラマン社の戦闘機で海軍に採用された6番目の機体であることを示す。ただし、1番目の機体にはSBD ドーントレスやTBF アヴェンジャーのように数字を付けない。
主な機種記号
A 攻撃機 (Attacker)：第二次世界大戦後。例 A4D スカイホーク
BT 爆撃雷撃機 (Bomber Torpedo)：大戦後期の、雷撃・急降下爆撃の両方が可能な機体。例 BTD デストロイヤー
F 戦闘機 (Fighter)：例 F4U コルセア
J 雑用機 (Utility)：例 J2F ダック
N 練習機 (Trainer)：例 N2S ケイデット
O 観測機 (Observation)：第二次世界大戦前。例 O2C
OS 観測偵察機 (Observation Scout)：SOと明確な区分はない。例 OS2U キングフィッシャー
P 哨戒機 (Patrol)：例 P2V ネプチューン
PB 哨戒爆撃機 (Patrol Bomber)：例 PBY カタリナ
R 輸送機 (Transport)：例 R5D スカイマスター
S 偵察機 (Scout)：例 SC シーホーク
SB 偵察爆撃機 (Scout Bomber)：実質的には急降下爆撃機を指す。例 SBD ドーントレス
SN 偵察練習機/高等練習機 (Scout/Senior Trainer)：例 SNJ テキサン
SO 偵察観測機 (Scout Observation)：例 SOC シーガル
T 雷撃機 (Torpedo)：第二次世界大戦前。例 T3M
TB 雷撃爆撃機 (Torpedo Bomber)：大戦中期までの雷撃機。例 TBF アヴェンジャー
主なメーカー記号
A ブルースター
B ボーイング
C カーティス・ライト
C セスナ
D ダグラス
E パイパー
F グラマン
G グレートレイクス
G グッドイヤー
H マクダネル
J ノース・アメリカン
K カイザー・フリートウィングス
K カマン
L ベル
M ジェネラル・モータース
M マーティン
N 海軍航空工廠（英語版）（NAF）
N セヴァスキー / リパブリック
O ロッキード 1943年にヴェガ・エアクラフト社を傘下におさめることになる本家ロッキード社の流れ。
P パイパー
P パイアセッキ
R ライアン
S シコルスキー
T ノースロップ
U ヴォート
V ロッキード・ベガ ロッキード社と合併する以前の旧ベガ・エアクラフト社の流れ。
Y コンソリデーテッド / コンヴェア
参考資料

Department of Defence - Office of under secretary of defence. “MODEL DESIGNATION OF MILITARY AEROSPACE VEHICLE” (PDF) (英語).  アメリカ国防総省. pp. p.10. 2010年5月16日閲覧。
U.S.NAVY F/A-18 Hornet
F-117 Nighthawk
SR-71B Blackbird
AL-1
米空軍のCN-235-100MQC。
ロシア製や中国製の航空機以外で、命名が行なわれずに運用されている珍しいケースである。
多功建昌

|  凡例多功建昌 |
| --- | --- |
時代:  室町時代後期 - 戦国時代後期
生誕:  寛正4年（1463年）
死没:  元亀3年1月20日（1572年2月3日）
墓所:  見性寺
官位:  石見守
氏族:  多功氏
父母:  父：多功興房
子:  多功長朝、女子（中村為長室）
テンプレートを表示
多功 建昌（たこう たてまさ）は、室町時代後期～戦国時代の武将。下野国の大名、宇都宮氏の家臣。多功城城主。多功氏は宇都宮氏の庶流である。石見守。子に多功長朝。
天文20年（1551年）1月20日に米寿の祝賀を催したという。同年、東舘に新しい城を築き、西舘から移動した。翌天文21年（1552年）、星宮山多功院建昌寺（現・見性寺）を建立。
また、寿命が現代でも稀な110歳であり、相当長生きな人物であったという。
寺格

寺格（じかく）は、寺院の宗教的地位や社会的地位により朝廷や幕府などの政府が認めた寺院の格式、および各教団が定める寺院の寺院等級である。
封戸、出挙稲、寺田、荘園所有などの権益、三綱（僧の官位）・別当あるいは住持職の任免、修法方法、服装などの待遇、経済、身分、などで区分された寺院の等級が設けられ、高い格式を認められた寺院は特権的待遇を受ける。
概要

古代に朝廷は官寺を定めて『延喜式』で、官寺のうち大寺、国分寺、定額寺（じょうがくじ）及び大寺、有封寺、諸寺の2種3階級に区分した。天皇の祈願寺は勅願寺と称された。
中世に、皇族と貴族が住職を務める門跡寺院が生じた。門跡は宮門跡、摂家門跡、准門跡、脇門跡などに分けられ、その下に院家、准院家などが生じた。官寺や門跡は朝廷における序列だが、鎌倉幕府後期に鎌倉幕府は臨済宗の主な5つの寺院を選定して「五山」の寺格を制定し、室町幕府はさらに発展させて臨済宗寺院を五山・十刹・諸山・林下に区分したことから、その他の諸宗派内部の序列、格式として寺格が成立した。一宗を統率する僧録が住す寺院も「僧録所」として重視された。
江戸時代に江戸幕府は本山 - 末寺の本末制度を導入し、各宗派の本山を通じて仏教界全体を統制した。幕府や諸藩は戦国時代の制度を引き継いで窓口となる触頭を宗派ごとに江戸や所領へ配し、触頭の寺院も特別視された。ほかに寺領による朱印寺、黒印寺、僧衣の色による紫衣寺、香衣寺、儀式典礼による独礼寺などの区分があり、浄土真宗の連枝寺院など教団ごとに寺院の格式が定められて序列化された。
明治維新以後は、政教分離により国家認定が消滅した。
現在は各教団ごとに大本山、本山、別格本山など本末関係に基づく寺院等級や、日蓮宗の霊跡寺院・由緒寺院などの寺格制度が設けられている。
国鉄チキ2700形貨車

| 国鉄チキ2700形貨車> 基本情報 |
| --- | --- |
車種:  長物車
運用者:  日本国有鉄道
所有者:  日本国有鉄道
種車:  レキ1形
改造所:  国鉄郡山工場
改造年:  1962年（昭和37年）
改造数:  90両
消滅:  1982年（昭和57年）
主要諸元
車体色:  黒
軌間:  1,067 mm
全長:  14,700 mm
全幅:  2,696 mm
全高:  2,935 mm
荷重:  35 t
自重:  16.3 t
換算両数 積車:  4.0
換算両数 空車:  1.6
台車:  TR24
車輪径:  860 mm
軸距:  1,900 mm
台車中心間距離:  10,300 mm
最高速度:  75 km/h
テンプレートを表示
国鉄チキ2700形貨車（こくてつチキ2700がたかしゃ）は、1962年（昭和37年）度にレキ1形冷蔵車から改造製作された、35t 積の二軸ボギー無蓋貨車（長物車）である。
本形式を改造したビレット（鋼片）輸送用貨車であるチキ1300形とチキ2800形についても記述する。
概要

日本の長物車は戦後まもなくチキ2600形が製作されて以来、長らく製作されなかった。ところが、東海道新幹線建設に伴うレール輸送で長物車の需要が高まり、不足気味であった。一方で、当時はレキ1形が大型故に持て余し気味であり、余剰となっていた。そこで余剰となっていた同形式の台枠、台車、ブレーキ等を流用し、長物車として改造製作したのが本形式である。1962年（昭和37年）度に郡山工場で90両（チキ2700 - チキ2789）が製作された。
構造

当初はレール輸送用として使用するため、荷摺木はなかったが、1964年（昭和39年）に汎用長物車として使用するため、荷摺木が追加された。床面は鋼板張りである。種車の台枠を流用した関係で、全長は14,700mmに伸びた。本形式の使い勝手がよかったため、この寸法は以降の長物車の標準となった。全幅は2,696mm、全高は2,935mm、台車中心間距離は10,300mm、自重は16.3t、換算両数は積車4.0、空車1.6であり、台車は種車から流用したTR24であるが、最高速度は75km/h。
運用の変遷

本形式は当初、レール輸送に使われたが、レール輸送が終息した1964年以降は、従来車より大型の車体を持っていたことから原木輸送に用いられたりした。1966年（昭和41年）にはチキ1300形とチキ2800形に改造された車両もあったが、その後はチキ7000形やチキ6000形に置き換えられる形で淘汰の対象となり、1982年（昭和57年）度に全廃された。
改造車 > バルクヘッドフラットカーへの改造

本形式から2両が妻板を追加して、バルクヘッドフラットカーへ改造された。車番はそのままである。
改造車 > チキ1300形への改造

35t 積のビレット（鋼片）輸送用長物車として1966年（昭和41年）度に22両（チキ1300 - チキ1321）が改造された。鹿児島本線西八幡駅に常備されていたが、1978年（昭和53年）度に形式消滅。
改造車 > チキ2800形への改造

35t 積のビレット（鋼片）輸送用長物車として1966年（昭和41年）度に24両（チキ2800 - チキ2823）が改造された。チキ1300形との違いは積載スペースが大型化したためである。鹿児島本線西八幡駅に常備されていたが、1984年（昭和59年）度に形式消滅。
ペアノの公理

| --- | --- |
: 一階述語論理による自然数論の形式化である「ペアノ算術（Peano arithmetic）」あるいは常微分方程式に関する「ペアノの存在定理」とは異なります。
ペアノの公理（ペアノのこうり、英: Peano axioms） とは、自然数の全体を特徴づける公理である。ペアノの公準（英: Peano postulates）あるいはデデキント＝ペアノの公理（英: Dedekind-Peano axioms）とも呼ばれる。1891年にイタリアの数学者ジュゼッペ・ペアノにより定式化された。
ペアノの公理を起点にして、初等算術と整数・有理数・実数・複素数の構成などを実際に展開してみせた古典的な書物に、1930年に出版されたランダウによる『解析学の基礎』（Grundlagen Der Analysis）がある。
公理

集合 ℕ と定数 0 と関数 Sと集合Eに関する次の公理をペアノの公理という。
0 ∈ ℕ
任意の n ∈ ℕ について S(n) ∈ ℕ
任意の n ∈ ℕ について S(n) ≠ 0
任意の n, m ∈ ℕ について n  ≠  m ならば S(n) ≠ S(m)
任意の E ⊆ ℕ について 0 ∈ E かつ任意の n ∈ ℕ について n ∈ E → S(n) ∈ E ならば E = ℕ
このとき ℕ の元を自然数といい、自然数 n に対して自然数 S(n) をその後者 (successor)という。
第五公理は、数学的帰納法の原理である。
これらの公理は互いに独立であり、いずれも残りから導くことはできない。
ペアノの公理から 2 + 2 = 4 や 2 ⋅ 2 = 4 のような「定理」を証明するには 2 = S(S(0)) などの項を導入したり、加法 + や乗法 ⋅ の存在や性質を示したりする必要がある。たとえば Henle (1986, pp. 17, 18, 103, 104) を見よ。
回帰定理

次の主張を回帰定理（recursion theorem）という。
集合 X に属する元 x と写像 g: X → X が与えられたとき
を満たす写像
が一意的に存在する。
たとえば X = ℕ のとき写像 f は初項が x の漸化式により定義される数列に他ならない。回帰定理はこのような再帰的に定義される写像の存在と一意性を数学的帰納法の原理により保証する。
範疇性

集合 ℕ^ と定数 0^ と関数 S^ がペアノの公理を満たすとき組 (ℕ^, 0^, S^) をペアノ構造（Peano structure）という。ペアノ構造は同型を除いてただ一つに定まる、つまりペアノの公理は範疇的（categorical）であることがわかる。
一方で後述するペアノ算術はレーヴェンハイム＝スコーレムの定理から超準モデルをもつので範疇的ではない。
集合論的な構成

現代数学において標準的な数学の対象はすべて集合として実現されている。集合論における自然数の標準的な構成法としては、
がある。ただしここでAは無限公理により存在する集合を任意に選んだものである。
これらの集合は存在して、ペアノの公理を満たすことが確かめられる。
このとき具体的な自然数は
0=\emptyset =\{\}
1:=S(0)=\{0\}=\{\{\}\}
2:=S(1)=\{0,1\}=\{\{\},\{\{\}\}\}
3:=S(2)=\{0,1,2\}=\{\{\},\{\{\}\},\{\{\},\{\{\}\}\}\}
のようになる。この構成法はジョン・フォン・ノイマンによる。
自然数の集合が定義されたとき、その構成と自然数上での帰納法から、自然数上の算術や順序を定めることができる。
集合論的な構成 > 加法

自然数の加法は次のように再帰的に定義される。
集合論的な構成 > 乗法

自然数の乗法は次のように再帰的に定義される。
集合論的な構成 > 順序

自然数の順序は次のように定義される。
ある k について
が成り立つとき
と定義する。
また n ≤ m かつ n ≠ m のとき n < m と定義する。
ペアノ算術

非論理記号として定数記号 0 と関数記号 S, +, ⋅ と述語記号 < をもつ等号つき一階述語論理の形式言語上で、以下の公理によって定まる理論をペアノ算術（Peano arithmetic）あるいは PA という（形式言語や公理の選び方には本質的に同じものが色々とある。）。
\forall n\lnot [S(n)=0]
\forall n\forall m[S(n)=S(m)\to n=m]
\forall n[n+0=n]
\forall n\forall m[n+S(m)=S(n+m)]
\forall n[n\cdot 0=0]
\forall n\forall m[n\cdot S(m)=n\cdot m+n]
\forall n\lnot [n<0]
\forall n\forall m[[n<S(m)]\leftrightarrow [n<m]\lor [n=m]]
[\varphi (0)\land \forall n[\varphi (n)\to \varphi (S(n))]]\to \forall n[\varphi (n)]
自然数の標準モデル ℕ において真である Σ1 閉論理式はペアノ算術から証明ができること（PA の Σ1 完全性）が知られている。
一方でゲーデルの第一不完全性定理によりペアノ算術からは証明も反証もできない命題が存在する。有名な例としてはグッドスタインの定理やパリス＝ハーリントンの定理がある。
「ロビンソン算術」および「原始再帰的算術」も参照
歴史

ペアノは 1889年に「Arithmetices Principia, nova methodo exposita（算術原理）」と題するラテン語で書かれた論文で自然数の公理の原型となるべきものを発表しているが、それらは自然数以外の公理を含み本来必要とされるよりも多くの命題が述べられているなど、自然数の公理系としては不十分なものであった。1889 年の記載は以下の通り。原論文には誤植があるが正しい形に修正。本論文では、この後、四則演算の定義などが続き、ここでは明示的に自然数を定義しようとしている。
1 は自然数
a が自然数なら a = a
a, b が自然数で a = b なら b = a
a, b, c が自然数で a = b, b = c なら a = c
a = b で b が自然数なら a は自然数
a が自然数なら a + 1 は自然数
a, b が自然数で a = b なら a + 1 = b + 1
a が自然数なら、a + 1 と 1 は等しくない
もし集合 K が、1 を含み かつ 自然数 x が K に含まれるなら x + 1 が K に含まれる、という条件を満たすなら K は全ての自然数を含む
現在ペアノの公理系として知られる形のものが発表されたのは 1891年の「数の概念について」である。
この論文の中でペアノは次の 5 項目を自然数の満たすべき原始命題として与え、さらにこれら 5 つの命題が互いに独立であることを証明した。ペアノは現代の用語で言うところの公理と推論規則を合わせて原始命題と呼んだ。ここで挙げているものは公理にあたる。
1 は自然数である
任意の自然数 a に対して、a+ が自然数を与えるような右作用演算 + が存在する
もし a, b を自然数とすると、 a+ = b+ ならば a = b である
a+ = 1 を満たすような自然数 a は存在しない
集合s が二条件「(i) 1 は s に含まれる, (ii) 自然数 a が s に含まれるならば a+ も s に含まれる」を満たすならば、あらゆる自然数は s に含まれる。
ペアノがこれらの原始命題によって自然数そのものを定義しようとはしなかった点には注意を払う必要がある。
彼は自然数の持つべき性質を挙げ、自然数 や 1 などの原始命題中に現れる用語を無定義述語として扱っている。
これは後にヒルベルトらによって強力に進められることになる、形式主義的方法の格好の例といえる。
福田正夫

| --- | --- |
: この項目では、日本の詩人について説明しています。その他の用法については「福田正夫 (曖昧さ回避)」をご覧ください。
福田 正夫（ふくだ まさお、1893年3月26日 - 1952年6月26日） は、神奈川県足柄下郡小田原町（現・小田原市）出身の詩人。「民衆詩人」と呼ばれる一派の中心的詩人であった。広く歌われた国民歌謡「愛国の花」（1937年、古関裕而作曲）の作詞者である。
略歴

小田原藩士族の堀川家の五男として生まれる。1910年、17歳の時に福田家の養子となる。1913年神奈川師範学校（現・横浜国立大学）卒業。東京高等師範学校（現・筑波大学）体操科中退。1915年、川崎市の小学校教員となる。同年12月、処女詩集『農民の言葉』を自費出版し、民衆詩人として注目される。
1918年、富田砕花・井上康文・白鳥省吾・川崎長太郎らと同人誌『民衆』を創刊。彼らは民衆詩派として注目されたが、芸術性の欠如などを批判された。1921年、教員を辞して文筆業に専念する。民衆詩派の活動は昭和時代に入って衰退するが、福田の創作意欲は衰えなかった。太平洋戦争中は大政翼賛会、日本文学報国会に属して戦意高揚文芸に手を染めた。戦後は、主に俳句や校歌の作詞、少女小説などを手がけた。
1952年6月26日、脳溢血のため東京都世田谷区北沢の自宅で死去。戒名は天通院正覚達眠居士。墓所は小田原市久翁寺。
1987年、彼の功績にちなんで、詩人としての活動に対して与えられる賞「福田正夫賞」が創設された。
著書

『農民の言葉 福田正夫詩集』南郊堂 1916
『哀楽児 詩劇集』聚英閣 1920
『未墾地 長編小説』聚英閣 1920
『小さな探偵　童話集』銀島社 1921
『世界の魂 詩集』一歩堂 1921
『船出の歌』大鐙閣 1922
『高原の処女 長篇叙事詩』新潮社 1922
『輝ける薔薇 長篇叙事詩』新潮社 1922
『海に鳴る鐘 新童話集』民文社 1922
『黄金の星』 童話集』創文社　母と子文庫3
『恋の彷徨者 長篇叙事詩』新潮社 1923
『海の瞳 抒情小曲集』新詩壇社 1924
『嘆きの孔雀 長篇叙事詩』新潮社 1924
『曠野の花 抒情詩劇』新詩壇社 1924
『耕人の手』新潮社 現代詩人叢書15 1924
『雪中の薔薇　少女小説』文星書院 1924
『筑波の白百合　長篇叙事詩』新潮社 1925
『死の子守唄 長篇散文詩』聚芳閣 1925
『死の島の美女 幻想詩劇』新潮社 1925
『情熱の翼 長篇散文詩』聚芳閣 1925
『夢見草 抒情小曲集』交蘭社 1925
『幻の麗人 長篇叙事詩』新潮社 1926
『薊の花』交蘭社 1926
『破れ胡蝶 長篇叙事詩』新潮社 1926
『空翔ける美女 長篇叙事詩』新潮社 1927
『光の翼 長篇小説』福田正夫詩集刊行会 1928
『福田正夫詩集』第1至5輯 福田正夫詩集刊行会 1927－28
『荊の門 外四篇』平凡社 令女文学全集 1929
『鴎 叙事詩・詩劇』資文堂書店 昭和文庫 1929
『土の聖者尊徳伝』東江堂 1938
『土の文学 聖尊徳道歌解説』東江堂 1938
『小学国語読本詩の新しい味ひ方 前期用』育英書院 1939
『便法指示・実用類纂式　国語仮名遺読本　』女子文苑杜 1939
『海への憧憬 少年小説』淡海堂 1940
『白薔薇の唄 純情小説』新泉社 1940
『南の国へ 少年小説』安本永絵 淡海堂出版部 1940
『路傍の花 純情小説』新泉社 1940
『自由詩講座 徹底自由詩への道』資文堂書店 1929
『皇農二宮尊徳 伝記物語』三杏書院 1942
『南国の村 小説』牧書房 1942
『大洋の豹人 小説』大衆文芸社 1942
『光の種子 小説』奥川書房 1943
『曙 歴史小説』松栄館 1943
『福田正夫即興朗吟詩篇』青帆詩社 ガリ版8頁 1945
『育き渚 生活歌集』青帆詩社 ガリ版17頁 1946
『福田正夫即興朗吟第二詩集』青帆詩社 ガリ版11頁 1946
『孤独な登高者 福田正夫新詩集』抒情性クラブ ガリ版19貫 1946
『高原の処女 長篇叙事詩』一聯社　1946　再刊
『嘆きの孔雀 長篇叙事詩』一聯社　1946　再刊
『暴風雨の虹 小説』一聯社 1946
『敗戦直後 小説』一聯杜 1946
『月の凍蝶 長篇叙事詩』一聯社 1946
『『風の中にゐて 福田正夫詩抄』愛甲地方青年団文芸部 ガリ版21頁 1946
『乙女星座 少女小説』ポプラ社 1949
『嵐の小鳩 少女小説』文林社　1949
『絹糸草』渡辺郁子絵 ポプラ社 1949　荊の門改題再刊
『農民の言葉 福田正夫詩集』教育出版センター 1984
『福田正夫抒情小曲詩集三部作』福田美鈴編 教育出版センター 1984
『福田正夫全詩集』教育出版センター 1984
『星の輝く海』福田達夫絵 教育出版センター ジュニア・ポエム双書 1984
『冬木立 句集』福田正夫詩の会 1993
著書 > 共編著

『童謡・民謡・詩のつくり方』井上康文共著 大同館 1921
『泰西社会詩人詩集』白鳥省吾等訳 福田編 日本評論社出版部 1922
『童謡・民謡・詩傑作選集』井上康文共編 大同館 1922
『日本社会詩人詩集』編 日本評論社出版部 1922
『日本詩劇集 1926年版』白鳥省吾共編 聚芳閣 1926
『興民報徳夜話 二宮尊徳先生言行録』編 一誠社 1936
『愛国勤労小説集』梁取三義共著 大衆文芸社 日本小説文庫 1942
著書 > 翻訳

『トラウベル詩集』訳 新潮社 泰西名詩選集 1920
イエーツ『陰影の水の上』清水暉吉共訳　聚芳閣 泰西叙事詩選 1925
ユーゴー『小さいコゼット』泰西名作児童文学大系 文明社 1925
著書 > 参考書

『福田正夫全詩集』福田正夫全詩集刊行会編 教育出版センター 1984
『追想・福田正夫 詩と生涯』福田正夫詩の会編 教育出版センター 1984
『資料・福田正夫 人間と芸術』福田正夫詩の会編 教育出版センター 1985
『福田正夫・ペンの農夫 －詩作品鑑賞を中心に―』金子秀夫 夢工房 小田原ライブラリー17 2007
都市社会地理学

都市社会地理学（とししゃかいちりがく、英語: urban social geography）とは、社会地理学的な立場からみた都市地理学研究のアプローチである。
研究動向 > アメリカ合衆国

アメリカ合衆国で都市社会地理学の研究が盛んになったのは、公民権運動の影響である。当時は社会問題に関する研究への関心が強く、人種・民族集団や貧困に関する研究がよく行われた。当時の人種差別や社会的不平等に対する異議申し立てが研究の背景にあり、都市社会地理学ではセグリゲーションの研究などが行われた。また、1980年代になると女性を取り上げた研究も増加していった。
その後は都市社会地理学の領域で都市問題を幅広く研究するようになり、都市交通・都市内部での人口移動・ハウジングに関する研究も行われるようになっていった。
研究動向 > 日本

日本では、社会学やカルチュラル・スタディーズ、建築学における空間論的転回の影響を受けて、都市社会地理学への関心が高まってきた。また、急速なグローバル化の時代下で、1980年後半以降の日本の都市社会地理学研究は、都市コミュニティ・社会階層化・ポリティクス・エスニシティといった研究に発展していった。また、少子高齢化のほか、一人親家庭や単身世帯の増加に伴う対策も都市社会地理学の現代の課題となっている。
岳切渓谷

岳切渓谷（たっきりけいこく）は、大分県宇佐市院内町定別当の温見川上流にある渓谷。耶馬日田英彦山国定公園内にある。
概要

温見川の上流にあり、延長約2kmにわたって耶馬渓溶岩が造った一枚岩の上を清流が流れる。下流の最奥部には落差27mの大飛の滝があり、渓谷の入口から滝までは遊歩道が整備されている。水深は足首程度(10〜20cm)と浅く、夏には沢歩きが楽しめる。
豊の国名水15選に選ばれている名水の地でもあり。管理棟近くの湧水は自由に汲むことができる。
夏にはキャンプ場（バンガローのみ）も開かれる。
交通

鉄道・バス：JR九州日豊本線宇佐駅からバスで70分、田所停留所下車、徒歩約20分。
車：大分自動車道玖珠ICから、国道387号、県道27号を岳切トンネル方面へ約30分。
新キリスト教徒

新キリスト教徒（スペイン語: cristianos nuevos、ポルトガル語: cristãos novos）とは、イベリア半島の歴史用語。「古くからのキリスト教徒」（スペイン語: cristianos viejos、ポルトガル語: cristãos velhos）と区別するために、レコンキスタ達成後にカトリックに改宗したユダヤ人やムーア人について用いる。「新キリスト教徒」は、単に「コンベルソ（改宗者）」と呼ばれることもあれば、「マラーノ（豚）」と蔑称されることもあった。
中世を通じて何度か改宗がみられた。手短に言えば、物質的・経済的な結果や、社会的な抑圧や圧力のためであった。14世紀にユダヤ人に対する抑圧が加速し、このため1391年にセビリアなどの都市で暴動を見るに至った。暴動の結果ユダヤ人街が取り壊され、多くの改宗者を生んだ。この風潮は15世紀まで続いた。スペインの諸王国とは異なり、ポルトガルは暴動の波にさほど巻き込まれなかった。ポルトガルで新キリスト教徒の人口が急増するのは、1497年の強制改宗令の後である。
イベリア半島からのユダヤ教徒追放（1492年スペイン、1497年ポルトガル）の結果、イベリア半島におけるすべてのユダヤ人人口は、公式的にはキリスト教徒として数えられた。新キリスト教徒は、常に背教の疑いを向けられていた。1478年のスペイン異端審問と、1536年のポルトガル異端審問のそれぞれの開始は、「異端との戦いの必要性」によって正当化された。新キリスト教徒は密かに以前の信仰を実践していると信じられたからなのだが、実際たいていのユダヤ人は隠れユダヤ教徒だった。
「血の純化」（スペイン語: limpieza de sangre、ポルトガル語: limpeza de sangue）と呼ばれた民族浄化政策とそのイデオロギーは、新キリスト教徒を社会から抹殺する施策であり、改宗者としてどれほどの信仰であるかは考慮されなかった。ポルトガルにおいて、法律による新旧のキリスト教徒の差別が終わるのは、1722年にポンバル侯によって法令が発布されてからだった。
著名な新キリスト教徒

新キリスト教徒は、改宗後に洗礼名を名乗り、ヘブライ語やアラビア語の氏名を捨てた。ポルトガル王国やスペイン王国の庇護を受けた交易商人や宣教師には、少なからぬ新キリスト教徒（ないしは新キリスト教徒と目されている人々）が含まれている。彼らは大航海時代に活躍しており、スペインとポルトガルによる海外植民の尖兵だった者もいれば、先住民に対する植民者や侵略軍の非人道的な扱いを告発したラス・カサスのような者もいた。日本に南蛮文化をもたらした人たちもそこに含まれている。
粕屋農業協同組合

| 粕屋農業協同組合 |
| --- | --- |
統一金融機関コード:  8626
代表理事組合長:  安河内 豊
設立日:  1983年4月1日
出資金:  38億776万円 (2021年3月31日現在)
貯金残高:  2,153億5,300万円 (2021年3月31日現在)
貸出金残高:  721億1,400万円 (2021年3月31日現在)
職員数:  270人 (2021年3月31日現在)
組合員数:  20,592人 (2021年3月31日現在)
本所
所在地:  〒811-2302 福岡県糟屋郡粕屋町大字大隈1229
外部リンク:  公式サイト
テンプレートを表示
宇美支所（2015年（平成27年）4月）
須恵支所（2015年（平成27年）2月）
山田支所（2017年（平成29年）4月）
粕屋農業協同組合（かすやのうぎょうきょうどうくみあい、通称：JA粕屋）は、福岡県糟屋郡粕屋町に本所を置く農業協同組合。
区域

古賀市
糟屋郡志免町・宇美町・須恵町・粕屋町・篠栗町・久山町・新宮町
沿革

1963年（昭和38年）
3月 - 志免・宇美・須恵の各農協が合併し、粕屋南部農協が発足。
同月 - 大川・勢門・篠原・山田・久原の各農協が合併し、粕屋中部農協が発足。
1964年（昭和39年）5月 - 古賀・青柳・小野の各農協が合併し、古賀町農協が発足。
1965年（昭和40年）4月 - 新宮・立花の各農協が合併し、新宮町農協が発足。
1983年（昭和58年）4月 - 粕屋南部・仲原・粕屋中部・新宮町・古賀町の各農協が合併し、粕屋農協が発足。
1987年（昭和62年）5月 - カントリーエレベーター完成。
1988年（昭和63年）1月 - 粕屋農協シンボルマークを制定。
1991年（平成3年）5月 - 不動産開発相談業務・葬祭事業等を行う子会社「（株）かすや」を設立。
2000年（平成12年）4月 - Aコープ事業を（株）エーコープ福岡（現・（株）Aコープ九州）に譲渡。
2009年（平成21年）10月 - 管内農産物のブランド「かすやそだち」を立ち上げる。
2012年（平成24年）4月 - 給油所・LPガス事業を、（株）福岡ライフエナジー（全農福岡県本部の傘下子会社）へ譲渡。
2013年（平成25年）10月 - マスコットキャラクター「ピカマイくん」を制定。
2020年（令和2年）5月 - 支所統廃合を行い、14支所体制から13支所体制に再編。
2021年（令和3年）3月 - 農産物直売所「JA粕屋ふれあいの里」閉店。
2022年（令和4年）5月 - 久原支所・山田支所を統合し、久山支所を設置（12支所体制となる）。
2024年（令和6年）3月 - 立花支所を新宮支所に統合（11支所体制となる）。
店舗・施設

支所 11
プラザ（経済店舗） 3
カントリーエレベーター 1
育苗施設 2
みかん選果場 1
農産物直売所 1
子会社

株式会社かすや
ネヴァンリンナ理論

ネヴァンリンナ理論（英語: Nevanlinna theory）とは、複素解析の分野における理論で、有理型関数の理論の一部である。1925年にロルフ・ネヴァンリンナによって考案された。ヘルマン・ワイルはこれを「今世紀（20世紀）における数少ない数学的偉業のうちの一つ」と呼んでいる。この理論は、方程式 f(z) = a の解の漸近分布を a の変化として記述している。基本的なツールは、有理型関数の増加率を測定するネヴァンリンナ標数 T(r, f) である。
この理論の20世紀前半の他の主な貢献者には、ラース・ヴァレリアン・アールフォルス、アンドレ・ブロッホ（英語版）、アンリ・カルタン、エドワード・コーリングウッド（英語版）、オットー・フロストマン（英語版）、フリチオフ・ネヴァンリンナ、ヘンリック・セルバーグ（英語版）、清水辰次郎、オズヴァルト・タイヒミュラー、ジョルジュ・ヴァリロン（英語版）がいる。元々の形式では、ネヴァンリンナ理論は、円盤 |z| ≤ R または複素平面全体 (R = ∞) で定義された1つの複素変数の有理型関数を扱う。その後の一般化により、ネヴァンリンナ理論は、代数関数、正則曲線（英語版）、任意次元の複素多様体間の正則写像、準規則写像（英語版）、極小曲面へと拡張された。
この項目では、主に複素平面上での有理型関数に重点を置き、1変数の有理型関数の古典的なバージョンを説明する。この理論の一般的な参照文献としては、Goldberg & Ostrovskii、Hayman、Lang (1987)がある。
ネヴァンリンナ標数 > ネヴァンリンナのオリジナルの定義

f を有理型関数とする。全ての r ≥ 0 について、 n(r,f) を円盤 |z| ≤ r における有理型関数 f の極の数（多重度を数える）とすると、ネヴァンリンナ個数関数(Nevanlinna counting function)は次式で定義される。
この量は、r が増加するにつれて円盤 |z| ≤ r の極数の増加を測定する。明示的に、 a1, a2, ..., an を、穴の開いた円盤 0 < |z| ≤ r における ƒ の極数を多重度に従って繰り返したものとすると、 n = n(r,f) - n(0,f) となり、
となる。
log+x = max(log x, 0) とすると、近接関数(proximity function)は次式で定義される。
最後に、ネヴァンリンナ標数(Nevanlinna characteristic)を次式で定義する（有理型関数のイェンセンの公式を参照）。
ネヴァンリンナ標数 > アールフォルス＝清水のバージョン

ネバンリンナ標数を定義する第2の方法は、次式に基づく。
ここで、 dm は平面内の面積要素である。この式の左辺は、アールフォルス＝清水標数(Ahlfors–Shimizu characteristic)と呼ばれている。境界項 O(1) はほとんどの場合重要ではない。
アールフォルス＝清水標数の幾何学的な意味は次の通りである。内側の積分 dm は円盤のイメージの球面面積である |z| ≤ t の倍数を数える（つまり、リーマン面の k 回被覆された部分を k 回と数える）。この面積をリーマン面全体の面積であるπで割ったものが円盤の面積である。この結果は、リーマン面を円盤 |z| ≤ t で被覆している平均的な枚数と解釈することができ、この平均的な枚数を重み 1/t で t に関して積分する。
ネヴァンリンナ標数 > 性質

平面上の有理型関数の理論における標数関数の役割は、整関数の理論における
と同様である。実際には、整関数に対して、全ての R > r について T(r,f) と M(r,f) を直接比較することができる。
and
f が次数 d の有理関数である場合、 T(r,f) ~ d log r となり、実際、 f が有理関数のとき、かつそのときに限り、 T(r,f) = O(log r) となる。
有理型関数の次数は次式で定義される。
有限次数の関数は、多くの研究が行われた重要なサブクラスを構成している。
有理型関数が定義されている半径 R の円盤 |z| ≤ R が有限のとき、ネヴァンリンナ標数は有界である可能性がある。有界の標数を持つ円盤内の関数は、有界型（英語版）の関数としても知られているが、これは将に有界の解析関数の比である。有界型の関数は、上半平面のような別の領域に対しても定義されることがある。
第一基本定理

a ∈ C とし、次式のように定義する。
ここで、 a = ∞ とすると、 N(r,∞,f) = N(r,f), m(r,∞,f) = m(r,f) となる。
ネヴァンリンナ理論の第一基本定理は、リーマン面の全ての a について、次のことを述べている。
ここで、境界項 O(1) は f と a に依存することがある。平面上の非定常な有理型関数の場合、 r が無限大になるにつれて T(r, f) は無限大になるので、第一基本定理は、和 N(r,a,f) + m(r,a,f) が a に依存しない速度で無限大になることを述べている。第一基本定理は、イェンセンの公式の単純な帰結である。
標数関数は、次のような性質を持っている。
ここで、 m は自然数である。 T(r,f) が無限大に傾いているとき、境界項 O(1) は無視できる値である。これらの代数的性質はネヴァンリンナの定義とイェンセンの公式から簡単に得られる。