stanford-oval/wikipedia huggingface dataset:
いづ重

| --- | --- |
種類:  株式会社
本社所在地:   日本 〒605-0073 京都府京都市東山区祇園町北側292の1
設立:  1868年9月
業種:  小売業
法人番号:  5130001009015 
事業内容:  京寿司の製造・販売
代表者:  代表取締役社長 北村典生
関係する人物:  石川九楊
外部リンク:  http://gion-izuju.com/
テンプレートを表示
いづ重（いづじゅう）は、京都市東山区祇園商店街にある寿司屋。
概要

寿司製品の製造を行っている。国産の真鯖を使った鯖寿司や稲荷寿司やなれずしが有名。京寿司なので握り寿司は無く、蒸し寿司などがある。寿司飯はかまどで炊いていて、おくどさんの会会員。昔はスッポンなどの川魚料理もやっていたので、焼き鮎寿司などもある。[要出典]4代目の目標は「乾物だけで折詰を作ること」
いずじゅう
沿革

[要出典]
明治末 - 滋賀県出身の初代・重吉がいづうより暖簾わけを許され、八坂神社の近くの眞葛ヶ原にて創業。
大正中期 - 三条大橋の東に店を構える。
昭和初期戦争中 - 五条大和大路にも店を出すが、防火帯を作る強制疎開により三条、五条の店は潰された。食糧難で寿司屋から寿司加工業に変わる。
昭和23年、祇園石段下に移る。
ナホトカ号事故後、若狭湾の鯖が取れなくなり九州北部産に代わる。
北条益時

|  凡例北条益時 / 赤橋益時 |
| --- | --- |
時代:  鎌倉時代末期
生誕:  不詳
死没:  正慶2年/元弘3年5月18日（1333年6月30日）
別名:  赤橋益時
幕府:  鎌倉幕府
氏族:  北条氏（赤橋流）
父母:  父：北条守時、母：不詳
兄弟:  益時、妹
テンプレートを表示
北条 益時（ほうじょう ますとき）は、鎌倉時代末期の赤橋流北条氏の一族・武将。
略歴

第16代執権・北条守時の子とされているが、一説に守時の弟の宗時の子ともされる。足利尊氏の義理の甥に当たる。
正慶2年/元弘3年（1333年）5月18日、新田義貞の鎌倉攻めの際に守時と共に敗北、自害した。
成田裕介

| --- | --- |
: 「成田悠輔」とは別人です。
成田 裕介（なりた ゆうすけ、本名裕一、1953年3月21日 - ）は、日本の映画監督。大阪芸術大学教授。日本映画監督協会理事。
来歴

秋田県出身。秋田県立秋田高校を卒業し、20数種の職業を経験する。1976年に若松孝二の若松プロに参加。その後フリーとなり、工藤栄一、加藤泰、崔洋一らの助監督として活動。1987年にテレビドラマ『あぶない刑事』第20話「奪還」にて監督デビュー。以後同作で多数のエピソードを演出する。
映画監督としては、1989年の『バカヤロー!2 幸せになりたい。』で初めてメガホンを取り、以後は『BE-BOP-HIGHSCHOOL』（Vシネマ版）、『新・湘南爆走族』等シリーズ物も数多く監督した。
1999年、『御法度』では大島渚からの依頼で監督補佐になり、脳出血から復帰した大島を支えた。
近年では監督業の傍ら、宝塚大学の教授を務めるなど後進の指導に当たっている。
代表監督作品

1987年　あぶない刑事
1987年　ベイシティ刑事
1988年　もっとあぶない刑事
1989年　あいつがトラブル
1989年　勝手にしやがれヘイ!ブラザー
1991年　刑事貴族2
1992年　刑事貴族3
1992年　俺たちルーキーコップ
1992年　裏刑事-URADEKA-
1993年　湘南女子寮物語
1994年　静かなるドン
1989年　バカヤロー!2 幸せになりたい。 第4話「女だけトシとるなんて」
1989年　六本木バナナ・ボーイズ
1990年　凶悪の紋章
1998年　新・湘南爆走族 荒くれKNIGHT
1998年　新・湘南爆走族 荒くれKNIGHT2
1998年　あぶない刑事フォーエヴァー THE MOVIE
2001年　嫌な奴。 bitch!
2002年　極妻仁侠道 夜叉絶叫
2005年　あのこがほしい
2010年　花と蛇3（8月28日公開）
2012年　セカンドバージンの女　通り雨（6月30日公開）
2016年　再会 禁じられた大人の恋（1月23日公開）
七重村 (愛知県)

| ななしげむら 七重村 |
| --- | --- |
廃止日:  1906年7月1日
廃止理由:  新設合併 七重村、石下瀬村、中野村、富貴下村（一部）四谷村（一部）→ 石野村
現在の自治体:  豊田市
廃止時点のデータ
国:   日本
地方:  中部地方、東海地方
都道府県:  愛知県
郡:  西加茂郡
市町村コード:  なし（導入前に廃止）
七重村役場
所在地:  愛知県西加茂郡平井村（組合村役場）
ウィキプロジェクト
テンプレートを表示
七重村（ななしげむら）は、かつて愛知県西加茂郡にあった村。
現在の豊田市の一部（千鳥町・手呂町・寺下町・成合町・上高町・小呂町など）に該当する。
歴史

1889年（明治22年）10月1日 - 寺谷下村、手呂村、下鷹見村、上鷹見村、成合村、小呂村、千鳥村が合併し、七重村が発足。平井村、四谷村と組合村を結成。組合村役場を平井村に設置。
1906年（明治39年）7月1日 - 石下瀬村、中野村、富貴下村（一部）、四谷村（一部）と合併し、石野村が発足。同日七重村は廃止。
劉惠雲

| りゅう ふいうん劉 惠雲> プロフィール |
| --- | --- |
愛称:  阿V
性別:  女性
出生地:   イギリス領香港
誕生日:  5月14日
事務所:  香港無綫電視
活動
活動期間:  1995年（フリー声優） 2001年7月（TVB） 2004年7月（フリー声優） 2009年9月（TVB）
声優：テンプレート | プロジェクト | カテゴリ
劉 惠雲（りゅう ふいうん、Lau Wai Wan（Vivien）、5月14日生）は、香港の女性声優。
概要

1995年からフリー声優として活動し、2001年7月から香港の無綫電視の声優組に転入、2004年7月からフリー声優と再して活動し、2009年9月から香港の無綫電視の声優組に再転入。
香港の亜州電視のお天気のアナウンサーだったが香港の無綫電視の声優組に転入後、代表作は『おジャ魔女どれみ』の飛鳥ももこ。
現在は、韓国の女優ホン・スヒョン、ユナ、BoAと、日本の女優貫地谷しほり、香里奈、美波、上戸彩、片瀬那奈の常任声優となっている。
出演作品

