laion/Wikipedia-Exotic huggingface dataset:
形式的検証

形式的検証（けいしきてきけんしょう、英: formal verification）とは、ハードウェアおよびソフトウェアのシステムにおいて形式手法や数学を利用し、何らかの形式仕様記述やプロパティに照らしてシステムが正しいことを証明したり、逆に正しくないことを証明することである[要出典]。 完全な形式的検証は、システムにプログラミングの誤りがないことを保証する既知の唯一の方法である。 “ ” ACMシンポジウムで発表された論文の要約から 形式的検証の適用例としては、内部にメモリを持つ暗号回路、組み合わせ回路、デジタル回路などのシステム、ソースコードで表現されるソフトウェアがある。 これらのシステムの検証は、システムを抽象化した数理モデル上で行われ、その数理モデルと実際のシステムの性質は一致している。使用される数理モデルとしては、有限状態機械、ラベル付き遷移系、ペトリネット、timed automata、hybrid automata、プロセス計算、プログラミング言語の形式意味論（操作的意味論、表示的意味論、公理的意味論）、ホーア論理などがある[要出典]。 形式的検証の手法は大きく2つに分類される。 第一の手法はモデル検査と呼ばれる。これは数理モデルの体系的かつ徹底的な検証を意味する（有限なモデルでのみ可能だが、無限の状態を持つモデルであっても抽象化によって有限な表現が可能であれば検証可能である）。一般にモデル内の全状態と全遷移の検証を含み、演算時間を減らすために領域固有の抽象化技法などを駆使して効率化を図る。実装技法には状態空間列挙法（英語版）、抽象状態空間列挙法、抽象解釈、記号シミュレーション（英語版）、abstraction refinment などがある。検証される特性（プロパティ）は時相論理で記述され、線形時相論理 (LTL) や計算木論理 (CTL) が使われる。 第二の手法は論理的推論である。一般に HOL、ACL2、Isabelle、Coq といった定理証明ソフトウェアを使い、システムに関して形式的な推論を行う。この手法は完全自動化されていないのが一般的で、ユーザーの対象システムについての理解に応じて行われる。最近では、Perfect Developer や Escher C Verifier といったツールが証明の完全自動化を試みている。 線形論理や時相論理などの非古典論理は、モデル検査だけでなく論理的推論でも使われる。 ソフトウェアの形式的検証のための論理推論はさらに以下のように分類される。 1970年代のより古典的手法では、まずコードを普通に書き、その後のステップで正しいことを検証する。 依存型プログラミング（英語版）では、関数の型がその関数の仕様（の一部）を含み、コードの型チェックによって仕様に対する正しさが保証される。完全な依存型プログラミング言語は第一の手法を特殊ケースとしてサポートする。 それとは相補的な若干異なる手法としてプログラム導出がある。その場合、正しさを保持したステップを踏んで関数仕様から効率的コードを生成する。例として Bird-Meertens Formalism (BMF) があり、"correctness by construction" の別の形態と見ることもできる。 検証(Verification)は製品が目的に適合しているかどうかをテストする観点の1つである。妥当性検証(Validation)はそれを補完する観点と言える。この両者を合わせて検証プロセス全体を V & V と呼ぶこともある。 Validation: 「我々は正しい製品を作っているか？」すなわち、その製品はユーザーが本当に必要とすることを行っているか？ Verification: 「我々は製品を正しく作っているか？」すなわち、その製品は仕様通りに作られているか？ 検証プロセスには静的部分と動的部分がある。例えばソフトウェア製品なら、ソースコードの検査ができるし（静的）、特定のテスト条件で実行させることもできる（動的）。妥当性検証(Validation)は動的にしかできない。すなわち、製品を典型的局面で利用してみたり、一般的でない局面で利用してみたりする（すなわち、それはあらゆるユースケースに対して満足できる動作をするか、である）。 設計の複雑さが増すにつれ、形式的検証技法の重要性は特にハードウェア業界で増している。コンポーネント間の潜在的な微妙な相互作用により、シミュレーションだけで考えられる組み合わせをすべて調べるのは難しくなってきている。ハードウェア設計の重要な面は自動化証明技法に適しており、形式的検証の導入が容易で生産的である。 2011年現在、いくつかのオペレーティングシステムが形式的検証を採用している。 Embedded L4 microkernel（NICTA） Integrity（Green Hills Software） PikeOS（SYSGO） ^ Gerwin Klein; Kevin Elphinstone, Gernot Heiser, June Andronick, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, Simon Winwood et al. “seL4: Formal Verification of an OS Kernel (paper submitted to 22nd ACM Symposium on Operating Systems Principles, October 2009)”. 2011年11月7日閲覧。 ^ Harrison, J. (2003). Formal verification at Intel. pp. 45–54. doi:10.1109/LICS.2003.1210044.  ^ Formal verification of a real-time hardware design. Portal.acm.org (1983-06-27). Retrieved on 2011-04-30. ^ Formal Verification in Industry ^ a b "A new OS has been proven to be correct using mathematical proofs. The cost: astronomical." by Jack Ganssle ^ Christoph Baumann, Bernhard Beckert, Holger Blasum, and Thorsten Bormer Ingredients of Operating System Correctness? Lessons Learned in the Formal Verification of PikeOS 形式等価判定 Property Specification Language 静的コード解析 自動定理証明
プログラム導出

プログラム導出とは、計算機科学において数学的手段を用いて仕様からプログラムを導き出すことである。 プログラムを「導出」するとは、通常そのままでは実行不可能な形式的仕様を記述し、数学的に正しい規則を適用して実行可能なプログラムに変換することを意味する。このような手法で得られたプログラムは（最初の仕様にバグがない限り）構造的に正しいことが証明されている。 形式的検証の場合、最初にプログラムを書き、それが与えられた仕様に照らして正しいことの証明を与える。この際の問題は以下の通りである。 結果として出てくる証明は長くて複雑になる。 そのプログラムがどのように開発されたかを示せない。まるで「帽子から出てきたうさぎ」のように見える。 プログラム導出はそのような欠点を次のようにして改善する。 適切な数学的記法を新たに開発して証明を短くする。 仕様を操作することでプログラムを発見する。 プログラム導出とほぼ同義の用語として、transformational programming、algorithmics、deductive programming などがある。 形式的検証 ホーア論理 Edsger Dijkstra, Wim H. J. Feijen, A Method of Programming, Addison-Wesley, 1988年, 188ページ Edward Cohen, Programming in the 1990's, Springer-Verlag, 1990年 Anne Kaldewaij, Programming: The Derivation of Algorithms, Prentice-Hall, 1990年, 216ページ David Gries, The Science of Programming, Springer-Verlag, 1981年, 350ページ A.J.M. van Gasteren. On the Shape of Mathematical Arguments. Lecture Notes in Computer Science #445, Springer-Verlag, 1990年. 明確で正確な証明の書き方
地方検察庁

