stanford-oval/wikipedia huggingface dataset:
東松山バイパス (国道407号)
地理 > 沿線

沿線は東松山市のロードサイド店舗エリアを形成している。
東松山マイタウン
東松山市民病院
岩鼻運動公園
東松山陸上競技場
東松山市営球場・中原球場
東京農業大学第三高等学校
市野川（天神橋）
松山城跡
吉見百穴
東松山市立東中学校
東松山市民文化センター
パークタウン五領
東松山市立野本小学校
野本コミュニティセンター
都幾川（新東松山橋）
都幾川リバーサイドパーク
むさし緑園都市うらら花高坂
ピオニウォーク東松山ショッピングモール
高坂館跡
高坂駅
東松山市立高坂小学校
九十九川（新九十九川橋）
高坂市民活動センター
南地区体育館
ギャラリー

宮鼻付近
あずま町付近（4車線化前）
新東松山橋
上野本付近
下野本付近（国道昇格後）
五領町付近（国道昇格後）
新宿町付近
六軒町付近
大字松山付近（熊谷市方面から柏崎交差点方面）
接続するバイパスの位置関係

（足利方面）現道 - 東松山バイパス - 坂戸バイパス（入間方面）
西氏 (熊本)

西氏（熊本）は、熊本県の武家。
菊池氏族西氏

肥後の豪族。
西入道：菊池経直の孫である出田経道が、西氏を名乗る。
西左馬助：菊池武朝の弟。
西兵庫頭：『小代文書』に名見ゆ。
藤原南家相良氏族

西長咬：相良近江守長毎の弟。
西次郎：相良三河守長時。
阿蘇氏族西氏

西惟充：天文13年（1544年）3月、阿蘇氏家臣連署状写に名みゆ。烏山光康勅使に接見し、後奈良天皇の後押しで、阿蘇惟豊の従二位への昇格を準備。
西惟玄：永禄3年（1560年）、中原口合戦（南小国町）で阿蘇惟将を支え、活躍する。
西惟栄：惟玄と同じく中原口合戦で賞されている。
西惟延：越前守。阿蘇惟光から、宥職坊を使者として志賀親守に宛てた手紙の中で、副臣として賞されている。しかし、阿蘇合戦では、かつて大宮司の職位を争い薩摩に逃れ、今は島津の庇護下にある阿蘇一族の惟賢を、濱の館に大宮司として迎え、島津の矛を収めさせようと考えて腹心の北里周防守と西源兵衛に打ち明けた。それは阿蘇家への裏切りであると後者の二人は憤る。
西源兵衛：阿蘇惟光、阿蘇惟善を目丸山に隠した人物の一人。『拾集昔語』によれば、「口宣文書ハ坂梨氏背負可申候、此外ノ御宝物ハ浜ノ御所江人シラサル穴蔵有之候ニ隠置、迫、井手両頭在番仕、与御母子様共ニ被成御上京ト申フラシ、鳥居之大門ヲタテテ、小門ヲ聞キ、注連ヲ引廻シ、諸人出入令禁制可罷有候、御両若君ヘハ坂梨氏孫太郎、西源兵衛、渡辺軍兵衛此三人供奉仕、砥用矢部境ノ奥田丸ノ深山幽谷ヘ忍ヒ隠レ守仕、時分ヲ待可申旨申合」とある。
西惟貢：天正18年（1590年）5月20日、阿蘇家文書に名見ゆ。竹崎長秀とともに、阿蘇惟賢に随行していたが、阿蘇本家に復帰することを誓う連署起請文に署名する。これにより阿蘇惟光への忠誠を誓う。
西惟安：左衛門金吾。下益城郡中央町に住んだ大力であり、若宮神社内の梅林神社に祀られる怪力の人物。
名和氏族西氏

西左衛門尉：名和顕生のこと。名和弾正教長の孫。
西顕元：西左衛門尉の息子。
負債比率

負債比率（ふさいひりつ、debt to equity ratio (D/E)）は、財務分析の概念の一つ。自己資本に対する負債の比率（倍率）である。負債レバレッジと呼ばれることもある。また自己資本に対する総資本の倍率は財務レバレッジと呼ばれる。
概要