※太字は主役・メインキャラクター。特記がない項目はすべて広東語役。
出演作品 > アニメ

1998年
機動戦艦ナデシコ（星野琉璃、旁白）
赤ちゃんと僕（榎木実）
2000年
CLAMP学園探偵団（梓夜凪砂）
2002年
遊☆戯☆王デュエルモンスターズ（川井静香）
デジモンテイマーズ（加藤樹莉）
だぁ!だぁ!だぁ!（ルゥ）
鋼鉄天使くるみ（くるみ）
倒凶十将伝（乱波葉霧）
超GALS! 寿蘭（上源理恵）
超速スピナー（夢宮りあん）
HUNTER×HUNTER（ミト、メンチ、カルト＝ゾルディック）
超発明BOYカニパン（アンジェリカ）
2003年
も〜っと！おジャ魔女どれみ（飛鳥ももこ）
激闘!クラッシュギアTURBO（華野カオル）
新白雪姫伝説プリーティア（淡雪真綿）
FF：U 〜ファイナルファンタジー:アンリミテッド〜（リサ・パツィフィースト）
ちっちゃな雪使いシュガー（シュガー）
GEAR戦士電童（出雲乙女、大岩冴子）
神鵰侠侶 コンドルヒーロー（陸無双）
デジモンフロンティア（ボコモン）
七人のナナ（ナナさま）
こみっくパーティー（猪名川由宇）
アストロボーイ・鉄腕アトム（ウラン）
2004年
爆転シュート ベイブレード 2002（サリマ）
HAPPY★LESSON THE TV（十隠カンナ）
HAPPY★LESSON ADVANCE（十隠カンナ）
ふぉうちゅんドッグす（アイちゃん）
ロックマンエグゼ（綾小路やいと）
ハングリーハート WILD STRIKER（堂本香織、立花カナ）
ななか6/17（霰玉九里子、ピコ太）
2005年
舞-HiME（鴇羽舞衣）
アソボット戦記五九（スージィ）
東京ミュウミュウ（藤原ざくろ）
2006年
BLEACH（井上織姫、黒崎夏梨）
ゾイドフューザーズ（スイート）
機動戦士ガンダムSEED DESTINY（ルナマリア・ホーク）（DVD版）
舞-乙HiME（鴇羽舞衣、イリーナ・ウッズ）
RAGNAROK THE ANIMATION（ユーファ）
D・N・A² 〜何処かで失くしたあいつのアイツ〜（葵かりん）
2007年
capeta（鈴木茂波）
クレヨンしんちゃん（野原しんのすけ）
2008年
AIR（神奈備命）
フィニアスとファーブ（キャンディス・フリン）
結界師（雪村時音）
2009年
灼眼のシャナII（Second）（吉田一美、フィレス、藤田晴美）
太極千字文（フィフィ）
ハヤテのごとく!（朝風理沙）
黒執事（アンジェラ・ブラン）
ケロロ軍曹（日向夏美）（代役）
2010年
イナズマイレブン（雷門夏未、西垣守）
スキップ・ビート!（最上キョーコ）
ソウルイーター（中務椿）
クロスゲーム（月島若葉、滝川あかね）
GA 芸術科アートデザインクラス（大道雅）
けいおん!（田井中律）
CANAAN（リャン・チー）
銀魂（月詠）
Yes!プリキュア5（夏木りん / キュアルージュ ）（後期）
WORKING!!（轟八千代）
こばと。（花戸小鳩）
しゅごキャラ!!どきっ（桜井優亜）
ポケットモンスター ダイヤモンド&パール（ヒカリ）
イタズラなKiss（ノンちゃん）
2012年
プリティーリズム・オーロラドリーム（春音あいら）
機動戦士ガンダムAGE（ロマリー・ストーン）
リルぷりっ（雪森りんご）
アクセル・ワールド（上月由仁子/スカーレット・レイン）
| 放送年 | 作品名 | 役 | 備考 |
| --- | --- | --- | --- |
| 1995 | GS美神 | 美神令子 |  |
| 1997 | ふしぎ遊戯 | 夕城美朱 |  |
| 1997 | 怪盗セイント・テール | 羽丘芽美 |  |
| 1997 | ドラゴンボールGT | パン | VCD版本 |
| 2011 | ネットゴーストPIPOPA | 祖父江ひかる |  |
| 2011 | FAIRY TAIL | ジュビア・ロクサー | 第151話除外 |
| 2011 | ハヤテのごとく!! | 朝風理沙 |  |
| 2011 | 黒執事II OVA | アンジェラ・ブラン |  |
| 2011 | ジュエルペット てぃんくる☆ | ラブラ マリアンヌ |  |
| 2013 | ハートキャッチプリキュア! | 花咲つぼみ/キュアブロッサム |  |
| 2013 | 翠星のガルガンティア | ラケージ |  |
| 2013 | たまごっち! | ちゃまめっち | 第50話から |
| 2013 | 進撃の巨人 | アニ・レオンハート |  |
| 2014 | ガンダムビルドファイターズ | レイジ / アリーア・フォン・レイジ・アスナ |  |
| 2014 | 犬とハサミは使いよう | 本田弥生 |  |
| 2014 | アイカツ!1stシーズン | 一ノ瀬かえで |  |
| 2014 | ウィザード・バリスターズ 弁魔士セシル | 江来利クイン |  |
| 2014 | スイートプリキュア♪ | 北条響/キュアメロディ |  |
| 2014 | 黒子のバスケ | アレクサンドラ＝ガルシア |  |
| 2014 | ガイストクラッシャー | マイク・マーキュリー |  |
| 2014 | ラブライブ! | 矢澤にこ |  |
| 2015 | アイカツ!2ndシーズン | 一ノ瀬かえで |  |
| 2015 | オズマ | マヤ |  |
| 2015 | 妖怪ウォッチ | 今田干治 |  |
| 2015 | ノラガミ | 真喩/伴音 |  |
| 2015 | プリパラ1stシーズン | ユニコン |  |
| 2016 | アルスラーン戦記 | エステル・デ・ラ・ファーノ |  |
| 2016 | ガンダム Gのレコンギスタ | アイーダ・スルガン |  |
| 2017 | ドキドキ!プリキュア | シャルル |  |
| 2017 | プリパラ2ndシーズン | ユニコン はなな | 　 接役ホー・バオシャン |
| 2017 | リルリルフェアリル | ひまわり | アニメ1stシーズン：妖精のドア |
| 2020 | プリパラ4thシーズン （アイドルタイムプリパラ） | 夢川ゆい ユニコン |  |
出演作品 > 劇場アニメ

| 放送年 | 作品名 | 役 | 備考 |
| --- | --- | --- | --- |
| 2006 | ドラえもん のび太のワンニャン時空伝 | シャミー |  |
| 2008 | ドラえもん のび太の新魔界大冒険 〜7人の魔法使い〜 | マミ |  |
| 2011 | ドラえもん 新・のび太の宇宙開拓史 | ロップル |  |
| 2013 | ドラえもん のび太のひみつ道具博物館 | クルト・ハルトマン |  |
出演作品 > 特撮番組

