Blaze7451/Wiki-ja-20250601 huggingface dataset:
ルイス・ブラック

ルイス・ブラック（Lewis Black, 1948年8月30日 - ）は、アメリカ合衆国のコメディアン、俳優、声優、脚本家。

**経歴**
ワシントンD.C.でユダヤ系アメリカ人として生まれ、メリーランド州シルバースプリングで育つ。ノースカロライナ大学チャペルヒル校を卒業後、1977年にイェール大学演劇大学院で美術学修士号を取得した。
ニューヨークの劇場で脚本家としてアーティスト・イン・レジデンスのプログラムを利用しながら、スタンダップコメディアンとして舞台に立ち、やがてテレビや映画の世界へ活動の舞台を移していく。1998年にはコメディ・セントラルで初めてとなるブラックの特別番組が制作された。その後はHBOやヒストリーチャンネルでも自身の番組を持つようになった。
これまでに40冊以上の戯曲を書き、10枚以上のCDをリリースし、3冊以上の著書を発表した。2007年にはカーネギーホールでのコメディライブを収録したアルバムで第49回グラミー賞において最優秀コメディ・アルバムを受賞し、第53回グラミー賞においても同賞を受賞している。
2013年、アメリカ自由人権協会から選挙権大使（ambassador for voting rights）に任命された。

**人物**
現在はニューヨークのアパートに居住し、ノースカロライナ州チャペルヒルにも住居を構えている。

**アルバム**
 The White Album (2000年)- Revolver (2002年)- The End of the Universe (2002年)- Rules of Enragement (2003年)- Luther Burbank Performing Arts Center (2005年)- Carnegie Hall Performance (2006年)- Anticipation (2008年)- Stark Raving Black (2010年)- The Prophet (2011年)- In God We Rust (2012年)- Old Yeller (Live at the Borgata) (2013年)

**主な出演作品**

**映画**
ハンナとその姉妹 Hannah and Her Sisters (1986) 
*ジェイコブス・ラダー Jacob's Ladder (1990) 
*ハード・ウェイ The Hard Way (1991)
*ザ・ハッピ・エルフ The Happy Elf (2005) - 声の出演
*トラブル・カレッジ/大学をつくろう  Accepted (2006) 
*ロビン・ウィリアムズのもしも私が大統領だったら… Man of the Year (2006) 
*エアポート・アドベンチャー クリスマス大作戦 Unaccompanied Minors (2006) 
*童貞ペンギン Farce of the Penguins (2007) - 声の出演
*ファーリン・フォー・グレイス Falling for Grace (2007)
*インサイド・ヘッド Inside Out (2015) - 声の出演
*ライリーの初デート? Riley's First Date? (2015) - 声の出演
*ラストツアー The Last Laugh (2019)
*インサイド・ヘッド2 Inside Out 2 (2024) - 声の出演

**テレビ番組**
The Days and Nights of Molly Dodd (1990-1991)
*ザ・デイリー・ショー The Daily Show (1996-)
*ロー&オーダー Law and Order, "Aria" (1991)
*ホミサイド/殺人捜査課 Homicide: Life on the Street, "Deception" (1997)
*LAW & ORDER:性犯罪特捜班 Law and Order: SVU, "Obscene" (2004)
*クラスメイトはモンキー My Gym Partner's a Monkey (2007) - 声の出演
*Root of All Evil (2008)
*ビッグバン★セオリー/ギークなボクらの恋愛法則 The Big Bang Theory (2009)
*ティーンエイジ・ミュータント・ニンジャ・タートルズ Teenage Mutant Ninja Turtles (2012-2014) - 声の出演
*『インサイド・ヘッド』の世界より:ライリーの夢の製作スタジオ Dream Productions (2024) - 声の出演

**著書**
Nothing's Sacred (2005)
*Me of Little Faith (2008)
*I'm Dreaming of a Black Christmas (2010)

**出典**

**外部リンク**
 オフィシャルサイト
*name=Lewis Black
金山温泉

金山温泉は以下の温泉である。- 宮城県柴田郡川崎町にある温泉。金山温泉 (宮城県)- 埼玉県寄居町にある温泉。金山温泉 (埼玉県)- 山梨県大月市にある温泉。金山温泉 (山梨県)- 静岡県静岡市葵区にある温泉。梅ヶ島金山温泉- 岐阜県下呂市にある温泉。飛騨金山温泉。- 台湾にある温泉。 金山温泉 (台湾)
アクアセラピー ミナクア

アクアセラピー ミナクア（Aquatherapy MINAQUA）は、コカ・コーラから発売されているミネラルウォーター。「ミナクア」という名前の由来はギリシャ語で「私の水（My Aqua）」である。

**概要**
「ミナクア」というウォーターカテゴリーのブランドのスタートは古く、1992年、沖縄コカ・コーラボトリングが発売していることが確認されている。「ミナクア　名水めぐり」シリーズとして、各名水地にて採水（ボトリング）したナチュラルミネラルウォーターを発売していた。霧島エリアを除く採水地の水は中程度の軟水。その後、それまでのパッケージデザインを踏襲し、ブランド名を「森の水だより」に一新。採水地の変更があるものの、エリアによる硬度の違い等はそのままで「ミナクア」という名前は消滅したかに思われた。
2006年、それまで「森の水だより」として販売していた280mlPETと500mlPETの製品を「MINAQUA（ミナクア）」に変更した。（2LTPETは「森の水だより」のまま。）パッケージデザインは全くといってよいほど変化はなく、競合製品のほとんどが外国語であったため、半ば迎合するような形でブランド名変更に踏み切った。
同年、ミナクアブランドとして「水のチカラ」という新しいコンセプトの製品も発売している。一日に必要な食物繊維とマグネシウムのほとんどが1LTの量で補えるというものだったが、硬水は飲みにくさが否めないため拡販には至らなかった。
2008年、新製品として「スムースボディ」の発売を発表。こちらは食物繊維とアロエエキスを加え、リンゴとレモンの香りがするフレーバードウォーター。