地方検察庁（ちほうけんさつちょう）は、地方裁判所及び家庭裁判所に対応して設置される検察庁。その長は検事正である。地検と略される。 地方検察庁の名称及び位置は政令によって定められており、全国に50庁が設けられている。また、地方検察庁には支部を設けることができ、地方裁判所支部（および家庭裁判所支部）に対応して203支部が設けられている。 なお、地方裁判所支部はそれぞれの管轄区域内に庁舎が置かれているのに対して、地方検察庁支部は「最高検察庁以外の検察庁の名称及び位置を定める政令」（昭和22年政令第35号）の第三表で地方裁判所支部の近隣に所在地が定められているものの、一部の支部においては管轄区域外に所在する他の地検支部（または本庁）庁舎で集約して事務が取り扱われている。区検察庁でも同様のケースがみられる。 下線▼は管轄区域外に所在する他の地検支部（または本庁）庁舎において事務を取り扱う地検支部を示す。 札幌高等検察庁管内（北海道） 札幌地方検察庁：岩見沢支部・室蘭支部・小樽支部・滝川支部・浦河支部・岩内支部▼・苫小牧支部 函館地方検察庁：江差支部▼ 旭川地方検察庁：名寄支部・紋別支部・留萌支部▼・稚内支部 釧路地方検察庁：帯広支部・網走支部・北見支部・根室支部 仙台高等検察庁管内（東北地方） 仙台地方検察庁（宮城県）：大河原支部▼・古川支部・石巻支部・登米支部▼・気仙沼支部 福島地方検察庁（福島県）：相馬支部▼・郡山支部・白河支部・会津若松支部・いわき支部 山形地方検察庁（山形県）：新庄支部・米沢支部・鶴岡支部・酒田支部 盛岡地方検察庁（岩手県）：花巻支部・二戸支部・遠野支部・宮古支部・一関支部・水沢支部 秋田地方検察庁（秋田県）：能代支部・本荘支部・大館支部・横手支部・大曲支部 青森地方検察庁（青森県）：弘前支部・八戸支部・五所川原支部・十和田支部 東京高等検察庁管内（関東地方） 東京地方検察庁（東京都）：立川支部 横浜地方検察庁（神奈川県）：川崎支部・相模原支部・横須賀支部・小田原支部 さいたま地方検察庁（埼玉県）：越谷支部・川越支部・熊谷支部・秩父支部▼ 千葉地方検察庁（千葉県）：佐倉支部・一宮支部・松戸支部・木更津支部・館山支部・八日市場支部・佐原支部▼ 水戸地方検察庁（茨城県）：土浦支部・下妻支部・日立支部・龍ケ崎支部・麻生支部 宇都宮地方検察庁（栃木県）：真岡支部・大田原支部・栃木支部・足利支部 前橋地方検察庁（群馬県）：高崎支部・桐生支部・太田支部・沼田支部 静岡地方検察庁（静岡県）：沼津支部・富士支部・下田支部・浜松支部・掛川支部 甲府地方検察庁（山梨県）：都留支部 長野地方検察庁（長野県）：上田支部・佐久支部・松本支部・諏訪支部・飯田支部・伊那支部 新潟地方検察庁（新潟県）：三条支部・新発田支部・長岡支部・高田支部・佐渡支部 名古屋高等検察庁管内（中部地方） 名古屋地方検察庁（愛知県）：岡崎支部・豊橋支部・一宮支部・半田支部 津地方検察庁（三重県）：松阪支部・伊賀支部・四日市支部・伊勢支部・熊野支部 岐阜地方検察庁（岐阜県）：大垣支部・高山支部・多治見支部・御嵩支部 福井地方検察庁（福井県）：武生支部・敦賀支部 金沢地方検察庁（石川県）：小松支部・七尾支部・輪島支部 富山地方検察庁（富山県）：魚津支部・高岡支部 大阪高等検察庁管内（近畿地方） 大阪地方検察庁（大阪府）：堺支部・岸和田支部 京都地方検察庁（京都府）：園部支部▼・宮津支部・舞鶴支部・福知山支部 神戸地方検察庁（兵庫県）：伊丹支部・尼崎支部・明石支部・柏原支部・姫路支部・社支部・龍野支部・豊岡支部・洲本支部 奈良地方検察庁（奈良県）：葛城支部・五條支部 大津地方検察庁（滋賀県）：彦根支部・長浜支部 和歌山地方検察庁（和歌山県）：田辺支部・御坊支部・新宮支部 広島高等検察庁管内（中国地方） 広島地方検察庁（広島県）：呉支部・尾道支部・福山支部・三次支部 山口地方検察庁（山口県）：周南支部・萩支部・岩国支部・下関支部・宇部支部 岡山地方検察庁（岡山県）：倉敷支部・新見支部▼・津山支部 鳥取地方検察庁（鳥取県）：倉吉支部・米子支部 松江地方検察庁（島根県）：出雲支部・浜田支部・益田支部・西郷支部▼ 高松高等検察庁管内（四国地方） 高松地方検察庁（香川県）：丸亀支部・観音寺支部 徳島地方検察庁（徳島県）：阿南支部・美馬支部 高知地方検察庁（高知県）：須崎支部・安芸支部▼・中村支部 松山地方検察庁（愛媛県）：大洲支部・西条支部・今治支部・宇和島支部 福岡高等検察庁管内（九州地方） 福岡地方検察庁（福岡県）：飯塚支部・直方支部▼・久留米支部・柳川支部・大牟田支部・八女支部▼・小倉支部・行橋支部・田川支部 佐賀地方検察庁（佐賀県）：武雄支部・唐津支部 長崎地方検察庁（長崎県）：大村支部・島原支部・佐世保支部・平戸支部▼・壱岐支部・五島支部・厳原支部 大分地方検察庁（大分県）：杵築支部・佐伯支部・竹田支部・中津支部・日田支部 熊本地方検察庁（熊本県）：玉名支部・山鹿支部・阿蘇支部・八代支部・人吉支部・天草支部 鹿児島地方検察庁（鹿児島県）：名瀬支部・加治木支部・知覧支部・川内支部・鹿屋支部 宮崎地方検察庁（宮崎県）：日南支部・都城支部・延岡支部 那覇地方検察庁（沖縄県）：沖縄支部・名護支部・平良支部・石垣支部 [脚注の使い方] ^ 検察庁法第2条第1項、第2項 ^ 検察庁法第9条 ^ 検察庁法第2条第3項 ^ 最高検察庁の位置並びに最高検察庁以外の検察庁の名称及び位置を定める政令第2条、第二表 ^ a b “検察庁の組織”. 検察庁. 2009年5月24日閲覧。 ^ 検察庁法第2条第4項 ^ 地方検察庁支部設置規則（昭和二十二年司法省令第四十二号） 日本の裁判所 法務省 検察庁法 各検察庁の紹介 検察庁
ジョジマール・ロドリゲス・ソウザ・ロベルト