負債レバレッジという表現は、資産収益率がプラスであれば、負債をレバレッジ（梃子）にして、自己資本利益率を改善することができることから来ている。このことを負債のレバレッジ効果(leverage effect of debt)と呼ぶ。言い方を代えると、負債で稼いだ収益が負債コストを上回る分、すなわち利益が、負債が大きいほど多く生み出され、自己資本利益率が改善されるためである。
企業の側からは負債コストの利子は、経費として収益から控除できるのでその経費分だけ課税対象所得を減らして税金を少なく払う、つまり節税効果(saving tax effect)もある。
また負債コストが固定されているもとで、インフレーション（物価上昇）が進行するとインフレを考慮した実質的な負債コストが名目コストに比べて小さくなるという現象も知られている。最近、日本がデフレーションで苦しむまでは、先進資本主義国の多くでは石油ショックのときを除くとゆるやかなインフレの進行が第二次大戦後続いていた。このことはつぎのようにも説明できる。一般的にインフレのときにはコストよりも売上の伸びが大きい。そのもとで利払いが固定であれば、その負担は相対的に小さくなる。
実質利子＝名目利子－物価上昇率
では負債比率の上昇にほかの問題はないのだろうか。負債の増加は負債コストの増加を伴う。負債コストの中心は利払いであり、企業としては生産や売上の増減に関わらず支払いが必要な固定費用の増加になる。このことは、企業の損益分岐点売上高を押し上げそれだけ企業の財務体質を脆弱にしてしまう。
負債比率の上昇は、企業体質を企業が自覚しない間に弱めていることになる。これを危険逓増increasing riskとよぶことがある。このリスクは、借り入れる企業側にとってと同様に貸し付ける金融機関にとってもリスクである。このリスクを考慮すると負債コストは、負債コストが高いほど上昇すると考えられる。この意味で、負債の上昇はその中に自律的な反転のしかけをもっているともいえる。企業はこのコスト水準（財務体質あるいはそこに示される信用格付け）を意識的に管理することで、財務上の節度を保つこともできる。
1990年代から2000年代にかけて日本企業は、バブル経済の時期に膨張した負債の上昇がもたらすコスト負担に苦しんだ。負債水準を下げる動きは財務リストラと呼ばれた。
ところで物価が下がり気味（デフレーション）のときにはインフレのときとは逆に、実質的な負債コストが名目コストに比べて大きくなる。売り上げが減り利益が減っても金利負担が以前のままだからである。このこともあって、1990年代から2000年代にかけて日本経済がデフレ現象に見舞われたとき、多くの企業では、負債コストの負担に苦しみ、負債比率の切り下げが経営の課題にもなった。
また負債に依存した経営には、金融機関が常に融資に応ずる姿勢をとっているとの前提がある。これを資金の融通可能性availabilityという。デフレ下の日本の企業が直面した一つの問題は、金融機関が貸し渋り、つまり自身の都合で貸し出し態度を厳格にしたり、貸し出しに応じない態度を取ったと問題だった。これは金融機関の立場からみると、デフレ下の日本で、企業の収益が悪化する一方で、金融機関としては、貸出債権の不良化が進行し資産の質が劣化し、株価の下落によって株価の含み益に依存した自己資本比率維持が困難になり、貸出の圧縮と貸出資産の内容の改善を迫られたからであった。他方、金融機関の貸し渋りにより金融機関の融資に依存することのリスクを感じた企業は、負債に無原則に依存した経営から離れるようになった。
デフレ終焉とともに、企業が借入に再び積極的になる兆候がみられるが、デフレ期の経験は企業行動に今後相当期間影響を残すと考えられている。
一般論としては、負債比率は、企業の安全性を見る上では低い方がよいとされる。企業の経営者や、企業の債権者立場からは低い企業の方が財務的に健全とみなされる。しかし十分な収益機会が存在するのに、低い負債比率を経営者が続けていると、株主の側や株価アナリストからは、負債を拡大して事業規模を拡大しない経営者は臆病で、＜負債レバレッジ＞あるいは＜財務レバレッジ＞を生かしていないと批判する材料となる。
負債比率を考える場合、企業の成長段階が及ぼす影響も考慮される必要がある。企業が創業期にある段階では、企業には取引の履歴が存在しないので金融機関からの借入には困難がある。したがって創業期の企業は低い負債比率で出発せざるを得ない。それでは企業の負債比率はその後、その後は上昇する一方だろうか。そこで考慮されるべきなのは、企業の経営環境と負債コスト、資金のavailabilityについての判断である。その企業が置かれている事業環境が悪ければ企業は借入を増加させる意欲を失うであろうし、負債コストの上昇はすでにみたように負債水準上昇の歯止めとなるだろう。
文献

福光寛『証券分析論』中央経済社, 1997.
黒柳達夫「企業成長と資本構成」『福岡大学経済学論叢』42(4), Mar.1998.
松浦克己ほか「90年代における上場企業の負債比率について」『郵政総研ディスカッションペーパー』2000-02, May 2000.
辻幸民「わが国企業の資本構成比率の実証分析」『三田商学研究』43(2), Jun.2000.
花枝英樹『戦略的企業財務論』東洋経済新報社, 2002.
真壁昭夫「資金調達と資本構成」『フィナンシャルレビュー』62, Jun.2002.
米澤康博ほか『新しい企業金融』有斐閣, 2004.
嶋谷毅ほか「わが国企業による有利子負債の圧縮と利益配分策」『日本銀行レビューシリーズ』May 11, 2005.
鈴木準「企業の資金余剰は縮小方向へ」『大和総研資本市場レポート』Oct.31, 2005.
津森信也『入門企業財務第3版』東洋経済新報社, 2006.
大橋良生「負債比率と株主資本コストとの関係」『税経通信』61(4), Apr.2006.
上東志麻「企業の負債比率に関する考察」『経理研究』49, Win.2006.
西粟倉村立西粟倉小学校

| 西粟倉村立西粟倉小学校 |
| --- | --- |
 
 北緯35度10分04秒 東経134度20分12秒﻿ / ﻿北緯35.167694度 東経134.336778度﻿ / 35.167694; 134.336778座標: 北緯35度10分04秒 東経134度20分12秒﻿ / ﻿北緯35.167694度 東経134.336778度﻿ / 35.167694; 134.336778
国公私立の別:  公立学校
併合学校:  影石小学校
設立年月日:  1875年5月
共学・別学:  男女共学
学期:  3学期制
学校コード:  B133210003650 
所在地:  〒707-0504
 岡山県英田郡西粟倉村長尾1555
外部リンク:  公式サイト
 ウィキポータル 教育  ウィキプロジェクト 学校
テンプレートを表示
西粟倉村立西粟倉小学校（にしあわくらそんりつ にしあわくらしょうがっこう）は、岡山県英田郡西粟倉村長尾にある公立小学校。
沿革

1875年（明治8年）5月 - 守真小学校として開校。
1890年（明治23年）3月 - 守真尋常小学校と改称。
1902年（明治35年）
4月 - 西粟倉尋常高等小学校と影石尋常高等小学校に分校する。
5月 - 高等科併置し、西粟倉尋常高等小学校と改称。
1947年（昭和22年）4月 - 西粟倉小学校と改称。
1999年（平成11年）4月 - 西粟倉小学校と影石小学校が統合し、西粟倉村立西粟倉小学校開校（校舎・体育館・プール落成）。
2020年（令和2年）1月 - 西粟倉村防災拠点整備事業（体育館）設備導入。
2021年（令和3年）2月 - 地域熱供給システム導入（暖房・温水）
2022年（令和4年）9月 - ユネスコスクール・キャンディデートの承認。
周辺

国道373号
吉野川
引谷川 - 学校付近で、吉野川に合流する。
智頭急行智頭線 - ただし、西粟倉駅は、少し離れている。
鳥取自動車道 - ただし、西粟倉ICは、やや離れている。
粟倉神社
西粟倉村役場
あわくら会館・図書館
アクセス

智頭急行智頭線西粟倉駅から、徒歩約820m・約13分。
著名な出身者

福井優也（プロ野球選手・投手、東北楽天ゴールデンイーグルス）
ぶどう膜炎

| ぶどう膜炎 |
| --- | --- |
 
概要
診療科:  眼科
分類および外部参照情報
ICD-10:  H20
ICD-9-CM:  364
DiseasesDB:  13676
MedlinePlus:  001005
eMedicine:  oph/580 emerg/284
Patient UK:  ぶどう膜炎
MeSH:  D014605
 [ウィキデータで編集]