**「アクアセラピー」ミナクア**
2007年3月、「ミナクア」は「アクアセラピー　ミナクア」ブランドとしてパッケージが変更された。水と癒しを融合するという目的の下、「カラダとココロの渇きを癒す」「自分らしく生きるライフスタイルを応援する」というブランドコンセプトが発表された。
パッケージデザインはソニークリエイティブワークス社によるもの。 
ブランド立ち上げの際、「天然水」とともに2種のフレーバーウォーターも発売している。テアニンをプラスし、レモンバームの香りが特徴の「アロマモーメント」、食物繊維をプラスし、柑橘系の香りが特徴の「モーニングサイクル」。フレーバーウォーターの2種は発売から間もなくして市場から姿を消している。
「天然水」の500mlPETの形状は、手売りの場合はフィットボトルを、自動販売機用にはリーフボトルを採用しており、爽健美茶や一 茶花や紅茶花伝と全く同じ展開方法である。
何らかの事情で千葉県や茨城県の利根コカ・コーラボトリングや青森県や秋田県のみちのくコカ・コーラボトリングや愛知県の名古屋市を含む東海地方でのコカ・コーラセントラルジャパンの自動販売機ではフィットボトルでの販売をしている。
主な生産拠点は以下の3工場（いずれもコカ・コーラ関連会社）であるが、委託生産された別の工場製のものも存在する。
*北陸コカ・コーラプロダクツ（株）砺波工場（富山県砺波市・固有記号HTO）
*コカ・コーラボトラーズジャパン（株）白州工場（山梨県北杜市・固有記号HH）
*コカ・コーラボトラーズジャパン（株）大山工場（鳥取県西伯郡・固有記号WDA→WD→D）
1000mlPETは角型のミディペットを採用、砺波工場製である。
2000mlPETのミネラルウォーターについては「森の水だより」ブランドで製造が継続されている。中身は基本的に同じものであり、採水地も上記と同じである。
2009年5月より、280mlPET・500mlPETは「い・ろ・は・す」にブランドが変更されている。

**ラインナップ**
280mlPET（在庫限り）
*500mlPET（在庫限り）
*520mlPET（8月より販売開始・ウエストエリア限定）
*1000mlPET

**関連項目**
森の水だより（前身商品）
*い・ろ・は・す（後継商品）
*日本コカ・コーラ

**外部リンク**
 アクアセラピー ミナクア
ロバート・L・マナハン

ロバート・L・マナハン（Robert L. Manahan、1956年8月23日 - 2000年6月30日）は、アメリカ合衆国の男性声優、音響技師。カリフォルニア州パロアルト出身。別名はボブ・マナハン（Bob Manahan）。

**　概要**
代表作は『パワーレンジャーシリーズ』（ゾードンの声）。これは本来のゾードン役、デビッド・フィールディングが個人的な事情で降板したため、リレコミキサーであったマナナンが急遽代役として務めたもの。
父親はソニーの役員で、自身もソニー・ピクチャーズ エンタテインメントに勤めていた。趣味はサッカーで、小学生チームのコーチなどを務めていたこともあった。
2000年6月30日にカリフォルニア州で心臓の動脈瘤のため死去した。

**出演作品**

**テレビドラマ**

**映画**

**オリジナルビデオ**

**舞台**

**参加作品**

**テレビドラマ（スタッフ）**

**映画（スタッフ）**

**テレビ映画（スタッフ）**

**オリジナルビデオ（スタッフ）**

**テレビ番組**

**テレビアニメ（スタッフ）**

**ライブビデオ（スタッフ）**

**受賞・ノミネート歴**

**脚注**

**外部リンク**
0541260
ジョニー・フラシェ

ジョニー・フラシェ（Johnny Frachey、1983年10月30日 - ）は、フランスの男性総合格闘家。エソンヌ県アティス＝モンス出身。クロスファイト所属。
ホアン・"ジュカオン"・カルネイロを師に持つ。

**来歴**
2007年9月5日、パンクラスで前田吉朗と対戦し、踏みつけとパウンドによりKO負け。
2008年2月11日、CAGE FORCE EX -eastern bound-で廣田瑞人と対戦し、スタンドパンチ連打でKO負け。

**戦績**

**関連項目**
 男子総合格闘家一覧

**外部リンク**
  CWFC 選手データ-  パンクラス 選手データ-  バウトレビュー 選手データ
金井愛砂美

金井 愛砂美（かない あさみ、1984年8月21日 - ）は、日本の女優。

**プロフィール**
 出身地：神奈川県- 血液型：B型- 学歴：- 特技：- 芸能事務所所属歴：平田崑プロモーション- 身長：161cm   体重 46kg  ※19歳当時- スリーサイズ：B82cm - W60cm - H87cm    ※19歳当時

**来歴**

**主な出演作品**

**テレビ**
 3年B組金八先生パート5（1999年 - 2000年、TBS） - 平吹有里子 役
** 3年B組金八先生スペシャル（2001年、TBS）

**映画**
 天使のウィンク 日光猿軍団（1995年） - リカ 役- tokyo skin（1996年） - 刺青少女 役 - 友情　Friendship（1998年） - バトル・ロワイアル（2000年） - 松井知里 役
** バトル・ロワイアル 特別編（2001年） - 松井知里 役

**オリジナルビデオ**
 学校怪談　呪われた記憶（1998年）

**CM**
 NOVA（1996年）

**イメージガール**
 小田急 「初詣」（ポスター）

**関連項目**

**外部リンク ==
昭和電機産業

昭和電機産業（しょうわでんきさんぎょう）とは、長野県長野市に本社のある、電設資材、産業機器販売の卸売企業である。

**概要**
長野県・新潟県・山梨県・岐阜県・東京都にて、電設資材、産業機器の卸売を行っている企業である。

**沿革**
 1948年（昭和23年）9月 - 設立- 1975年（昭和50年）8月 - 山梨中央電材株式会社（山梨県甲府市）と業務提携- 1991年（平成3年）11月 - 山梨中央電材(株)を合併し、甲府支社とする- 2004年（平成16年）4月
** ISO9001認証取得（長野産業機器営業所）
** ISO14001認証取得（本社・長野支店）- 2005年（平成17年）10月 - ISO14001認証取得（全社）- 2010年（平成22年）9月 - 信州電機産業株式会社（長野県松本市）を傘下へ- 2015年（平成27年）4月 - 中津川出張所開設- 2015年（平成27年）5月 - 東京営業所開設- 2017年（平成29年）6月 - 東信産業機器営業所開設

**営業拠点**

**長野県**
 本社
** 長野市三輪荒屋1154- 長野支店
**  長野市三輪荒屋1154- 上田支店
** 上田市大字古里1533-33- 松本支店
** 松本市両島7番10号- 佐久営業所
** 佐久市岩村田中八日町3093-1- 飯田営業所
** 飯田市鼎西鼎640番地- 諏訪営業所
** 諏訪市大字中洲字三ツ俣5709-29- 伊那営業所
** 伊那市西春近2519-1番地- 長野産業機器営業所
** 長野市アークス4番17号- 東信産業機器営業所
** 東御市鞍掛73-1- 太陽光発電 SUNプラザ
** 長野市三輪荒屋1180-1　西澤ビル西-1

