Sovesh/autoresearch-ja huggingface dataset:
株式会社オオゼキ（）は、東京都（主に城南地区）、神奈川県に店舗展開する食料品主体のスーパーマーケットチェーン、株式会社である。

沿革 
 1957年（昭和32年）2月 - 乾物主体の個人商店として「大関食料品店」を創業。
 1958年（昭和33年）9月 - 法人化し、有限会社大関総合食品を設立。
 1963年（昭和38年） - 店舗に生鮮品のテナントを導入。
 1965年（昭和40年）8月 - テナントを直営に変更し、スーパーマーケット業態に転換。
 1972年（昭和47年）9月 - 中央林間店開店。チェーン展開開始。
 1975年（昭和50年）8月 - 資本金150万円で、株式会社大関総合食品に組織変更。
 1997年（平成9年）3月 - 株式の額面変更を目的として、休眠会社の商号を株式会社オオゼキに変更。同社が大関総合食品と株式会社麻溝酒店を合併。
 1999年（平成11年）10月26日 - 株式店頭市場上場。これにより店舗展開が加速。
 2004年（平成16年）12月13日 - 店頭市場が、ジャスダックへ移行。
 2006年（平成18年）9月7日 - 東証2部へ上場。
 2008年（平成20年）9月17日 - 過去複数年度にわたる不適切な経理処理を行っていたことが判明したと発表。
 2009年（平成21年）8月14日 - マネジメント・バイアウト（MBO）を目的として、石原坂寿美江社長が新規に設立したひまわり株式会社が株式公開買付けを実施する旨を発表。買付け期間は同年8月18日 - 10月1日。
 2010年（平成22年）
 1月5日 - 上場廃止。
 2月26日 - 資本金を1億円に減資する。

店舗 
2023年8月時点では東京都区部に36店舗、多摩地域に4店舗、神奈川県に2店舗、千葉県に1店舗を展開する。

各店舗の詳細は公式サイト「店舗情報・チラシ」を参照。

付記 
ポイントサービス（キャッシュバック）として「OZカード」を導入している。

。

ギャラリー

脚注

外部リンク 

 株式会社オオゼキ

関東地方のスーパーマーケット
世田谷区の企業
ラッセル・マルケイ（Russell Mulcahy, 1953年6月23日 - ）は、オーストラリア・メルボルン出身の映画監督である。

略歴 
デュラン・デュラン、フリートウッド・マック、キム・カーンズ、ビリー・ジョエル、エルトン・ジョン、クイーン、ビリー・アイドル、ロッド・スチュアート、カルチャー・クラブといったアーティストのミュージックビデオを手がけてMTVアワードなどを受賞し、1980年代で最も成功したミュージックビデオ監督の一人である。その映像センスを生かした1984年の『レイザーバック』がアヴォリアッツ国際ファンタスティック映画祭で話題を集め、クリストファー・ランバート主演の『ハイランダー』シリーズで評価を確立した。

独特なビジュアルスタイルや動きの多いカメラワーク、クレーンワーク、非常に早いカッティング手法が持ち味。

2007年には、『バイオハザードIII』が公開された。

監督作品

ミュージック・ビデオ 
 ポール・マッカートニー
 ワンダフル・クリスマスタイム（1979年）
 キム・カーンズ
 ベティ・デイビスの瞳（1981年）
 運命のカード（1981年）
 愛と幻の世界（1982年）
 ロッド・スチュアート
 トゥナイト・アイム・ユアーズ（1981年）
 燃えろ青春（1981年）
 フリートウッド・マック
 愛のジプシー（1982年）
 オー・ダイアン（1982年）
 エルトン・ジョン
 ブルースはお好き？（1983年）
 サッド・ソングス（1984年）
 クイーン
 プリンシス・オブ・ザ・ユニヴァース（1986年）

映画 
 レイザーバック Razorback（1984年）
 ハイランダー 悪魔の戦士 Highlander（1986年）
 ハイランダー2 甦る戦士 Highlander II: The Quickening（1990年）
 リコシェ Ricochet（1991年）
 ハリウッド・ナイトメア  Tales from the Crypt（1991年）
 ブルーアイス Blue Ice （1992年）
 ブロンディー/女銀行強盗 The Real McCoy（1993年）
 シャドー The Shadow（1994年）
 ヴァンゲリア Tales from the Crypt（1991年 - 1996年）
 スナイパー/狙撃 Silent Trigger（1996年）
 タロス・ザ・マミー/呪いの封印 Tale of the Mummy（兼脚本、1998年）
  Resurrection（1999年）
 エンド・オブ・ザ・ワールド On the Beach（2000年）
 バイオハザードIII Resident Evil: Extinction（2007年）
 サイコハウス The Sitter（2007年）
 スコーピオン・キング2 The Scorpion King 2: Rise of a Warrior（2008年）
 ゴー・トゥー・ヘル Give 'em Hell, Malone（2009年）

出典

外部リンク 
  

オーストラリアの映画監督
ミュージック・ビデオ・ディレクター
メルボルン出身の人物
1953年生
存命人物
『アーカイヴ』（Archive）は2020年のイギリスのSF映画。ギャヴィン・ロザリーの映画監督デビュー作で、出演はテオ・ジェームズとステイシー・マーティンなど。人格と記憶を保存できる「アーカイヴ」システムを使って、交通事故で亡くなった妻をアンドロイドとして復活させようとする工学者を描いている。

2020年7月10日から米国の一部の劇場限定で上映された他、ネット配信された。
日本では「未体験ゾーンの映画たち2021」で上映された。

ストーリー

2038年、ジョージ・アルモアは山中のラボで人間と同じ能力を有する人工知能の開発に没頭していた。ジョージは完成まであと少しの状態に漕ぎつけていたが、そのあと少しを作り上げるのに悪戦苦闘していた。と言うのも、ジョージの目的は単に優れた人工知能を開発することにはなく、亡き妻、ジュールスを人工知能という形で復活させることにあったからである。やがて、ジョージはジュールスの復活に成功したが、その再会はジョージが思い描いていたようなものにはならなかった。

キャスト
※()は日本語吹き替え。
ジョージ・アルモア: テオ・ジェームズ (佐々木啓夫) - 人工知能の開発者。
ジュールス・アルモア/J3/J2の声: ステイシー・マーティン (大津愛理) - ジョージの妻。
シモーヌ: ローナ・ミトラ - ジョージの上司。(織部ゆかり)
ミスター・タッグ: 
メルヴィン: リチャード・グローヴァー - シンクレアの部下。
エルソン: ハンス・ピーターソン
管理システムの電子音声: 
ヴィンセント・シンクレア: トビー・ジョーンズ - アーカイヴ社の幹部。(魚建)
 その他の日本語吹き替え‐森優子、齋藤響、堀総士郎、ふじたまみ