ぶどう膜炎（ぶどうまくえん、英: Uveitis）は、ぶどう膜（虹彩、毛様体、脈絡膜）に炎症を起こす疾患である。ぶどう膜炎自体は一つの疾患概念ではなく、様々な疾患の一つの表現形である。
充血、眼痛などが現れ、比較的急激に視力障害をきたし、弱視や全盲になる事もある。
またその原因は、全身疾患によっておこることが非常に多く、全身精査が必要なこともある。
自覚症状

三叉神経刺激による充血、羞明、疼痛、流涙、視力低下、飛蚊症、調節障害
他覚所見

毛様充血、前房の炎症、前房蓄膿、縮瞳、硝子体混濁、乳頭浮腫、白内障、眼圧上昇、緑内障
分類 > 炎症の様式による分類

ぶどう膜炎は、炎症の様式により下記の二つに大別される。おのおのに分類される疾患を列挙する。
分類 > 炎症の様式による分類 > 肉芽腫性ぶどう膜炎

サルコイドーシス、原田病、交感性眼炎、結核、梅毒、ヘルペスウイルス感染症、トキソプラズマ症、レプトスピラ
分類 > 炎症の様式による分類 > 非肉芽腫性ぶどう膜炎

ベーチェット病、強直性脊椎炎、関節リウマチ、Reiter症候群、潰瘍性大腸炎、クローン病、糖尿病
分類 > 炎症の部位による分類 > 前部ぶどう膜炎

主に虹彩に起きるものを
虹彩毛様体炎
虹彩炎
などと呼ぶこともある。
治療

原病の治療を行うのと同時に、眼局所の治療も行う。
ぶどう膜炎は眼の局所の炎症が起こっているため、ステロイドの点眼、内服、点滴や非ステロイド性抗炎症薬の点眼を行う。抗生剤や抗ウイルス薬を使用することもある。
炎症が高度な場合、眼圧上昇を見たり、虹彩の水晶体への癒着することがある。そのため前者の場合抗緑内障薬、後者には予防や治療のために散瞳剤を使用することもある。
ひざの上の同居人

『ひざの上の同居人』（ひざのうえのぱーとなー）は、カルチュア・パブリッシャーズから1998年3月12日に発売されたプレイステーション用ゲームである。制作はカネコ。1999年9月9日には同社よりゲーム事業を引き継いだディースリー・パブリッシャーより廉価版が発売された。サブタイトルには～Kitty on your lap～とあり、タイトルと併記されている。公式略称は「ひざパ」。
概要

入学したばかりの大学1年生である主人公は、ある晩捨てられている3匹の仔猫を見つける。その内の1匹を下宿に連れ帰ると、翌朝仔猫が10歳程度の少女になっていたところから物語が始まる、恋愛育成シミュレーションゲーム。主人公の目的は、本来人間として生まれてくるはずが、猫神様の手違いにより猫として生まれてきてしまった仔猫たちに、1年間人間としての生活や常識を教えながら育て、1年後の審判の日に合格して人間にしてあげるというもの。
エンディングには、人間になれずもう会えなくなるものや、人間にはなれたが主人公とは離れ離れになるもの、そして人間になって帰ってくるものなどがある。一人につき8種類（レナは7種類）あるが、総じてグッドエンドの難易度は低い。ただしその分、普通にプレイしていればまずいくことのないバッドエンドの後味は悪く、人間になれなかった「路地裏で」エンドでは、ミミが自分をこんな風にした主人公なんて大嫌いだと恨み言を言うなどのかなり辛いものになっている。
キャラクターデザインは漫画家・イラストレーターの都築和彦。
キャラクター > 仔猫

仔猫たちは、基本的には猫の状態で過ごし、週に数回ほどの頻度で人間の姿になる。（その場合も耳と尻尾は付いたままだが、主人公以外の人間には耳と尻尾は見えない）ちなみに物語の開始時点では10歳程度の少女として描かれるが、全員物語の途中で15歳程度へと成長する。
谷博

谷 博（たに ひろし、1953年6月20日 - ）は元プロ野球審判員。徳島県出身。審判員袖番号は19 （1988年初採用から。谷は関西審判部で袖番号が初採用された年度の中で最古参であった）。
来歴・人物

徳島県立海南高等学校では野球部で尾崎健夫、大石友好と同期。京都産業大学を経て1976年にセントラル・リーグ審判部入局。井野修元審判とは同期入局である（井野は公募で合格、谷はアマ時代の経験を買われて入局）。入局1年目の4月25日の阪神－大洋戦（甲子園）での左翼外審で一軍試合出場を果たす。
バース・掛布雅之・岡田彰布の3人によるバックスクリーン3連発があった1985年の巨人対阪神戦では一塁塁審をしており、その18年後の平成の3連発では二塁塁審をしていた。オールスターでは1999年第1戦で球審。日本シリーズでは2000年に第3戦、1999年・2005年に第4戦、1992年・2008年に第7戦の球審を務めている。なお、第7戦で2回球審を務めたのは、セ・リーグにおいては岡田功以来2人目である。
2006年より、役職が副部長から「審判部部長待遇」へ昇格。また、2007年4月13日の阪神－横浜1回戦において2500試合出場を達成した。2009年には55歳の定年に達したため副部長職及び部長待遇を返上し、嘱託審判員となった。2010年9月12日の阪神－ヤクルト戦（甲子園）で球審を務めたのを最後に一軍での審判を引退した。
2010年に引退するまでの通算出場試合数は2752試合、オールスター出場4回（1988年、1992年、1999年、2005年。1999年第1戦で球審）、日本シリーズ出場10回（1992年、1995年、1997年～2001年、2003年、2005年、2008年。1992年と2008年第7戦、1999年と2005年第4戦、2000年第3戦でそれぞれ球審）。日本シリーズ第7戦で球審を2回務めたのは、谷の他に、二出川延明、岡田功、杉永政信と4人しかいない貴重な記録である。
2011年から審判技術委員（関西）となる。
2017年限りで退職。
2023年2月、独立リーグの四国アイランドリーグplusおよびベースボール・チャレンジ・リーグ（ルートインBCリーグ）共通の審判アドバイザーに就任することが発表された（井野修と同時就任）。歴代のプロ野球審判員としてはかなりの小柄で、本人は170cmと語っているが、実際の身長は170cmも無かったと言われる。これは、谷はアマチュアの経験を買われて半ばスカウトされる形で入局している為、本来は175cm必要な身長規定の対象外であった事があげられる。
サヨナラインフィールドフライ事件