ジョジマール・ロドリゲス・ソウザ・ロベルト（Josimar Rodrigues Souza Roberto、1987年8月16日 - ）は、ブラジル出身の元サッカー選手。現役時代のポジションはフォワード。 ブラジルのイパチンガFCから2006年8月にJ1・ヴァンフォーレ甲府に完全移籍で加入。リーグ戦及びカップ戦では出場機会がなかったが、チーム得点王だったエースストライカーのバレーがリーグ戦終了後に退団したため、直後の天皇杯5回戦・川崎フロンターレ戦に公式戦初出場すると2得点を挙げる活躍を見せ、甲府のクラブ史上初となる天皇杯準々決勝進出に貢献した。 2007年も戦術面などの問題から甲府では出場機会を得られなかったため、シーズン途中の7月18日より愛媛FCに期限付き移籍した。愛媛にとっては初のブラジル人選手の獲得となった。後半戦だけでリーグ戦8得点を挙げる活躍を見せる。 2008年は甲府に復帰し、レギュラーとして出場機会を与えられるようになったが、プレイスタイルが甲府のシステムと一致せず、また不調に陥ってしまったことなどから第1クール終盤よりレギュラーの座を失い、更に7月にマラニョンとサーレスのブラジル人選手が入団すると出場機会を完全に失ってしまった。シーズン終了後、甲府がマラニョンの他にも2人の新外国人を加入させたため去就が注目されたが、2007年シーズンの活躍でジョジマールのプレイスタイルを熟知している愛媛が完全移籍で獲得した。2011年までの3年間愛媛でプレーし、2012年に東京ヴェルディへ完全移籍。だが16試合で1得点と結果を残せず、8月23日に契約を解除された。 甲府入団以来、7年以上日本でプレーしていたこともあり、日本語は日常会話では全く問題ない程のレベルである。簡単な漢字の読み書きもでき、自身のTwitterでは日本のファンとの交流も見られた。 ユース経歴 2003年 - 2005年 イパチンガFC 下部組織 プロ経歴 2006年 イパチンガFC 2006年8月 - 2008年 ヴァンフォーレ甲府 2007年7月 - 同年12月 愛媛FC (期限付き移籍) 2009年 - 2011年 愛媛FC 2012年 - 同年8月 東京ヴェルディ 2013年 CEラジェアデンセ 2014年 CSA 2014年 アトレチコ・ゴイアニエンセ 2015年 クルーベ・ナウチコ・カピバリベ 2015年 アル・ファトフSC 2016年 アーミー・ユナイテッドFC 2017年 タイ・ポートFC 2018年 CSA 2018年 PTTラヨーンFC 2019年 ポリス・テロFC 2019年 タイ・ポートFC Jリーグ初出場 - 2007年3月10日 J1・第2節 名古屋グランパスエイト戦 (小瀬) Jリーグ初得点 - 2007年8月16日 J2・第34節 ベガルタ仙台戦 (愛媛陸) Jリーグの外国籍選手一覧 ヴァンフォーレ甲府の選手一覧 愛媛FCの選手一覧 東京ヴェルディ1969の選手一覧 ジョジマール・ロドリゲス・ソウザ・ロベルト - Soccerway.com (英語) ジョジマール・ロドリゲス・ソウザ・ロベルト - FootballDatabase.eu (英語) ジョジマール・ロドリゲス・ソウザ・ロベルト - WorldFootball.net (英語) ジョジマール・ロドリゲス・ソウザ・ロベルト - Transfermarkt.comによる選手データ (英語) ジョジマール・ロドリゲス・ソウザ・ロベルト - J.League Data Siteによる選手データ ジョジマール・ロドリゲス・ソウザ・ロベルト - TheFinalBall.com (英語) Josimar_9 (@josimar_9) - X（旧Twitter）
飯高寺