製作
2017年5月14日、テオ・ジェームズの起用が発表された。2018年10月31日、ステイシー・マーティンがキャスト入りした。2020年7月10日、ミラン・レコーズが本作のサウンドトラックを発売した。

公開・マーケティング
2019年2月9日、本作の劇中写真が初めて公開された。2020年3月、本作はサウス・バイ・サウスウェストでプレミア上映される予定だったが、新型コロナウイルスの流行が拡大したことを受けて、映画祭自体が延期となった。4月30日、ヴァーティカル・エンターテインメントが本作の全米配給権を獲得したとの報道があった。6月12日、本作のオフィシャル・トレイラーが公開された。

評価
本作は批評家から好意的に評価されている。映画批評集積サイトのRotten Tomatoesには32件のレビューがあり、批評家支持率は78%、平均点は10点満点で7点となっている。サイト側による批評家の見解の要約は「『アーカイヴ』は基本的なところをしっかり押さえており、SFファンを人間の本性や愛に関する思考へと誘う。」となっている。また、Metacriticには6件のレビューがあり、加重平均値は67/100となっている。

出典

外部リンク 
 
 
 
 

2020年の映画
イギリスのSF映画作品
サイバーパンク映画
ディストピア映画
人工知能を題材とした映画作品
山梨県を舞台とした映画作品
ハンガリーで製作された映画作品
スティーヴン・プライスの作曲映画
ヴァーティカル・エンターテインメントの作品
カルチュア・コンビニエンス・クラブの映画作品
ボリビアの世界遺産（ボリビアのせかいいさん）はユネスコの世界遺産に登録されているボリビアの文化・自然遺産の一覧。

文化遺産 
 ポトシ市街 -（1987年）
 チキトスのイエズス会伝道所群 -（1990年）
 古都スクレ -（1991年）
 サマイパタの砦 -（1998年）
 ティワナク：ティワナク文化の宗教的・政治的中心地 -（2000年）
  - (2014年)

自然遺産 
 ノエル・ケンプ・メルカード国立公園 -（2000年）

複合遺産 
なし

関連項目 

 世界遺産の一覧

は ほりひあ

en:Category:World Heritage Sites in Bolivia
ミンチョ・ニコラエフ・ミンチェフ（, ラテン文字転写例: Mintcho Nikolaev Mintchev, 1950年9月17日 - ）は、ブルガリア出身のヴァイオリン奏者。

経歴
1950年、ガブロヴォ生まれ。4歳のころからペトル・キャラキエフにヴァイオリンを師事し、9歳でソフィアで初舞台を踏んだ。その後、ブルガリア国立音楽院でルボミール・ピプコフとエミル・カミラロフの指導を受け、1967年のヴィエニャフスキ国際ヴァイオリン・コンクールで第6位、1970年パガニーニ国際コンクールで第2位に入賞、1974年のカール・フレッシュ国際ヴァイオリン・コンクールで優勝を果たした。1975年にロンドンに留学してイフラ・ニーマンの下で研鑽を積んだ。

1977年から1990年までソフィア・フィルハーモニー管弦楽団とヴァルナ・フィルハーモニー管弦楽団のソロ・ヴァイオリン奏者として活動した。1990年からフォルクヴァンク音楽大学の教授を務めている。

脚注 

ブルガリアのヴァイオリニスト
1950年生
存命人物
.agはアンティグア・バーブーダに割り当てられている国別コードトップレベルドメイン (ccTLD)。

第2・第3レベルの登録 
第3レベルの登録は以下のような第2ドメインの下に登録できる。

 com.ag
 net.ag
 org.ag
 co.ag
 nom.ag
 edu.ag - アンティグア・バーブーダ国内の教育機関
 gov.ag - アンティグア・バーブーダ国内の政府機関

第2レベルに直接登録することも可能である。アンティグア・バーブーダに実体のない個人・団体の場合、年間登録料の価格が軒並み倍である。例えば、第2レベルドメインの場合、国内の個人・団体なら初めの2年間が年間150ドル、それ以降は年間75ドルで済む一方、国外からの登録の場合、初めの2年間が年間300ドル、それ以降は年間150ドルである。また、国内に実体のない場合edu.ag, gov.agが登録できない一方、国内に実体がある場合は、edu.ag, gov.ag, org.agの登録は無料となる。

ドイツでの法的状態 
ドイツ語のAGには株式会社（Aktiengesellschaft, アクティエンゲゼルシャフト）の意味もある。このため、ドイツの企業が.agドメインを所得する例が多い。

2004年7月、ドイツのハンブルク高等裁判所 (5. Zivilsenat des Oberlandesgerichtes Hamburg) が、ドイツ企業による.agドメインの取得を、AGであり、かつ会社名と正確に同じであるドメイン名に制限するという判例を示した。これは、たとえばドイツのソフトウェア会社であるSAP (SAP AG) が、software.ag という名前のドメインを取得することができないことを意味している。

その他の意味 
もともとの国別コードの意味とドイツ語圏の国々の第2の意味に加え、.agは農業に関係した (agriculture-related) サイトや、元素記号の銀 (Ag) に関係したサイトとして売買されている。英語でagで終わる単語が存在するため、ドメインハックの潜在的な可能性が存在する。

日本のウェブサイトでは、アニメ・ゲーム・声優関連の番組を配信しているインターネットラジオの音泉がonsen.agのドメインを使用している。

脚注

外部リンク 
 IANA Delegation Record for .AG

国別コードトップレベルドメイン
アンティグア・バーブーダの文化

sv:Toppdomän#A
李 叔虎（り しゅくこ、458年 - 511年）は、北魏の官僚・学者。『北史』は避諱により李叔彪と作る。本貫は渤海郡蓨県。

経歴 
学問を好んで見聞が広く、太和年間に中書博士に任じられ、崔光や邢巒と親交を結んだ。議郎に転じた。長らくして太尉従事中郎となり、国子博士・勃海国中正に任じられ、楽陵郡中正を兼ねた。後に散騎侍郎・太極都将を兼ねた。高陽郡太守に任じられたが、固辞して受けなかった。まもなく顕武将軍の位を受け、高陽王元雍の下で諮議参軍事をつとめた。また仮節・行華州事に任じられた。511年（永平4年）、死去した。享年は54。冠軍将軍・南青州刺史の位を追贈された。諡は穆といった。

子の李述は、字を道興といい、太常博士・尚書儀曹郎・建興郡太守を歴任した。