**新潟県**
 上越支店
** 上越市平成町150番- 長岡支店
** 長岡市稲保四丁目750番地15- 新潟支店
** 新潟市中央区米山六丁目8番19号- 六日町営業所
** 南魚沼市六日町771-8- 柏崎営業所
** 柏崎市茨目二丁目14番14号- 三条営業所
** 三条市上須頃1181番4

**山梨県**
 甲府支社
** 甲府市蓬沢町庄の木1021-1

**岐阜県**
 中津川出張所
** 中津川市本町4-4-1

**東京都**
 東京営業所
** 千代田区猿楽町2-7-6  ＴＫ猿楽町ビル6階

**外部リンク**
  昭和電機産業株式会社
顔相時

顔 相時（がん そうじ、生年不詳 - 645年）は、中国の唐の儒学者。字は睿。本貫は琅邪郡臨沂県。顔師古の弟にあたる。秦王府十八学士のひとりに挙げられた。

**経歴**
顔思魯の子として生まれた。兄の顔師古とともに学問で知られた。武徳年間、李世民の下で天策府参軍事・文学館学士となった。貞観年間、諫議大夫となり、他の臣下と争論する気風が強かった。礼部侍郎に転じた。相時は病気がちでやせ細っており、李世民がよく医薬を送っていた。兄の顔師古が亡くなると、相時は哀惜してやまず、まもなく世を去った。

**伝記資料**
 『旧唐書』巻73 列伝第23「顔師古伝」- 『新唐書』巻198 列伝第123 儒学上「顔師古伝」
JMB

* JALマイレージバンク (JAL MILEAGE BANK)- ジョン・モーゼス・ブローニング (John Moses Browning)- JMBレコード- ジェームズ・M・ベネット高校 - メリーランド州ソールズベリーの高校。- ジャマトゥル・ムジャヒディン・バングラデシュ（Jama'atul Mujahideen Bangladesh） - バングラデシュの過激派。分派したネオJMBは、2016年にダッカ・レストラン襲撃人質テロ事件を起こした。

**脚注==
ブートセクタ

ブートセクタ（Boot sector）は、ハードディスクドライブやフロッピーディスクなどの補助記憶装置のディスクセクタの一種で、ブートプログラムのコードなどを格納している部分である。ブートブロック（Boot block）とも。一般に、PC/AT互換機ではブートセクタと呼び、他のコンピュータではブートブロックと呼ぶことが多い。
BIOSがブートデバイスを選択すると、そのデバイスの第一セクタ（後述するMBRまたはPBR）をコピーし、0x7C00 番地に配置して実行する。

**種類**
ブートセクタには、主に以下の2種類がある。- Volume boot record(PBR)は、パーティションのない記憶媒体の第一セクタか、または個々のパーティションの第一セクタである。そこには、その媒体（またはパーティション）にインストールされたオペレーティングシステム（またはその他のスタンドアロンのプログラム）をロードして起動するコードが格納されている。ブートセクタであることを示すため、2バイトの16進数 0xAA55 で表されるブートセクタ・シグニチャをそのセクタの最後尾に書き込まれている。もしこれが無い場合、BIOSやMBRコードはエラーメッセージを表示し、ブート処理を中断する。- マスターブートレコード(MBR)は、パーティションのある記憶媒体の第一セクタである。多くのBIOSコードは、MBRにもブートセクタ・シグニチャ(0xAA55)があることを要求する。MBRセクタには、どのパーティションがアクティブであるかを判断して、PBRコードを起動するコードが格納されている。

**運用**
PC/AT互換機では、BIOSはPBRとMBRを区別せず、パーティションも認識しない。BIOSは単に記憶媒体の第一セクタをロードして実行するだけである。フロッピーディスクの場合、それはPBRになり、ハードディスクの場合、それはMBRになる。MBR内のコードはパーティションを認識するので、アクティブに設定されているパーティションのPBRをロードして実行させる。PBRコードは二次ブートストラップローダをロードする。
さらに言えば、フロッピーであろうが、USBメモリであろうが、ハードディスクであろうが、ブート可能な記憶デバイスの第一セクタに格納されているものは、OSをブートするコードである必要はない。BIOSは単にそこにあるものをロードしてそれを実行するだけであり、その際にセクタの最後の2バイトが0xAA55になっていさえすればよい。このため、MBRにあるブートコードを容易に置換可能であり、場合によってはユーザに次にどうすべきかを選択させるような複雑なブートプログラムをロードさせることもできる。ただしこのように簡易な設計になっているため、次の節で説明するようにウイルスに狙われやすいという問題もある。

**ブートセクタとコンピュータウイルス**
ブートセクタは、コンピュータウイルスがシステムの制御を奪う手段として使われることがある。この種のウイルスはブートセクタの内容をウイルスのコードで書き換える（フロッピーの場合、ハードディスクの場合、両方に感染する場合がある）。

**外部リンク**
  ウイルスに感染したパソコンを救う IPAセキュリティセンター- accessdate=2008年2月1日-  ブートセクタウイルスを検出するメソッド Microsoft サポートオンライン-  古典的ウイルス Viruslist.com-  Assembler/なぜx86ではMBRが"0x7C00"にロードされるのか？(完全版)
公有地の拡大の推進に関する法律

公有地の拡大の推進に関する法律（こうゆうちのかくだいのすいしんにかんするほうりつ、昭和47年6月15日法律第66号）は、公有地の拡大の計画的な推進を図り、もって地域の秩序ある整備と公共の福祉の増進に資することに関する日本の法律である。
1972年（昭和47年）6月15日に公布された。

**構成**
 第一章 総則 - 第二章 都市計画区域内の土地等の先買い - 第三章 土地開発公社- 第四章 補則- 第五章 罰則- 附則 

**外部リンク**
  公有地の拡大の推進に関する法律 - e-Gov法令検索-  公有地の拡大の推進に関する法律施行令 - e-Gov法令検索-  公有地の拡大の推進に関する法律施行規則 - e-Gov法令検索
秘匿共通集合計算プロトコル

秘匿共通集合計算プロトコル（ひとくきょうつうしゅうごうけいさんプロトコル、Secure Set-Intersection Protocol）では、二人のユーザがそれぞれ秘密の集合を保持しており、お互いにその情報を漏らすことなく、それらの共通集合のみを得ることが可能である。
この方式は、Freedman、Nissim、Pinkasらにより、Eurocrypt2004で発表Note0され、国家間でのテロリストリストの共有などといった多種多様な応用範囲を持つ。