2003年
ウルトラマンコスモス（吉井ユカリ、村上遥）
2009年
仮面ライダー電王（ハナ）
2011年
炎神戦隊ゴーオンジャー（炎神ベアールV）
| 年 | 作品名 | 役 | 俳優 | 備考 |
| --- | --- | --- | --- | --- |
| 1997 | ウルトラマンティガ | ヤナセ・レナ | 吉本多香美 | VCD版 |
| 1998 | ウルトラマンダイナ | ミドリカワ・マイ | 山田まりや | VCD版 |
| 2001 | ウルトラマンガイア | 佐々木律子 | 沢村亜津佐 |  |
| 2012 | 仮面ライダーW | 鳴海亜樹子 | 山本ひかる |  |
| 2014 | 特命戦隊ゴーバスターズ | 桜田リカ |  |  |
| 2014 | 仮面ライダーフォーゼ | 野座間友子 | 志保 |  |
| 2017 | 手裏剣戦隊ニンニンジャー | 十六夜九衛門 / 牙鬼久右衛門新月 | N/A |  |
出演作品 > テレビドラマ

1996年
17才-at seventeen-（山口美智代）（有線版）
1999年
還珠格格（晴兒）
2000年
懐玉公主（傅懐玉）
升空高飛（申若雲）
ショムニ（杉田美園）（有線版）
2001年
大宅門（白佳莉）
新楚留香（李紅袖）
2002年
鉄歯銅牙紀暁嵐（杜小月）
ルージュ（谷川里彩）
2003年
鉄歯銅牙紀暁嵐II（杜小月）
流星花園II（葉莎）
還珠格格III：天上人間（小燕子）
おいしい関係（森由美）
2004年
大唐雙龍傳（宋玉致）
天下糧倉（小梳子）
2005年
女人天下（チョン・ナンジョン）
火の鳥（イ・ジウン）
パリの恋人（ムン・ユナ）
ごくせん（山口久美子）
2006年
刁蛮公主（司徒静）
ごくせん（第2シリーズ）（山口久美子）
野ブタ。をプロデュース（桐谷浩二、高田由佳、橋本麗子）
ラストダンスは私と一緒に（チ・ウンス）
7人の女弁護士（藤堂真紀）
がんばれ!クムスン（ナ・クムスン）
徽娘宛心（呉慧如、蓮児）
白い巨塔（財前杏子、亀山君子）
東京ジュリエット-東方茱麗葉-（林瀬穂）
不良家族（キム・ヤンア）
2007年
ホントの恋の*見つけかた（シンレイ）
天之驕子（香梅、孟夫人）
おいしいプロポーズ（島崎沙織）
2008年
エラいところに嫁いでしまった!（佐倉里穂、槇村友子、守山由美）
ハロー!お嬢さん（ソ・ファラン）
康熙微服私訪記4（小桃紅）（有線版）
山おんな壁おんな（大山遥）
アットホーム・ダッド（山村美紀）
ヒミツの花園（月山夏世）
曲がり角の彼女（三原なつみ）
女人不哭（章子君）
魔女ユヒ（ナム･スンミ）
春天後母心（宝妹）
生命有明天（顧嵐）
嬢王（藤崎彩）
簡單愛（羅英熙）
黄色いハンカチ（ナ・ミリョン）
王と私（ユン・ソファ）
笑著活下去（晏陽）
犬とオオカミの時間（ソ・ジウ）（有線版）
7人の女弁護士2（藤堂真紀）
食客（キム・ジンス）（有線版）
2009年
一枝梅（ポンスン、イ・ヨニ）（有線版）
ロス:タイム:ライフ（涼宮みどり、佐々木真理子）
きらきら研修医 （織田うさこ、前田清美）
母さんに角が生えた（ナ・ヨンス）
ごくせん（第3シリーズ）（山口久美子）
ラブ・トレジャー～夜になれば分かること～（ワン・ジュヒョン）
迷離「韓」夜（李明玉、神女武靈、茹琳、彩玉、華蘭）
彼らが生きる世界（キム・ミニ、呉珉舒）
特命係長 只野仁（篠原絵美里）
アクシデント・カップル（ハン・ジス）
シンデレラマン（ソ・ユジン）
絶対彼氏 〜完全無欠の恋人ロボット〜（神谷亜弓）
花ざかりの君たちへ〜イケメン♂パラダイス〜（ジュリア・マックスウェル）
終極三国（甘昭烈）
紫玫瑰（米娜）
ラブ♥シャッフル（香川芽衣）
銭ゲバ（三國緑）
カインとアベル（イ・ジョンミン）
妻の誘惑（ミン・ソヒ）
2010年
メイちゃんの執事（夏目不二子）
鉄歯銅牙紀暁嵐IV（杜小月）
モモのお宅の王子さま（ルオ・ササ）
The Vampire Diaries（ボニー・ベネット）
おひとりさま（青木ちひろ）
ビューティフルライフ（町田杏子）
ブザー・ビート〜崖っぷちのヒーロー〜（海老名麻衣）
パンドラ（桂ひとみ）
小娘惹（黄玉珠）
私はラブ・リーガル（デビー・ドブキンズ）
彼女との正しい遊び方（日村優奈）
BLOODY MONDAY（第2シリーズ）（琢磨洋子）
倚天屠龍記（王難姑）
Three Rivers（リサ・リード）
リアル・クローズ（林陽子）
スターな彼（チェン・ダーシン）
泡沫の夏（シェン・チアン）
glee（サンタナ・ロペス）
三国志 Three Kingdoms（貂蝉）
オー!マイレディ（ハン・ジョンア）
僕のSweet Devil（李佳佳）
シティーホール（鳳善花）
2011年
愛∞無限（ソン・ルイエン）
月の恋人〜Moon Lovers〜（大貫柚月）
金大班（古思静）
Hellcats（裴曼婷）
美しい隣人（相田未央）
Q10（山本民子）
美人心計〜一人の妃と二人の皇帝〜（呂魚）
2012年
華和家の四姉妹（華和桜子）
王女の男（敬恵（キョンヘ）王女）
名前をなくした女神（秋山侑子）
キング 〜Two Hearts（イ・ジェシン）
ビッグ 〜愛は奇跡〜（キル・ダラン）
ラブレイン（キム・ユンヒ/チョン・ハナ）
2013年
屋根部屋のプリンス（パク・ハ）
プロポーズ兄弟〜生まれ順別 男が結婚する方法〜（鈴木早紀）
結婚しない（田中千春）
PRICELESS〜あるわけねぇだろ、んなもん!〜（二階堂彩矢）
悪夢ちゃん（武戸井彩未）
走馬灯株式会社（神沼）
後宮の涙（沈嘉敏）
泣くな、はらちゃん（越前さん）
半沢直樹（半沢花）
安堂ロイド〜A.I. knows LOVE?〜 （謎の美少女 / ARX IX）
Dr.HOUSE（ジェシカ・アダムス）
2014年
SUMMER NUDE（千代原夏希）
斉藤さん2（山内摩耶）
お天気お姉さん（橋本茜）
35歳の高校生（長峰あかり）
2015年
ファーストクラス（川島ナミ絵）
アイ'ム ホーム（家路恵）
マザー・ゲーム〜彼女たちの階級〜（神谷由紀）
警部補・杉山真太郎〜吉祥寺署事件ファイル（香川桜子）
出演作品 > 映画