伝記資料 
『魏書』巻72 列伝第60
『北史』巻45 列伝第33

北魏の人物
458年生
511年没
IAA

 インドール-3-酢酸 (indole-3-acetic acid)
 国際宇宙航行アカデミー (International Academy of Astronautics)
 ドイツで開催される国際モーターショー (Internationale Automobil-Ausstellung)。奇数年はフランクフルトにて乗用車ショーが開催され（フランクフルトモーターショー参照）、偶数年はハノーファーにて商用車ショーが開催される。
 コンピュータゲーム『グランド・セフト・オートIV』『グランド・セフト・オートV』に登場する架空の組織、国際情勢局（International Affairs Agency）。
 国際ザリガニ学会(International Association of Astacology)
  (Israel Antiquities Authority)
愛国党（あいこくとう）は世界各国で見られる政党、政治単体の名称である。

一覧

現存し、議会に議席、もしくは首長を有する政党 
 新愛国党：
 ：

現存する政治団体 
 大日本愛国党：

存在していた政党、団体 
 ：
 タイ愛国党：
 韓人愛国団：
 大韓愛国党：

結成されていない政党、団体 
 愛国者党：

関連項目
愛国 (曖昧さ回避)
李 貞（り てい、貞観元年（627年） - 垂拱4年9月11日（688年10月10日））は、中国の唐の太宗李世民の八男。越王に立てられたが、乱を起こして失敗し、自殺した。

経歴 
李世民と燕妃の間に生まれた。貞観5年（631年）、漢王に封ぜられた。貞観7年（633年）、徐州都督に任じられた。貞観10年（636年）、原王に徙封され、まもなく越王に改封され、揚州都督に転じ、実封800戸を受けた。貞観17年（643年）、相州刺史に転じた。貞観23年（649年）、実封1000戸まで加増された。永徽4年（653年）、安州都督に任じられた。咸亨年間に再び相州刺史に転じた。李貞は騎射を得意とし、文章や史学に通じ、役所仕事も有能で、宗室諸王の中でも有力であった。

武則天が朝政をみるようになると、李貞は太子太傅・豫州刺史の位を加えられた。中宗が廃位されて武則天が称制するようになると、李貞は韓王李元嘉とその子の黄国公李譔、魯王李霊夔とその子の范陽王李藹、霍王李元軌とその子の江都王李緒、李貞の子の琅邪王李沖らとひそかに議論して李氏による奪権を計画した。
 
垂拱4年（688年）、明堂が完成し、武則天による李氏一掃の情勢が疑われるようになると、計画は性急に進められた。黄公李譔は睿宗の璽書と偽って「朕は幽閉の身にある。諸王は起兵せよ」という内容の密書を李沖に渡した。李沖は長史の蕭徳琮に命じて兵を集めさせた。8月、李沖は博州で起兵して黄河を渡り、武水県を攻めたが、たまたま薪の火が城門にかかり逆風で李沖の軍を襲った。李沖は緒戦の不吉を訴えた部下の董元寂を斬ると、李沖の軍の士気は沮喪し、壊滅状態に陥った。李沖は博州に逃れたが、刺殺された。

李貞は上蔡を攻め落とし、7000の兵を集めて五営に分けた。李貞は中営にあって、裴守徳を大将軍とし、中営を領させた。趙成美を左中郎将として左営を領させ、閭弘道を右中郎将として右営を領させ、安摩訶を郎将として後軍を領させ、王孝志を右将軍として前軍を領させた。しかし後につづく諸王の起兵がなく、李貞の軍の士気も低かった。9月、武則天は麴崇裕や岑長倩らに10万の兵を与えて李貞を討伐させ、李貞父子の属籍を削って、氏を「虺」と改めさせた。麴崇裕らが豫州に到着すると、李貞の末子の李規や裴守徳らが抗戦したが、潰滅した。李貞は服毒して死に、李規はその母を縊ってから自殺し、裴守徳も縊死した。

開元5年（717年）、旧封に復され、敬と諡された。

伝記資料 
 『旧唐書』巻76 列伝第26「越王貞伝」
 『新唐書』巻80 列伝第5「越王貞伝」
 大唐故太子少保豫州刺史越王墓誌銘

てい
627年生
688年没
「Spirit Inspiration」（スピリット・インスピレーション）は、Nothing's Carved In Stoneの3枚目のシングル。2012年11月28日にEPIC Recordsから発売された。

概要 
前作「Pride」から約4か月ぶりのリリースとなる2012年2作目のシングルで、4thアルバム『Silver Sun』からのリカット作品。表題曲は、MBS・TBS系テレビアニメ『絶園のテンペスト』の前期オープニングテーマに起用された。

販売形態は通常盤と期間限定盤の2種リリースで、前者にはオリジナルステッカーが、期間限定盤には、同アニメの主人公である滝川吉野と不破真広が描かれている。

収録曲 
 全曲とも、作詞・作曲・編曲はNothing's Carved In Stoneが担当。

通常盤 
 Spirit Inspiration [4:22]
 MBS・TBS系テレビアニメ『絶園のテンペスト』前期オープニングテーマ
 Lighthouse [3:24]
 BLUE SHADOW [6:05]

期間限定盤 
 Spirit Inspiration [4:11]
 Spirit Inspiration - アニメバージョン - [1:32]

収録アルバム

脚注

外部リンク 
 ソニー・ミュージックエンタテインメントによる紹介ページ
  通常盤
  期間限定盤

2012年のシングル
エピックレコードジャパンのシングル
アニメイズムの主題歌
ひりつといんすひれいしよん
903（九百三、きゅうひゃくさん）は自然数、また整数において、902の次で904の前の数である。

性質 
 903は合成数であり、約数は 1, 3, 7, 21, 43, 129, 301, 903 である。
 約数の和は1408。
約数の個数が3連続(902,903,904)で同じになる19番目の中央の数である。1つ前は698、次は922。
 903 = 1 + 2 + 3 + 4 + 5 + 6 + 7 + 8 + 9 + 10 + … + 41 + 42
 42番目の三角数である。1つ前は861、次は946。
 121番目の楔数である。1つ前は902、次は906。
 三角数の楔数としては13番目の数である。1つ前は861、次は946。
 各位の和が12になる70番目の数である。1つ前は840、次は912。
 903 = 1 + 6 + 7 + 7
4つの正の数の立方数の和で表せる255番目の数である。1つ前は900、次は908。()
 903 = 32 − 121
 n = 32 のときの n − 11 の値とみたとき1つ前は840、次は968。()