1991年6月5日の大洋対広島戦（横浜スタジアム）で球審を務めた谷はインフィールドフライに起因するサヨナラゲームの判定を正しく行ったことにより連盟から表彰を受けている。
詳細は「インフィールドフライ#1991年6月5日、大洋対広島」を参照
エピソード

2006年5月7日の広島対中日戦で責任審判と二塁塁審を務めた。ブラウン監督が一塁ベースを投げたため退場を宣告した谷は「抗議は冷静で紳士的なものだった。ロマノ投手をかばっていた。一塁ベースを投げていなければ、退場にはなっていなかった」と語っている。
2009年、朝日放送の「探偵!ナイトスクープ」で、将来、谷のような審判になりたいという男子小学生のリクエストに応え、関西独立リーグ協力のもと実試合球審としてまで指導。試合には川藤幸三（元阪神）、石毛博史（元巨人）などが参加。試合終了後、誰のサインが欲しいかと尋ねられた少年は「谷さんのサインがほしい。」と返答した。
審判出場記録

初出場：1976年4月25日、阪神対大洋4回戦（甲子園球場）、右翼外審。
出場試合数：2754試合（セ・リーグ2614、交流戦83、日本シリーズ44、オールスター11、クライマックスシリーズ2）
オールスターゲーム出場：4回（1988年、1992年、1999年、2005年）
日本シリーズ出場：10回（1992年、1995年、1997～2001年、2003年、2005年、2008年）
（記録は2010年シーズン終了時）
ロー川

ベトナム・ハザン市街の南にあるロー川。（2005年）
フート省のロー川。
ロー川（ローがわ、ベトナム語：Sông Lô / 瀧瀘、原義は「澄み切った川」、別名：清江）は、ベトナムの北部を流れる河川で、ホン川左岸最大の支流。ベトナムの主要河川の一つである。ロ川とも表記。
水源および上流は中華人民共和国雲南省で、盤龍江（中国語版）と呼ばれる。ベトナム国内に入り、ハザン省、トゥエンクアン省及びフート省を流れる。フート省ドアンフン県で支流のチャイ川（ベトナム語版、中国語版）と合流した後、ヴィエットチーでホン川に注ぐ。河川延長は470km、流域面積は39,000km2。
財界四天王

財界四天王（ざいかいしてんのう）は、池田勇人内閣を表裏で支えた4名を指す。経済記者の重鎮、三鬼陽之助によって命名された。
四天王

| 氏名 | 氏名 | 出生年 | 死亡年 | 財界役職 | 自社役職 |
| --- | --- | --- | --- | --- | --- |
| こはやし/小林中 |  | 1899年 | 1981年 |  | 富国生命保険社長、東急電鉄社長、日本開発銀行初代総裁、日本航空会長、アラビア石油社長 |
| みすの/水野成夫 |  | 1899年 | 1972年 | 経済同友会幹事 | 産経新聞社長、フジテレビジョン社長 |
| なかの/永野重雄 |  | 1900年 | 1984年 | 日本商工会議所会頭 | 富士製鐵社長 |
| さくらた/櫻田武 |  | 1904年 | 1985年 | 日経連会長 | 日清紡績社長 |
概略

財界四天王の呼称は、1961年（昭和36年）『文藝春秋』新年号で三鬼陽之助により初めて使用された。それ以後、池田内閣のご意見番として君臨する4名を示す言葉として広く使用されるようになった。
そもそも、池田勇人を支持するきっかけとなったのは、財界四天王の師匠、宮島清次郎（日本工業倶楽部元会長、日清紡績元社長）の存在に尽きる。宮島は吉田茂元首相と東京帝国大学時の同級生であり、一緒に下宿する程の大親友であった。さらに第1次吉田内閣当時には資金援助もしていた。そのような関係もあり、吉田は第3次内閣を組閣する際、財界の重鎮となっていた宮島に大蔵大臣就任を要請した。宮島は若き頃、首相を務めた犬養毅に一時師事し、代議士経験もあるなど政治に精通していたものの、これを拒否し、逆に櫻田武の推挙により池田を大蔵大臣に推薦し就任させた。ここから、財界四天王と池田との深い関係が始まる。
敗戦からまだ20年前後で、旧財閥は以前ほどの力がなく、働き盛りの4人が日本の財界を牛耳った。この4人が相談すると、日本国の大抵のことは決められるともいわれた。政治資金規正法という面倒な法律もなく、この4人を中心に集金して、ジャンジャン政治家に献金した。スポンサーとして金も出し意見もした。財界優位の時代で、ときの総理といえども聞かざるを得なかった。池田内閣の「所得倍増計画」という根幹の政策からして、財界の意見をそのまま政策に反映するもので、貧乏だった日本経済が急激に上昇した時代であった。財界四天王は池田内閣時、財務面でのバックアップのみならず、政策にも大きくかかわった。池田の死後も、池田派により結成された宏池会の後見人として、政治の世界に影響力を持ち続けた。
関係

小林、水野、永野、櫻田は、それぞれ個性が非常に強いカリスマであった。よって、思想の食違いで揉めることも多々あったようであるが、根本で互いを認めあう関係だった。さらに永野と櫻田は同じ広島県出身の上、第六高等学校・東京帝国大学時代と同じ柔道部仲間であり、特別に親交が深かった。
池田の時代までは、自動車も、家電も、コンピューターもまだまだヒヨコの時代でもあり、日本経済を引っ張る基幹産業の雄は鉄であった。八幡製鐵（現・日本製鉄）、富士製鐵（現・日本製鉄）、日本鋼管（現・JFEスチール）は、鉄鋼御三家といわれ、政治献金は、この3社が決める額に習えというのが常識だった。このため勢力でいえば、富士製鐵のトップである永野が一番だった。永野は政治が好きで、早くから政治家を知り、最も政治を知っている財界人で、生涯に渡り、時の政局に関わり続けた。
西祖谷山村土日浦

| 西祖谷山村土日浦 |
| --- | --- |
 町丁
 西祖谷山村土日浦西祖谷山村土日浦の位置
 北緯33度51分44秒 東経133度47分04秒﻿ / ﻿北緯33.86222度 東経133.78444度﻿ / 33.86222; 133.78444