**基本的アイデア**
二人の参加者サーバとクライアントがいるものとする。彼らは、それぞれ秘密の情報である集合とを保持しており、お互いにそれらを漏らすことなく、のみを
計算したい。
この方式を実現するために有用となるのは、集合を多項式で表現すること、そして、準同型暗号を利用することである。
ここで利用する準同型暗号には、とを与えられたときに、
を計算できる性質を有することとする。また、この性質を利用すれば、とから、
を計算できることにも注意する。

**方式の構成**
# クライアントは、準同型暗号の公開鍵・秘密鍵対を生成し、公開鍵のみを公開する。続けて、に対して、を計算する。それら係数を暗号化して、サーバにおくる。
# サーバは、準同型性を利用して、全てのに対して、の暗号文を計算する。ここでは乱数であり、各に対して異なるものを選ぶ。
# クライアントは全ての暗号文を復号し、復号したものがに含まれているならば、その値を出力する。

**方式の安全性**
この方式は、利用する準同型暗号がIND-CPAを満たしていれば semi-honestのサーバとクライアントに対して安全であることが示される。

**一般化**
KisserとSongは, Crypto2005において、二人参加型ではなく多人数が参加できる秘匿共通集合計算プロトコルを提案した。また、上記方式は、共通集合しか計算できないが、任意の関数に対して上記のような方式を実現するフレームワーク(Garbled Circuit)が、Andrew Yaoにより提案されている。

**参考文献**
Note0 Michael J. Freedman, Kobbi Nissim, Benny Pinkas: Efficient Private Matching and Set Intersection. EUROCRYPT 2004: 1-19
大野エリ

大野 エリ（おおの えり、1971年2月7日techou - ）は、日本の女性声優。リベルタ所属prof。茨城県出身prof。

**来歴**
青年座研究所出身。1997年、江崎プロダクション付属養成所入所。2000年、マウスプロモーション（旧・江崎プロダクション）所属。2008年3月、マウスプロモーションを退所。

**人物**
趣味はアロマクラフト作り、猫と遊ぶ・会話する、サッカー観戦、カエル好き。特技は猫・犬の鳴きまねprof。

**出演作品**

**テレビアニメ**

**OVA**
 鴉 -KARAS-（2005年、看護士）- 攻殻機動隊 STAND ALONE COMPLEX Solid State Society（2006年、9課オペレーター）

**劇場アニメ**
 ぼくの孫悟空（2003年）- フイチンさん（2004年）- GHOST IN THE SHELL / 攻殻機動隊2.0（2008年、9課オペレーター）

**ゲーム**
 ルパン三世 ルパンには死を、銭形には恋を（2007年）- 白騎士物語（2008年）

**吹き替え**

**映画**
 エーミールと探偵たち（フリューゲル）- カッレ君の冒険（ベンカ役）- 恋は邪魔者- ジターノ（ロラ）- スイミング・プール- チアリーダー忍者- チョコレート- 飛ぶ教室（マルティン）- パンチドランク・ラブ- ファイト・バック・トゥ・スクール3（チン・マンジン）- 普通の人々（ジェニン）- ブラッド・クライム 血に染まる森（タスティン）- ブロークン・スカイ（アナ）- マペットのメリー・クリスマス（サンタクロースの代理人）- 名犬ラッシー/ラッシーの“クーガーはともだち”（キャロル）- メラニーは行く!- L.I.Pサービス（サム）

**ドラマ**
 NIP/TUCK マイアミ整形外科医（スザンヌ）- パパ（ヘウォン）

**アニメ**
 ロッキーとブルウィンクルの大冒険（ナターシャ）

**テレビ番組**
 NHKみんなの手話

**脚注**

**外部リンク**
  大野 エリ Ohno Eri｜J.CLIP（ジェイクリップ）俳優・タレント・ナレーターのマネジメントと舞台制作
カーシャルトン・アスレティックFC

カーシャルトン・アスレティック・フットボール・クラブ（Carshalton Athletic Football Club）は、イングランド、サットン・ロンドン特別区Carshaltonを本拠地とするサッカークラブチームである。2019-2020シーズンはイスミアンリーグ・プレミアディヴィジョン（7部相当）に所属。
Carshalton は /kɑːˈʃɔːltən/ で「カーシャルトン」ではない。 カーショールトンの方が適切。

**クラブ各種記録**
一試合最多観客動員数
*7,800人 vs ウィンブルドン ロンドン・シニアカップ 1959.1 （試合は2-1で勝利）
一試合最多得点勝利試合
*13-0 vs ワージング Loctite Cup 3回戦 1991.2
一試合最多失点敗戦試合
*0-11 vs サウスオール アセニアンリーグ・プレミア 1963.4

**タイトル**

**国内タイトル**
イスミアンリーグ・ディヴィジョン1:1回
 2002-2003
*コリンシアンリーグ:2回
 1952-1953,1953-1954
*ロンドン・チャレンジカップ:1回
 1990-1991
*サリー・シニアカップ:3回
 1988-1989,1989-1990,1991-1992
*サリー・シニアシールド:1回
 1976-1977
*サウザン・コンベイションカップ:1回
 1959-1960

**国際タイトル**
なし

**外部リンク**
  公式サイト-  Carshalton Athletic - Isthmian Football League
み・こ・こ・ん -巫女婚-

『み・こ・こ・ん -巫女婚-』（みここん）はStudio e.go!から2006年10月27日に発売された18禁美少女ゲームである。
学園恋愛AVGとして、選択肢を選んで進んでいくゲームである。

**ストーリー**
「巫女部」という変わった部活に所属する主人公。ある日、拾った稲荷像をなでてみると、狐の耳と尻尾の生えた女の子が現れた。彼女は「巫女神」のミサキと名乗った。

**登場人物**
 ミサキ（みさき）
 声：木村あやか
主人公たちの前に突然現れた記憶喪失の上、迷子の巫女神で唯一自分の名前と巫女神だという事だけ知っている。まどかの提案により主人公の親戚としてクラスに編入させるがサイズがなく、藍と同じ第一学部の制服を着せられている。尻尾と獣耳を持つが自由に隠せる。徐々に弱っていくのを防ぐため巫女部はある儀式を行うことになる。
 春日 朱美（かすが あけみ）
 声：まりもりん
主人公の1歳年上の幼馴染。隣同士に住んでおり両親共々家族ぐるみの付き合いで、生活習慣も似ている。毎日のようにアタックしているが当の主人公は大和撫子的な方が好みのため、弓道部部長・生徒会会長をしながら主人公好みの女性の追及のため巫女部を立ち上げ、主人公も半ば強引に入部させられ副部長をやらされる。料理の腕はあるのだが主人公に対して作る時は、愛情を込めすぎるためいつも失敗してしまう。初回プレイでは攻略不可。
 高千穂 五十鈴（たかちほ いすず）
 声：森藍子