2006年
決戦偸心男（韓之願）（DVD／VCD版）
2007年
我老婆係大佬3（容希）（DVD／VCD版）
インビジブル（リンダ･マッケイ）
2008年
ドラゴン・キングダム（ゴールデン・スパロウ）（DVD／VCD版）
奪標（韓暉）
キング・コング（アン・ダロウ）
2009年
おくりびと（小林美香）（DVD／VCD版）
愛上蛋白質女孩（鍾嫻江）
2010年
プリティ・プリンセス2/ロイヤル・ウェディング（アサナ）
トランスポーター2（ローラ）
007 カジノ・ロワイヤル（狄文崔太太）
トランスフォーマー（マギー・マドセン）
2011年
ワイルド・スピードX3 TOKYO DRIFT（ニーラ）
2013年
ブライダル・ウォーズ（オリヴィア・“リヴ”・ラーナー）
いて・りゅうこつ腕

いて・りゅうこつ腕（いて・りゅうこつ わん Carina–Sagittarius Arm ）またはいて腕（いてわん）は、銀河系の渦状腕の1つである。それぞれの腕は、銀河核から放射状に伸びる、長くカーブした薄い恒星の集まりである。このような大規模構造は、通常数十億個の恒星と数千個のガス雲から構成される。いて・りゅうこつ腕は、多くの若い恒星や巨大分子雲からなる、銀河系で最もはっきりした腕の1つである。
銀河系の渦状腕の概略
銀河系は、棒渦巻銀河であり、中央の棒から2つの大きな腕といくつかの小さな腕が放射状に出ている。いて・りゅうこつ腕は、2つの大きな腕である、たて・ケンタウルス腕の内側、ペルセウス腕の外側に位置する。この腕が、夜間に地球から見ると、銀河核の方角、おおよそいて座とりゅうこつ座のあたりにあることからこの名前が付けられた。
いて・りゅうこつ腕は、銀河核から外側に向かうりゅうこつ腕と、そこからさらに外側に向かういて腕の2つに分けることができる。
分枝

2008年、スピッツァー宇宙望遠鏡による赤外線観測で、いて・りゅうこつ腕には、じょうぎ腕などと比べると、若い恒星が比較的少ないことが明らかとなった。これは、いて・りゅうこつ腕が分枝であることを示している。
天体

アマチュア用の望遠鏡や双眼鏡でも、いて・りゅうこつ腕の中に多くのメシエ天体やその他の天体を観測することができる。代表的な天体には次のようなものがある。
M8（干潟星雲）
M11
M16（わし星雲）
M17（オメガ星雲）
M18
M20（三裂星雲）
M21
M24
M26
M55
NGC 3372（イータカリーナ星雲）
WARHAWK

| --- | --- |
: 「ウォーホーク」はこの項目へ転送されています。アメリカ合衆国の戦闘機については「P-40 (航空機)」をご覧ください。
| --- | --- |
ジャンル:  多人数対戦アクション
対応機種:  PLAYSTATION 3
開発元:  SCEサンタモニカスタジオ、Incognito
発売元:  SCE
人数:  2人～32人
メディア:  ダウンロード販売のみ（日本国内）
発売日:   2007年8月28日  2007年8月30日  2007年8月31日  2007年10月4日 PLAYSTATION Store専売
対象年齢:  CERO：C（15才以上対象）
デバイス:  DUALSHOCK 3対応
必要環境:  オンライン環境必須
売上本数:  （日本以外）約42万本
テンプレートを表示
『WARHAWK』（ウォーホーク）は、PLAYSTATION Storeで配信されているPLAYSTATION 3専用の対戦アクションゲーム。2019年1月31日をもってサービスが終了した。
2012年5月に発売された「STARHAWK」は同じゲームクリエイターが手がけたものである。
概要

1995年にPlayStationで発売された、同名の3Dフライトシューティングゲーム『WARHAWK』（日本ではAir Assaultと言うタイトルで1996年に発売された）のリメイクとしてIncognito社によって開発された。戦場を題材にした3人称視点（TPS）の対戦アクションゲーム。オンラインまたはオフラインでプレイすることができる。プレイヤーはポリゴンで描かれたマップ内を兵士として移動し、敵 (自分以外のプレイヤー)の攻撃や拠点の制圧等を競う。ゲーム開始時は、全員が最低限の装備しか持たない歩兵としてスタートする (ヒーロー、ドッグファイトモード除く)。マップ内には戦車や戦闘機等の乗り物が設置されており、移動や攻撃手段として利用できる。歩兵と戦闘機は、マップ内に散らばる武器を集めることで武装強化できる。トロフィーシステム対応。
ボイスチャットシステムに対応しており、ヘッドセットをPS3に接続することでより戦略的な対戦を楽しむことができる。最大32人オンライン同時対戦が可能。オフライン対戦では画面分割により、1台のPS3で2～4人の対戦ができ、LAN接続対戦で複数のPS3を接続することでも最大32人の対戦ができる。また、「トレーニングモード」という形で１人でプレイする事も可能である。なお、このゲームをプレイするには１人でプレイする場合であっても、PlayStation®Networkへのログインが必須である。完全オフライン環境下では、ゲームを起動することができない。登録アカウント数は2008年3月に50万アカウントに到達、2009年10月には100万アカウントを突破した。2015年1月現在もオンラインサービス提供中である。
WARHAWKには他のPS3ソフトにない特徴としてデディケイテッドサーバー機能が当初より搭載されており、ユーザーのPS3そのものを専用ゲームサーバとして稼動させることができるため、PSNに大きく依存しないプレイ環境が構築できるようになっている。世界各地域のユーザーが自発的にゲームサーバを立てて遊んでいる為混雑は発生しにくくなっており、ラグも最小に抑え込んでいる。
日本ではダウンロード専用販売のため、マニュアルも公式サイトからダウンロードできる。当初は1人プレイを含むフライトアクションゲームとして開発されてきたが、2007年6月に多人数対戦専用に仕様変更されたことが発表された。
2018年9月20日、日本時間2018年10月25日午後12時をもってオンラインサービス終了と発表されたが、その後日本時間2019年1月31日午後5時まで延期された。ユーカディアとチェルノヴァンの11年に及ぶ長き戦いは幕を閉じることとなる。
ルール

