hotchpotch/wikipedia-multilingual-ir-pairs huggingface dataset:
ペンシルロケット
ペンシルロケットは、日本で東京大学教授糸川英夫を責任者に開発が進められ、1955年（昭和30年）4月12日に発射試験が初成功した小型ロケットシリーズである。初の発射は、東京都国分寺市にあった半地下式銃器発射場を改造した施設で水平方向に行われ、近くには「日本の宇宙開発発祥の地」碑が建てられている。開発名は「タイニー・ランス」。
太平洋戦争に敗れた日本は、連合国軍最高司令官総司令部（GHQ）により航空機研究が禁じられた。戦時中の軍用機開発から音響工学の研究に転じていた糸川は、1952年の渡米時にアメリカ合衆国の宇宙ロケット計画を知り、追いつく第一歩としてロケット旅客機開発を着想。東京大学生産技術研究所AVSA（Avionics and Supersonic Aerodynamics：アビオニクス及び超音速空気力学）班がペンシルロケットの開発と発射実験に取り組んだ。
ペンシルロケット 概要
戦後日本における初の実験用ロケットである。1954年に年間予算560万円で開発が開始された。予算の制約から超小型の火薬式ロケットを実験装置として使用し、鉛筆（ペンシル）のようであるところからこの愛称が生まれた。
合計150機あまりが発射された。ロケットとしては非常に小さく、また、能力もペイロードを載せられるような代物ではなかったものの、単体でロケットシステムとして成立しており、ノーズコーンや尾翼の材質、形状、重心の変化等による空力特性の変化による分散の影響などが調べられた。後のカッパロケットやラムダロケットの開発時におけるフラッター現象の解析においては、これらのデータが有効に活用されたという。
小さいがゆえに何度も実験が可能なペンシルロケットによりロケット関数（係数）が算出され、現在も世界のロケット開発に応用されている。
ペンシルロケット 概要
当初はロケットを応用すべき航空宇宙的な研究対象として、成層圏上層（大気界面）の超高速飛行などを検討していた。宇宙科学研究所（ISAS）のサイト「宇宙研物語」によれば、そのような上層であれば希薄大気であるから温度上昇の問題も抑えられ、（対流圏の現象である）気象などの影響も少なく、東京～サンフランシスコ間なら4時間ぐらいで安全に飛行できる、といったものが「糸川の高速飛翔体構想」だった、と述べられている。これが、糸川が新聞の取材に応じて語ったことで世に出た記事は、「ロケット旅客機」「20分で太平洋横断」といった見出しが踊るもので、実際に製作した秋葉鐐二郎によれば「ボール紙で作ったロケット」が「試作した国産ロケット一号」というキャプション付きで紹介されるといったものだった。このため（後のNASPのような）スペースプレーンを目指していた、という印象が広まっている。しかしそのように広まったことで、文部省関係者などの目にとまって後の国際地球観測年に向けた宇宙科学との連携のきっかけになり、日本の固体燃料ロケット開発を大きく進めることにつながった。
ペンシルロケット 国分寺実験
1955年3月に、東京都国分寺市でペンシルロケットの水平発射実験を行った。この実験は全長230mmのペンシル標準型を使用して行われ、長さ1.5mの水平発射台から発射されたロケットがスクリーンを貫きながら飛翔するというものだった。最初の実験は3月11日に行われ、3月23日までに29機のペンシルロケットが発射された。尾翼の取り付け角度や弾頭の重量などにバリエーションがあり、様々なロケット側の条件で基礎的なデータが収集された。
ペンシルロケット 千葉実験
1955年6月には当時千葉県千葉市にあった東京大学生産技術研究所に場所を移し、50mの船舶用実験水槽を改造したピットにおいて、引き続きロケットを水平発射する実験が行われた。この実験では全長300mmに大型化したペンシル300型や、二段式ペンシル、無尾翼ペンシルなどが使われた。実験中、発射台に装着される途中だった二段式ペンシルが配線ミスの為に誤って発射されるという事故が起きたが、大事には至らなかった。しかし、以後2段式ペンシルの第2段着火に同型の時限装置が用いられる事はなかった。
ペンシルロケット 道川実験
1955年8月からは秋田県の道川海岸でロケットを斜め上方に打ち上げる実験を行った。8月6日午後2時18分に行われた最初の打ち上げは、発射台の欠陥によってロケットが発射直後に砂浜に落下して失敗に終わった。発射台はただちに改良され、午後3時32分の二度目の実験で打ち上げに成功した。使用されたのはペンシル300型で、燃料に含まれていた四塩化チタンにより煙をひきながら16.8秒間ほど飛行した後、700m離れた海面に落下した。到達高度は600mだった。ペンシルロケットの斜め打ち上げ実験は8日で終了し、計画はより大型のベビーロケットに受け継がれた。総飛翔数は6機であった。
ペンシルロケット 構成・諸元
日本油脂の固体推進剤製造設備の関係から、即座に供給可能な推進薬の例として朝鮮戦争時にバズーカ用に生産された全長123mm、直径9.5mm、内径2mm、1本5,000円のダブルベース火薬が提示され、このサイズに合わせて機体の設計が行われた。推進薬としては前述のダブルベース火薬をベースに、過塩素酸カリウムを減量してグラファイトを増量するなど、組成を変更し安全性を高めたものを村田勉が新たに開発した。推進剤の点火薬としては黒色火薬が用いられた。機体の材料には太平洋戦争中航空機用として製造され富士精密工業の材料倉庫に眠っていたジュラルミン チ-201 を使用し、熱環境が厳しい先端部には真鍮やステンレスを用いている。機体の設計は垣見恒男、ノーズコーンや尾翼の設計は玉木章夫が行った。
ペンシルロケット 再現実験と顕彰・記念活動
宇宙科学研究所では2005年、原点であるペンシルロケットの実験から50周年となるのを記念して再現実験を実施した。実験は能代多目的実験場で行われた後、幕張メッセで行われたイベントで披露された。
2005年、スペースシャトルミッションSTS-114において、野口聡一宇宙飛行士によってペンシルロケットの実物が国際宇宙ステーションへと持ち込まれた。
国分寺市は、実験の一つが行われた4月12日を「国分寺ペンシルロケット記念日」として、“日本の宇宙開発発祥の地”であることをアピールする展示会などを開いている。ペンシルロケット発射実験70周年にあたる2025年には、この実験に用いられたペンシルロケットを探すキャンペーンを実施している。
2024年4月、日本航空宇宙学会により航空宇宙技術遺産に認定された。
ペンシルロケット 実機展示
2013年時点での実機の所在確認と鑑定の結果は以下を参照
吾妻山
吾妻山（あづまやま）
吾妻山 - 日本百名山の一つ。
東吾妻山 - 福島県福島市と耶麻郡猪苗代町の境にある山。
中吾妻山 - 福島県耶麻郡猪苗代町にある標高1931mの山。
西吾妻山 - 福島県耶麻郡北塩原村と山形県米沢市の境にある標高2035mの山。吾妻山の最高峰。
吾妻小富士 - 福島市にある、「種まきうさぎ」の残雪がある山。
一切経山 - 福島市と猪苗代町との境にある山。
吾妻山 (桐生市) - 群馬県桐生市にある標高481mの山。ぐんま百名山の一つ。
吾妻山 (榛東村) - 群馬県北群馬郡榛東村にある標高831mの山。
吾妻山 (神奈川県) - 神奈川県中郡二宮町にある山。
吾妻山（秦野市・伊勢原市） - 神奈川県秦野市と伊勢原市の境界線上にある山。
吾妻山 (広島県・島根県) - 広島県と島根県の境にある山。日本三百名山の一つ。
吾妻山 (庄原市) - 広島県庄原市にある標高731mの山。
康平県
康平県（こうへい-けん）は中華人民共和国遼寧省瀋陽市に位置する県。
康平県 地理
康平県は遼寧省北部、瀋陽市中心部より120kmに位置し、豊富な土地と自然資源に恵まれる。
康平県 歴史
清代まで康平地方は昌図府に属しており、1877年（光緒3年）に康家屯が設置された。1880年（光緒6年）、清朝は県の設置を決定、県治が康家屯に位置したことより康平県と命名された。
県設置当初は南は法庫門、西は蘇白地、東は遼河、北は鄭家屯までの6,100平方キロメートルの管轄範囲であったが、1902年（光緒28年）の遼源州の設置、1907年（光緒33年）の法庫撫民庁の設置により、南北地域はそれぞれ遼源及び法庫に移管され、行政管轄区域は約4,400平方キロメートルに縮小した。県設置後は人口の増加と軽工業の発達が見られ、各種工場やまた学校などが建設された。
辛亥革命により中華民国が成立すると1913年（民国2年）、康平県行政公署が設置され、知県は知事と改称され、奉天省洮昌道の管轄とされ、1923年（民国12年）の区村制の施行により、全県は8区、887村が整備された。1929年（民国18年）1月の易幟にともない国民政府の行政権が施行されると県行政公署は県政府と改称、知事も県長とされ、1931年（民国20年）には9区、55村に行政整理が行われた。民初の康平県は農業のみならず商工業での発展も見られた。
康平県 歴史
1931年（民国20年）9月18日、満洲事変が勃発すると遼寧省には日本軍が進駐、1932年（大同元年）には康平県も日本軍の実効支配をうけ、建国された満洲国において新たに設置された奉天省の管轄とされた。1934年（大同3年）には県西部が興安省に移管され行政区画は三分の一になっている。満洲国時代は県公署に日本人の参事官（後に副県長と改称）が派遣され、警察機構が強化されるなどの行政整備が進められ治安は安定、人口も増加し県内の農業は大きく発展した。
1945年（民国34年）8月、日本の敗戦に伴い満洲国も崩壊、9月には国民党書記であった崔質朴を首班とする康平県臨時党部と、地方士紳であった鄭欣、劉叙五により康平県地方治安維持会がそれぞれ設立される二重行政構造が創出されたが、10月には共産党の指揮する冀熱遼軍区特務第五団が康平に進駐、治安維持会が組織した保安隊を公安隊に改称しその実効支配を強めると国民党臨時党部は逃亡、11月下旬に邱含光、羅斌儒、呉斌による康平県民主政府（県長：邱含光）が成立、治安維持会は解散すると同時に、中国共産党康平県委員会が組織され張培華が書記に就任した。
康平県 歴史
その後の国共内戦の部隊となった康平県は1946年8月に国民党71軍により占拠、9月には国民党康平県政府が成立しているが、1947年11月には再び共産党軍（遼吉1分区主力部隊）が奪回、解放区とされた。
1949年10月、中華人民共和国が成立、翌年には康平県民主政府を康平県人民政府に改称している。その後は農業を中心とした経済政策が実施された。1958年に開始された大躍進と人民公社化運動では、同年9月に康平県人民公社が成立し急進的な経済政策が推進された結果県内の経済は疲弊、1966年に文化大革命が開始すると県内の政治的混乱は頂点に達した。
その後は1983年より農村の請負制の採用を契機とした農業中心の経済政策が推進され現在に至っている。1992年に鉄嶺市より瀋陽市に移管され、現在の行政機構が成立した。
康平県 経済
農業が主体の康平県では1人当たり5畝（ムー）の田畑を耕し、森林の面積は160万畝、材木の総括的な蓄積量は、210万立方m、休耕造林面積22万畝。しかし近年、境を接する内モンゴル自治区のカルチン高原からの風砂による被害や砂漠化の拡大により農地は荒廃し、最貧県のひとつとされ、農民の多くは出稼ぎで生計をたてている。植林による防砂、防風対策が行われている。
石炭埋蔵量6.8億t、石油埋蔵量1.8億t、天然ガス、メノウ、ホタル石、赤粘土などの鉱物資源に恵まれる。ほかに76か所の優良品質の天然鉱泉があって、ストロンチウムの含有量が2.54から3.20mgと世界的に良質な鉱石を産出する。
1955年の日本の女性史
本項目1955年の日本の女性史（1955ねんのにほんのじょせいし）では、1955年（昭和30年）の日本における女性に関するできごとを時系列的に挙げる。参考文献は日本の女性史年表を参照のこと。
本項目は歴史研究としての女性史ではなく、日本における女性に関するできごとをある体系に基づいて述べようとするものではない。
1955年の日本の女性史 1-3月
石垣綾子が雑誌『婦人公論』誌上で「主婦は本職の職業をもった上でなされる第二の職業」であると述べたことが反響を呼び、いわゆる「主婦論争」が起こった。
坂西志保は「主婦は立派な社会人」と反論、島津千利世が「家事労働は主婦の天職ではない」と論ずるなど、主婦論はジャーナリズムを賑わし、民科婦人問題部会も討論会を数回開催した。
世界母親大会代表の選出の際、岩手県の土川マツエが農村代表として候補者に挙がったが、言葉がズーズー弁であること・常にもんぺ姿なので大会にももんぺ姿で行くであろうという理由で代表選出に反対意見が強かったが、ズーズー弁で何故悪い・もんぺ姿で何故悪いと論議になり、20数時間かけた討論の末に彼女の代表選出を決定したという。インテリ出身者を中心とするいわゆる先進的な婦人運動家達の成長の過程を示すようなエピソードである。
1955年の日本の女性史 4-6月
婦人学級の全国的再編成が目的。1956年度の婦人学級数18,340、参加人員277万人。
議長団に久布白落実・小笠原貞子・櫛田ふき等。
子供を守る・婦人の生活と権利・平和をテーマとする3分科会。生活苦・失業・炭鉱地帯の窮乏・子供の教育・原爆や基地・平和の問題等、訴えや報告で3日間の会場は異常な熱気に覆われ、演壇近くのマイクを目指し発言待ちの女性たちの列がずらりとできたという。託児所も設置された。
この流れを受けて、9月30日 財団法人新生活運動協会発足、会長久留島秀三郎、理事奥むめお、山高しげり、藤田たき等。協会は「生活者である国民一人ひとりがそれぞれの生活をめぐる身近な問題について話し合い、集団の力で明るい地域社会をつくりあげる」運動であると規定。年額500万円の政府補助費を受けて、一部を主婦連・地婦連・生活改善普及会等に配布した。 
同日に開催された日本母親大会・新生活推進大会の2つの大会は、日本の婦人運動のその後の2つの流れを象徴した。
「お互いの向上をはかり、手をつないで世の中を明るくする」というのが会の趣旨で、 機関誌『草の実』を創刊。会員は東京都が中心だったが、次第に全国に広がり1958年には会員数約1,500名を数えた。毎月地域別集会が開かれ、教育・社会科学・老人問題・生活記録・詩などの研究グループも生れた。
1955年の日本の女性史 7-9月
「子供を戦争の危険から守ろう」で一致。この大会に寄せられたギリシャ女流詩人ペリディス夫人の詩の一節「生命をうみだす母親は生命をそだて、生命を守ることをのぞみます」は、以後、母親運動のスローガンとなった。
内容的には地方財政の貧しさに左右される余地のある点や幼稚園・事務職員・大学教職員が排除されている等の問題点があった。
特殊飲食店とは接客婦をおく飲食店のことで、実態は売春させる店。
この年6月頃より、西日本一帯に人工栄養児の奇病が多発。岡山県衛生部が県下で多発の人工栄養児奇病の原因は森永粉ミルクによるヒ素中毒と発表。この年、患者1万1778人、死亡113人。補償要求運動おこる。
アメリカ軍軍曹である犯人は軍事裁判で死刑判決を受けたが、その後本国送還となり、結果はうやむやとなる。
農協の婦人組織の発展に伴い、全国で統一的な考え方を確認することが必要となり、37県の代表が集り、農協婦人部の性格規定について論議された。
農協婦人部の性格5原則は「（1）農協運動を推進する組織である（2）耕作農民としての婦人組織である（3）自主的組織である（4）同志的な組織である。農村婦人を強制的網羅的に組織するのではない（5）政治的には中立である」
1955年の日本の女性史 10-12月
刺繍レースの製造・販売を主とする会社で、6月2日 女性従業員だけで労働組合を結成した。
三体石経
三体石経（さんたいせっけい）は、中国の三国時代の魏で正始年間（240年-249年）に刻まれた、五経を記した石碑。儒学では「経典」を「けいてん」と読むため、「石経」は「せっけい」と読むのが正しい。建碑年の元号により「正始石経」とも呼ばれる。
古文・篆書・隷書の3つの書体により共通のテキストが書かれていることから、俗に「中国版ロゼッタ・ストーン」といわれる。
原石は断片が5つ残されており、中国の洛陽博物館と日本の台東区立書道博物館のほか、複数の個人が所有している。
三体石経 建碑の事情
中国でいう「石経」とは、朝廷の学府（太学）において五経の定本（正規のテキスト）を石に刻み、学習用の教科書兼学府のシンボルとして建てたものである。
実はこの時点で首都洛陽の学府には、わずか70年前の後漢の熹平4年（175年）に建てられた「熹平石経」が残っており（後漢と魏は首都が同じ）、事実彫られた文献はそちらとほぼ完全に重なっている。それにもかかわらず再び彫られたのは、漢代に起こった大論争「今古文論争」の影響によるものである。
当初漢では口伝などによって伝えられた経典を隷書で起こしたテキスト（今文）が使用されていたが、後に秦代の焚書政策を逃れて隠されていた秦以前の古文で書かれたテキスト（古文）が続々と発見され、そのどちらがより正しいテキストであるかについて大論争となった。その結果、今文テキストを正統とする今文派が勝利し、古文の学問は民間で行われた。魏になると、漢という国家の後ろ盾を失った今文の学は衰え、鄭玄や王粛らの古文の学問が重んぜられるようになったが、漢代に作られた熹平石経には当然ながら今文の経しか含まれていないため、古文の経典である『古文尚書』・『春秋左氏伝』を追加して熹平石経の横に建てた。これが「三体石経」である。
三体石経 碑文と書風
碑文は上述した通り古文・篆書・隷書の3つの書体により刻まれている。刻み方はまず1字について上から古文→篆書→隷書の順に刻み、次の文字をまたその下に同じ順番で刻むという形式になっており、通して読もうとするとかなり煩雑である。断片のみが残されている状態のため、1行の字数および全体の行数は諸説あって不明である。
書風については学府の教科書という性質上、模範性が優先されている感があり、同時代の隷書碑や後代の篆書碑に比べるとあまり個性らしい個性はない。古文の部分も当時古文による書をものした学者・邯鄲淳のものと比べると劣るという。
三体石経 研究と評価
この石経は「熹平石経」ともども西晋の永嘉年間（307年-313年）に破壊され、以来行方が分からなくなっていたが、清代末から中華民国初期にかけて続々と出土し、考証学の研究に供されることになった。
研究は上述した通り書としての個性が薄いため、主に漢字研究、特に古文研究に用いられた。文字としての古文は長いこと『説文解字』に参考として収録された文字くらいしか史料がなく、詳細に不明な点が多かったため、貴重な追加史料として歓迎されたのである。このため現在でも書蹟として扱われるよりは、古文研究の史料として扱われるのが普通である。
シミュレーション天文学
シミュレーション天文学（シミュレーションてんもんがく　英：Simulation Astronomy）とは、様々な天文学的な問題を、コンピュータシミュレーションによって扱う学術分野を指す。シミュレーションの対象としては、例えば宇宙の大規模構造、銀河の衝突といった多体力学の問題や、天体物理学、あるいはビッグバンや宇宙の進化なども含まれる。これらは数値実験によって行われる計算物理学分野である。
シミュレーション天文学 意義
シミュレーションは、現実の現象を、モデルを立てて仮想的にコンピュータ上に再現することである。シミュレーション天文学の場合、モデルは物理学の基礎方程式を用いて組み立てられることが多い。シミュレーションの意義はいくつか挙げられる。特に天文学は実験が不可能だったり、観測が難しいケースも多々あるため、シミュレーション実験というアプローチしかとりえないテーマが多い。一方、シミュレーション一般に言えることであるが、観測結果と計算結果を比較することも重要な目的である。シミュレーションの結果が観測と良く一致するなら、立てたモデルの基本的考え方が妥当である事が示唆されるが、食い違う場合は、考慮に入れなかった別の機構の存在が予想されるからである。
シミュレーション天文学 シミュレーション天文学の研究例
シミュレーション天文学の代表例は、ニュートン力学に基づく重力多体問題シミュレーション（N体シミュレーション）である。例えば銀河同士の衝突、銀河や宇宙の大規模構造の形成、誕生直後の太陽系における惑星の形成といったものが挙げられる。大規模なN体シミュレーションは、計算量も膨大になり、スーパーコンピュータを利用する必要があるが、専用のハードを備えたコンピュータ(例えばGRAPE)を用いる場合もある。
この他には天体物理学の分野が挙げられる。例えば、中性子星やブラックホールに関連したシミュレーション(宇宙ジェットが天体磁場によって加速される機構や、中性子星同士の衝突など)である。また、超新星爆発、地球-月系の形成も重要なテーマである。これらは、重力相互作用だけでなく、連続体力学的な計算も必要である。また、非常に高密度な天体においては、相対論的効果が顕著に働くことも考慮する必要がある。
シミュレーション天文学 身近なシミュレーション
以上のような計算科学以外に、「シミュレーション」の用語を、教育やそれに関連したソフトウェアに用いることがある。例えば、パソコンで用いる可視化ソフト、すなわち天文シミュレーションソフトである。これらは、実際の天体観測で得られたデータ(星表データ、太陽系内天体の軌道要素)や、画像、あるいは様々な付加価値を持つデータを元に可視化を行うソフトである。このようなシミュレータがオンライン上で提供されることもある。こういった可視化という意味でのシミュレーションに、博物館の展示物、あるいはプラネタリウムなどの機器などを含めることもできる。
利光松男
利光 松男（としみつ まつお、1923年11月23日 - 2004年11月8日）は、日本の実業家。東京都出身。日本航空株式会社元名誉顧問・相談役・代表取締役社長。一般社団法人日本航空協会元会長。公益財団法人日本棋院元理事長。勲二等旭日重光章受章。日本国際ツーリズム殿堂入り。
利光松男 青年時代
遠藤周作との深く長い親交で知られる。貧乏時代の遠藤が住む家を無くしていた際、利光が遠藤の生活を世話した。
利光松男 晩年・死去
1999年、自宅に銃弾が打ち込まれる。以降、総会屋・暴力団などの反社会的勢力とJALの決別の推進への報復を警戒し、2004年10月まで利光家は24時間体制で警察の警備を受けた。
2004年、警察の警備が解除されて約1か月後、利光は首をつった状態で発見された。
原田潤
原田 潤（はらだ じゅん、1969年4月18日 - ）は、日本の歌手、子役である。
原田潤 来歴・人物
平尾昌晃ミュージックスクール出身。一宮市立富士小学校、一宮市立北部中学校卒業。小学校時、親の離婚により清姓となり、清潤となる。
子役としての活動のほか、歌手としても活躍した。
その後、芸能界を引退したが、TV番組『あの人は今!?』で引退後の消息が取り上げられた。高校中退後、様々な職を経て名古屋市内の居酒屋「はら田さんち」で働きつつ芸能界復帰を目指してトレーニングを続けていたが、「はら田さんち」は経営不振のため、2010年夏に倒産した。
また、2008年5月18日にラゾーナ川崎PLAZAルーファ広場グランドステージで開催された水谷豊『TIME CAPSULE』発売記念イベントでは、観客として招待を受けたことが一部の芸能ニュースで報じられた。
2013年現在、名古屋市に在住。2014年現在、運送会社に勤めている。
上品蓮台寺
上品蓮台寺（じょうぼんれんだいじ）は、京都市北区紫野十二坊町（蓮台野の附近）にある真言宗智山派の寺院。山号は蓮華金宝山。院号は九品三昧院。本尊は延命地蔵菩薩。
上品蓮台寺 歴史
寺伝によれば、聖徳太子が母の菩提寺として建立し、宇多法皇が中興したという（『山州名跡志』）。
天徳4年（960年）9月9日付の蓮台寺供養願文（『本朝文集』所収）に、東寺長者寛空が北山に一堂を建立し、亡き父母の供養をしたとあり、『日本紀略』同日条にも同様の記載があるが、これが上品蓮台寺の実質的な創建を伝えるものと推測される。当寺は一名香隆寺とも呼ばれたが、これは寛空が隣接する香隆寺（後に上品蓮台寺に合併）を兼帯していたためである。寛空は宇多法皇の弟子にあたり、大覚寺で法皇から灌頂を受けている。宇多法皇の孫（敦実親王の子）にあたる寛朝僧正も当寺の住持になっている。
嵯峨清凉寺の本尊で、「三国伝来の霊像」として広く信仰を集めてきた釈迦如来像は、一時期、上品蓮台寺に安置されていた。『扶桑略記』によれば、寛和3年（永延元年・987年）に奝然が同釈迦像を宋から日本へ請来した際、一時この寺に安置し、後に清涼寺に移したという。
上品蓮台寺 歴史
寺は応仁の乱で焼けたが、文禄年間（1592 – 1596年）、豊臣秀吉の援助のもと、紀州根来寺の性盛によって復興された。
現在の境内は千本通りの西側に位置するが、かつては、千本通りを挟んで塔頭が12院あったことから「十二坊」とも称され、これが町名（紫野十二坊町）の由来となっている。境内には仏師定朝墓があり、境内北側の真言院には源頼光の蜘蛛退治にまつわる頼光塚がある。
当寺は大正時代まで、智山化主の隠居寺院として知られていた。
上品蓮台寺 文化財
紙本著色絵因果経 - 奈良時代の作品。釈迦の前世と現世の物語を説く『過去現在因果経』という経典を絵解きしたもの。巻子本の下半分に経文を書写し、上半分に経文の内容を表す絵を描く。『過去現在因果経』は全4巻の経典だが、「絵因果経」は各巻を上下2巻に分けた全8巻から成り、上品蓮台寺本はそのうちの巻第二上のみが残ったものである。本巻は完本ではなく巻末部分を欠いており、当該部分は断簡として奈良国立博物館などに所蔵されている。奈良時代の「絵因果経」の遺品は東京芸術大学、醍醐寺、出光美術館にも所蔵されるが、これらは一具のものではなく、別々に制作された「絵因果経」の一部が残ったものである。数少ない奈良時代絵画の遺品として貴重である。京都国立博物館に寄託。
焼峰山
焼峰山（やきみねやま）は、新潟県新発田市にある山である。標高は1,085.8m。
登山道は西側の新発田市滝谷地区及び南側の加治川治水ダムからのルートがある。山頂からは飯豊連峰や河内山塊、日本海、内ノ倉湖などへの展望が開けている。 優れた展望とアルペン的な岩稜のスリルを兼ね備えた山である。
焼峰山 概要
飯豊連峰のほぼ中央、門内岳から西南西に起伏を繰り返して延びる尾根の末端にあるピークである。新発田市街から眺めると、平凡な尾根上のささやかな突起に過ぎないが、山麓に近づくにつれて盛り上がりを見せ、独立峰と見まがう山容を見せる。
山名については「ヤケミネヤマ」という呼び方もある。また、古くは「トウダイサン」という名称も見られる。麓からは印象の強い山であるが、古誌にその名の記載は極めて少なく、祭祀施設も存在していない。
かつて国鉄赤谷線が運行していたときは、「駅から登れる山」として、終点の東赤谷駅は週末の登山客でにぎわいを見せた。赤谷線廃止後は登山客も減少し、訪れる者は少ない。
焼峰山 登山道
国土地理院2万5千分の1地形図「上赤谷」「東赤谷」には、計3本の登山道が描かれている。このうち、東麓にある滝谷集落からの滝谷尾根ルートがメインの登山道である。南方の加治川治水ダムから登る松ノ木尾根ルートは経験者向き。この2ルートはどちらも十分日帰りが可能である。また、北西の内ノ倉ダムからの道は廃道化しており、通行は危険。南面の沢は、沢登りも楽しまれている。
滝谷集落の外れより深い杉木立の中の林道を行く。車の場合、登山口を過ぎた先に数か所の駐車場がある。登山口からは、淡々と樹林の中を登っていく。小一時間でウグイス平と呼ばれる鞍部に出ると、ようやく前方の視界が開ける。木立越しに、端正な円錐形の山頂を望むことができる。
ここからは一転急登となる。鎖やロープもかかるが、足場が不十分なので、特に下りは注意が必要である。やがて痩せた岩稜に達すると、左右の展望が一気に広がる。右下にはウジノ沢が荒々しい岩肌を見せ、足下は深く切れ落ちてスリル満点である。
焼峰山 登山道
岩稜を過ぎると東側の巻き道となり、程なく清水釜に至る。盛夏でも枯れることなく清冽な冷たい水が湧き、汗をかいた体に心地よい。
更に巻き道を進むと再び稜線に戻り、小ピークに達する。ここは修蔵峰（次項参照）と呼ばれており、慰霊碑が建っている。正面には山頂がピラミッドのように聳えている。ここからは北側の巻き道をしばらく進み、直下の急登を詰めて山頂に達する。山頂からは360°の展望が広がり、ここまでの疲れを忘れる。円錐形に見えた山頂は意外に細長い。東方には「焼峰の頭」と呼ばれるピークがあり、一段と飯豊連峰の展望に優れるので、ぜひ足を運びたい。
焼峰山の南方を流れる飯豊川（加治川）は屈指の急流であり、流路に大小の沢筋を刻んでいる。焼峰山周辺では、南面のウジノ沢と袖ノ沢が好ルートである。小滝、ゴルジュを交えて、短いながらも変化に富む渓相が魅力である。詰めはスラブ状の急峻な岩場で、猛烈なブッシュにてこずる。また、夏場はメジロ（アブ）の大軍に悩まされる。
焼峰山 修蔵峰
1957年（昭和32年）12月30日、新潟県立新発田高等学校山岳部の冬山合宿の折りに、風雪の中で若き命を閉じることとなった本田修蔵部員にちなむ。本田部員を悼み、 同校山岳部及び滝谷集落村民の手により、この地に慰霊碑が建立された。初代の慰霊碑は遭難の翌年に建てられたが、長年の風雨で傷みが増したため、2007年（平成19年）に同校山岳部OBにより、全面的な改修工事が行われた。
真家瑠美子
真家 瑠美子（まや るみこ、1980年8月27日 - ）は、日本の女優である。東京都出身。特技はジャズダンスで、趣味は演劇鑑賞である。法政大学国際文化学部卒業（鈴木晶ゼミ1期生）。
富士見高等学校の演劇部に在籍していた関係で北区つかこうへい劇団に客演で出演していた。新国立劇場の開場記念シリーズとなる『リア王』に10代でメインキャストに抜擢される。
乾崇夫
乾 崇夫（いぬい たかお、1920年1月16日 - 2012年9月13日）は、日本の工学者（造船学・船型学）。学位は工学博士（東京大学・1958年）。東京大学名誉教授、日本学士院会員、文化功労者。
乾崇夫 来歴
東京府出身。旧制第一高等学校、東京帝国大学工学部船舶工学科卒業。船体の造波抵抗、流れの可視化、数値解析、球状船首の研究などを行い、1958年東京大学から工学博士号取得。論文は「船体の造波抵抗に関する研究」。 1958年東京大学工学部教授、1980年定年退官、玉川大学教授、1988年文化功労者となる。日本学士院会員。2012年9月13日、肺炎により東京都内の病院で死去した。92歳没。
造船学や船型学を専門としており、波の重要性に着目し波紋解析的船型試験法を開発した。また、「バルブによる波なし船型」の理論を確立した。東京大学、玉川大学にて教鞭を執り、後進の育成に努めた。2012年9月13日没。
権現岳
権現岳（ごんげんだけ）
権現岳は、日本各地にみられる山名。権現とは、本地垂迹思想において、日本のカミガミは、インド起源のほとけが、仮の姿(権現）として現れたものだ、と説明されたことに由来する言葉である。権現岳という山名は、山中に権現が祀られていることに由来するものが多いと考えられる。たとえば新潟県糸魚川市の権現岳には、白山権現が祀られている。
碧川道夫
碧川 道夫（みどりかわ みちお、明治36年（1903年）2月25日 - 平成10年（1998年）3月13日）は日本の映画カメラマン。日本の映画色彩技術の草分け的存在である。多くの名作映画の撮影を担当し、『地獄門』で1954年度文部省芸術祭文部大臣賞。
詩人の三木露風は異父兄、映画監督の内田吐夢は義弟（妹の夫）。
碧川道夫 経歴
北海道小樽市に碧川企救男、かたの長男として生まれた。父企救男は『小樽新聞』社会部長、論説記者。
1919年上智大学中退。松竹蒲田撮影所に入社、水谷文二郎とヘンリー・小谷に就く。1926年に日活へ転じ、京都撮影所にて劇映画の傍ら、京都大学の協力を得て医学その他の学術映画を撮影する。1941年日本映画社技術長となり、次いで撮影者養成所長に就任。
1952年渡米し色彩技術を研究、翌年『地獄門』の色彩技術監督に当たり、1954年度文部省芸術祭文部大臣賞を受く。1963年に内田監督、カメラマンの宮島義勇とともに「碧川映画科学研究室」を開設。同年から1968年まで日本大学芸術学部で講義した。
1998年死去。墓所は東京都杉並区永福の築地本願寺和田堀廟所。
碧川道夫 系譜
碧川家
碧川家は、宝永年間（1704年 - 1710年）の初代武左衛門から始まる。伊勢（三重県）の人で新谷藩の中小姓であった。碧川家の家紋は「沢瀉（おもだか）」である。碧川家の四代が、新谷藩主加藤大蔵少輔の家来であった碧川衛門八良正で、その長子が弘良である。文政5年（1822年）、正式に入門が許され平田学を学んだ。
平田篤胤の男子が早世したあと、文政7年（1824年）1月15日、請われて篤胤の娘おてうと結婚し平田家を継ぐことになる。“平田銕胤”を名乗った。弟の好尚（よしひさ）も文政5年（1822年）に入門し、気吹舎に学ぶこととなる。
碧川家の弘良が平田家に入った結果、その弟碧川操之助好尚が碧川家を継いだ。彼も兄と共に平田国学を学んだ。碧川家五代である。しかし、好尚には男子がいなかったので、廃絶をおそれて碧川家存続のために、末期養子を迎える相談をした。そしてその養子が、泉州伯太藩士小玉官次郎雄庸の三男羊五郎であった。ときに15歳であった。彼こそが後の碧川真澄である。真澄は好尚の娘みねと結婚した。
日本空手道松濤會
特定非営利活動法人日本空手道松濤會（にほんからてどうしょうとうかい）は、日本の空手団体。流派は松濤館流（しょうとうかんりゅう）。
日本空手道松濤會 概要
1939年（昭和14年）1月、船越義珍を中心とした有志一同により松濤館という雅号の道場が豊島区目白雑司ヶ谷に創建されたが、戦災により焼失した。
1948年（昭和23年）、船越の門弟達が中心となって日本空手協会が結成、船越はその初代最高師範に就任した。
1955年（昭和30年）、日本空手協会本部道場が完成、その開所式に船越は出席した。しかし、協会から独立した廣西元信ら松濤会所属の門弟達に遠慮して、中立な立場でいたいと考えた船越は、この道場にはその後出向かなかったと言われている。
戦後、このような流れの中、空手が競技化されるなどスポーツへの道を進む中で、船越義珍の長男である船越義英は、父・義珍が死去した後、船越義珍の遺訓（「型に忠実であれ、空手に試合はないのだ」）を守るべく、日本空手道松濤會第二代会長に就任した。
日本空手道松濤會 概要
松濤會第二代会長の船越義英逝去の後、江上茂と当時松濤會理事長に就いた廣西元信は松濤館再建に着手し、
1976年（昭和51年）1月に港区芝浦に日本空手道松濤會本部道場松濤館を再建した。松濤會館長には江上茂が就任した。
1995年（平成7年）に高木丈太郎が松濤館館長に就任以来、館長稽古と銘打って有段者を対象に稽古する機会を作った。
2003年（平成15年）8月に墨田区菊川に松濤館が移転した。
2016年（平成28年）3月、髙木丈太郎館長が逝去（享年88歳）。
2016年（平成28年）7月、松濤館館長に瀧田良徳、松濤會理事長に中尾秀光が就任した。
所属している大学の主要校としては、中央大学、専修大学、学習院大学、成城大学等がある。
日本空手道松濤會 信条
「型に忠実であれ、空手に試合はないのだ」という船越義珍の遺訓を遵守し、「型」稽古を重視した稽古体系を守っている。
天文シミュレーションソフト
天文シミュレーションソフト（てんもんシミュレーションソフト）とは、コンピュータのデスクトップ上に再現されたプラネタリウムのこと。
天文シミュレーションソフト 概要
最初の天文シミュレーションソフトは何であるのかについては諸説ある。初期の天文シミュレーションソフトは、ケプラーの法則に基づき、ニュートンの方程式によって計算を行い、惑星間や地球 - 月間を航行する宇宙探査機の軌道を描いたり、惑星の軌道を計算することで、ある日の太陽系を北極側（もしくは南極側）から観察できるソフトウエアのようなものであったとする説がある。
その後、パーソナルコンピュータに搭載できるメモリが大幅に増えたことや2次記憶装置（フロッピーディスクやハードディスク）がパーソナルコンピュータ用に販売され、大幅にプログラムにデータを取り込めることになったことによって、星表データや銀河データ（NGCなど）が組み込まれ、プラネタリウム設備に匹敵する恒星を描けるようになった。
天文シミュレーションソフト 概要
しかしながら弱点は、プラネタリウム設備ならば大型のスクリーンに投影できるため、大幅に恒星数を増やしても全てが投影できるのに対して、パーソナルコンピュータ上のデスクトップでは、そのパーソナルコンピュータに取り付けられたモニターの解像度に制限を受ける点である。そのため、天体観測地などにおいて観測対象を確認したりするなどの用途では、天文シミュレーションソフトがポータブルに活用できるため利便性が高く、それに対してプラネタリウム設備は、天体現象の分かりやすい解説などによって多くの観客に体験型の教育を行うのに適している。
指定した日時の星空を呼び出せることから、創作において星空を描写する参考としての利用もある。
天文シミュレーションソフト 天文シミュレーションソフトの例
以下には、日本国内で知られている天文シミュレーションソフトの代表例を掲載する。
他にも、フリーソフトやシェアウェアの形で配布されているものがあり、これらは専門雑誌やフリーソフトのダウンロードサイト、インターネット検索により入手可能となっている。
有名メーカーの天体望遠鏡との連動で知られる天文シミュレーションソフト。このソフトウェアから派生する形で、アストロアーツでは、簡易型の天文シミュレーションソフトが開発されている。例えば、各年毎の天文現象を解説したソフトウェアなどである。
データの信頼性から、全世界で100万本が愛用されている天文シミュレーションソフト。基本データは、SAO（スミソニアン天体物理観測所）のものを使用。プロフェッショナル版とアマチュア版がある。日本語版は、Windows 98以降対応。
天文シミュレーションソフト 天文シミュレーションソフトの例
以前は、日本語版があり、日本語版開発者が代理店だったというソフト。マッキントッシュユーザには、数少ない貴重な天文シミュレーションソフトだった時代もある。
なお、4D2Uは、国立天文台内のプロジェクトの名称であり、2007年10月現在、一般へ配布しているプロダクト（プログラム）の名称は、"Musashi"、"Mitaka"、"Zindaiji"である。"Musashi"が3次元デジタルシアター向け、"Mitaka"がパーソナル向け、"Zindaiji"が重力多体問題シミュレーションの表示である。
4D2Uの項目にあるように、常設のデジタルシアターや高性能WindowsPCで閲覧が可能である。
代表的なソフトウエアとして以下があげられる。
俎倉山
俎倉山（まないたくらやま）は、新潟県新発田市と東蒲原郡阿賀町との境にある山である。｢爼倉山｣と表記される場合が多い。｢まないたぐらやま｣と読まれることもある。標高は856.6m。
登山道は鳥越林道入口から始まり、岩場である「琴沢」の渡りと「七曲の急登」を経て、その後は「まないた」という名の通り、比較的平坦な林道が続く。「お京平」を越えると、山頂までは急勾配の道となる。
山頂は双耳峰の形をとり、北側のピークは「天狗の庭」と称され、飯豊連峰や蒜場山などの眺望が開けている。
五壇法
五壇法（ごだんほう）は、仏教の中でも特に密教で行われる修法の一つ。
密教修法の中で五大明王（不動明王・降三世明王・大威徳明王・軍荼利明王・金剛夜叉明王）を個別に安置して国家安穏を祈願する修法のことである。
Mark 7 (核爆弾)
Mark 7（マーク7）とは、アメリカ合衆国が開発した最初の戦術核兵器である。弾頭部はW7とも呼称され、多目的戦術核兵器として開発され爆弾としてだけでなくミサイルなどの核弾頭としても使用された。また、トールとの通称もあった。
LABS（Low-Altitude Bombing System、高速度からのズーム上昇中に爆弾をリリースして「投げ上げて爆撃する」（トス爆撃）ことにより離脱時間を確保することなどを軸とした、低高度侵入と核爆撃後の生存を成立させる攻撃法）が検討された最初の兵器でもある。Mark 7は1951年に行われた核実験であるバスター・ジャングル作戦(Operation Buster-Jangle)において、実弾頭の試験が行われている。
戦闘爆撃機にも搭載できるほど小型軽量であり、機外搭載用に流線形で安定翼のついた形状となっている。核分裂兵器であり、92分割の爆縮レンズを用いたインプロージョン方式を採用している。核出力はサブタイプによって異なり、8 kt (mod 0) から 61 kt (mod 9) まであった。サイズは直径30.5インチ、長さ183インチ、重量1,645ポンドから1,700ポンド。信管は着発または空中爆発であり、W7には水圧信管も用意された。
Mark 7 (核爆弾)
Mark 7は1,700‐1,800発が作られ、1952年から1967年まで配備された。
2016年2月19日、ジョージ・ワシントン大学の研究所は、沖縄・嘉手納基地に核兵器が配備されていたことについて、機密指定が解除されたとして写真を公表した。そのなかには、1962年10月に撮影されたとされるMark 7の写真が含まれていた。
OKAZAKI MODELS
OKAZAKI MODELS（オカザキモデルズ）は、日本東京都港区南青山にあるモデルエージェンシー。商号は、有限会社岡崎事務所。
往生院 (東大阪市)
往生院（おうじょういん）は、大阪府東大阪市六万寺町にある臨済宗系単立の寺院。山号は岩瀧山。本尊は阿弥陀如来。寺号は六萬寺（ろくまんじ）である。
往生院 (東大阪市) 歴史
この地はそもそも6世紀末頃に建てられて、百済から帰国した善信尼が入寺したという桜井寺（大和国桜井寺（現・明日香村豊浦か）の説もある）があった場所である。また、文武天皇の時代には役小角が裏山である岩瀧山を修行の地としていたとする。
寺伝によると、その桜井寺の跡地に、聖武天皇の勅願によって行基が天平17年（745年）に薬師如来を本尊とする寺院・六萬寺を創建したと伝えられる。封境70戸・寺田百畝を天皇より寄進されたという。
だが、その後は次第に衰微していき、宇多天皇の勅願によって伽藍の修復、修理が行われて食邑30余町の寄進を受けて復興する。しかし、天慶年間（938年 - 947年）に伽藍が焼失してまたも衰退する。
長暦3年（1039年）、念仏聖であった安助上人によって再興され、往生院と称されるようになった。往生院は摂津国四天王寺の真東に当たっており、極楽浄土の入り口と考えられていた四天王寺西門のさらに西に沈む夕陽を拝する日想観を修する道場として栄えた。
往生院 (東大阪市) 歴史
南北朝時代、まだ幼少だった楠木正行が往生院で武芸を学んでいる。しかし、正平3年（1348年）には四條畷の戦いにおいて南朝方の武将となっていたその楠木正行がここに本陣を置いたため、戦いに巻き込まれて焼失した。正行ゆかりの地ということで正行の胴体は黙庵周諭によって焼けた往生院に葬られ、墓が作られている。また、正行の首は京都市右京区にある宝筐院にこれも黙庵によって葬られている。
創作ではあるが、室町時代の説話文学『吉野拾遺』によれば、赤松光範家臣宇野六郎の息子の熊王が、父の敵討ちのため楠木正儀を殺害しようとするも、正儀の恩情の深さに敵討ちを諦めて出家。正儀から授かった正寛（まさひろ）の名をそのまま使用して正寛（しょうかん）と号し、当寺院の僧になったという（楠木正儀#熊王の敵討ち）。
承応3年（1654年）に関白鷹司信房によって復興し、楠木正成・正行父子の供養塔が建立され、幕府から寺領170石が寄進された。しかし、明治時代になって四條畷神社創立の話が出ると、正行ゆかりの往生院の地に四條畷神社が作られる可能性が高まった。そのため、寺域の強制的買収を恐れた往生院は自ら二石の供養塔を隠蔽、また古文献をも処分し、往生院は自らの手で破壊された。
四條畷神社が別の地に建てられた後の1893年（明治26年）、鷹司家が復興を試みるも進展せず、蓮海上人が復興を発願するもやはり進展しなかった。しかし、太平洋戦争後の1953年（昭和28年）より、しばらくして立誡和尚により復興された。
ブロック島 (ロードアイランド州)
ブロック島（ブロックとう、Block Island）は、アメリカ合衆国ロードアイランド州の沖合約13kmの大西洋上にある島である。島全体がニューショアハム町となっている。ワシントン郡に属する。アメリカ国勢調査局による2000年の国勢調査では、人口が1,010人、面積は約25km²である。この島は、氷期にターミナルモレーンとして形成されたものである。
自然管理委員会 (The Nature Conservancy) は、西半球における12か所の「Last Great Places」の一つにブロック島を指定した。島の約20%が、保護区として確保されている。
ブロック島 (ロードアイランド州) 出典
座標: 北緯41度11分 西経71度35分﻿ / ﻿北緯41.183度 西経71.583度﻿ / 41.183; -71.583
おまかせ!山田商会
『おまかせ!山田商会』（おまかせ やまだしょうかい）は、1993年4月23日から1996年3月15日までテレビ東京系列局で放送されていたテレビ東京製作のバラエティ番組である。放送時間は毎週金曜 19時00分 - 19時54分（日本標準時）。
おまかせ!山田商会 概要
山田邦子が司会を務めていた番組で、出演芸能人たちが様々な日雇いバイトを体験しては報酬を得ていた。そしてその報酬を貯金していき、額がある程度貯まったら「世のため人のため」に使うという企画をメインに据えていた。しかし、放送が進むにつれて様々なサブコーナーが誕生し、最終的には1コーナーのみとなった。
サブコーナーには、伊集院光が様々な新ビジネスを提案・実験してみるコーナーや、ドッジボール対決企画、町おこし企画などがあった。宇都宮市が餃子の街として有名になったのは、この番組の町おこし企画がきっかけとなっている。餃子像も同企画で作られたものである。
なお、貯金をする時にはお金を専用の貯金箱に入れた後、山田の「せーの」の合図で2回手を叩くのが恒例になっていた。そして山田が「○○さんありがとう」と言った後に音楽が流れ、その時点における貯金額が発表された。
番組は1996年3月15日放送分をもって3年間の放送に幕を閉じた。神奈川県横浜市にある放送ライブラリーには、番組初回の記録映像が保存されている。
ハンテッド
『ハンテッド』 (The Hunted) という題名の作品には以下のものがある。
カット除去定理
カット除去定理（カットじょきょていり、英: Cut-elimination theorem）は、シークエント計算の手法の重要性を示す、数理論理学の主要な結果のひとつである。（数理論理学の）基本定理と呼ぶこともある。ゲルハルト・ゲンツェンが1934年に書いた記念碑的論文 "Investigations into Logical Deduction" で、古典論理と直観論理の体系をそれぞれ形式化したシークエント計算の形式的体系 LK 及び LJ において、最初に証明が与えられた。カット除去定理は、シークエント計算の推論規則であるカット規則を用いて証明可能な式には、カット規則を用いない証明図もまた必ず存在することを示したものである。
カット除去定理 シークエント
シークエントは複数の文からなる論理表現であり、
という形式をとる。これは、直観的には
という意味に理解することができる（ここで左辺が論理積で、右辺は論理和であることに注意されたい）。前提である左辺は任意個の論理式からなり、左辺が空のシークエントが証明できた場合、その右辺は無前提に主張可能なトートロジーだということになる。逆に、結論である右辺が空となるなら、左辺は矛盾していると言える。LK（古典論理）では、右辺もまた任意個の論理式からなるが、LJ（直観論理）では、右辺には多くとも一つの文しか置くことが許されない。右辺に複数の論理式を置けることと、右縮約規則があるときに排中律が成り立つこととは等価である。ただし、シークエント計算は非常に表現能力が高く、右辺に多数の論理式のある直観論理のシークエント計算も存在する。Jean-Yves Girard の論理体系 LC においては、右辺に高々一個の論理式しか持たない古典論理の自然な定式化も容易に得られている。ここで鍵となるのは、論理的な推論規則と構造に関する推論規則との相互作用である。
カット除去定理 カット規則
「カット規則」とは、シークエント計算の一般的な推論規則であり、次のような形式で表現される。
と
とが、ともに成立しているとき、次を導出できる。
すなわち、ここでは論理式 C が帰結からカットされている。
カット除去定理 カット除去定理
カット除去定理は、ある論理体系でカット規則を使って証明可能なシークエントは、この規則を使わずとも証明可能であることを示したものである。そのシークエントが定理であるとき、カット除去定理は、単に、その証明の過程で使われた補題 C をインライン化できることを示している。すなわち、定理の証明が補題 C を使っている場合、その箇所を全て C の証明に置き換えることで、新しい完全な証明図を与えることができるということである。従って、カット規則は許容できる規則 (admissible rule) である。
シークエント計算で形式化される体系では、カット規則を使わない証明を「解析的証明; analytic proof」と呼ぶ。そのような証明は必ず長くなるというわけではないが、一般的には長くなる。George Boolos の論文 "Don't Eliminate Cut!" では、カット規則を使えば1ページで表せる証明（導出）があったとき、その解析的証明が完了するまでに宇宙の寿命より長くなる例が示されている。
カット除去定理 カット除去定理
この定理を応用して、様々な派生的結果を示すことができる。
カット除去定理の成立する論理体系では、矛盾命題（空のシークエント）を証明することができない。いま、ある論理体系でカット除去定理が成り立っていると仮定する。このとき、その体系で矛盾命題の証明が可能である（矛盾命題に証明図が存在する）と仮定すると、その証明図と同一の帰結をもたらす証明図で、カット規則を用いないような証明図もまた存在している筈である。しかし、そのような証明図が構成可能でないことは、推論規則をチェックしてゆけば、一般に容易に確認できる（その確認を困難にするのがカット規則なのであり、カット除去定理がその除去できることを保証する）。従って、ある論理体系でカット除去定理を示すことができれば、その体系の無矛盾性をもただちに導くことができる。
カット除去定理 カット除去定理
通常、カット除去定理の成立する論理体系では、少なくとも一階述語論理までの体系であるならば、部分論理式性 (subformula property) も成り立つ。これは、証明図中に登場する全ての論理式が、帰結となる論理式の部分論理式になっているという性質である。証明にカット規則が用いられている場合は、その証明図からカットを除去した証明図が、この性質をみたしている。このことは、証明論に基づく意味論への幾つかのアプローチにおいて重要な役割を果たす。また、古典命題計算の体系では、部分論理式性は真偽を検証する必要のある論理式の数を有限個に限定し、このことから古典命題計算の決定可能性を導くこともできる。
カット除去は、クレイグの補間定理を証明する際に強力な道具となる。Prolog というプログラミング言語を考案する元となった導出に基づいた証明探索手法の可能性は、適切な論理体系におけるカット規則の許容性 (admissibility) に依存している。カリー・ハワード同型対応を使った高階ラムダ計算に基づく証明体系では、カット除去アルゴリズムは強い推論属性に対応している（全ての証明項には正規形があり、その正規形には任意の推論の完全なシーケンスから到達可能である）。
蒜場山
蒜場山（ひるばさん）は、新潟県新発田市と東蒲原郡阿賀町との境にあり山頂が新発田市側にある山である。山名は、ひるばやまと読むこともある。標高は1,363.0m、標高差は1,063mである。甲信越百名山、越後百山にそれぞれ選ばれている。
蒜場山 登山道
新潟県道335号滝谷上赤谷線で加治川沿いに遡り、加治川治水ダムを渡っていくと登山口がある。1997年に下越山岳会が登山道を整備した。岩岳(932m)から先には急な岩場・痩せ尾根が連続する箇所があり初心者には不向きだが、山頂からの展望は良く、飯豊連峰の好展望台である。
また道中には、かつての赤谷鉱山開発の名残であるレールやトロッコ等の遺構を見かけることもできる。コースタイムは登り約5時間。
ロベルト・バローニオ
ロベルト・バローニオ（Roberto Baronio, 1977年12月11日 - ）は、イタリア・マネルビオ出身の元同国代表サッカー選手、現サッカー指導者。現役時代のポジションはMF（セントラルミッドフィールダー）。
ロベルト・バローニオ 経歴
ポジションは中盤で運動量は少ないながらもパス精度の高さが特徴で、若くから将来を嘱望されていた。ブレシア・カルチョにてプロデビューを飾り、その才能に注目したSSラツィオへ移籍。しかし、当時の監督ズデネク・ゼーマンに認められず出場機会を失い、レンタル移籍を繰り返した。
1999-00シーズンはローン先のレッジーナ・カルチョにてアンドレア・ピルロと共に活躍。2001-02シーズンはACFフィオレンティーナで、翌シーズンはペルージャ・カルチョでプレーした。2003年から2005年まではACキエーヴォ・ヴェローナにてクラブの躍進を支えた。この活躍を評価され、イタリア代表デビューも果たしている。
2005年にラツィオに復帰したが出場機会に恵まれず、ウディネーゼ・カルチョ、ブレシアにレンタル移籍。2009-10シーズン、クリスティアン・レデスマがクラブ首脳陣と対立して出場を禁止されたこともあり、先発出場の機会を増やした。
2010-11シーズンはレガ・プロのアトレティコ・ローマFCでプレーした。
ロベルト・バローニオ 代表歴
2005年6月11日にイーストラザフォードで行われた親善試合・エクアドル戦にて、後半よりダリオ・ダイネッリに代わりピッチに立ち代表デビューとなった。
ロベルト・バローニオ 指導歴
イタリア代表の各世代において指導者としての経験を積む。2017-18シーズンは古巣ブレシア・カルチョのプリマヴェーラで指揮を執った。翌シーズンよりSSCナポリのプリマヴェーラに招聘された。
ロベルト・バローニオ タイトル
ブレシア
ラツィオ
イタリア U-21
イタリア U-23
松尾寺 (米原市)
松尾寺（まつおじ）は、滋賀県米原市上丹生にある天台宗の寺院。山号は普門山。院号は定光院。本尊は聖観音・十一面観音菩薩で、近江西国三十三箇所観音霊場第13番札所。また、この観音像は、雲の中から現れたとされることから「飛行観音」とも称される。
松尾寺 (米原市) 歴史
この寺の創建年代については不詳であるが、天武天皇9年（680年）に役行者が修行し、平安時代の元慶年間（887-885年）、松尾童子が寺を復興したと伝えられる。当初は法相宗に属する寺院であったが、その後天台宗に改宗された。
ガビ・ムディンガイ
ガビ・ムディンガイ（Gaby Mudingayi, 1981年10月1日 - ）はザイール（現コンゴ民主共和国）・キンシャサ出身の元ベルギー代表サッカー選手。ポジションはミッドフィールダー。
ガビ・ムディンガイ 経歴
1998年、17歳でベルギーに渡り下部リーグのロイヤル・ユニオン・サン＝ジロワーズに入団。2000年にジュピラーリーグのKAAヘントに移籍すると4シーズンで63試合に出場した。
2004年1月31日に当時セリエBのトリノFCに加入し、翌2004-2005シーズンはチームのセリエA昇格に貢献した。
トリノの破産に伴い、2005年7月1日にSSラツィオに移籍。当初は怪我に悩まされるが、2年目の2005－06シーズンにデリオ・ロッシ監督が就任すると定位置を確保。しかし、2006年4月22日のユヴェントスFC戦ではファビオ・カンナバーロのタックルにより右脛骨骨折の重傷を負い残りのシーズンを欠場した。怪我からの復帰となった翌2006-07シーズンはリーグ戦27試合でプレーし、チャンピオンズリーグにも予選を含め7試合に出場した。
2008年7月17日、ボローニャFCへ移籍。中盤の大黒柱として活躍し、在籍4シーズンで125試合出場で2得点の成績を残した。