国:   日本
都道府県:   徳島県
市町村:   三好市
地区:  西祖谷地区
人口（2021年（令和3年）12月31日現在）
 • 合計:  9人
等時帯:  UTC+9 (JST)
郵便番号:  778-0104
市外局番:  0883
ナンバープレート:  徳島
西祖谷山村土日浦（にしいややまむらつちひうら）は、徳島県三好市の町名。郵便番号は778-0104。
地理

三好市の西部に位置。東は西祖谷山村下吾橋、南は西祖谷山村南山、北は西祖谷山村榎、西は吉野川と挟んで山城町下名とそれぞれ接する。
地理 > 河川

吉野川
歴史

2006年（平成18年）3月1日 - 三好郡西祖谷山村が三野町・池田町・山城町・井川町・東祖谷山村と合併して三好市が発足し、現在の町名となる。
世帯数と人口

2021年（令和3年）12月31日現在の世帯数と人口は以下の通りである。
| 町丁 | 世帯数 | 人口 |
| --- | --- | --- |
| 西祖谷山村土日浦 | 7世帯 | 9人 |
小・中学校の学区

市立小・中学校に通う場合、学区は以下の通りとなる。
| 番地 | 小学校 | 中学校 |
| --- | --- | --- |
| 全域 | 三好市立吾橋小学校 | 三好市立西祖谷中学校 |
交通 > 鉄道

最寄駅はJR土讃線の大歩危駅。
森川数間

| もりかわ かずま 森川 数間 |
| --- | --- |
生年月日:   (1965-06-24) 1965年6月24日（59歳）
出身地:   日本・東京都
身長:  167 cm
職業:  俳優
事務所:  オフィスチャープ
公式サイト:  公式プロフィール
テンプレートを表示
森川 数間（もりかわ かずま、1965年6月24日 - ）は、東京都出身の俳優。身長は167cm、体重は56kg、バスト94cm、ウェスト73cm、ヒップ86cm、靴サイズ25cmである。趣味/特技はスノーボード、野球、殺陣。マックス・プロモート所属後、オフィスチャープ所属。
出演 > テレビ > テレビ朝日

菊次郎とさき
おそるべしっっ!!!音無可憐さん
ビートたけしのTVタックル
ガラスの仮面 第1話「千の仮面を持つ少女」（1997年）
スウィートデビル
松本清張 黒革の手帖
土曜ワイド劇場 事件11 逆転法廷!姉を殺した男が無罪?
出演 > テレビ > TBS系列

涙のアンパンマンマーチ
世界で一番熱い夏
世界の中心で、愛をさけぶ 第10,11話
恋を何年休んでますか 第5話
3年B組金八先生スペシャル
ストロベリーオンザショートケーキ
私だってキレるわよ〜結婚記念日〜
オヤジぃ。 第2,4話
Summer Snow 第11話
ラストドライブ
ビューティフルライフ
渡る世間は鬼ばかりスペシャル
美しい人
ディア・フレンド
天国に一番近い男 第1話
L×I×V×E
魔女の条件
ママチャリ刑事
ひとりぼっちの君に
ラブとエロス
海まで5分
めぐり逢い
カミさんなんかこわくない
青い鳥
不機嫌な果実
智子と知子
ドールハウス
Mの悲劇
おでことおでこがぶつかって
涙そうそう この愛に生きて
花より男子
硝子のかけらたち
協奏曲 第4話
おとうさん
真夜中の雨
ディア・フレンド
ブラックジャックによろしく
女子刑務所東三号棟
夜王 第10,11話
孤独の賭け
ひまわり〜夏目雅子27年の生涯と母の愛〜
出演 > テレビ > フジテレビ系列

もう涙は見せない
この世の果て
お金がない!
顔
ビッグマネー
救命病棟24時
ロケットボーイ
ラブコンプレックス
恋はあせらず
ひとつ屋根の下2
傷だらけの女
その時がきた
アットホーム・ダッド
離婚弁護士II
緋の十字架
金曜エンターテイメント 腕まくり看護婦物語7 －結婚旋風編－
3番テーブルの客9
17才-at seventeen-
おいしい関係
出演 > テレビ > 日本テレビ系列

新宿暴走救急隊
伝説の教師
平成夫婦茶碗
バーチャルガール
世紀末の詩
隣人は秘かに笑う
P.A.
シンデレラは眠らない
おとなの夏休み
CAとお呼びっ!
火曜サスペンス劇場 警部補 佃次郎2 黒髪の集点
出演 > テレビ > テレビ東京系列

パリの恋人
刑事追う!
女と愛とミステリー 監察医・篠宮葉月 死体は語る2 川辺の死体に索状痕
出演 > テレビ > NHK

ジイジ〜孫といた夏
出演 > テレビ > ビーエスアイ

親子弁護士の探偵帖
出演 > 映画 > Vシネマ

性犯罪白書2
出演 > CM

レオパレス21
相生市立那波中学校

| 相生市立那波中学校 |
| --- | --- |
 
 ja北緯34度48分23.5秒 東経134度27分47.3秒﻿ / ﻿北緯34.806528度 東経134.463139度﻿ / 34.806528; 134.463139座標: 北緯34度48分23.5秒 東経134度27分47.3秒﻿ / ﻿北緯34.806528度 東経134.463139度﻿ / 34.806528; 134.463139
国公私立の別:  公立学校
設置者:  相生市
併合学校:  相生市立相生中学校
設立年月日:  1947年
共学・別学:  男女共学
学期:  3学期制
学校コード:  C128210002594 
所在地:  〒678-0053
 兵庫県相生市那波南本町10-1
外部リンク:  公式サイト
 ウィキポータル 教育  ウィキプロジェクト 学校
テンプレートを表示
相生市立那波中学校（あいおいしりつ なばちゅうがっこう）は、兵庫県相生市那波南本町にある公立中学校。
沿革

1947年（昭和22年） - 相生市立那波中学校創立。
1951年（昭和26年） - 現在地に移転。
2007年（平成19年） - 相生市立相生中学校を併合
2024年（令和6年）4月1日 - 新制服導入
教育目標 > 建学の精神

正義と責任
教育目標 > 教育目標

確かな学力、豊かな心、健やかな体をもった生徒の育成
教育目標 > 教育目標 > めざす生徒像