その他 903 に関連すること
 西暦903年
 紀元前903年
 903iTV
 903SH
 903T
 903空
 903 × 10 = 0.903 は常用対数 log8 の近似値である。()

関連項目 
 数の一覧
 9月3日
 900
阿部 弘亨（あべ ひろあき） は、日本の材料科学者。東京大学大学院工学系研究科教授。

人物・経歴 
福島県出身。神奈川県立柏陽高等学校を経て、1988年九州大学工学部応用原子核工学科卒業。1990年九州大学大学院工学研究科応用原子核工学専攻修了。1991年アルゴンヌ国立研究所留学。 1993年日本原子力研究所研究員。1995年重イオン研究所客員研究員。1996年アリゾナ州立大学客員研究員。

東京大学大学院工学系研究科助教授、東北大学金属材料研究所教授を経て、東京大学大学院工学系研究科教授。2011年中部電力浜岡原子力発電所第5号機海水流入事象に係る設備健全性評価検討委員会委員 。2012年日本原子力学会東京電力福島第一原子力発電所事故調査委員会委員、日本原燃再処理検討委員会委員。

著作 
『照射下における可動欠陥クラスタの実証と特性評価に関する理論的・実験的研究』東京大学 2004年
『イオン照射下における可動欠陥クラスタの特性評価と原子炉環境における影響の解明』東京大学 2008年

脚注 

日本の原子力関連人物
日本の材料工学者
東京大学の教員
東北大学の教員
日本原子力研究開発機構の人物
東北大学金属材料研究所の人物
アルゴンヌ国立研究所の人物
博士（工学）取得者
工学修士取得者
工学士取得者
九州大学出身の人物
神奈川県立柏陽高等学校出身の人物
福島県出身の人物
生年未記載
存命人物
フローズン・エバー・アフター（Frozen Ever After）は、ディズニーパークにあるボートライドタイプのアトラクション。

このアトラクションが存在するパーク 
エプコット (ウォルト・ディズニー・ワールド・リゾート)

このアトラクションが建設中のパーク 
 香港ディズニーランド（香港ディズニーランド・リゾート）
 ウォルト・ディズニー・スタジオ・パーク（ディズニーランド・パリ）

概要 

エプコットのノルウェー館に位置するディズニー映画『アナと雪の女王』をテーマにしたボートライドタイプのアトラクション。2016年6月21日に「メイルストロム」（Maelstrom）をリニューアルする形でオープン。香港ディズニーランドに2021年オープン予定の「アナと雪の女王」をテーマにしたエリアにも作られる予定。
類似アトラクションとしてはディズニーランドをはじめとする世界各国のディズニーパークに存在するカリブの海賊や東京ディズニーシーにあるシンドバッド・ストーリーブック・ヴォヤッジがあげられる。

ストーリー 
「アナと雪の女王」の物語の後日、アレンデールの国民が「Official Summer Snow Day」としてエルサの宮殿に招かれることとなった。ゲストはボートに乗ってエルサの宮殿へと出発し、「アナと雪の女王」の物語をたどっていく。

関連項目 
アナと雪の女王
ノルウェー館
カリブの海賊（ディズニーランド、マジック・キングダム、東京ディズニーランド、ディズニーランド・パーク）

脚注

外部リンク 
 Official Walt Disney World Frozen Ever After page

アナと雪の女王
ディズニーパークのアトラクション
エプコットのアトラクション
オーディオ・アニマトロニック・アトラクション
建設中のディズニーパークのアトラクション
旧戸島家住宅（きゅうとしまけじゅうたく）は福岡県柳川市にある江戸時代後期建築の侍屋敷。庭園は国の名勝。

概要 
主屋は、柳川藩中老の吉田兼儔の隠居所として、文政11年（1828年）に庭園とともに建設されたとされる（寛政年間建築の伝承もある）。数寄屋風の葦葺2階建という文人趣味の主屋に掘割の水を活用した庭園を配するという、水郷柳川の侍屋敷の特徴を備えている。

後に藩主の立花家に献上され、藩の茶室として使用されたといわれている。明治維新の頃、徴発された宅地の代償として立花家から由布氏に下賜され、明治15年（1882年）頃に由布氏の転居に伴い戸島氏の所有となり、個人住宅として使用されてきた。昭和32年（1957年）に県の文化財、昭和53年1978年に国の名勝指定を経て、平成13年（2001年）に建物が柳川市に寄贈され、3年間の解体修理の後、平成16年（2004年）4月から一般公開が始まった。

文化財 
名勝（国指定）
庭園（1978年8月25日指定）
福岡県指定有形文化財

主屋 - 江戸時代文政11年築（推定）、（1957年4月5日指定）

利用情報  
開館時間 - 9時～17時(入館は16時30分まで)
休館日 - 火曜（火曜日が休日に当たるときは、その翌日）、1月1日～3日および12月29日～12月31日
所在地 - 〒832-0067 福岡県柳川市鬼童町49-3

交通アクセス 
西鉄天神大牟田線西鉄柳川駅下車の上、
西鉄バス「早津江」行きに乗車、「水天宮入口」バス停にて下車、徒歩1分
同バス「早津江」行き、または「柳川病院循環」に乗車、「御花前」バス停にて下車、徒歩2分
堀川バス「かんぽの宿柳川」行きに乗車、終点の同バス停にて下車、徒歩10分
同駅よりタクシーで約10分
マイカーの場合、九州自動車道みやま柳川インターチェンジより約11km。

関連項目 
日本国指定名勝の一覧
江戸小路 (柳川市)

外部リンク 

旧戸島家住宅

九州地方にある日本庭園
福岡県の民家
江戸時代の建築
柳川市の建築物
福岡県指定有形文化財
福岡県にある国指定の名勝
柳川市の歴史
19世紀の建築物
日本の木造建築物
ホ・ヨンラン（허영란、1980年9月16日 - ）は、韓国の女優。京畿大学校多重映像媒体学部卒。身長162cm。

出演