2010年現在、以下のゲームモードでゲームが行われる。プレイヤーは好みのルールのサーバーに任意で参加する。基本的にどちらかのチームがノルマを達成するかタイムアップ時点で優勢だったほうが勝利となる。デスマッチを除き2チームによるチーム戦。
各サーバーには、上記のルール（目的）が設定されているが、必ずそれを行わなければならないというわけではなく、何もせず辺りを散策したり、意味もなくジープで疾走したりと、楽しみ方は自由である。また、ローカルルールという形で、独自のルールでゲームをプレイする楽しみ方もある。（例：ナイフしか使ってはいけない、ジープでレースをする等。※あくまでローカルルールでありこの場合強制力はない）
ランクシステム

プレイヤーは戦功をあげた場合プレイヤーポイントが獲得できる。ポイントは以下の通り。
階級の昇進にこれらのポイントと所定のバッジ・メダル・記章を獲得する必要がある。飛び級はできない。ランクアップすると、今まで参加できなかったサーバーに参加できたり、キャラクタや戦闘機のカスタマイズが可能になる。
また戦績によってバッジ・メダル・記章が獲得できる。バッジ・メダルは基本的に「累計戦績」を満たしたうえで「1ゲームでの戦績」が基準以上になることが条件となっている。
クラン

一般的オンラインFPS・TPS同様クランを設立することもできる。加入するには他クランからの招待、または自らクランを設立しなければならない。
クランに加入し、チームを作ることでアルファベット3文字で構成されるクランタグの作成や、クラン専用部屋を作りクランメンバーのみで戦うこともできる。
マップ

基本的に大本となるエリア（便宜上大エリアと表記）のうち、人数や種目に応じてその範囲が狭められる（これを小エリアとする）。そのためマップによって立ち入り禁止区域も変更される。また、マップは点対称となるよう作られている（一部例外有り）。ここでは大エリアのみ紹介する。
北西から南東にやや伸びたエリア。それぞれの拠点と各3つの市街地がある陣地を5つの橋でつながれている（うち真ん中の橋は重要な拠点となる）。
それぞれの基地と高台に設置された拠点2つ、低地に作られた野営が2本の橋でつながれたステージ。攻められやすく守りにくいため攻守両方の技術を要する。
渓谷に作られたステージ。南北に伸びており、各基地の道中に2つの拠点、中央には巨大な要塞が待ち構えている。いかに中央拠点を抑えられるかが勝負のカギとなる。
天空にそびえたつ塔と付近にある小塔で構成されたステージ。中央のタワー（相手陣営と陸続きで進むことができる）の周りには6つの小塔（戦闘機で無ければ行き来不可）が用意されている。必然的に空中戦になるため確かな戦闘機操縦技術を要する。
複数の島で構成されたステージ。拠点がある6つの島と南北に伸びた島（両端には基地、中央には要塞）がある。バットランド同様飛行しなければ島の間を行き来できない。飛行技術も重要ながら陸上援護も充実しているため戦闘機も油断できないステージとなっている。
追加ブースターパック

PSNによるDLCとして、現在3つのブースターパックが販売され、価格はそれぞれ800円となっている。
関連情報

エアアサルト（WARHAWK）、1996年10月4日に発売された、PlayStation用の本作の元の作品である、3Dフライトシューティングゲーム。
Warhawk 2、1997年にPlayStation用に開発されていた上記の続編だが、キャンセルとなってしまった。
2007年7月24日、ハイビジョン（720p）画質のプロモーションムービーがPLAYSTATION Storeにて配信された。
2007年9月、エンターブレインのファミ通WaveDVDの収録コーナー「アメリカザリガニのキカイノカラダ」でピックアップされ、ファミ通スタッフ・お笑い芸人・開発スタッフの総勢20人で旗取り戦を実施。同コーナーにおいて『迎えのジープ』が合言葉として定着した。
2007年10月3日、アメリカザリガニのキカイノカラダPSN出張版パート1、パート2のムービーがPLAYSTATION Storeにて配信された。
2007年10月4日より、日本国内においてもPLAYSTATION Storeにて本ゲームのダウンロード販売が開始された。
2007年12月19日バージョン1.2にアップデート。
2007年12月20日ブースターパック「オメガ・ドーン」配信開始(800円)。新マップ「オメガ・ファクトリー」と輸送船「ドロップシップ」が使用可能になった。
イギリスのPLAYSTATION StoreではWarhawkの壁紙3種類が無料で配信されているが、日本のPLAYSTATION Storeでは2007年11月10日現在配信されていない。
2008年3月、登録アカウント数が50万アカウントを突破。
WARHAWKの続編としてSTARHAWKが製作中である。2012年5月発売。
グルーベンハーゲン侯領

| 0 | 1 | 2 |
| --- | --- | --- |
| ←  | 1291年 - 1596年 |  → |
グルーベンハーゲン侯領（ドイツ語：Fürstentum Grubenhagen）は、神聖ローマ帝国の領邦国家。ブラウンシュヴァイク＝リューネブルク公国の分邦の1つで、1291年よりヴェルフ家のグルーベンハーゲン系が領有した。ブラウンシュヴァイク＝グルーベンハーゲン侯領ともいわれる。1596年にブラウンシュヴァイク＝ヴォルフェンビュッテル侯領に併合されたが、1617年にリューネブルク侯領に割譲された。また1655年よりヴェルフ家カレンベルク系が領有した。
地理

領地は2つの部分に分割されており、ゾリング川の北西端とザルツダーヘルデン近くのライネ川の間の地域と、オーバーハルツ南部と南西ハルツ山麓の丘の北の地域から構成されていた。アイヒスフェルトも一時期その一部であった。アインベックとザンクト・アレクサンドリ修道院、ヘルデンブルク、グルーベンハーゲン城、オステローデ・アム・ハルツ、クラウスタール、ドゥーダーシュタット（1366年にマインツに割譲）、ヘルツベルクおよびヘルツベルク城が含まれる。
歴史