思いやりのある生徒
自ら学ぼうとする生徒
自ら考え行動できる生徒
教育目標 > 教育目標 > めざす学校像

一人一人が輝き、夢と希望がもてる学校
地域に信頼される学校
部活動

野球部
サッカー部
ソフトテニス部
バスケットボール部
バレーボール部
陸上競技部
剣道部（全国大会3回出場）
吹奏楽部
校区

相生市立相生小学校
相生市立那波小学校
相生市立青葉台小学校
校区が隣接している学校

相生市立矢野川中学校
相生市立双葉中学校
ロングボブ

ロングボブ（long bob）
高身長の男性の愛称。プロ野球選手のボブ・ミューゼルや、サッカー選手のボブ・ロバーツ（英語版）などが知られる。
ボブカットよりも長くミディアムヘアよりも短い髪型で、ロブとも略される。
諫早市立真城小学校

| 諫早市立真城小学校 |
| --- | --- |
 ja北緯32度51分6.5秒 東経130度1分7.8秒﻿ / ﻿北緯32.851806度 東経130.018833度﻿ / 32.851806; 130.018833座標: 北緯32度51分6.5秒 東経130度1分7.8秒﻿ / ﻿北緯32.851806度 東経130.018833度﻿ / 32.851806; 130.018833
国公私立の別:  公立学校
設置者:  諫早市
設立年月日:  1986年（昭和61年）4月1日
共学・別学:  男女共学
学期:  3学期制
学校コード:  B142210002883 
所在地:  〒854-0084
 長崎県諫早市真崎町1037番3号
外部リンク:  公式サイト
 ウィキポータル 教育  ウィキプロジェクト 学校
テンプレートを表示
諫早市立真城小学校（いさはやしりつ しんじょうしょうがっこう）は、長崎県諫早市真崎町にある公立小学校。
沿革

1986年（昭和61年）
4月1日 - 諫早市立真崎小学校から分離する形で「諫早市立真城小学校」が新設される。破籠井・中井原・清水谷・真崎本村・真崎団地・津水・白岩北部の児童が転入。
4月7日 - 開校式を挙行。
11月16日 - 校旗・校歌を制定。
2015年（平成27年）4月1日 - なのはな学級を新設。
アクセス

県営バス 真崎バス停
周辺

西諫早ふれあい会館
諫早市立真城中学校
関連事項

長崎県小学校一覧
第25期棋王戦

| 第25期  棋王戦 |
| --- | --- |
開催期間:  1999年2月16日 - 2000年3月21日
前棋王:  羽生善治(9期目)
第25期棋王:  羽生善治(10期目)
棋王戦 < 第24期第26期 >
テンプレートを表示
第25期棋王戦（だい25ききおうせん）は、1999年度（1999年2月16日 - 2000年3月21日）の棋王戦である。
棋王戦五番勝負では羽生善治棋王が森内俊之八段を3勝1敗で制し、タイトル防衛。10期連続10期目の棋王位獲得となった。
第25期棋王戦五番勝負

| 対局者 | 第1局> 2000年 2月12日 | 第2局> 2000年 2月20日 | 第3局> 2000年 3月11日 | 第4局> 2000年 3月21日 |  |
| --- | --- | --- | --- | --- | --- |
| 羽生善治棋王 | ○ | ● | ○ | ○ | 棋王位防衛 |
| 森内俊之八段 | ● | ○ | ● | ● |  |
挑戦者決定戦

全勝進出者のアドバンテージとして☆を付記。
| 0 | 1 | 2 | 3 | 4 | 5 |
| --- | --- | --- | --- | --- | --- |
|  |  | 1回戦 | 1回戦 | 1回戦 |  |

|  | 敗者復活 | 島朗八段 | ★○● |  |  |
|  | 敗者復活 | 島朗八段 | ★○● |  |  |
|  | 全勝通過 | 森内俊之八段◎ | ☆●○ | 挑戦者 |  |
|  | 全勝通過 | 森内俊之八段◎ | ☆●○ | 挑戦者 |  |
挑戦者決定トーナメント > 敗者復活戦

| 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
|  |  | 1回戦 | 1回戦 |  |  | 決勝 | 決勝 | 決勝 |  |

|  |  |  | C | C | C | 島朗八段◎ | ○ | 敗者復活 |  |
|  |  |  | C | C | C | 島朗八段◎ | ○ | 敗者復活 |  |
|  | B | 佐藤康光名人 | ○ |  |  |  |  |  |  |
|  | B | 佐藤康光名人 | ○ |  |  | 佐藤康光名人 | ● |  |  |
|  | A | 藤井猛竜王 | ● |  |  | 佐藤康光名人 | ● |  |  |
|  | A | 藤井猛竜王 | ● |  |  |  |  |  |  |
ロイシントランスアミナーゼ

ロイシントランスアミナーゼ(Leucine transaminase、EC 2.6.1.6)は、以下の化学反応を触媒する酵素である。
従って、この酵素の基質はL-ロイシンとα-ケトグルタル酸の2つ、生成物は4-メチル-2-オキソペンタン酸とL-グルタミン酸の2つである。
この酵素は転移酵素、特に窒素基を移すトランスアミナーゼに分類される。系統名はL-ロイシン:2-オキソグルタル酸 アミノトランスフェラーゼ(L-leucine:2-oxoglutarate aminotransferase)である。他に、L-leucine aminotransferase、leucine 2-oxoglutarate transaminase、leucine aminotransferase、leucine-alpha-ketoglutarate transaminase等とも呼ばれる。この酵素は、バリン、ロイシン、イソロイシンの分解及び生合成、パントテン酸や補酵素Aの合成に関与している。補因子としてピリドキサールリン酸を必要とする。
ロイシンデヒドロゲナーゼ

ロイシンデヒドロゲナーゼ（leucine dehydrogenase, LeuDH）は、ロイシン生合成酵素の一つで、次の化学反応を触媒する酸化還元酵素である。
反応式の通り、この酵素の基質はL-ロイシンとH2OとNAD+、生成物は4-メチル-2-オキソペンタン酸とNH3とNADHとH+である。
組織名はL-leucine:NAD+ oxidoreductase (deaminating)で、別名にL-leucine dehydrogenase, L-leucine:NAD+ oxidoreductase, deaminatingがある。
直観主義論理