主人公のクラスメートで少々ドジなメガネっ娘。主人公の事は副部長さんと呼んでいる。家は仏具メーカーらしくかなり裕福な家庭だが、母親は娘が神道に進むことを商売上の観点からよく思っていない。
 出海 藍（いずみ あい）
 声：西野みく
第一学部所属で不思議な感じがするといううわさを聞きつけ巫女部に勧誘される。口数は少なく感情もあまり出さないが、自分に課した使命の猫魂（ねこたま）の儀式を没落してしまった一族に代わって遂行しようという強い意志がある。
 竹野 まどか（たけの まどか）
 声：海原エレナ
主人公のクラス担任。以前は美人だがぱっとしない性格だったが巫女部が立ち上がった頃に、急に女性的な魅力を出すようになり顧問にも立候補する。実家は神社で巫女として働くこともあり、ミサキに対してもなにかを知っている様子。
 小林 尚樹（こばやし なおき）
 声：空野太陽
 本作の主人公。両親は長期旅行中で現在一人暮らしであり、隣家の春日家に衣食の面倒を見てもらっている。そのため朱美の甲斐甲斐しくも積極的なアプローチには恩義は感じているものの、積極的過ぎて若干引いており恋愛感情までには至っていない。
 黒命婦（くろみょうぶ）
 声：御園生メイ
 主人公の前に藍の姿で突然現れる、尻尾獣耳で装束姿という出で立ちの存在。「主」と呼称する者の命により若干上から目線と古風な物言いで主人公達を陰から儀式に導く。
 ナナカ（ななか）
 声：木村あやか
 主人公たちが行おうとする儀式の妨害をしてくる、ミサキにそっくりな正体不明の少女。
 白梅
 声：水野江麻

**開発者**
 企画：リドルソフト- 原画：山本和枝

**外部リンク**
  Studio e.go! - 閉鎖。（2011年6月14日時点のアーカイブ）
都市緑地法

都市緑地法（としりょくちほう、昭和48年9月1日法律第72号）は、都市公園法その他の都市における自然的環境の整備を目的とする法律と相まって、良好な都市環境の形成を図ることに関する法律である。制定時の名称は都市緑地保全法だったが、2004年の都市緑地保全法等の一部を改正する法律の施行に伴い、現行の名称に改称された。

**目的**
都市における緑地の保全及び緑化の推進に関し必要な事項を定めることにより、都市公園法その他の都市における自然的環境の整備を目的とする法律と相まって、良好な都市環境の形成を図り、もって健康で文化的な都市生活の確保に寄与することを目的とする。

**構成**
第一章　総則（第一条―第三条） 
*第二章　緑地の保全及び緑化の推進に関する基本計画（第四条） 
*第三章　緑地保全地域等 
**第一節　緑地保全地域（第五条―第十一条） 
**第二節　特別緑地保全地区（第十二条―第十九条） 
**第三節　地区計画等の区域内における緑地の保全（第二十条―第二十三条） 
**第四節　管理協定（第二十四条―第三十条） 
**第五節　雑則（第三十一条―第三十三条） 
*第四章　緑化地域等 
**第一節　緑化地域（第三十四条―第三十八条） 
**第二節　地区計画等の区域内における緑化率規制（第三十九条） 
**第三節　雑則（第四十条―第四十四条） 
*第五章　緑地協定（第四十五条―第五十四条） 
*第六章　市民緑地（第五十五条―第五十九条） 
*第七章　緑化施設整備計画の認定（第六十条―第六十七条） 
*第八章　緑地管理機構（第六十八条―第七十三条） 
*第九章　雑則（第七十四条） 
*第十章　罰則（第七十五条―第七十九条） 

**緑地管理協定**
この法に基づき、日本初として2009年9月24日松戸市は地権者である地主と「緑地管理協定」を結び、樹木が繁り利用に供することが難しい傾斜地0.8haを市が管理する土地とした。この協定は2009年10月1日から20年間有効で、地主は樹木の伐採をできないものとし保全される。地主は相続税の減免を受けられる。一方、市は年間約250万円の維持や管理の費用をかける。

**関連項目**
 環境法令一覧- 環境法- 日本の環境と環境政策

**外部リンク**
  都市緑地法施行令 - e-Gov法令検索-  都市緑地法施行規則 - e-Gov法令検索
category:日本の都市計画関連法規
チェルムスフォード・シティFC

チェルムスフォード・シティ・フットボール・クラブ（Chelmsford City Football Club）は、イングランド・チェルムスフォードを本拠地とするサッカークラブチームである。2018-19シーズンはカンファレンス・サウス（6部相当）に所属。

**タイトル**

**国内タイトル**
イスミアンリーグ・プレミアディヴィジョン:1回
 2007-2008
*サウザンリーグ:3回
 1945-1946, 1967-1968, 1971-1972
*サウザンリーグ・サウザンディヴィジョン:1回
 1988-1989
*サウザンリーグカップ:3回
 1945-1946, 1959-1960, 1990-1991　
*ノンリーグ・チャンピオンカップ:1回
 1971-1972
*イースタン・フロードライトコンベイション:6回
 1966-1967, 1974-1975, 1977-1978, 1981-1982, 1982-1983, 1986-1987
*エセックス・プロフェッショナルカップ:5回
 1957-1958, 1969-1970, 1970-1971, 1973-1974, 1974-1975
*エセックス・シニアカップ:4回
 1985-1986, 1988-1989, 1992-1993, 2002-2003

**国際タイトル**
なし

**歴代監督**
ENG ポール・パーカー 2001-2003

**歴代所属選手**

**外部リンク**
 公式サイト- Chelmsford City - Ryman Football League Official Site
四部作

四部作（よんぶさく）は、四つにそれぞれ分かれていながら、同じ一つの主題を持つ作品群のこと。テトラロジー（Tetralogy）。

**実例**

**劇・詩=== 
*リヒャルト・ワーグナー
**ニーベルングの指環　-「ラインの黄金」、「ワルキューレ」、「ジークフリート」、「神々の黄昏」
*ウィリアム・シェイクスピア
**史劇 - 「ヘンリー六世」三部作と「リチャード三世」
**史劇 - 「リチャード二世」、「ヘンリー四世」二部作、「ヘンリー五世」
*ジョン・アップダイク
**ウサギ四部作 - 「走れウサギ」、「帰ってきたウサギ」、「金持になったウサギ」、「さようならウサギ」
*ルイ・アラゴン
**「現実世界」四部作 - 「パールの鐘」、「お屋敷町」、「二階馬車の乗客達」、「オーレリアン」