飯高寺（はんこうじ）は、千葉県匝瑳市飯高にある日蓮宗の寺院。山号は妙雲山。関東における日蓮宗の主要な檀林（僧侶の学問所）の一で、飯高檀林（いいだかだんりん）と称された。檀林の機能は19世紀に入ってから立正大学に受け継がれている。 匝瑳市の中心部から北方へ約8kmの台地上に造られた、関東で最初の日蓮宗の檀林（飯高檀林）である。 徳川家康、養珠院、徳川頼房、徳川頼宣などの外護を受け、格式の高い檀林へ発展した。 他の檀林から編入した学徒は下の学部へ落とされるなど、諸檀林のなかでも優位性ははっきりと示されており、日蓮宗最高かつ最大の学問機関に位置づけることができる。 天正5年(1573年)に、日統が匝瑳市飯塚・光福寺に学室を開いたことが檀林の前身とされる。 後に京都から日生を招き、土地の有力者で刑部少輔平山常時や妙福寺・日円などの後援を得て、学室を飯高・妙見山妙福寺に移した。これが飯高檀林の発祥である。 就学課程は8課程で、名目部から入学して、四教学部、集解部、観心部、玄義部、文句部、止観部、御書科を36年間の期間をかけて修了する。 明治5年(1872年)に学制発布のため廃檀となり、294年間の歴史を閉じた。その名跡を継いだのが立正大学で、境内に「立正大学発祥之地」の碑が建てられている。 講堂・鐘楼・鼓楼・総門が国指定の重要文化財、檀林跡としては境内全体が千葉県指定の史跡になっており、歴史的建造物を保存するため、本堂の改修工事が行われた。 近年、講堂の裏庭には520株の牡丹が植えられて、名所として人気を集めている。また、秋には講堂を舞台に飯高壇林コンサートが開催される。 日統は飯塚生まれで地元光福寺で出家、比叡山延暦寺に学んだ後、天正元年 (1573年) 飯塚檀林を開檀する。 天正5年 (1577年) 日統の後輩にあたる延暦寺学僧日生[要曖昧さ回避]、日尊[要曖昧さ回避]ら30余名が学室に加わる。日統没後は日生が講主となり、内山・妙広寺を経て妙見山妙福寺に移る。この妙福寺学室が妙雲山法輪寺に発展し飯高壇林となる。 天正8年 (1580年) 帰京した日生に後を託された日尊が講主となってからは学僧も多く集まり益々盛大になる。 天正19年 (1591年) 豊臣秀吉の関東制圧後、飯高城主平山刑部常時は野に下りその城地全域を寄進する。徳川家康が朱印地30石を与え、飯高寺と公称する。 慶長元年 (1596年) 飯高寺・日尊は飯高檀林を開檀する。 慶長13年 (1608年) 江戸城徳川家康面前にて日蓮宗日経と浄土宗増上寺源誉の間で宗論が行われ、日蓮宗が浄土宗に詫び証文を出すことになった時、対応をしたのが檀林第3世講主日遠である。日遠が家康からの処罰を受けるところを仲裁したのが日遠を師事していたお万の方であり、後の講堂焼失の際に多額の寄付が送られるきっかけともなった。 慶安3年 (1650年) 火災により、講堂を焼失する。 慶安4年 (1651年) 養寿院は講堂焼失に際し見舞いとして米、金、袈裟、材木などを送る。 明治5年 (1872年) 学制発布により、飯高檀林は廃檀となり、以後立正大学として今日に至る。残された施設は、講堂、庫裏、鐘楼、鼓楼、題目堂、経蔵、惣門で、破棄されたのは北丈、食堂、衆寮、所化部屋、妙見堂、七面社などである。 平成14年 (2002年) 6年越しの講堂修理が終わり焼失後再建時の姿が甦った。 講堂 - 慶安4年(1651年)の建立。桁行26.7m、梁間18.2m、一重、入母屋造、とち葺。昭和55年(1980年)05月31日指定。 鐘楼 - 承応3年(1654年)以前の建立。桁行一間、梁間一間、一重、入母屋造、こけら葺。昭和55年(1980年)05月31日指定。 鼓楼 - 享保5年(1720年)の建立。桁行一間、梁間一間、袴腰付、入母屋造、茅葺。昭和55年(1980年)05月31日指定。 総門 - 延宝8年(1680年)の建立。高麗門、銅板葺。昭和55年(1980年)05月31日指定。 飯高檀林跡 附:経蔵、題目堂、庫裡 飯高寺の天蓋（匝瑳市指定有形文化財） 黄門桜（匝瑳市指定天然記念物）千葉県匝瑳市飯高2088-4 鐘楼 鼓楼 一切経蔵 題目堂 総門 [脚注の使い方] ^ [ふるさとの歴史（飯高地区のむかしより] ^ [八日市場の村々] ふるさとの歴史（飯高地区のむかし）編：石渡治雄 発行：飯高地区の歴史を守る会 飯高教育振興会 八日市場の村々 編：八日市場市史編さん委員会 道路 千葉県道16号佐原八日市場線 佐原市街から約30分、匝瑳市街から約10分 千葉県道74号多古笹本線 飯高交差点を匝瑳市街方面へ約1分 東総広域農道 県道16号佐原八日市場線との交差点を佐原方面へ約1分 鉄道 最寄り駅 JR東日本総武本線 八日市場駅 飯高寺（はんこうじ） - 匝瑳市
Ϝ

この項目には、一部のコンピュータや閲覧ソフトで表示できない文字が含まれています（詳細）。 Ϝ, ϝ（ディガンマ、δίγαμμα、またはウアウ）は、使われなくなったギリシャ文字のひとつである。 元来はアルファベットの第6字で半母音[w]を表した。数価は6である。ただし現在では数の6はϚ（スティグマ = シグマとタウの合字）を使って書かれる。 西方ギリシア文字を受け継ぎ、エトルリア語では[v]の音（ギリシア語にない）を表すためにこのϜを用い、加えて[f]の音を表すためには古くはϜΗと書いた。エトルリア人から文字を伝えられたラテン人は[v]の発音は不要なのでϜの一文字だけで[f]を表し、ラテン文字の F の文字となった。 フェニキア文字 𐤅 （ワウ）に由来する。初期のギリシア語には半母音[w]が音素として存在し、多くの方言ではこの文字で表記された。ただし𐤅の字形ではなくその異体字ࠅがこの子音字（Ϝ）として使われた。文字名称はおそらくセム語と同じくワウ(Ϝαῦ)だったと思われるが、文献的証拠は時代の新しいものしか存在しない。 しかし古代ギリシア語のアッティカ方言では早く[w]は消滅したため、この字は数字としてのみ用いられるようになった。後にハリカルナッソスのディオニュシオス（紀元前1世紀）らはその形からディガンマ（δίγαμμα、2つのΓ）と呼ぶようになった。 数の6を表す用法としては後世さまざまに字形が変化し、最終的に7-8世紀ごろ合字のστ(st)と混同されて「スティグマ」と呼ばれるようになった。 なおギリシア語で母音[u]を表す Υ（ユプシロン）も同じく 𐤅 （ワウ）に由来するが、子音（Ϝ）と母音とは異なる文字形で区別し、こちらはセム語アルファベット（フェニキア文字）の最後の字であるτの後ろへ追加し、現在に至るまで残っている。 U+0376/0377の字はパンフィリア地方（現在のトルコ南部のアンタルヤ県）の碑文で使われた[w]を表す文字で、通常のディガンマとは使い分けられた。 [脚注の使い方] ^ 平凡社「世界大百科事典」より。 ^ 文字に当てはめられた数値のこと。ギリシアの数字を参照。 ^ ボンファンテ(1996) pp.34-35 ^ サマリア文字ではこの形が使われた。 ^ a b c Allen (1987) pp.47-48 ^ Allen (1987) p.171 ^ Nick Nicholas (2005-01-05), Proposal to add Greek epigraphical letters to the UCS, http://www.unicode.org/L2/L2005/05003r-epigraphical.pdf  W. Sidney Allen (1987) [1968]. Vox Graeca (3rd ed.). Cambridge University Press. ISBN 0521335558  ラリッサ・ボンファンテ 著、小林標 訳『エトルリア語』学藝書林、1996年。ISBN 4875170165。
カタール国際親善トーナメント