直観主義論理（ちょっかんしゅぎろんり、英: intuitionistic logic）または直観論理（ちょっかんろんり）、あるいは構成的論理（こうせいてきろんり、英: constructive logic）とは、ある種の論理体系であり、伝統的な真理値の概念が構成的証明の概念に置き換わっている点で古典論理とは異なる。例えば古典論理では、全ての論理式に真か偽の真理値 (  \{\top ,\bot \} ) が割り当てられる。このときその真理値に対する直接的なエビデンスを持つか否かは問題にしない。これはどのような曖昧な命題においても「真か偽かが決定可能である」ということを意味する。対照的に、直観主義論理では確定的に論理式に真理値を割り当てるのではなく、それが真であるとは「直接的なエビデンス」つまり「証明」があることと見做す。
証明論的な視点から見ると、直観主義論理は古典論理の制限であって排中律や二重否定除去が公理として許容されないものである。排中律や二重否定除去はいくつかの論理式に対しては個別に証明できることがあるけれども、古典論理のように普遍的に成立することはない。
直観主義論理の色々な意味論が研究されている。ひとつの意味論は古典的なブール代数値意味論を写しとったものでブール代数の代わりにハイティング代数を用いる。別の意味論ではクリプキ・モデルを用いる。
直観主義論理は実際的な有用性を持つ。何故ならばこの制限によって存在具体性を持つ証明が作られるからであり、これは直観主義論理が数学的構成主義のある形態として適当なものとする。非正式には、ある対象が存在することの構成的証明があれば、その構成的証明はそのような対象の例を生成するアルゴリズムとして使える、ということを意味する。
形式化された直観主義論理はアレン・ハイティングによってヤン・ブラウワーの直観主義プログラムの形式的な基礎として発展せられたものである。
構文論と証明体系

直観主義論理の論理式の構文は古典命題論理や古典述語論理と類似である。しかしながら、直観主義的な論理結合子は、古典論理におけるように、他の論理結合子を用いて定義することはできない。（そのため  \{\to ,\bot \},  \{\wedge ,\neg \},  \{\vee ,\neg \} などの論理結合子だけを用いて定式化することはできない。）直観主義命題論理では習慣的に \to ,\wedge ,\vee ,\bot  を基本的な結合子として採用する。ここで  \neg A は  A\to \bot  の省略形として扱う。直観主義述語論理ではこれに量化記号  \exists ,\forall  を加える。
多くの古典論理の恒真式は直観主義的には証明できない。排中律  p\vee \neg p だけでなくパースの法則  ((p\to q)\to p)\to p や二重否定除去  \neg \neg p\to p などがその例である。古典論理において二重否定導入  p\to \neg \neg p と二重否定除去 はともに定理である。直観主義論理においては前者のみが定理である。すなわち二重否定を導入することはできるが、除去することはできない。ただし三重否定除去  \neg \neg \neg p\to \neg p は定理である。排中律  p\vee \neg p の拒絶は古典論理に親しい者には奇妙に思われるが、直観主義論理で命題論理式を証明するには、全ての可能な命題論理式に対して真または偽の証明が要求され、これは様々な理由によって不可能である。
多くの古典論理で妥当な恒真式は直観主義論理では定理でないが、全ての直観主義論理で妥当な定理は古典論理に於いても妥当であるから、直観主義論理は古典論理を弱めたものであるという見方ができる。ただし直観主義論理は古典論理にはない良い性質を多く持っている。
構文論と証明体系 > シークエント計算

詳細は「シークエント計算」を参照
ゲンツェンは彼の体系LK（古典論理のシークエント計算）の簡単な制限として直観主義論理の健全かつ完全な体系が得られることを見つけた。彼はこの体系をLJと呼んだ。LKにおいて任意個の論理式がシークエントの結論（右側）に来ることを許すが、LJにおいては高々ひとつの論理式だけを許す。この結果として例えば含意右の適用において直観主義的に許容できない推論が禁じられることから、直観主義論理の体系が得られるのである。（右辺が複数であることを許すと含意右を用いて α→α,⊥ から →α,￢α が得られ、排中律が導かれる。右辺を制限した結果として含意右が制限されて直観主義論理の体系が得られる。）
LKを制限して得られる直観主義論理の体系で結論が複数であることを許容するものもある。LJ'はその例である。
構文論と証明体系 > ヒルベルト流の計算

直観主義論理は次のようにヒルベルト流の計算を用いても定義できる。これは古典命題論理の公理化（Propositional calculus#Alternative calculus）に類似である。
命題論理では、推論規則としてモーダスポネンス
MP:  \phi  および  \phi \to \psi  から  \psi  を導く
を取り、公理図式として次のものを取る：
THEN-1:  \phi \to (\chi \to \phi )
THEN-2:  (\phi \to (\chi \to \psi ))\to ((\phi \to \chi )\to (\phi \to \psi ))
AND-1:  \phi \land \chi \to \phi
AND-2:  \phi \land \chi \to \chi
AND-3:  \phi \to (\chi \to (\phi \land \chi ))
OR-1:  \phi \to \phi \lor \chi
OR-2:  \chi \to \phi \lor \chi
OR-3:  (\phi \to \psi )\to ((\chi \to \psi )\to (\phi \lor \chi \to \psi ))
FALSE:  \bot \to \phi
一階述語論理の体系を作るには次の推論規則を加える：
\forall -GEN:  \psi \to \phi  から  \psi \to (\forall x\ \phi ) を導く；ただし固有変数条件「 x は  \psi  に自由に現れない」を満たす
\exists -GEN:  \phi \to \psi  から  (\exists x\ \phi )\to \psi  を導く；ただし固有変数条件「 x は  \psi  に自由に現れない」を満たす
また次のものを公理図式に加える：
PRED-1:  (\forall x\ \phi (x))\to \phi (t) ただし項 t は  \phi  の中の x への代入について自由である (つまり t の中の変数記号は  \phi (t) の中で束縛されていない)
PRED-2:  \phi (t)\to (\exists x\ \phi (x)) ただしPRED-1と同様の条件を満たす
構文論と証明体系 > ヒルベルト流の計算 > オプションの結合子 > 否定