**音楽=== 
*エマーソン・レイク・アンド・パーマー
**「ELP四部作」(Works, Vol.1) 
*ジョージ・ウィンストン
*四季四部作 - 「AUTUMN」、「WINTER INTO SPRING」、「DECEMBER」、「SUMMER」
*NEWS
**「NEVERLAND」「EPCOTIA」「WORLDISTA」「STORY」

**小説=== 
*三島由紀夫
**「豊饒の海」四部作 - 「春の雪」、「奔馬」、「暁の寺」、「天人五衰」
*司馬遼太郎
**戦国四部作 - 「国盗り物語」、「新史太閤記」、「関ヶ原」、「城塞」
*柳美里
**「命」四部作 - 「命」、「魂」、「生」、「声」
*金井美恵子
**目白四部作 -「文章教室」、「小春日和」、「タマや」、「道化師の恋」
*京極夏彦
**「巷説百物語」四部作 - 「巷説百物語」、「続巷説百物語」、「後巷説百物語」、「前巷説百物語」
*マルク・アルダーノフ
**「思索家」四部作 - 「テルミドール九日の変遷」、「悪魔の橋」、「陰謀」、「セント・ヘレナ、小さき島」
*トーマス・マン
**「ヨセフとその兄弟」四部作 - 「ヤコブ物語」、「若いヨセフ」、「エジプトのヨセフ」、「養う人ヨセフ」
*ダン・シモンズ
**ハイペリオン四部作 - 「ハイペリオン」、「ハイペリオンの没落」、「エンディミオン」、「エンディミオンの覚醒」
*ジョン・クリストファー
**トリポッド・シリーズ - 「トリポッド1 襲来」「トリポッド2 脱出」「トリポッド3 潜入」「トリポッド4 凱歌」
*エラリー・クイーン
**ドルリー・レーン悲劇四部作 - 「Xの悲劇」、「Yの悲劇」、「Zの悲劇」、「レーン最後の事件」
*ジェイムズ・エルロイ
**「暗黒のLA」四部作 - 「ブラック・ダリア」、「ビッグ・ノーウェア」、「L.A.コンフィデンシャル」、「ホワイト・ジャズ」
*トマス・ハリス
**ハンニバル・レクター四部作 - 「レッド・ドラゴン」、「羊たちの沈黙」、「ハンニバル」、「ハンニバル・ライジング」
*ステファニー・メイヤー
**「トワイライト」四部作 - 「Twilight」「New Moon」「Eclipse」「Breaking Dawn」
*クリストファー・パオリーニ
**「ドラゴンライダー」四部作 - 「エラゴン」「エルデスト」「ブリジンガー」「インヘリタンス」

**絵本**
エリック・カール
**虫にちなんだ四部作 - 「はらぺこあおむし」、「くもさん おへんじ どうしたの」、「だんまり こおろぎ」、「さびしがりやの ほたる」

**テレビドラマ=== 
*ユン・ソクホ
**四季四部作 - 「冬のソナタ」、「秋の童話」、「夏の香り」、「春のワルツ」

**映画=== 
*ジョージ・パル
**宇宙映画四部作 - 「地球最後の日」、「月世界征服」、「宇宙戦争」、「宇宙征服」
*スーパーマン四部作 - 「スーパーマン」、「スーパーマン2－冒険編」、「スーパーマン3－電子の要塞」、「スーパーマン4－最強の敵」
*エイリアン四部作
*ダイ・ハード四部作 - 「ダイ・ハード」、「ダイ・ハード2」、「ダイ・ハード3」、「ダイ・ハード4.0」
*ジョーズ四部作 - 「ジョーズ」、「ジョーズ2」、「ジョーズ3」、「ジョーズ'87 復讐篇」
*リーサル・ウェポン四部作 - 「リーサル・ウェポン」、「リーサル・ウェポン2/炎の約束」、「リーサル・ウェポン3」、「リーサル・ウェポン4」

**テレビアニメ=== 
*シティーハンター - 『シティーハンター』、『シティーハンター2』、『シティーハンター'91』、『シティーハンター3』
*ゼロの使い魔シリーズ - 『ゼロの使い魔』『ゼロの使い魔～双月の騎士～』『ゼロの使い魔～三美姫の輪舞～』『ゼロの使い魔F』
*デジモンシリーズ（デジモン四部作） - 『デジモンアドベンチャー』、『デジモンアドベンチャー02』、『デジモンテイマーズ』、『デジモンフロンティア』
*トランスフォーマーシリーズ（平成四部作） - 『トランスフォーマー カーロボット』、『超ロボット生命体トランスフォーマー マイクロン伝説』、『トランスフォーマー スーパーリンク』、『トランスフォーマー ギャラクシーフォース』
*みなみけシリーズ - 『みなみけ』『みなみけ～おかわり～』『みなみけ おかえり』『みなみけ ただいま』

**ゲーム=== 
*スティーブ・ジャクソン
**ゲームブック「ソーサリー」四部作 - 「魔法使いの丘」、「城砦都市カーレ」、「七匹の大蛇」、「王たちの冠」

**バラエティ番組、その他**
日本テレビ
**資生堂提供おしゃれシリーズ（日曜22時台） - 『オシャレ30・30』『おしゃれカンケイ』『おしゃれイズム』『おしゃれクリップ』（2021.10 - 放送中）
*関西テレビ
**グータンシリーズ - 『グータン〜自分探しバラエティ〜』『空飛ぶグータン〜自分探しバラエティ〜』『グータンヌーボ』『グータンヌーボ2』

**関連項目**
二部作
*三部作
*五部作
*六部作
*七部作
由良御前

名古屋市熱田区誓願寺にある「右大将頼朝公誕生舊地」の碑。この地で由良御前が頼朝を出産したとされる
由良御前（ゆらごぜん、生年未詳 - 保元4年3月1日（1159年3月22日））は、平安時代末期の女性。本名未詳、熱田神宮の伝承で由良姫と呼ばれ、系図では大進局とある。源義朝の正室で、源頼朝の母。