カタール国際親善トーナメントは、カタールで開催される、ナショナルチームによるサッカーの国際大会である。開催国のカタールの他、毎年招待国を数ヶ国招いて開催される。 2009年大会まではカタール国際ユーストーナメントという名称で年齢制限を設けていたが、2010年大会よりA代表のチームが参加する大会に改められた。 ※2003年大会は3位決定戦は行われなかった。 表示 編集
高等検察庁

高等検察庁（こうとうけんさつちょう）とは、高等裁判所に対応した検察庁であり、長は検事長。略称「高検」。 本庁は東京都、大阪市、名古屋市、広島市、福岡市、仙台市、札幌市、高松市の8箇所に設置されている。 必要に応じて、各本庁管内に支部（名古屋高等検察庁管内の金沢市（名古屋高等検察庁金沢支部。以下呼称はこの例による）、広島高等検察庁管内の岡山市、松江市、福岡高等検察庁管内の宮崎市、那覇市、仙台高等検察庁管内の秋田市）が設置されている。
一関修紅高等学校

一関修紅高等学校（いちのせきしゅうこうこうとうがっこう）は、岩手県一関市にある学校法人健康科学大学が経営する私立高等学校。略称は「修紅」。 男子を対象に後期中等教育の場が普及し始めた明治32年、女性にも教育が必要と小梨コマ裁縫塾が設立された。岩手県南私学の歴史もこの日から始まった。 創設者の小梨コマは「心の美しさ」を大切にし、その建学の精神は現在に受け継がれている。「まごころを尽くして人と接し、人のために苦労をいとわない人間愛」を育みつつ、生きる業の習得を大切にした、県内有数の伝統校である。 1899年 小梨コマ裁縫塾を創立 1903年 岩手県下私立裁縫修紅学校開校 1929年 一関私立裁縫修紅女学校に校名変更 1946年 一関裁縫修紅学校に校名変更 1948年 学制改革により、一関修紅高等学校開校 1962年 普通科に男子入学。男女共学となる 1985年 麻生一関高等学校に校名変更 2001年 一関修紅高等学校に校名変更 2019年 創立120周年記念式典挙行 全日制課程 普通科 特別進学コース 看護進学コース 幼児教育コース 総合コース ライフデザインコース 健康科学大学 修紅短期大学 修紅短期大学附属幼稚園 米持美佳 - ピアニスト [脚注の使い方] ^ “春高バレー2015 - 出場校紹介「学校法人富士修紅学院一関修紅高等学校」”. フジテレビ. 2023年5月17日閲覧。 岩手県高等学校一覧 日本の家庭に関する学科設置高等学校一覧 女子教育 高等女学校 高橋昇禎（男子バレーボール部現監督） 一関修紅高等学校
玉村大橋

玉村大橋（たまむらおおはし）は群馬県佐波郡玉村町にある橋で利根川に架かる。路線は群馬県道40号藤岡大胡線バイパス。 福島橋が通勤ラッシュで混雑する為、その回避として造られた。 橋長218メートル、幅員10.65メートル（車道7.75メートル、歩道2.9メートル）、支間長72.3メートル（支間割72.3 m＋72.3 m＋72.3 m）の鋼連続箱桁橋である。橋台や橋脚は4車線分あり、上流側半橋が暫定2車線で共用されている。橋軸が河川に対して斜角が付けられた斜橋となっている。 橋は2000年（平成12年）完工され、2001年（平成13年）12月に開通された。施工会社は駒井鐵工所（現駒井ハルテック）、東綱橋梁、巴組鐵工所で、 架設工法としてトラッククレーンベント工法、およびトラベラクレーン（TRC）架設機による片持ち式工法が用いられた。 玉村町立玉村中学校 玉村町障害者福祉センターのばら 利根川 北関東自動車道 - 福島橋 - 玉村大橋 - 伊勢玉大橋 - 五料橋 [脚注の使い方] ^ a b c 橋梁年鑑 玉村大橋 詳細データ - 日本橋梁建設協会、2018年7月4日閲覧。 ^ “地図で見る駒井ハルテックの橋＜群馬県＞”. 駒井ハルテック. 2018年7月4日閲覧。 ^ “近代・現代”. 玉村町役場 (2014年9月19日). 2018年7月4日閲覧。 ^ “玉村町のあゆみ（平成元年-現在）”. 玉村町役場 (2017年2月7日). 2018年7月4日閲覧。
田村俊子賞

ポータル 文学 田村俊子賞（たむらとしこしょう）は、田村俊子の死後に発生した印税を基に設立された文学賞 。女流作家の優れた作品に贈られる。「田村俊子会」が主催。第17回で終了した。俊子の友人だった湯浅芳子が中心となって設立し、俊子に夫を寝とられた佐多稲子も選考委員を務めた。その様子は瀬戸内寂聴『孤高の人』に詳しい。授賞式は、毎年、俊子の命日にあたる4月16日に、墓のある北鎌倉の東慶寺にて行われた。 第1回（1961年）- 瀬戸内晴美『田村俊子』 第2回（1962年）- 森茉莉『恋人たちの森』 第3回（1963年）- 倉橋由美子 ― 業績に対して 第4回（1964年）- 竹西寛子『往還の記』 第5回（1965年）- 阿部光子「遅い目覚めながらも」「神学校一年生」 /秋元松代『常陸坊海尊』 第6回（1966年）- 萩原葉子『天上の花　三好達治・抄』 第7回（1967年）- 中村きい子『女と刀』 第8回（1968年）- 松田解子『おりん口伝』 /吉行理恵『夢のなかで』 第9回（1969年）- 福田須磨子『われなお生きてあり』 第10回（1970年）- 三枝和子『処刑が行われている』 /松原一枝『お前よ美しくあれと声がする』 第11回（1971年）- 江夏美好『下々の女』 /本多房子 ― 婦人民主新聞記者としての活動に対して 第12回（1972年）- 広津桃子『春の音』 /江刺昭子『草饐―評伝・大田洋子』 /石垣りん『石垣りん詩集』 第13回（1973年）- 高橋たか子『空の果てまで』 第14回（1974年）- 富岡多恵子『植物祭』 第15回（1975年）- 吉野せい『洟をたらした神』 /島尾ミホ『海辺の生と死』 第16回（1976年）- 津島佑子『葎の母』 /一の瀬綾『黄の花』 第17回（1977年）- 木々康子『蒼龍の系譜』 /武田百合子『富士日記』 湯浅芳子、佐多稲子、高見順（-65）、草野心平、立野信之（-71）、武田泰淳（-76）、瀬戸内晴美 [脚注の使い方] ^ a b c “田村俊子賞”. デジタル大辞泉プラス（コトバンク）. 2020年3月1日閲覧。 ^ “田村俊子賞”. 世界大百科事典 第２版（コトバンク）. 2020年3月1日閲覧。 ^ 江刺昭子・史の会編『時代を拓いた女たち　第2集』神奈川新聞社、2011年、142頁。ISBN 978-4-87645-475-4。  文学賞の一覧
青野大介