テレビドラマ
私（1996年、MBC）
新世代報告 大人たちは分かりません（1997年、KBS）
男女6人恋物語（1997年、MBC）
完璧な男に出会う方法（1997年、KBS） - ヘジ役
順風産婦人科（1998年、SBS）
私の心を奪って（1998年、SBS） - ソ・ウンジョ役
青春の罠（1999年、SBS） - カン・ドンスク役
カイスト～天才たちの青春日記～（1999年-2000年、SBS） - オ・オクチュ役
彼女の家（2001年、MBC） - チャン・テヒ役
野人時代 将軍の息子キム・ドゥハン（2002年-2003年、SBS）
お向かいの女（2003年、MBC） - ユジョン役
完全なる愛（2003年、SBS） - ソジョン役
2度目のプロポーズ（2004年、KBS2） - ファン・ヨンジョン役
薯童謠（2005年-2006年、SBS） - プヨ・ウヨン役
姉さん（2006年、MBC） - ユン・スア役
愛が私たちを動かす方式（2007年、KBS2）
君の風景（2007年、KBS）
2009伝説の故郷（2009年、KBS2） - シバジ役
ドキドキ My Love（2011年、KBS2） - キム・ミンジュ役
息子たち（2012年、MBC）
マイ・ラブリー・ブラザーズ（2012年-2013年、MBC） - ユン・ガンヒ役
アイムソーリー カン・ナムグ（2016年-2017年、SBS） - カン・ナミ役

映画
子犬、死ぬ（2003年）
ラブ・インポッシブル～恋の統一戦線～（2003年）

受賞
1999年 SBS演技大賞 シットコム部門ニュースター賞
2004年 KBS演技大賞 助演女優賞

出典

外部リンク 
 
 허영란（韓国語） - サイワールド

韓国の女優
1980年生
存命人物
STS-72 は、1996年1月に行われたスペースシャトル・エンデバーによる飛行ミッションである。

乗員 
  (3), 船長
  (1), 操縦手
  (2), ミッション・スペシャリスト
  (1), ミッション・スペシャリスト
  (1), ミッション・スペシャリスト
 若田光一 (1), ミッション・スペシャリスト - 日本

ミッション・パラメータ 
質量:
打上時: 112,182 kg
着陸時: 98,549 kg
ペイロード: 6,510 kg
近地点: 185 km
遠地点: 470 km
軌道傾斜角: 28.4° 
周期: 91.1 分

船外活動 
  チャオとバリー  - EVA 1
EVA 1 開始: 1996年1月15日 - 05:35 UTC
EVA 1 終了: 1月15日 - 11:44 UTC
期間: 6時間09分

  チャオとスコット  - EVA 2
EVA 2 開始: 1996年1月17日 - 05:40 UTC
EVA 2 終了: 1月17日 - 12:34 UTC
期間: 6時間54分

ミッションのハイライト 
STS-72 ミッションの主たる目的は、日本の微小重力実験衛星である宇宙実験・観測フリーフライヤ (SFU) を回収して地球に持ち帰ることであった。SFU は質量が 3,577kg （7,885ポンド）で、1995年3月18日 08:01 UT に宇宙開発事業団 (NASDA) により種子島宇宙センターからH-IIロケット3号機で打ち上げられた。

また、NASA の衛星である OAST-Flyer (Office of Aeronautics and Space Technology Flyer) を放出して約50時間後に回収した。OAST-Flyer は、SPARTAN 衛星を利用した再利用可能な7機目のフリーフライヤである。OAST-Flyer に搭載されていた実験機器は、Return Flux Experiment (REFLEX)、GPS Attitude Determination and Control Experiment (GADACS)、Solar Exposure to Laser Ordnance Device (SELODE)、メリーランド大学の Spartan Packet Radio Experiment (SPRE) の4つである。

その他 STS-72 に搭載された実験機器は、Shuttle Solar Backscatter Ultraviolet Experiment (SSBUV-8) （これ以前のSTS-34、STS-41、STS-43、STS-45、STS-56、STS-62、STS-66にも搭載）、EDFT-03、Shuttle Laser Altimeter Payload (SLA-01/GAS(5))、VDA-2、国立衛生研究所 NIH-R3 Experiment、Space Tissue Loss Experiment (STL/NIH-C)、Pool Boiling Experiment (PBE) （これ以前のSTS-47、STS-57、STS-60にも搭載）、Thermal Energy Storage (TES-2) （これ以前のSTS-69にも搭載）などである。

ゲッタウェイ・スペシャル (GAS) ペイロードには、米国空軍士官学校の G-342 Flexible Beam Experiment (FLEXBEAM-2)、日本航空宇宙工業会の G-459 - Protein Crystal Growth Experiment、ジェット推進研究所の GAS Ballast Can とサンプルリターン実験があった。

エンデバーでの10回目の飛行となるこのミッションでは、3人の宇宙飛行士が6時間半の船外活動 (EVA) を2回行い、1997年の後半に始まる国際宇宙ステーションの組み立てで使うことになる機器や工具をテストした。飛行5日目の EVA-1 ではリロイ・チャオ (EV1) とダニエル・バリー (EV2) が、飛行7日目の EVA-2 ではリロイ・チャオ (EV1) とウィンストン・スコット (EV2) が船外活動を行った。

関連項目 
 スペースシャトル
 SFU (人工衛星)
 :en:Spartan Packet Radio Experiment

外部リンク 

 NASA mission summary

STS-072
1996年のアメリカ合衆国
1996年の宇宙飛行
1996年1月
松村 寛治（まつむら かんじ、1899年（明治32年）11月5日 - 1944年（昭和19年）11月18日）は、日本の海軍軍人。太平洋戦争において潜水艦長として11隻の連合国船舶を撃沈破。戦死後2階級特進した海軍中将である。

概要
山口県出身。海軍兵学校（50期)。松村は水雷学校高等科、潜水学校甲種学生を修了した潜水艦専攻の士官で、呂六十型潜水艦3隻（呂六一、呂六五、呂六六）の艦長を務めている。1935年11月（昭和10年）少佐、1940年（昭和15年）1月中佐へ進級。翌年10月に伊号第二十一潜水艦長に就任し、太平洋戦争開戦を迎える。

1941年（昭和16年）11月26日、真珠湾攻撃に向かう南雲機動部隊の哨戒部隊として単冠湾を出撃した。同攻撃後、米西海岸で通商破壊作戦に従事しタンカー2隻を撃沈破したのをはじめ、退艦する1943年（昭和18年）3月までに豪州方面などで9隻の船舶を撃沈破している。この間飛行偵察や、輸送、砲撃などの任を果たし、特殊潜航艇によるシドニー湾攻撃に参加した。

潜水学校教官に転じ1944年（昭和19年）5月大佐に進級。同年9月12日、第三十四潜水隊司令に補され、伊号第百七十七潜水艦に座乗しパラオ方面に出撃したが消息を絶つ。戦死認定日は11月18日であるが、米側の資料では10月3日に米護衛駆逐艦「」が同艦を撃沈している。

出典

参考文献 
 海軍歴史保存会『日本海軍史』（第9巻）