**経歴**
熱田大宮司・藤原季範を父として尾張国に生まれる。系図類では女子の三番目に記載されているが正確な生誕の順序ははっきりとは判らない。当時の熱田大宮司家は、男子は後に後白河院の北面武士となるものが多く、女子には後白河院母の待賢門院や姉の統子内親王（上西門院）に仕える女房がいるため待賢門院や後白河院・上西門院に近い立場にあったと思われる。由良御前自身も上西門院の女房であった可能性が示唆されている。
久安年間頃に源義朝と結婚したと推測され、義朝との間に頼朝、希義、坊門姫をもうける（義門も彼女所生ではないかとの説もある）。
保元元年（1156年）に起きた保元の乱においては由良御前の実家熱田大宮司家は義朝の軍勢に兵を送って援護した。また、頼朝は保元3年（1158年）、熱田大宮司家と縁の深い統子内親王の立后にあたり皇后に仕える「皇后宮少進」に任命され、翌保元4年（1159年）2月に統子内親王が女院号宣下されると頼朝はその蔵人に任命された。
同年3月1日、由良御前は死去した。平治の乱の9ヶ月前のことであった。

**死後**
平治の乱では由良の兄弟である藤原範忠は義朝敗死後に甥の希義を捕らえて朝廷に差し出している。一方、弟の祐範は頼朝の伊豆国配流の際に郎従を1人派遣し、その後も毎月使者を送っている。
文治4年（1188年）、奥州藤原氏を滅ぼそうと考えていた頼朝は「亡母のため五重の塔を造営すること」「重厄のため殺生を禁断すること」を理由に年内の軍事行動はしないことを表明している。翌文治5年（1189年）6月9日、頼朝は鎌倉で亡母の追善のため、鶴岡八幡宮に塔を建立し、都から導師を呼んで盛大な供養を行い、後白河院から馬や錦を贈られている。

**脚注**

**関連項目**
 熱田神宮
category:平安時代の女性
スコーレム標準形

スコーレム標準形（スコーレムひょうじゅんけい、Skolem normal form）とは、数理論理学において一階述語論理における存在記号がすべて全称記号の前にある冠頭標準形の論理式を言う。
トアルフ・スコーレムによるスコーレムの定理により、第一階述語論理における任意の論理式に対して、演繹的に等価（deductive equivalence）なスコーレム標準形の論理式が存在する。

**定義**

**冠頭標準形（prenex normal form）**
第一階述語論理における任意の論理式は、論理式の一番前にすべて否定形でない前置記号を持ち、その作用域がどれも論理式の終わりまで及ぶような標準形に直すことができる。
このような標準形を冠頭標準形（prenex normal form）と呼ぶ。なお、冠頭標準形の一番前から数えて存在記号の前にある全称記号の数を、その冠頭標準形の次数（degree）と呼ぶ。

**スコーレム標準形（Skolem normal form）**
スコーレム化は、存在量化された変項  を新規の項 （シンボル  は元の論理式には出現していない）に全て置き換えることでなされる。この項の各変項は、次のようなものである。もしその論理式が冠頭標準形なら、 の各変項は全称量化されていて、その量化子は  の量化子より前に置かれている。一般に、論理式には全称量化が行われていて、 はその量化子のスコープ内にあると考えられる。ここで導入される関数  をスコーレム関数（Skolem function、アリティがゼロならスコーレム定項）と呼び、項全体をスコーレム項（Skolem term）と呼ぶ。
例として、論理式  を考える。これには存在量化子  があるので、スコーレム標準形ではない。スコーレム化では  を  で置き換える。このとき、 は新たな関数シンボルであり、置換と同時に  の量化子を除去する。結果として得られる論理式は  となる。スコーレム項  は  は含むが  は含まない。これは除去された量化子  が  のスコープには入っているが、 のスコープには入っていないためである。この論理式は冠頭標準形なので、量化子のリストにおいて  は  の前にあるが  はそうではない、と言うこともできる。この変換で得られた論理式は、元の論理式が充足される場合のみ充足される。

**スコーレム化**
スコーレム化は、一階述語論理での充足可能性の定義に二階述語論理の等価性を適用するものである。その等価性によれば、存在量化子は全称量化子の前に移動できる。

ここで
 は y を x でマッピングする関数である。
直観的に、「全ての x について、ある y が存在し、R(x,y) が成り立つ」とは、「ある関数 f が全ての x を y にマッピングし、全ての x について R(x,f(x)) が成り立つ」と書き換えても等価である。
一階述語論理の充足可能性は、関数シンボルの評価に対して暗黙のうちに存在量化を施すような定義になっているため、この等価性が役立つ。ここで、一階述語論理式  は、モデル  が存在し、その論理式を「真」であると評価させるような自由変項の評価の組合せ  があるとき、充足可能である。このモデルには、全関数シンボルの評価も含まれるので、スコーレム関数も暗黙のうちに存在量化される。上記の例  は、 が真となるような自由変項（この例では自由変項はない）の評価と  の評価を含むモデル  が存在するときのみ充足可能であると言える。これを二階述語論理で表すと  となる。上記の等価性により、これは  の充足可能性と同じである。
メタレベルとしては、論理式  の一階述語論理としての充足可能性は  と表され、ここで  がモデル、 が自由変項群の評価である。一階述語モデルは全関数シンボルの評価を含むので、任意のスコーレム関数  は  によって暗黙のうちに存在量化される。結果として、ある変項への存在量化子を論理式の最初での関数群への存在量化子に置換し、それら存在量化子を除去することで、論理式を一階述語論理式のまま扱うことができる。この最後の段階での  を  として扱うことは、関数が  によって暗黙に存在量化されるという一階述語の充足可能性の定義によるものである。
スコーレム化の正しさを示す例として、論理式  を考える。この論理式がモデル  で充足されるのは、そのモデルのドメインにおいて  がとりうる全ての値について、同じモデルのドメインにおいて  の値が存在し、それらの値を適用して評価したとき  が真になる場合のみである。選択公理により、 となる関数  が存在する。結果として、 に  の評価を加えたモデルを使えば、論理式  は充足可能である。従って  が充足可能であるときのみ  も充足可能であると言える。これとは別に、 が充足可能であるなら、それを充足させるモデル  が存在し、関数  の評価が含まれ、全ての  の値の組合せについて論理式  が成り立つ。結果として、 における  の評価を使って、全ての  の値の組合せについて  となるような値を選択できるため、 も同じモデルで充足可能となる。

**脚注**

**関連項目**
 述語論理- 一階述語論理

**参考文献**

**外部リンク**
  Skolemization on PlanetMath.org
山梨県道304号上黒駒石和線

山梨県道304号上黒駒石和線（やまなしけんどう304ごう かみくろこまいさわせん）は、山梨県笛吹市を起点・終点とする、かつて存在した一般県道である。2012年8月1日山梨県告示第284号により廃止された（ その告示が掲載されている山梨県公報）。

**概要**

**路線データ**
 起点：山梨県笛吹市御坂町上黒駒（信号無交差点＝国道137号交点）- 終点：山梨県笛吹市石和町下平井小石原（長塚五差路交差点＝山梨県道302号石和温泉停車場線交点）