青野 大介（あおの だいすけ、1979年9月19日 - ）は、愛媛県周桑郡丹原町（現：西条市）出身の元サッカー選手、サッカー指導者。ポジションは、MF。 丹原東中学校卒業後、高校年代は愛媛FCユースに所属。当時の愛媛FCユースはトップチームより強いとされ、同期には不老伸行、吉村圭司がいた。1997年度の天皇杯では、1回戦でJFL所属の北陸電力に勝利したが、2種（高校）年代のチームが1種チームを破ったのは大会史上初めてのことだった。同試合で青野はVゴールを含む2得点をあげた。 関西学院大学（関西学院大学体育会サッカー部）卒業後、2002年にガンバ大阪に加入したが2年間在籍して公式戦の出場機会なし。2004年にヴィッセル神戸に移籍したが、公式戦出場はないまま戦力外となった。2003年、2004年は怪我でシーズンの半分をリハビリに費やした。 2005年にアルビレックス新潟移籍後、プロ4年目にして開幕戦のFC東京戦に起用されJリーグデビューを果たすが、左サイドバックで起用され、本職の攻撃的MFではなかった。2005年はJ1リーグ戦16試合に出場したが、監督が反町康治から鈴木惇に代わった2006年はカップ戦のみの出場にとどまった。 2007年からは故郷の愛媛FCへ移籍。同年6月2日、J2第19節東京ヴェルディ1969戦にてJ初ゴールを奪うと、次の試合でも2試合連続ゴールを奪い、チームの連勝に貢献。「ゆりかご」パフォーマンスで妹の出産を祝うことができた。2008年後半から愛媛でレギュラーとして常に出場するようになる。2008年9月19日、自身の誕生日に入籍。翌2009年に長女が生まれた直後の試合でゴールを決めるなどしたが、怪我の影響もあり同年オフに現役を引退した。 2010年からは愛媛FCの普及育成部門のスタッフを務め、2015年に育成統括ダイレクターに就任。 2018年5月、愛媛FCのヘッドコーチに就任。ダイレクター業務も兼任する。 2019年はトップチームから離れ、愛媛FCのアカデミースタッフに就任。2020年11月27日、愛媛FCのゼネラルマネージャーに就任した。 丹原東中学校 愛媛FCユース（愛媛県立松山中央高等学校） 関西学院大学 2002年 - 2003年 ガンバ大阪 2004年 ヴィッセル神戸 2005年 - 2006年 アルビレックス新潟 2007年 - 2009年 愛媛FC 2010年 - 愛媛FC 2010年 スクールコーチ 2011年 - 2014年 U-15監督 2015年 - 2017年 U-18監督 2018年 - 愛媛FCアカデミーダイレクター 2018年5月 - 同年12月 ヘッドコーチ 2019年 U-18監督 2020年11月 - ゼネラルマネージャー ^ a b 『青野 大介 氏 ゼネラルマネージャー就任のお知らせ』（プレスリリース）愛媛FC、2020年11月27日。https://ehimefc.com/topics/topic13751.html。2020年11月27日閲覧。  ^ a b c d e f “OrangeLife vol.2 青野大介選手スペシャルインタビュー”. 愛媛FC. 2017年7月3日閲覧。 ^ 『01/09　　2015シーズンアカデミー新体制についてのお知らせ』（プレスリリース）愛媛FC、2015年1月9日。103042。http://www.ehimefc.com/efc/topics.php?s。2017年7月3日閲覧。  ^ 『05/15　　トップチーム新監督・新ヘッドコーチ就任 及び U-18監督の就任』（プレスリリース）愛媛FC、2018年5月15日。http://www.ehimefc.com/efc/topics.php?stpId=105250。2018年5月15日閲覧。  ^ 『2019愛媛FC トップチーム新体制のお知らせ』（プレスリリース）愛媛FC、2019年1月7日。https://ehimefc.com/topics/topic1510.html。2020年11月27日閲覧。  ガンバ大阪の選手一覧 ヴィッセル神戸の選手一覧 アルビレックス新潟の選手一覧 愛媛FCの選手一覧 愛媛県出身の人物一覧 関西学院大学の人物一覧 青野大介 - Soccerway.com (英語) 青野大介 - FootballDatabase.eu (英語) 青野大介 - WorldFootball.net (英語) 青野大介 - Transfermarkt.comによる選手データ (英語) 青野大介 - Transfermarkt.comによる指導者データ (英語) 青野大介 - J.League Data Siteによる選手データ 青野大介 - ゲキサカ 表示 編集
ロマッロ