大日本帝国海軍中将
真珠湾攻撃の人物
太平洋戦争で戦死した人物
海軍水雷学校出身の人物
海軍兵学校 (日本)出身の人物
山口県出身の人物
1899年生
1944年没
商業デザイン（しょうぎょうデザイン）とは、商業にかかわるデザインのことである。特に営業や商品販売（販売促進）に関わるデザインを意味する場合が多い。コマーシャルデザインともいう。

その範囲はあいまいであるが、一般に次のようなデザインが含まれる。
 グラフィックデザイン  
 パッケージデザイン
 タイポグラフィ 
 ブックデザイン 
 インテリアデザイン（商業店舗の内装デザイン、ショーウィンドー・ディスプレイのデザイン。店舗設計も含む）
家具のデザイン
コーポレートデザイン
ウエブデザイン

これに対して、
 インダストリアルデザイン 
 プロダクトデザイン 
といった工業製品（産業製品）に関するデザインをも含むという考え方もある。しかし、これらはむしろ「工業デザイン（産業デザイン）」と呼ぶことが多い。

デザインを業務とする企業は、通常「商業デザイン」をメインの業務として、対外的に提示していることが多い。また、「商業デザイン事務所」「商業デザイン営業部」など、会社名、部署名に使われることも多い。この言葉が含む個々のデザインの内容が極めて豊かになり、それを包括する概念を定めることに無理が生じている、という考え方もある。

商業デザインは、「商業美術」と呼ばれることもあるが、この呼び方はやや古めかしい。なお、「商業美術」は、濱田増治が使い始めた用語であるが、これが、いつどのような経緯で「商業デザイン」という語にかわって行ったのかについては、必ずしも明らかではない。

脚注

関連文献
日本の商業デザイン　大正・昭和のエポック（青幻舎、2006年）
20世紀の商業デザイン　アール・デコから近代まで（青幻舎、2008年）

関連項目
デザイナー 

商業
デザインの概念
ズー・エンタテインメント（Zoo Entertainment）は、アメリカ合衆国に存在したレコードレーベル。1990年に元アイランド・レコード取締役だったルー・マグリアによって設立。トゥールが在籍しプラチナ・アルバムを3枚リリースした。1996年にヴォルケーノ・エンタテインメントに売却。そのヴォルケーノ・エンタテインメントも1998年にRCA/JIVEグループに売却された。

主なアーティスト
キリング・ジョーク
クラレンス・クレモンズ
グレイト・ホワイト
マシュー・スウィート
トゥール
バーニング・スピア
フィリップ・ベイリー
プロコル・ハルム
ラスク
リトル・フィート

かつて存在したアメリカ合衆国のレコード・レーベル
ロック・レーベル
廃
1990年設立の企業
モスクワ地下鉄大環状線（モスクワちかてつだいかんじょうせん、）は、モスクワ地下鉄の路線の一つである。ロシア連邦の首都モスクワにあり、総延長は70 kmで、2023年3月1日に全線31駅が開通して環状路線となった。

当初はモスクワ地下鉄11号線として扱われ、ペトロフスキー・パールク駅（）とデロヴォイ・ツェントル駅（）の10.5km、5つの駅を結んでいた。その後、カホーフスカヤ線（11A号線）も編入した。

駅 
 ペトロフスキー・パールク駅（）
 ツェエスカー駅（）
 ホロショフスカヤ駅（）
 シェレピハ駅（）
 デロヴォイ・ツェントル駅（）

開業年次

脚注

関連項目 
 環状線 (モスクワ地下鉄)
 モスクワ中央環状線
 ロシアの鉄道

モスクワ地下鉄
南条町（なんじょうまち）は、香川県丸亀市の町丁。郵便番号は763-0046。

地理 
丸亀駅の南西、丸亀城の北西に位置する。金毘羅街道が町の中央を南北に通っている。かつては南条町の東端部を丸亀城の外堀が通っていた。

隣接する町丁 
 塩飽町
 幸町
 西本町
 中府町
 本町

歴史

丸亀城下の成立 

近世には丸亀平野北部の亀山に丸亀城が築かれ、瀬戸内海に面する北側に城下町が形成された。丸亀城の北西、城下の西端に上下の南条町が位置していた。

天正15年（1587年）8月、豊臣秀吉の許しを得て生駒正親が讃岐国の領主として生駒氏入封なる。生駒氏時代の慶長6年（1601年）にはまず御供所町・北平山町・西平山町などが形成され、生駒氏の時代に町割りとして上南条町と下南条町も形成された。その後、寛永18年（1641年）9月、丸亀藩の前身である西讃岐領主として山崎家治入封し丸亀藩の地政学的な基盤が整う。万治元年（1658年）2月、京極高次が、将軍家綱より丸亀城と5万石に加え播州龍野領内1万石の領地を約束され、同年5月5日に丸亀城に入場し京極氏入封となる。京極氏入封直後の戸口は、上南条町が家数38、人数397であり、下南条町が家数45、人数405である。山崎氏・京極氏の時代に複数の寺が建立されており、法音寺、宗泉寺、寿覚院、玄要寺、本照寺がある。

万治年間（1658年-1661年）に描かれた城下図には、上下の南条町の部分に寺屋敷が記されている。一方で北平山町にも寺屋敷が配されており、丸亀城下は東西（西は上下の南条町、東は北平山町）に寺町を有していた。江戸時代後期の丸亀城下は金刀比羅宮参詣客でにぎわい、湊から上陸した参詣客は、南条町や農人町の通りから中府門を通って金毘羅街道に入った。

下南条町(-1878) 

北側には下南条町が、南側には上南条町が位置し、それぞれの中央部を金毘羅街道が貫いていた。下南条町は商業地として発展し、西側の広い区域を寺院が占めている。下南条町の北川は横町、東側は塩飽町、南側は上南条町であり、西側は那珂郡地方村であった。上下の南条町はいずれも古町と総称される町のひとつであり、生駒氏時代に成立したとされる。

『丸亀市史』によると、生駒氏が丸亀城下を建設した際、阿野郡南条（現・綾歌郡綾上町）から住民を移住させたという。万治年間に描かれた城下図では通りの西側が寺屋敷となっており、寿覚院、宗泉寺、本照寺、法音寺が描かれている。法音寺には歌人の井上通女の墓所がある。

『西讃府志』によると、戸数は94戸、人口は260人（調査時期不明）。1871年（明治4年）時点の面積は4,670坪余だった。明治初期には宗泉寺内に南条小学校が置かれたが、後に浜町の亀湾小学校に吸収された。1884年（明治17年）には高松市にあった芝居小屋「旭座」を修築して、法音寺の東側に芝居小屋「戎座」が建てられた。「戎座」の初演は二代目 中村雀右衛門と實川延三郎一座の金毘羅利生記。戎座は、その後1924年（大正13年）まで存続したことが確認されている。