**通過する自治体**
 山梨県笛吹市

**交差・接続する道路**
 国道137号（御坂町上黒駒・起点）- 国道137号（御坂町上黒駒・上町屋交差点）- 山梨県道34号白井甲州線（御坂町下黒駒・信号無交差点）- 山梨県道211号山梨笛吹線（御坂町金川原・下金川原交差点）- 山梨県道302号石和温泉停車場線（石和町下平井・長塚五差路交差点）

**周辺**
 笛吹市立御坂東小学校- 笛吹市立御坂北保育所- 笛吹市立石和東小学校

**関連項目**
 山梨県の県道一覧
山梨県道305号竹居御坂線

山梨県道305号竹居御坂線（やまなしけんどう305ごう たけいみさかせん）は、山梨県笛吹市を起点・終点とする一般県道である。

**概要**

**路線データ**
 起点：山梨県笛吹市八代町竹居（山梨県道36号笛吹市川三郷線交点）- 終点：山梨県笛吹市御坂町栗合（栗合交差点＝山梨県道34号白井甲州線交点、山梨県道311号栗合成田線始点）

**通過する自治体**
 山梨県笛吹市

**交差・接続する道路**
 山梨県道36号笛吹市川三郷線（笛吹市八代町竹居・信号無交差点）- 山梨県道34号白井甲州線（笛吹市御坂町栗合・栗合交差点）- 山梨県道311号栗合成田線（同上） 

**周辺**
 笛吹市立御坂中学校

**関連項目**
 山梨県の県道一覧
アルトチェンバロギター

アルトチェンバロギター(Alto Cembalo Guitar)は、新堀ギター音楽院院長、新堀寛己が開発した、新堀メソードオリジナルギター(27種類)のうちの一つ。略称アルチェン・A.Cem.。
ギターアンサンブルでは、チェンバロパートに属す。調弦は、プライム・ギターより五度高い、一弦から　B-F♯-D-A-E-B（B.Cem.より1オクターブ高い）の調弦である。単弦（弦が6本）のものと複弦（弦が12本）のものがある。

**関連項目**
 プライムチェンバロギター- バスチェンバロギター- プライム・ギター- アルトギター

**外部リンク**
 アルトチェンバロギターの公式な解説date=2024-12
山梨県道306号田中勝沼線

山梨県道306号田中勝沼線（やまなしけんどう306ごう たなかかつぬません）は、山梨県笛吹市と甲州市を結ぶ一般県道である。

**概要**

**路線データ**
 起点：山梨県笛吹市一宮町田中（日川橋南交差点＝国道411号交点、山梨県道211号山梨笛吹線交点）- 終点：山梨県甲州市勝沼町上岩崎（国道20号勝沼バイパス交点）

**通過する自治体**
 山梨県
** 笛吹市 - 甲州市

**交差・接続する道路**
 国道411号（笛吹市一宮町田中・日川橋南交差点）- 山梨県道211号山梨笛吹線（同上）- 山梨県道303号市之蔵山梨線（笛吹市一宮町中尾・相興交差点）- 山梨県道34号白井甲州線（甲州市勝沼町上岩崎・上岩崎交差点）- 国道20号勝沼バイパス（甲州市勝沼町上岩崎）

**周辺**
 笛吹市立一宮北小学校- 下岩崎郵便局- 甲州市立祝小学校

**関連項目**
 山梨県の県道一覧
山梨県道307号石和温泉停車場松本線

山梨県道307号（石和温泉駅付近、2018年4月）
山梨県道307号石和温泉停車場松本線（やまなしけんどう307ごう いさわおんせんていしゃじょうまつもとせん）は、山梨県笛吹市を走る一般県道である。

**概要**

**路線データ**
 起点：山梨県笛吹市石和町松本（石和温泉駅前＝山梨県道208号下神内川石和温泉停車場線終点、山梨県道302号石和温泉停車場線起点）- 終点：山梨県笛吹市石和町松本（松本交差点＝国道140号交点）

**交差・接続する道路**
 山梨県道208号下神内川石和温泉停車場線（笛吹市石和町松本）- 山梨県道302号石和温泉停車場線（同上）　 - 国道140号（笛吹市石和町松本・松本交差点）

**周辺**
 石和温泉駅

**関連項目**
 山梨県の県道一覧
プライムチェンバロギター

プライムチェンバロギター（Prime Cembalo Guitar）は、新堀ギター音楽院の院長、新堀寛己が開発した新堀メソードオリジナルギター（27種類）のうちの一つ。略称はプラチェン・P.Cem.。
ギターアンサンブルでは、チェンバロパートに属す。調弦は、プライム・ギターと同じ、一弦からE-B-G-D-A-Eの調弦である。単弦（弦が6本）のものと複弦（弦が12本）のものがある。

**関連項目**
 アルトチェンバロギター- バスチェンバロギター- プライム・ギター

**外部リンク**
 date= 20081005032017
アレン・ハイティング

アレン・ハイティング（Arend Heyting、1898年5月9日 - 1980年7月9日）は、オランダの数学者、論理学者。1898年にオランダの首都アムステルダムで生まれる。
元々は形式主義者であるダフィット・ヒルベルトの弟子であったが、後にヒルベルトの論敵であるライツェン・エヒベルトゥス・ヤン・ブラウワーの弟子となり、直観論理を研究し、1930年にその論理の最初の形式化された「公理体系」を提唱した。ヒルベルトは生涯、ハイティングが自らの元を去った事を悔やんだと言われている。
1980年にスイスのルガノで亡くなる。

**関連項目**
 ハイティング代数

**脚注**

**外部リンク**
  アレン・ハイティング
山梨県道308号鶯宿上曽根線

山梨県道308号鶯宿上曽根線（やまなしけんどう308ごう おうしゅくかみそねせん）は、山梨県笛吹市と甲府市を結ぶ一般県道である。

**概要**

**路線データ**
 起点：山梨県笛吹市芦川町鶯宿- 終点：山梨県甲府市上曽根町（考古博物館東交差点＝国道358号交点、山梨県道113号甲府精進湖線交点）

**重複区間**
 間門交差点・考古博物館東交差点間：国道358号

**通過する自治体**
 山梨県 
** 笛吹市 - 甲府市

**交差・接続する道路**
 山梨県道313号藤垈石和線（笛吹市境川町藤垈・境川支所前交差点）- 国道358号（笛吹市境川町寺尾・間門交差点）- 国道358号（甲府市上曽根町・考古博物館東交差点）- 山梨県道113号甲府精進湖線（同上）

**周辺**
 笛吹市役所 境川支所

**関連項目**
 山梨県の県道一覧