ロマッロ（イタリア語: Romallo）は、イタリア共和国トレンティーノ＝アルト・アディジェ州トレント自治県に存在した、人口約600人の基礎自治体（コムーネ）。 2020年1月1日にブレツ、カニョ、クロツ、レヴォと合併してノヴェッラの一部となった。 トレント自治県北西部、ヴァル・ディ・ノン（イタリア語版）に位置するコムーネ。ヴァル・ディ・ノンの中心地であるクレスから北北東へ4km、ボルツァーノから西南西へ25km、県都トレントから北へ36km、ソンドリオから東北東へ95kmの距離にある。 隣接するコムーネは以下の通り。 レヴォ クロツ ダンベル サンゼーノ トレント自治県が設置した広域行政組織 Comunità di valle 「ヴァル・ディ・ノン」 (it:Comunità della Val di Non) （事務所所在地: クレス）に属する。 2011年10月9日に行われた国勢調査によれば、住民606人中300人（49.5%）がラディン語話者であった。 ^ 国立統計研究所（ISTAT）. “Total Resident Population on 1st January 2019 by sex and marital status” (英語). 2020年8月3日閲覧。 ^ 国立統計研究所（ISTAT）. “Tavola: Popolazione residente - Trento (dettaglio loc. abitate) - Censimento 2001.” (イタリア語). 2013年12月28日閲覧。 ^ 国立統計研究所（ISTAT）. “Tavola: Superficie territoriale (Kmq) - Trento (dettaglio comunale) - Censimento 2001.” (イタリア語). 2013年12月28日閲覧。 ^ “地図上で2地点の方角・方位、距離を調べる”. 2016年5月11日閲覧。 ^ a b “15° Censimento della popolazione e delle abitazioni Rilevazione sulla consistenza e la dislocazione territoriale degli appartenenti alle popolazioni di lingua ladina, mòchena e cimbra”. Provincia Autonoma di Trento - Servizio Statistica（トレント自治県統計局） (Giugno 2012). 2016年5月10日閲覧。 ウィキメディア・コモンズには、ロマッロに関連するカテゴリがあります。
ロメーノ

ロメーノ（イタリア語: Romeno）は、イタリア共和国トレンティーノ＝アルト・アディジェ州トレント自治県にある、人口約1,400人の基礎自治体（コムーネ）。 トレント自治県北西部、ヴァル・ディ・ノン（イタリア語版）に位置するコムーネ。ヴァル・ディ・ノンの中心地であるクレスから東北東へ7km、ボルツァーノから西南西へ22km、県都トレントから北へ35km、ソンドリオから東北東へ98kmの距離にある。 隣接するコムーネは以下の通り。 アンブラール＝ドン (アンブラール、ドン) カヴァレーノ ダンベル プレダイア (コーレド) サンゼーノ サルノーニコ トレント自治県が設置した広域行政組織 Comunità di valle 「ヴァル・ディ・ノン」 (it:Comunità della Val di Non) （事務所所在地: クレス）に属する。 2011年10月9日に行われた国勢調査によれば、住民1376人中383人（27.8%）がラディン語話者であった。 ^ 国立統計研究所（ISTAT）. “Total Resident Population on 1st January 2020 by sex and marital status” (英語). 2020年8月11日閲覧。 ^ 国立統計研究所（ISTAT）. “Tavola: Popolazione residente - Trento (dettaglio loc. abitate) - Censimento 2001.” (イタリア語). 2013年12月28日閲覧。 ^ 国立統計研究所（ISTAT）. “Tavola: Superficie territoriale (Kmq) - Trento (dettaglio comunale) - Censimento 2001.” (イタリア語). 2013年12月28日閲覧。 ^ “地図上で2地点の方角・方位、距離を調べる”. 2016年5月11日閲覧。 ^ a b “15° Censimento della popolazione e delle abitazioni Rilevazione sulla consistenza e la dislocazione territoriale degli appartenenti alle popolazioni di lingua ladina, mòchena e cimbra”. Provincia Autonoma di Trento - Servizio Statistica（トレント自治県統計局） (Giugno 2012). 2016年5月10日閲覧。 ウィキメディア・コモンズには、ロメーノに関連するカテゴリがあります。 表示 編集
ロンチェーニョ・テルメ

ロンチェーニョ・テルメ（イタリア語: Roncegno Terme）は、イタリア共和国トレンティーノ＝アルト・アディジェ州トレント自治県にある、人口約2,900人の基礎自治体（コムーネ）。 トレント自治県南東部に位置するコムーネ。ボルゴ・ヴァルスガーナから西へ7km、県都トレントから東へ20kmの距離にある。 隣接するコムーネは以下の通り。 ボルゴ・ヴァルスガーナ フィエロッツォ フラッシロンゴ ノヴァレード ロンキ・ヴァルスガーナ トルチェーニョ ロンチェーニョ・テルメには、以下の分離集落（フラツィオーネ）がある。 Marter, Monte di Mezzo, Santa Brigida トレント自治県が設置した広域行政組織 Comunita di valle 「ヴァルスガーナ・エ・テジーノ」 (it:Comunita Valsugana e Tesino) （事務所所在地: ボルゴ・ヴァルスガーナ）に属する。 2011年10月9日に行われた国勢調査によれば、モケーニ語話者、チンブロ語話者がそれぞれ若干いる。 ^ 国立統計研究所（ISTAT）. “Total Resident Population on 1st January 2020 by sex and marital status” (英語). 2020年8月11日閲覧。 ^ 国立統計研究所（ISTAT）. “Tavola: Popolazione residente - Trento (dettaglio loc. abitate) - Censimento 2001.” (イタリア語). 2013年12月28日閲覧。 ^ 国立統計研究所（ISTAT）. “Tavola: Superficie territoriale (Kmq) - Trento (dettaglio comunale) - Censimento 2001.” (イタリア語). 2013年12月28日閲覧。 ^ “地図上で2地点の方角・方位、距離を調べる”. 2016年5月23日閲覧。 ^ a b “15° Censimento della popolazione e delle abitazioni Rilevazione sulla consistenza e la dislocazione territoriale degli appartenenti alle popolazioni di lingua ladina, mòchena e cimbra”. Provincia Autonoma di Trento - Servizio Statistica（トレント自治県統計局） (Giugno 2012). 2016年5月10日閲覧。 ウィキメディア・コモンズには、ロンチェーニョ・テルメに関連するカテゴリがあります。 表示 編集
ロンキ・ヴァルスガーナ