1291年にブラウンシュヴァイク＝リューネブルク公アルブレヒト1世の息子たちの間で遺産が分割され、ハインリヒ1世が新たに創設されたグルーベンハーゲン侯領を受け取った。グルーベンハーゲン侯領は同名の城にちなんで命名され、その廃墟はアインベックの南にあるローテンキルヒェンの近くにある。グルーベンハーゲンという名前は1617年頃から用いられ、それ以前の侯領の名前は不明である。侯領の名前の由来となったグルベンハーゲン城は居城ではなかった。公爵の「家」としては15世紀初頭まで現れず、公爵はヘルデンブルクに居を構えていた。相続争いのため、グルーベンハーゲン系ヴェルフ家は当初、自分たちを「ブラウンシュヴァイク公」と名乗っていた。称号に追加された「およびリューネブルグ」は、ヴェルフ家の他の系統では通常用いられているが、この家系にも用いられるようになったのは16世紀になってからである。
ハインリヒ1世には8人の息子と8人の娘がおり、それぞれにふさわしい待遇を与えなければならなかった。さらにハインリヒ1世の長男ハインリヒ2世にも少なくとも11人の子女がおり、分割相続によりさらに大きな問題を抱えることとなった。当時の多くの領地を持たない貴族の子弟のように、ハインリヒ2世の息子も領外に活路を求めた。ハインリヒ2世の息子オットーは、イタリアで傭兵として雇われ、最終的にナポリ女王ジョヴァンナ1世と結婚しターラント公となった。
グルーベンハーゲン系ヴェルフ家には、1291年から1596年までの8世代で計68人の成員がいた。ハインリヒ1世の男子の子孫40人のうち6人が早世し、12人が聖職者となり、さらに6人が海外に行ったり海外の君主に雇われたりした。残りの16人は、単独あるいは共同でグルーベンハーゲン侯領の統治者となった。グルーベンハーゲン家はいくつかの分家に分かれ、元々小さなグルーベンハーゲン侯領はさらに小さな分領（オステローデ、ヘルツベルク、ザルツダーヘルデン、アインベック）に分割された。その結果、グルーベンハーゲンの領主らはますます重要性を失い、ヴォルフェンビュッテル家やリューネブルク家に遅れをとることとなった。
1596年にフィリップ1世の末子フィリップ2世が亡くなると、グルーベンハーゲン家は断絶した。その後、グルーベンハーゲン侯領はヴォルフェンビュッテル家のハインリヒ・ユリウスが占領した。しかしリューネブルク家はこれに抗議し、1617年に帝室裁判所（Reichskammergericht）で勝利を収めた。ハインリヒ・ユリウスの息子フリードリヒ・ウルリヒは、グルーベンハーゲンをリューネブルク侯クリスティアンに譲ることを余儀なくされた。
最終的にグルーベンハーゲン侯領は1526年にフィリップ1世のもとで再統合された。しかし1596年の息子フィリップ2世が死去によりグルーベンハーゲン家は断絶し、グルーベンハーゲン侯領はヴェルフ家の諸家により争われた。ブラウンシュヴァイク＝ヴォルフェンビュッテル公ハインリヒ・ユリウスがグルーベンハーゲンを占領したが、その息子フリードリヒ・ウルリヒは1617年にシュパイアーの帝室裁判所（Reichskammergericht）が下した判決に従い、リューネブルク公クリスティアンにグルーベンハーゲンを譲ることを余儀なくされた。
行政区画としてカレンベルク＝グルーベンハーゲン・ラントシャフト（de）が現存する。
アインベック（1654年）
オステローデ・アム・ハルツ（1654年頃）
ザルツダーヘルデンのヘルデン城（1654年頃）
グルーベンハーゲン城（1654年頃）
ヘルツベルク城（1654年）
ヘルツベルク城
カレンベルク＝グルーベンハーゲン・ラントシャフトの紋章
歴代領主

ハインリヒ1世（在位：1291年 - 1322年）
ハインリヒ2世（在位：1322年 - 1351年） - 兄弟と共同統治
エルンスト1世（在位：1322年 - 1361年）
ヴィルヘルム1世（在位：1322年 - 1360年）
ヨハン（在位：1322年 - 1325年）
アルブレヒト1世（在位：1361年 - 1383年） - 弟ヨハン2世と共同統治
ヨハン2世（在位：1361年 - 1364年）
エルンスト - 1383年に共同摂政を主張、1384年に手当を受け取る
フリードリヒ（後見人：1383年 - 1398年、共同統治：1402年 - 1421年）
エーリヒ（在位：1398年 - 1427年）
ハインリヒ3世（在位：1427年 - 1467年） - 弟アルブレヒト2世およびエルンスト2世と共同統治
アルブレヒト2世（在位：1427年 - 1485年）
1479年に分割
ハインリヒ4世（在位：1479年 - 1526年）
フィリップ1世（在位：1486年 - 1551年）
1526年に再統合
エルンスト3世（在位：1551年 - 1567年）
ヴォルフガング（在位：1567年 - 1595年）
フィリップ2世（在位：1595年 - 1596年）
RADIO MAGAZINE WHAT'S IN?

| RADIO MAGAZINE WHAT'S IN? |
| --- | --- |
ジャンル:  音楽情報
放送時間:  60分
放送局:  TOKYO FM
制作:  1996年4月～2006年3月
ネットワーク:  JFN
パーソナリティ:  せがわきり 上田万由子（せがわの代理） 江藤麻由
提供:  ソニーマガジンズ（主要スポンサー） 大塚製薬 スクウェア チェリオコーポレーション
テンプレートを表示
「RADIO MAGAZINE WHAT'S IN?」（レディオ・マガジン・ワッツ・イン）は、1996年4月7日 - 2006年3月26日（TOKYO FM基準）まで10年間にわたって放送されていたTOKYO FM制作のラジオ番組である。主要スポンサーはソニーマガジンズであるが、大塚製薬やスクウェア（現：スクウェア・エニックス）、チェリオコーポレーションがスポンサーだった時期もあった。
全期間ネットしていた局

TOKYO FM
FM AICHI
fm osaka
上記3局の放送時間は日曜日1:00 - 2:00
FM福岡：日曜日3:00 - 4:00（東京・愛知・大阪の2時間遅れ）
AIR-G'：月曜日1:00 - 2:00（東京・愛知・大阪・福岡の1日遅れ）
途中まで、または一時期ネットしていた局

Date fm：月曜日1:00 - 2:00（1996年4月8日 - 時期不明）→ 日曜日1:00 - 2:00（時期不明～2003年3月30日）
広島FM放送：日曜日2:00 - 3:00（1996年4月7日 - 2003年3月30日）
FM徳島：2000年 - 2001年頃放送。
DJ（編集長）

せがわきり：1996年4月7日（番組開始） - 2001年4月8日及び2001年6月17日 - 2004年3月28日
上田万由子：2001年4月15日 - 2001年6月10日（出産のため一時番組を降板したせがわきりの代理）
江藤麻由：2004年4月4日 - 2006年3月26日（番組終了）
さらにDJではないが、番組内ではZONEや高橋瞳などがコーナーを持っていたこともあった。
タイトルの変遷

1996年4月 - 2002年12月：RADIO MAGAZINE WHAT'S IN?
2003年1月 - 2003年3月：ファイナルファンタジータクティクスアドバンス presents RADIO MAGAZINE WHAT'S IN?
2003年4月 - 2006年3月：チェリオ・ライフガード presents RADIO MAGAZINE WHAT'S IN?
備考