もし否定を表す結合子  \lnot  を  \phi \to \bot  なる省略形の代わりに導入したいならば、次を公理に加えれば十分である：
NOT-1':  (\phi \to \bot )\to \lnot \phi
NOT-2':  \lnot \phi \to (\phi \to \bot )
否定を導入した代わりに偽を表す命題定数  \bot  を落としたいならば次のようにする。まず FALSE, NOT-1', NOT-2' を次の公理に置き換える：
NOT-1:  (\phi \to \chi )\to ((\phi \to \lnot \chi )\to \lnot \phi )
NOT-2:  \phi \to (\lnot \phi \to \chi )
NOT-1の代替としては  (\phi \to \lnot \chi )\to (\chi \to \lnot \phi ) または  (\phi \to \lnot \phi )\to \lnot \phi  などがある。
構文論と証明体系 > ヒルベルト流の計算 > オプションの結合子 > 同値

同値を表す結合子  \leftrightarrow  は  \phi \leftrightarrow \chi  standing for  (\phi \to \chi )\land (\chi \to \phi ) の省略形として導入できる。代わりに次の公理を追加してもよい：
IFF-1:  (\phi \leftrightarrow \chi )\to (\phi \to \chi )
IFF-2:  (\phi \leftrightarrow \chi )\to (\chi \to \phi )
IFF-3:  (\phi \to \chi )\to ((\chi \to \phi )\to (\phi \leftrightarrow \chi ))
IFF-1とIFF-2は一つの公理  (\phi \leftrightarrow \chi )\to ((\phi \to \chi )\land (\chi \to \phi )) に結合できる。
構文論と証明体系 > ヒルベルト流の計算 > 古典論理との関係

古典論理の体系は次のどれかを公理に追加することによって得られる：
\phi \lor \lnot \phi  （排中律。これは  (\phi \to \chi )\to ((\lnot \phi \to \chi )\to \chi ) とも定式化できる。）
\lnot \lnot \phi \to \phi  （二重否定除去）
((\phi \to \chi )\to \phi )\to \phi  （パースの法則）
一般に、古典論理の恒真式で二元クリプキ・フレーム  \circ {\longrightarrow }\circ  で妥当でない公理を追加したもの（言い換えればSmetanich論理に含まれないもの）を考えれば、これは古典論理に等しい。Smetanich論理は古典論理よりも弱く直観主義論理より強い論理の中で極大なものだからである。
別の関係性としてはゲーデル＝ゲンツェン変換によるものがある。これは古典一階述語論理が直観主義一階述語論理に埋め込めることを示す。すなわち一階述語論理式が古典論理で証明可能であることと、それをゲーデル・ゲンツェン変換したものが直観主義論理で証明可能であることとが同値となる。またグリベンコの定理によれば、命題論理式が古典論理で証明可能であることと、それを二重否定したものが直観主義論理で証明可能であることとは同値である。したがって直観主義論理は古典論理を構成的意味論の観点から拡大したものと見做すことができる。
1932年にクルト・ゲーデルは古典論理と直観主義論理の間にあるゲーデル論理の体系を定義した。これは中間論理として知られる。
構文論と証明体系 > 結合子の定義不可能性

古典命題論理において、論理積、論理和または実質含意を基本的なものとすれば、他は否定を用いてウカシェヴィッチの命題論理のようにして定義できる。またこれら4つをパースの矢印（NOR）やシェファーの棒（NAND）のようなただひとつの論理結合子を用いて定義することもできる。同様に、古典一階述語論理において、一方の量化子は他方と否定を用いて定義できる。
これらは全ての結合子はブール関数であるという二値原理からの基本的な帰結である。二値原理は直観主義論理においては成り立たない。ただ無矛盾律だけが成り立つ。結果として、いかなる結合子も不要ではなく、上に述べたどの公理も必要であることが分かる。古典論理において成立する同値性は、直観主義論理においては、幾つかは成り立つけれども、多くは一方の含意だけが成り立つ。次のようなものがある：
論理積と論理和：
(\phi \wedge \psi )\to \neg (\neg \phi \vee \neg \psi )
(\phi \vee \psi )\to \neg (\neg \phi \wedge \neg \psi )
(\neg \phi \vee \neg \psi )\to \neg (\phi \wedge \psi )
(\neg \phi \wedge \neg \psi )\leftrightarrow \neg (\phi \vee \psi )
論理積と含意：
(\phi \wedge \psi )\to \neg (\phi \to \neg \psi )
(\phi \to \psi )\to \neg (\phi \wedge \neg \psi )
(\phi \wedge \neg \psi )\to \neg (\phi \to \psi )
(\phi \to \neg \psi )\leftrightarrow \neg (\phi \wedge \psi )
論理和と含意：
(\phi \vee \psi )\to (\neg \phi \to \psi )
(\neg \phi \vee \psi )\to (\phi \to \psi )
全称量化と存在量化：
(\forall x\ \phi (x))\to \neg (\exists x\ \neg \phi (x))
(\exists x\ \phi (x))\to \neg (\forall x\ \neg \phi (x))
(\exists x\ \neg \phi (x))\to \neg (\forall x\ \phi (x))
(\forall x\ \neg \phi (x))\leftrightarrow \neg (\exists x\ \phi (x))
すると、例えば、 "a or b" は "if not a, then b" よりも強い主張となる。これは古典論理において同値であることと対照的である。他方で "not (a or b)" と "not a, and also not b" は同値となる。
同値を結合子のリストに入れるならば、いくつかの結合子は他から定義できる：
(\phi \leftrightarrow \psi )\leftrightarrow ((\phi \to \psi )\land (\psi \to \phi ))
(\phi \to \psi )\leftrightarrow ((\phi \lor \psi )\leftrightarrow \psi )
(\phi \to \psi )\leftrightarrow ((\phi \land \psi )\leftrightarrow \phi )
(\phi \land \psi )\leftrightarrow ((\phi \to \psi )\leftrightarrow \phi )
(\phi \land \psi )\leftrightarrow (((\phi \lor \psi )\leftrightarrow \psi )\leftrightarrow \phi )
とりわけ  \{\vee ,\leftrightarrow \bot \} と  \{\vee ,\leftrightarrow \neg \} は直観主義的結合子の完全な基底となる。
意味論

直観主義論理の意味論は古典論理のそれよりも複雑である。直観主義論理のモデル論はハイティング代数やクリプキ意味論として与えられている。最近ではタルスキ流のモデル論の完全性がBob Constableによって証明せられた。ただしこの完全性は通常の意味のそれとは異なる。