ロンキ・ヴァルスガーナ（イタリア語: Ronchi Valsugana）は、イタリア共和国トレンティーノ＝アルト・アディジェ州トレント自治県にある、人口約500人の基礎自治体（コムーネ）。 トレント自治県南東部に位置するコムーネ。ボルゴ・ヴァルスガーナから北西へ3km、県都トレントから東へ24kmの距離にある。 隣接するコムーネは以下の通り。 ボルゴ・ヴァルスガーナ ロンチェーニョ・テルメ トルチェーニョ トレント自治県が設置した広域行政組織 Comunita di valle 「ヴァルスガーナ・エ・テジーノ」 (it:Comunita Valsugana e Tesino) （事務所所在地: ボルゴ・ヴァルスガーナ）に属する。 ^ 国立統計研究所（ISTAT）. “Total Resident Population on 1st January 2020 by sex and marital status” (英語). 2020年8月11日閲覧。 ^ 国立統計研究所（ISTAT）. “Tavola: Popolazione residente - Trento (dettaglio loc. abitate) - Censimento 2001.” (イタリア語). 2013年12月28日閲覧。 ^ 国立統計研究所（ISTAT）. “Tavola: Superficie territoriale (Kmq) - Trento (dettaglio comunale) - Censimento 2001.” (イタリア語). 2013年12月28日閲覧。 ^ “地図上で2地点の方角・方位、距離を調べる”. 2016年5月23日閲覧。 ウィキメディア・コモンズには、ロンキ・ヴァルスガーナに関連するカテゴリがあります。 表示 編集
ロンコーネ

ロンコーネ（イタリア語: Roncone）は、イタリア共和国トレンティーノ＝アルト・アディジェ州トレント自治県セッラ・ジュディカリエにある分離集落（フラツィオーネ）。庁舎所在地でもある。 かつては独立した自治体（コムーネ）であったが、2016年1月1日、ボンド、ブレグッツォ、ラルダーロと合併し、新自治体の一部となった。 トレント自治県西部、ヴァッレ・デル・キエーゼの上流にある。アダナ川が流れ、ロンコーネ湖の岸にある。 コムーネとしてのロンコーネは、以下のコムーネと隣接していた。 ダオーネ ティオーネ・ディ・トレント ボンド ブレグッツォ プラーゾ ラルダーロ ^ 国立統計研究所（ISTAT）. “Total Resident Population on 1st January 2015 by sex and marital status” (英語). 2020年8月7日閲覧。 ^ 国立統計研究所（ISTAT）. “Tavola: Popolazione residente - Trento (dettaglio loc. abitate) - Censimento 2001.” (イタリア語). 2013年12月28日閲覧。 ^ 国立統計研究所（ISTAT）. “Tavola: Superficie territoriale (Kmq) - Trento (dettaglio comunale) - Censimento 2001.” (イタリア語). 2013年12月28日閲覧。 ウィキメディア・コモンズには、ロンコーネに関連するカテゴリがあります。
ロンツォ＝キエーニス

ロンツォ＝キエーニス（イタリア語: Ronzo-Chienis）は、イタリア共和国トレンティーノ＝アルト・アディジェ州トレント自治県にある、人口約1,000人の基礎自治体（コムーネ）。 トレント自治県南部、ヴァッラガリーナ（イタリア語版）に位置するコムーネ。ロヴェレートから西へ7km、県都トレントから南南西へ24kmの距離にある。 隣接するコムーネは以下の通り。 アルコ イゼーラ モーリ ヴィッラ・ラガリーナ トレント自治県が設置した広域行政組織 Comunita di valle 「ヴァッラガリーナ」 (it:Comunita della Vallagarina)  （事務所所在地: ロヴェレート）に属する。 ^ 国立統計研究所（ISTAT）. “Total Resident Population on 1st January 2020 by sex and marital status” (英語). 2020年8月11日閲覧。 ^ a b c “Database di informazioni sui comuni italiani”. 2020年9月19日閲覧。 ^ 国立統計研究所（ISTAT）. “Tavola: Popolazione residente - Trento (dettaglio loc. abitate) - Censimento 2001.” (イタリア語). 2013年12月28日閲覧。 ^ 国立統計研究所（ISTAT）. “Tavola: Superficie territoriale (Kmq) - Trento (dettaglio comunale) - Censimento 2001.” (イタリア語). 2013年12月28日閲覧。 ^ “地図上で2地点の方角・方位、距離を調べる”. 2016年5月24日閲覧。 ウィキメディア・コモンズには、ロンツォ＝キエーニスに関連するカテゴリがあります。 表示 編集
ロンツォーネ

ロンツォーネ（イタリア語: Ronzone）は、イタリア共和国トレンティーノ＝アルト・アディジェ州トレント自治県にある、人口約400人の基礎自治体（コムーネ）。 トレント自治県北西部、ヴァル・ディ・ノン（イタリア語版）に位置するコムーネ。北にボルツァーノ自治県に接する。ヴァル・ディ・ノンの中心地であるクレスから北東へ11km、ボルツァーノから西南西へ18km、県都トレントから北へ39km、ソンドリオから東北東へ101kmの距離にある。 隣接するコムーネは以下の通り。括弧内のBZはボルツァーノ自治県所属を示す。 アッピアーノ・スッラ・ストラーダ・デル・ヴィーノ (BZ) ボルゴ・ダナウニア (フォンド、マロスコ) サルノーニコ ルッフレ＝メンドラ トレント自治県が設置した広域行政組織 Comunità di valle 「ヴァル・ディ・ノン」 (it:Comunità della Val di Non) （事務所所在地: クレス）に属する。 2011年10月9日に行われた国勢調査によれば、住民392人中94人（24.0%）がラディン語話者であった。 ^ 国立統計研究所（ISTAT）. “Total Resident Population on 1st January 2020 by sex and marital status” (英語). 2020年8月11日閲覧。 ^ 国立統計研究所（ISTAT）. “Tavola: Popolazione residente - Trento (dettaglio loc. abitate) - Censimento 2001.” (イタリア語). 2013年12月28日閲覧。 ^ 国立統計研究所（ISTAT）. “Tavola: Superficie territoriale (Kmq) - Trento (dettaglio comunale) - Censimento 2001.” (イタリア語). 2013年12月28日閲覧。 ^ “地図上で2地点の方角・方位、距離を調べる”. 2016年5月11日閲覧。 ^ a b “15° Censimento della popolazione e delle abitazioni Rilevazione sulla consistenza e la dislocazione territoriale degli appartenenti alle popolazioni di lingua ladina, mòchena e cimbra”. Provincia Autonoma di Trento - Servizio Statistica（トレント自治県統計局） (Giugno 2012). 2016年5月10日閲覧。 ウィキメディア・コモンズには、ロンツォーネに関連するカテゴリがあります。 表示 編集