月刊音楽情報誌「WHAT's IN?」（ソニーマガジンズ発行）には誌上再録コーナーが毎号掲載されていた（1996年5月号 - 2006年5月号）。
2003年1月 - 3月は番組名を「ファイナルファンタジータクティクスアドバンスpresents RADIO MAGAZINE WHAT'S IN?」と改題し、番組内でゲームボーイアドバンス用ゲームソフト「ファイナルファンタジータクティクスアドバンス」（スクウェア〔当時〕より2003年2月14日発売）のラジオドラマを放送していた。なお、このラジオドラマはCD化されている。
2004年3月末でのせがわきりの番組降板理由は2001年4 - 6月の一時降板中に生まれた子供の教育に専念するためであり、それは番組降板から約1年経過した2005年2月に「WE MADE IT! ハワイ親子プチ留学 -お金? 夫の理解!? 英語がダメ! をのりこえて-」（VIENT刊）を上梓したことで明らかになった。
| TOKYO FM、fm osaka、FM AICHI 土曜25時枠> 前番組 | TOKYO FM、fm osaka、FM AICHI 土曜25時枠> 番組名 | TOKYO FM、fm osaka、FM AICHI 土曜25時枠> 次番組 |
| --- | --- | --- |
| 進研ゼミPresents 爆裂スーパーファンタジー  | RADIO MAGAZINE WHAT'S IN?  | 竹中 sound shop  |
うらにし

うらにしは、京都府北部の丹後地方周辺に特有の気象。秋から冬にかけて瞬間的に丹後半島の近海を通る風と、この影響で生じる不安定な気候のことを指す。
概要

うらにしは、全国的な気象予報には一切関係なく、経ヶ岬付近の海岸にそって、10月から11月末にかけて発生する湿気を含んだ南西の風を指す。一時的に西風になることもある。多くは雨を伴う。うらにしは「ひくにし」とも呼ばれ、山陰地方で秋にふく西風や、但馬地方で晩秋にふく北西の風も「うらにし」（裏西、浦西）と呼ばれる。
特徴

一日の気象の変化が激しく、朝は晴れているかと思えば突然暗雲が垂れ込め、雨や雪を交えた湿度の高い風が吹き荒れたかと思えば、束の間の晴天に恵まれたりする。このため丹後地方では、古来から「弁当忘れても傘忘れるな」と言い継がれている。この季節風により、丹後地方の空気は気温の低い冬でも湿気を多く含んでおり、古来から、乾燥すると糸が切れやすくなる絹織物の製織に適していた。
TLA+

| --- | --- |
パラダイム:  Action
登場時期:  1999年4月23日 (25年前) (1999-04-23) 
設計者:  Leslie Lamport
最新リリース:  TLA+2/ 2014年1月15日 (10年前) (2014-01-15)
プラットフォーム:  Cross-platform (multi-platform)
ライセンス:  MIT License
ウェブサイト:  research.microsoft.com/en-us/um/people/lamport/tla/tla.html
拡張子:  .tla
テンプレートを表示
TLA+は、Leslie Lamportによって開発された形式仕様言語。並行システムと分散システムの設計、モデル化、文書化、および検証に使用される。 TLA+は、網羅的にテスト可能な擬似コードとして説明されており、その使用はソフトウェアシステムの設計図を描くことに喩えられる。  TLAはTemporal Logic of Actionsの頭字語である。
設計と文書化に関して、TLA+ は非公式の技術仕様と同じ目的を果たす。ただし、TLA+の仕様は論理学と数学の形式言語で記述されており、この言語で記述された仕様の精度は、システムの実装が始まる前に設計上の欠陥を明らかにすることを目的としている。
TLA+のコードは形式言語で記述するため、有限モデル検査に適する。モデルチェッカーは、いくつかの実行ステップまでのすべての可能なシステム動作を見つけ、安全性や活性などの望ましい不変性プロパティの違反を調べる。 TLA+のコードでは、基本的な集合論を使用して安全性（悪いことが起こらない事）を定義し、時相論理を使用して活性（良いことがいずれ起こる事）を定義する。
TLA+は、アルゴリズムと数学的定理の両方について、マシンでチェックされた正確性の証明を作成するためにも使用される。証明は、単一の定理証明者バックエンドに依存しない宣言型の階層スタイルで記述される。公式および非公式の構造化された数学的証明は、TLA+で記述できる。言語はLaTeXに似ており、TLA+のコードをLaTeXドキュメントに翻訳するためのツールが存在する。
TLA+は、並行システムの検証方法に関する数十年の研究の後、1999年に公開された。その後、IDEや分散モデルチェッカーなどのツールチェーンが開発された。擬似コードのような言語PlusCalは2009年に作成され、TLA+にトランスパイルされ、シーケンシャルアルゴリズムを記述する際に有用とされる。 TLA+2は2014年に発表され、プルーフコンストラクトの言語サポートを拡張した。現在のTLA+リファレンスは、LeslieLamportによるTLA+Hyperbookである。
歴史

現代の時相論理は、1957年にアーサー・プライアーによって開発され、当時は時制論理と呼ばれていた。アミール・プヌーリが、コンピュータサイエンスへの時相論理の適用を真剣に研究した最初の人物だったが、アーサー・プライアーは1967年の10年前に既にその使用について予測していた。
プヌーリは、コンピュータープログラムの指定と推論における時相論理の使用を研究し、1977年に線形時相論理を導入した。 線形時相論理は、排他制御やデッドロックの解決などの特性を簡単に表現する、並行プログラムの分析のための重要なツールとなった。
プヌーリの線形時相論理に関する研究と同時に、学者はマルチプロセスプログラムの検証のためにホーア論理を一般化するために取り組んでいた。レスリー・ランポートは、ピアレビューで相互排除について提出した論文に誤りが見つかった後、この問題に関心を持つようになった。 Ed Ashcroftは、1975年の論文「Proving Assertions About Parallel Programs」で不変性を紹介した。これは、Lamportが1977年の論文「Proving Correctness of Multiprocess Programs」でFloydの方法を一般化するために使用した。ランポートの論文はまた、部分正当性と終了の一般化として、それぞれ安全性と活性を紹介した。 この方法は、EdsgerDijkstraによる1978年の論文で最初の同時ガベージコレクションアルゴリズムを検証するために使用された。
ランポートは、スーザンオウィッキが主催したスタンフォードでの1978年のセミナーで、プヌーリのLTLに最初に遭遇しました。ランポートによると「時相論理は、実用化されそうもなく抽象的で無意味だと確信していたが、楽しそうだったので参加した。」 との事であったが、1980年に彼は「'Sometime' is Sometimes 'Not Never'」を出版し、時相論理の文献で最も頻繁に引用される論文の1つとなった。  ランポートは、SRI在籍中に時相論理仕様の作成に取り組んだが、このアプローチは実用的ではないとわかった。
彼が実用的な仕様方法を模索した結果として1983年に論文「Specifying Concurrent Programming Modules」が生まれた。この論文では、状態遷移をプライム変数と非プライム変数のブール値関数として記述するというアイデアが導入されている。 その模索は1980年代に継続され、ランポートは1990年にアクションの時相論理に関する論文群の発表を開始した。しかし、1994年に「アクションの時相論理」が発表されるまでは正式には導入されなかった。 TLAは、時間式でのアクションの使用を可能にした。これは、ランポートによれば、「並行システム検証で使用されるすべての推論を形式化および体系化するための洗練された方法を提供する。」とされている。
TLAの仕様は、ほとんどが通常の非時相論的数学で構成されていたが、Lamportは、純粋な時間的仕様よりも煩わしさが少ないと発見した。 TLAは、1999年に論文「Specifying Concurrent Systems with TLA+」で紹介され、TLA+の仕様記述言語としての数学的基礎を提供した。同じ年の後半に、YuanYuはTLA+仕様のTLCモデルチェッカーを作成した。 TLCは、Compaqマルチプロセッサのキャッシュコヒーレンスプロトコルのエラーを見つけるために使用された。
ランポートは、2002年に「Specifying Systems：TLA+ Language and Tools for Software Engineers」というタイトルの+に関する完全な教科書を発行した。  PlusCalは2009年に導入され 、TLA+プルーフシステム（TLAPS）は2012年、 TLA+2は2014年に発表され、いくつかの言語構造が追加され、プルーフシステムの言語内サポートが大幅に増加した。  ランポートは、更新されたTLA+のリファレンスである「The TLA+ Hyperbook」の作成に取り組んでいる。未完成な作品は彼の公式ウェブサイトから入手できる。Lamportは、TLA+ビデオコースも作成している。このコースでは、「プログラマーとソフトウェアエンジニアにTLA+コードの記述方法を教える入門から始まる一連のビデオレクチャーを作りかけている」と説明されている。
言語