上南条町(-1878) 
上南条町の東側は外堀であり、外堀を挟んで一番丁・二番丁があった。西側と南側は外堀と水路であり、それらを挟んで那珂郡地方村と農人町があった。上南条町から農人町におよぶ広い範囲に玄要寺があった。南北の通りの南端部には、明和元年（1764年）には南条町と農人町の講中で建立された常夜灯がある。『西讃府志』によると、戸数は72戸、人口は238人（調査時期不明）。1872年（明治5年）には玄要寺に丸亀郷校の分校が置かれ、学制発布後には第三小学校となったが、後に宗泉寺に移って南条小学校となった。

南条町(1878-) 
1878年（明治11年）には下南条町と上南条町が合併して南条町が成立した。丸亀町（町村制施行前）の中の1町となり、1885年（明治18年）まで西組に所属した。寺院が多かったこともあって、明治初期には丸亀小学校分校や那珂郡多度共立亀山中学校が置かれた。1888年（明治21年）の戸数は144戸、人口は547人（うち旧士族12人）であり、職業別では商業283人、工業18人、雑業246人だった。1890年（明治23年）の町村制施行によって那珂郡丸亀町が成立すると、南条町は丸亀町の中の1町となった。1899年（明治32年）には丸亀町が市制施行して丸亀市となり、丸亀市南条町となっている。

1915年（大正4年）には丸亀市役所が浜町から南条町に移転し、寿覚院に仮庁舎が置かれた。1940年（昭和15年）に戎座の跡地あたりに丸亀郵便局電話分室が置かれた。後に、丸亀電話局となる。　丸亀電話局は戦後に丸亀電報電話局となりさらにその後、丸亀市二番丁（大手町）に移転した。南条町の電話局跡地の建物は現在もテナントビルとして活用されている。昭和40年代には国鉄丸亀駅と国道11号（現在の香川県道33号高松善通寺線）をつなぐ道路が完成した。1950年（昭和25年）と1951年（昭和26年）には那珂郡地方町の一部を編入している。1952年（昭和27年）の世帯数は162戸、人口は628人である。1980年（昭和55年）には西本町と幸町の一部を、1981年（昭和56年）には城西町の一部を編入している。1981年の世帯数は107戸、人口は299人である。

施設 
 城乾コミュニティーセンター
 丸亀市立西幼稚園

脚注

参考文献

関連項目 
 丸亀市の町・字

丸亀市の地理
『レイ、最初の呼吸』（レイ、さいしょのこきゅう、The First Breath of Tengan Rei）は、日米合作の長編映画。

2008年完成。2009年にアメリカ、インド、日本で上映。沖縄女性を主役とする映画である。Okinawa Project（沖縄プロジェクト）。

 脚本・監督・プロデュース：Junko Kajino（梶野純子）、Ed M. Koziarski（エドワード・コジアスキー）
 出演：Erika（小田エリカ）、Katori Eason（カトリ・イーソン）、Sean Nix、Ric Arthur
 ロケ地：沖縄、シカゴ

内容 
沖縄で米兵に暴行を受けた少女レイが10年後、兵士に対面するためアメリカへ渡る。そこで、一人の兵士の息子パリスを誘拐してしまう。映画は、主人公レイの痛みと回復、そして純粋な少年パリスとの交流を美しく描く。

外部リンク 
 映画「レイ、最初の呼吸」オフィシャルホームページ
  梶野　純子　奈良テレビインタビュー
 梶野純子インタビュー
  (英語） 
 Okinawa Project（英語）
 The First Breath of Tengan Rei (2007)（英語）

日本とアメリカ合衆国の合作映画
2007年の映画
リーマービン・ボネバチア（Liemarvin (Lee-Marvin) Bonevacia、1989年4月5日 ‐ ）は、キュラソー出身の陸上競技選手。専門は短距離走。400mの自己ベストは44秒72のオランダ記録保持者。2015年にオランダ選手初の44秒台を達成した選手である。2016年ヨーロッパ選手権男子400mの銅メダリスト。

経歴 
キュラソー島に生まれ、乳幼児期にオランダへ移動したが、8歳の時に再びキュラソー島へ戻ってきた。

昔はサッカーやバレーボールを経験。陸上競技は17歳の時に始め、最初は中長距離の選手だった。

大学はプエルトリコのエステ大学に進学。

2012年 
5月に400mで46秒11のキュラソー記録（当時）を樹立し、2007年にチュランディ・マルティナがマークした46秒13を更新した。

8月のロンドンオリンピックにオリンピック個人参加選手団として参加すると、出場した男子400m予選でキュラソー新記録となる45秒60をマークして準決勝に進出したが、準決勝は右ハムストリングスを痛めて1分36秒42の最下位に終わった。

2013年 
8月のモスクワ世界選手権にオランダ代表として出場すると、男子4×100mリレーで3走を務めた。予選は38秒41をマークしてタイムで拾われて突破し、決勝では38秒37とタイムを縮めて5位入賞に貢献した。

2014年 
7月27日にアムステルダムで開催されたASICS NK Atletiekの男子400mにおいて45秒41のオランダ新記録（当時）を樹立し、1986年にがマークした45秒68を28年ぶりに更新した。

2015年 
8月の北京世界選手権には男子400mと4×100mリレーに出場。400mでは男女通じてオランダ勢初の出場を果たすと、予選で自己ベスト（当時45秒40）を大幅に更新する44秒72のオランダ新記録を樹立し、オランダ選手初となる44秒台を記録して準決勝に進出した。準決勝は予選よりもタイム落とし、45秒65の3組8着（全体の最下位）で決勝には進めなかった。4×100mリレーでは前回大会に続いて3走を務めたが、38秒41の組6着に終わり決勝には進めなかった。

2016年 
7月にアムステルダムで開催されたヨーロッパ選手権に出場すると、男子400m準決勝で45秒68の組2着となり、着順で決勝に進出した（タイムは全体9位）。決勝は45秒41とタイムを縮め、マーティン・ルーニー（45秒29）、パヴェル・マスラク（45秒36）に次いで銅メダルを獲得した。この種目でのオランダ選手のメダル獲得は、1938年ウィーン大会で銀メダルを獲得したKarl Baumgarten以来78年ぶり、史上2人目の快挙だった。

2017年 
3月にベオグラードで開催されたヨーロッパ室内選手権に出場すると、男子400m決勝で46秒26の室内オランダ新記録を樹立。2014年にBram Petersがマークした46秒71を更新し、この種目でオランダ選手初のメダルとなる銅メダルを獲得した。

自己ベスト 
記録欄の（　）内の数字は風速（m/s）で、-は向かい風を意味する。

キュラソー記録

主要大会成績 
備考欄の記録は当時のもの

脚注

注釈

出典

外部リンク 

リーマービン・ボネバチア - ヨーロッパ陸上競技連盟のプロフィール
 

オランダの短距離走の選手
キュラソーの陸上競技選手
オランダ領アンティルの男子陸上競技選手
オランダ領アンティルのユニバーシアード選手
オリンピック陸上競技オランダ代表選手
オランダのオリンピック銀メダリスト
陸上競技のオリンピックメダリスト
世界陸上選手権オランダ代表選手
世界陸上選手権メダリスト
ヨーロッパ陸上選手権メダリスト
ヨーロッパ室内陸上選手権メダリスト
1989年生
存命人物
ヒャン (Sinomicrurus japonicus) は、爬虫綱有鱗目コブラ科ワモンベニヘビ属に分類されるヘビ。別名リュウキュウベニヘビ。

分布 
日本（奄美諸島、沖縄諸島）固有種

種小名japonicusは「日本の」の意。

分類 
久米島などに分布する個体群を、横縞が入らないことなどから亜種クメジマハイS. j. takaraiとする説もあった。2017年に発表された本種の形態比較および核DNA・ミトコンドリアDNAの分子系統推定では、亜種クメジマハイは亜種ハイと形態の差異も連続的で、亜種ハイから2回にわたって分岐した個体群とする解析結果が得られた。そのため亜種クメジマハイを、亜種ハイのシノニムとする説が提唱された。

以下の分類は日本爬虫両棲類学会(2018)・Reptile Database(2018)に、和名は日本爬虫両棲類学会(2018)に従う。
 Sinomicrurus japonicus japonicus (Gunther, 1869) ヒャン
奄美大島、請島、加計呂麻島、与路島
頭胴長28 - 50センチメートル。背面の体色は淡赤褐色や橙色で、1 - 5本の暗褐色の細い縦縞が入る。縦縞は体色部よりも幅が狭い。胴体に11 - 16本の、腹部で繋がり環状になる暗色斑が入る。
 Sinomicrurus japonicus boettgeri (Fritze, 1894) ハイ
伊平屋島、伊是名島、沖縄島、具志川島、久米島、古宇利島、瀬底島、渡嘉敷島、徳之島、渡名喜島、座間味島、野甫島、屋我地島、屋那覇島
頭胴長29 - 53センチメートル。背面の体色は赤褐色や橙色で、5本の暗褐色の縦縞が入る。中央の縦縞は両脇の体色部と同じ幅か、より太くなることもある。胴体に6 - 14本の暗色斑が入るが、腹部で繋がらないため環状にならない。暗色斑（横縞）は黒く、白で縁どられる個体が多い。一方で久米島などの一部の島嶼では、横縞が入らない個体群もいる。

生態 
常緑広葉樹からなる一次林や二次林・植生の発達した石灰岩の岩場などに生息する。湿潤な環境に生息するが、基亜種はやや乾燥した環境でみられることもある。掴まれると、尾の先端を相手に押し付ける。

ブラーミニメクラヘビを食べた報告例があり、亜種ハイはクロイワトカゲモドキやヘリグロヒメトカゲを食べた報告例もある。

繁殖様式は卵生。基亜種は4月下旬に交尾を行い、6月下旬に1回に2 - 4個の卵を産んだ例がある。亜種ハイは6月中旬から下旬に、約5個の卵を産んだ例がある。

毒は神経毒。毒性は強いが、性質が大人しく小型種の上に口も小型でさらに毒量が少ないため危険なヘビとはされていない。ただし毒性はハブの4〜5倍の強さである。

人間との関係 
森林伐採などの生息地の破壊、人為的に移入されたフイリマングースなどによる捕食により生息数は減少している。環境省レッドリストでは分類の変更に伴い、2018年版では亜種クメジマハイの判定が削除されている。
 S. j. japonicus ヒャン
 
 S. j. boettgeri ハイ
名護市の方言名ではナナフシやナナフシーと呼称される。2017年の時点では沖縄県レッドリストで、準絶滅危惧と判定されている。
 

日本では2021年の時点でコブラ科単位で特定動物に指定されており、2019年6月には愛玩目的での飼育が禁止された（2020年6月に施行）。

出典 

コブラ科
特定動物
ラヨ数（ラヨすう、）とはにちなんで名付けられた巨大数であり、彼の手掛けた最大の数と主張されている 。これは元々2007年1月26日にマサチューセッツ工科大学 (MIT) にて行われたイベント「巨大数決闘（big number duelもしくはLarge Number Championship）」にて定義された。

定義 

この定義文は、ルール違反を避けるために以下のように置き換えられた。
数の正式の定義は以下の二階論理の式で定義された関数Sat([φ(x1)],s)を利用する。[φ]はゲーデルコード化（ゲーデル数によるナンバリング）された式であり、sは代入変数である。

この式Sat([φ(x1)],s)を用いて、ラヨ数は次の様に定義された。

厳密には、公理系が明示的に書かれていないため、定義が不完全である。

説明 

直観的には、ラヨ数は形式言語で次のように定義される:
 "xi∈xj" と "xi=xj" は原子論理式である。
 θ が式の際に、 "(~θ)" は式（ θ の否定）である。
 θ と ξ が式の際に、"(θ∧ξ)" は式（ θ と ξ の連言）である。
 θ が式の際に、  "∃xi(θ)" は式（ θ の存在量化）である。
括弧を削除することは許可されていないことに注意が必要である。例えば、"∃xi(~θ)" では無く "∃xi((~θ))" と書かなくてはならない。

欠落しているをこの言語で表現することは可能である。例えば：
 論理和: "(θ∨ξ)" は "(~((~θ)∧(~ξ)))" と同等。
 論理包含（含意）: "(θ⇒ξ)" は "(~(θ∧(~ξ)))" と同等。
 : "(θ⇔ξ)" は "((~(θ∧ξ))∧(~((~θ)∧(~ξ))))" と同等。
 全称記号: "∀xi(θ)" は "(~∃xi((~θ)))" と同等。

この定義は、この言語の式の 1 つしかない自由変数、 x1 に関するものである。
x1 が有限の   k と 長さ n の式が同値の際、その様な式は k の "ラヨ文字列" であり、k は n 個の記号で  "ラヨ命名可" であると言える。

注釈

出典

外部リンク

関連項目 
数学の哲学
ベリーのパラドックス

巨大数
数学に関する記事
エポニム