TLA+コードは複数のモジュールからなる。モジュールは、他のモジュールを拡張（インポート）して、その機能を使用できる。 TLA+標準はタイプセット数学記号で指定されているが、既存のTLA+ツールは、ASCIIでLaTeXのような記号定義を使用する。 TLA+では、定義が必要ないくつかの用語を使用する。
State – 変数への値の代入
Behaviour – 連続したState
Step – Behaviourでの連続したStateのペア
Shuttering step – 変数が変更されないStep
Next-state relation – 変数が任意のStepでどのように変化するかを説明する関係
State function – Next-state relationではない変数と定数を含む式
State predicate – ブール値の状態関数
Invariant – 到達可能なすべてのStateで真とする状態述語
Temporal formula – 時相論理のステートメントを含む式
言語 > 安全性

TLA+は、すべての正しいシステム動作のBehaviorを定義することを目的としている。例えば、0と1の間で際限なく刻々と変化する1ビットクロックは、次のように記述できる。
VARIABLE clock

Init == clock \in {0, 1}

Tick == IF clock = 0 THEN clock' = 1 ELSE clock' = 0

Spec == Init /\ [][Tick]_<<clock>>
Relation Tickはクロックが1であればclock'（次のStateにおけるclockの値）は0、0であれば1を設定する。clockの値が0または1の場合、State PredicateであるInitはtrueである。 Specは、1ビットクロックのすべてのBehaviorが最初にInitを満たし、すべてのStepがTickに一致するか、Shuttering stepである必要があることをアサートするTemporal formulaである。そのような2つの動作は次の通りである。
0 -> 1 -> 0 -> 1 -> 0 -> ...

1 -> 0 -> 1 -> 0 -> 1 -> ...
1ビットクロックの安全性は –到達可能なシステム状態の集合 –という仕様によって適切に説明される。
言語 > 活性

上記の仕様では、1ビットクロックの奇妙な状態は許可されていないが、クロックが常に変化するとは言っていない。たとえば、次のような永続的なShuttering stepが起こりうる。
0 -> 0 -> 0 -> 0 -> 0 -> ...

1 -> 1 -> 1 -> 1 -> 1 -> ...
変化しない時計は役に立たないので、これらの振る舞いは禁止されるべきである。 1つの解決策はShuttering stepを無効にする事であるが、TLA+では常にShutteringを有効にする必要がある。Shuttering stepは、仕様に記載されていないシステムの一部への変更を表し、改良に有用である。最終的にTickしなければならないクロックを確保するために、弱い公平性がTickのためにアサートできる。
Spec == Init /\ [][Tick]_<<clock>> /\ WF_<<clock>>(Tick)
アクションに対する公平性が弱いということは、そのアクションが継続的に有効になっている場合は、最終的に実行する必要があることを意味する。Tickの公平性が弱いため、ティック間で許可されるShuttering stepの数は限られている。 Tickに関するこの時相論理ステートメントは、活性アサーションと呼ばれる。一般に、活性アサーションはマシンで閉じる必要がある。到達可能な状態のセットを制約するのではなく、可能な動作のセットのみを制約する必要がある。
ほとんどの仕様では、活性の表明は必要ない。安全性特性だけでモデル検査とシステム実装の両方に対して事足りる。
言語 > 演算子

TLA+はZFに基づいているため、変数の操作にはセット操作が含まれる。言語には、集合元、和集合、共通部分集合、差集合、べき集合、および部分集合演算子が含まれる。 ∨ 、 ∧ 、 ¬ 、 ⇒ 、 ↔ 、 ≡などの一階述語論理演算子、および全称記号および存在記号∀と∃も含まれている。ヒルベルトのεは、任意の集合要素を一意に選択するCHOOSE演算子として提供される。実数、整数、自然数の算術演算子は、標準モジュールから利用可能である。
時相論理演算子はTLA+に組み込まれている。時間式では \Box P を"Pが常に真である"を意味し、  \Diamond Pを "Pが最終的に真となる"を意味するという使い方をする。演算子は結合され \Box \Diamond Pは"Pが無限に頻繁に真である"を意味する、または \Diamond \Box Pは、"最終的にPは常に真になる"という意味となる。他の時相演算子には、弱い公平性と強い公平性が含まれる。弱い公平を表すWFe（A）は、アクションAが連続して（つまり絶え間なく）有効になっている場合、それが最終的に実施される事を意味する。強い公平を表すSFe(A)アクションAは、（中断の有無にかかわらず、繰り返し）継続的に有効になっている場合は、それが最終的に実施される事を意味する。
ツールからのサポートはないが時相論的な存在記号と全称記号はTLA+に含まれている。
ユーザー定義の演算子はマクロに似ている。演算子は、ドメインが集合である必要がないという点において関数とは異なる。たとえば、集合のメンバーシップ演算子は、そのドメインとして集合の圏を持つが、これはZFCでは有効な集合ではない（その存在はラッセルのパラドックスにつながるため）。再帰的で匿名のユーザー定義演算子がTLA+2に追加された。