hotchpotch/wikipedia-multilingual-ir-pairs huggingface dataset:
横田みさを 生涯
京都市出身。同志社高等女学校（現在の同志社女子中学校・高等学校）に学ぶ。横田在学中の同志社高女は、団体優勝を重ねる水泳の強豪校であった。もっとも学校にはプールがなかったため、スイミングクラブである大日本武徳会遊泳部（のちの京都踏水会）に属し、夷川ダム（琵琶湖疏水）で練習を重ねていたという。高女1年生の1929年、京都市八瀬で行われた第3回女子中等学校競泳大会での団体優勝に貢献。また、1929年・1930年と日本選手権水泳競技大会の100m背泳ぎで2連覇を達成。
1931年、第5回女子中等学校競泳大会において、100m背泳ぎの日本記録を更新（1分29秒4）。1932年、同志社高等女学校4年生（15歳）の時、ロサンゼルスオリンピックの日本代表選手に選ばれた。同志社出身者として初のオリンピック選手の一人である。同じリレーに出場する荒田雪江も京都の高等女学校生徒（市立二条高女）であった。
オリンピックでは100m背泳ぎと4×100ｍ自由形リレーに出場。100m背泳ぎの予選で1分25秒1の日本記録を出すもの、着順は5位で決勝進出はならなかった。4×100mリレー（小島一枝・横田みさを・守岡初子・荒田雪江）では5位入賞を果たした。
横田みさを 生涯
1933年、高女卒業を待たずに、松竹少女歌劇団に入団。「女子水泳の花形選手」の芸能界への転身は世間を驚かせ、新聞に大きく取り上げられた。当時の新聞取材に兄が答えたところによれば、競技の道を選ぶか芸能の道を選ぶかで相当の悩みがあったという。その後に宝塚少女歌劇団に宝塚歌劇団23期生として入団して、「水尾みさを」の芸名で娘役として活動した。同期生に美空暁子（退団後は南美江）、初霜菊子（退団後は岸井あや子）や三代あずさらがいる。
なお、横田の宝塚入団に際し、1933年（昭和8年）8月15日に浜寺水練学校（大阪府）が宝塚に当時存在した50mプールで水上ページェント「楽水群像」（前年に一般公開が始まった、日本におけるアーティスティックスイミング（シンクロナイズドスイミング）導入の先駆とも評される群舞）を行った。
宝塚退団後は映画女優に転身、芸名を本名に戻した。映画デビュー作は成瀬巳喜男監督『禍福（前編）』（1937年、東宝）であるが、タイトルロールに名はない。日活に移籍し、入社第1作となる清瀬英次郎監督『背広の王者』（1937年、日活）でヒロインに抜擢される。女優時代に作曲家の竹岡信幸と結婚した。
映画女優としては大きな活躍を見せたとは言い難いが、第二次世界大戦後も増村保造監督『恋にいのちを』（1961年、大映）などに出演している。
アッティリオ・アリオスティ
アッティリオ・マラキア・アリオスティ（Attilio Malachia Ariosti、1666年11月5日 - 1729年）は、イタリアの作曲家。現在ではほとんど忘れられているが、1720年代のロンドンでヘンデルやボノンチーニと並んでオペラ作曲家として活動した。ヴィオラ・ダモーレの独奏曲の作曲でも知られる。
アッティリオ・アリオスティ 生涯
アリオスティはボローニャに生まれた。1688年に聖母のしもべ会の修道士となり、オッターヴィオという名を名乗った。アリオスティは教会のオルガニストをつとめた。1693年にはモデナでオラトリオ『受難』(La Passione)を上演した。1695年にはヴァイオリンとチェロのための室内ディヴェルティメント集を出版している。1696年にはマントヴァ公爵カルロ4世に仕えた。1697年にヴェネツィア・カーニバルのためのオペラを作曲し、さらにベルリン、ウィーンでも活動した。ベルリンではゾフィー・シャルロッテの気に入られ、ウィーンでは皇帝ヨーゼフ1世の寵愛を受けた。ウィーンでは作曲家としてよりもむしろ外交官として働いた。
アリオスティはベルリン時代の1700年のオペラ『アティス』(Atys, o L'inganno vinto della costanza)中の地獄のシンフォニア(Sinfonia infernale)で名声を得たものの、当時の作曲家としては寡作であり、内容も全般的に平凡だった。
1711年にヨーゼフ1世が没した後のアリオスティの足取りは不明だが、アリオスティの友人であったライプニッツによるとアンジュー公（のちのルイ15世）に高給で雇われたという。
アッティリオ・アリオスティ 生涯
1716年にヘンデルのオペラ『ゴールのアマディージ』にヴィオラ・ダモーレのソロ奏者としてロンドン・デビューしている。翌1717年にはオペラ『ティト・マンリオ』(Tito Manlio)をヘイマーケットの国王劇場で上演している。その後1723年までほとんど作曲活動を行っていないが、1720年からパリを訪れており、再び外交活動で忙しかった可能性がある。
1720年になるとオペラ興業会社である王立音楽アカデミーが活動を開始するが、アリオスティはやや遅れて1722-1723年のシーズンから参加し、ここで7本のオペラを作曲している。
『コリオラーノ』はタイトルロールをセネジーノ、ヒロインのヴォルムニアをロンドン・デビュー間もないフランチェスカ・クッツォーニが演じて成功し、当時の聴衆は熱狂した。次作『ヴェスパシアーノ』は9回上演されたが聴衆の期待はずれだった。残りの作品については断片のみが伝わる。
アカデミーの487回の公演のうち、245回がヘンデル、108回がボノンチーニ、55回がアリオスティ、79回がその他の作曲家の作品またはパスティッチョだった。
アッティリオ・アリオスティ 生涯
その後アリオスティは貧窮し、1729年の夏に没した。
アリオスティは生涯に約25曲のオペラ、5曲のオラトリオ、および多数のカンタータを書いたが、現在もっともよく知られるのは弦楽器のための独奏曲であり、とくにヴィオラ・ダモーレと通奏低音のための6曲のレツィオーニ（1724年出版）が知られる。アリオスティによるヴィオラ・ダモーレを使った曲には21曲のソナタないしレツィオーネ、カンタータ「Pur al fin gentil viola」、およびウィーン時代の1707年のオペラ『Marte placato』のアリア「Sa il destin'」があり、最後のものを除いてロンドン時代に書かれたと考えられる。出版された6曲以外の15曲のソナタはスウェーデンの作曲家ユーハン・ヘルミク・ルーマンによる筆写譜がストックホルムで発見され、「ストックホルム・ソナタ」と呼ばれている。
今津禮二郎
今津 禮二郎（礼二郎、いまづ れいじろう、1934年〈昭和9年〉1月25日 - ）は、日本の政治家。実業家。元香川県観音寺市長。
今津禮二郎 経歴
香川県出身。観音寺市立観音寺中学校卒業。
アイスクリーム販売を経て、1958年（昭和33年）ちぬや乳業を設立、1965年（昭和40年）ちぬや食品と改める。1980年（昭和55年）新工場建設による資金繰り悪化により倒産。
1987年（昭和62年）1月の観音寺市長選挙に立候補したが、この時は現職の加藤義和に敗れて落選した。
※当日有権者数：-人 最終投票率：69.46%（前回比：-pts）
同年4月、香川県議会議員選挙に立候補するが、落選。
1991年（平成3年）1月の観音寺市長選挙に立候補して、前回敗れた加藤を破って初当選を果たした。
※当日有権者数：-人 最終投票率：72.53%（前回比： 3.07pts）
同年4月2日、長期に渡って納税義務を怠ったことと、議会軽視を理由に不信任決議が可決された。しかし、この時は議会を解散した。その後、再び不信任案が上程されて可決された。その後6月30日に実施された市長選では、前市議、元助役、元県議の新人3人との争いになったが、これを破って再選を果たした。
※当日有権者数：-人 最終投票率：79.68%（前回比： 7.15pts）
3選を目指して立候補したが、前県議の白川晴司に敗れた。
※当日有権者数：-人 最終投票率：72.42%（前回比： 7.26pts）
マルタケビル
マルタケビルは、新潟県新潟市中央区東大通の新潟駅前にあるオフィスビルである。1964年（昭和39年）から存在していた旧マルタケビルを全面建て替えして2020年1月に竣工した。1階には商業テナントが入るほか、最上階には「マルタケホール」を備える。
マルタケビル 沿革
旧ビルは1958年の新潟駅の現在地への移転後に行われた「新潟駅前土地区画整理事業」の敷地に建設され、1964年に完成した。当初は低層階は「マルタケデパート」として営業されていた。解体前の時点では地上9階（一部13階）、地下1階建てのRC造で、店舗・事務所の延床面積は約9,600 ㎡であった。
老朽化のため2017年頃から解体が行われ、新ビルへの建て替えが行われた。隣接するCOI新潟ビル（通称「物産ビル」、1965年竣工）も老朽建て替えが検討されていたことから、2ビル共同での事業が一時期模索されていたとの報道もある（実現には至らなかった）。
当ビルは新潟駅万代口から見える最初のビルの一つであり、「駅前の顔」とも呼ばれている。
Class Q
Class Qは、アメリカ議会図書館分類表の分類のうち、自然科学の資料を収める領域である。ここではClass Qの下位分類について概説する。
Class Q Q - 自然科学総記
1-390.......自然科学 (総記)
1-295......総記
300-390....サイバネティックス
350-390...情報理論
Class Q QA - 数学
1-939..............数学
1-43..............総記
47-59.............数表類
71-90.............各種測定器
75-76.95.........計算器
75.5-76.95......電子計算機。コンピュータ・サイエンス
76.73.A-Z......個別のプログラミング言語（アルファベット順）
76.73.A12.....ABAP
76.73.A24.....ALGOL
76.73.A27.....APL
76.73.A35.....Ada
76.73.A67.....AppleScript
76.73.A8.......Assembly languages. Assemblers
76.73.A84.....AutoLISP
76.73.A95.....AWK
76.73.B155...B
76.73.B3......BASIC
76.73.B78....BSV 753
76.73.C15.....C
76.73.C153....C++
76.73.C154....C#
76.73.C25.....COBOL
76.73.C56.....Clipper
76.73.C58.....CoffeeScript
76.73.C75.....CSP
76.73.C87.....Curl
76.73.D138....D
Class Q QA - 数学
76.73.D14.....D*
76.73.D23.....Dart
76.73.D25.....DRL
76.73.D95.....Dylan
76.73.E27.....EasyLanguage
76.73.E38.....ELAN
76.73.E75.....Erlang
76.73.F16.....F#
76.73.F23.....FOCUS
76.73.F25.....FORTRAN
76.73.F74.....Fred
76.73.G25.....GW-BASIC
76.73.G63.....Go
76.73.H37.....Haskell
76.73.H6......HP-GL/2
76.73.H96.....HyperTalk
76.73.I22.....INFORMIX-4GL
76.73.J2........J#
76.73.J38.....Java
76.73.J39.....JavaScript
76.73.J63.....Job Control Language
76.73.J7.......JR
76.73.K63.....Kodu
76.73.K67.....KornShell
76.73.L23......LISP
76.73.L62......LogiQL
76.73.L63......LOGO
Class Q QA - 数学
76.73.L66.......LotusScript
76.73.L82.......Lua
76.73.M15......M
76.73.M29......Mathematica
76.73.M35......Maude
76.73.M39......MDX
76.73.M53.....Microsoft Visual Basic
76.73.M6.......ML
MySQL については QA76.73.S67 を見よ
76.73.N39.....NCL
76.73.O115...Objective-C
76.73.O213...OpenCL
76.73.P224....PHP
76.73.P25.....PL/1
76.73.P32......packetC
76.73.P67.....PostScript
PowerShell については QA76.73.W56 を見よ
76.73.P75.....Processing
76.73.P76.....Prolog
76.73.P98.....Python
76.73.R25.....RPG
76.73.R3......R言語
76.73.R33....Racket
76.73.R83....Ruby
76.73.S15.....S言語
76.73.S27.....SAS
76.73.S28.....Scala
Class Q QA - 数学
76.73.S34.....Scheme
76.73.S345...Scratch
76.73.S35.....SDL
76.73.S59.....SPARK
76.73.S62.....SPARQL
76.73.S67.....SQL. MySQL
76.73.S95.....Swift
76.73.T44......Tcl
76.73.T97......TypeScript
76.73.U63......UPC
76.73.V27......VBScript
Visual Basic については QA76.73.M53 を見よ
76.73.W56.....Windows PowerShell
76.73.W65.....Wolfram Language
76.73.X16......X86 assembly language
76.73.X57......XPath
76.73.X58......XSLT
76.73.Z2.........Z

76.75-76.765...コンピュータ・ソフトウェア
76.75...........学術誌。定期刊行物。学会
76.751........（学術）大会
76.752........辞（事）典類
76.753........蔵書目録。図書目録
76.754........雑著
76.755........ハンドブック、表など
Class Q QA - 数学
76.756........住所録。エッセイ集。講演録
76.758........ソフトウェア工学
76.76.A-Z.....各論（アルファベット順）
76.76.A54....AngularJS
76.76.A63....API
76.76.A65....アプリケーションソフトウェア。応用ソフトウェア。アプリ
76.76.A87....アセンブラ
76.76.A98....自動微分。アルゴリズム的微分
76.76.C47....ソフトウェアの認証
76.76.C54....子供向けソフトウェア
76.76.C64....互換性
76.76.C65....コンパイラ
76.76.C66....コンポーネント・ソフトウェア
76.76.C672...コンピュータ・ゲーム
76.76.C68....ウイルス
76.76.C69....構成管理（CM）
76.76.C73....コスト
76.76.D47....開発
76.76.D49....（デバイス）ドライバ
76.76.D57....逆アセンブラ。逆コンパイラ
76.76.D63....ソフトウェアの文書化
76.76.E93....ソフトウェアの評価
76.76.E95....エキスパートシステム
76.76.F34....ソフトウェアの誤作動
76.9.F48.....データ変換
Class Q QA - 数学
76.76.F75....フリーウェア。無料ソフトウェア
76.76.G46....ジェネレータ
76.76.H85....ヒューマンファクター
76.76.H94....ハイパーテキスト。HTMLなどのマークアップ言語はここに収む
76.76.I55....インストール・プログラム。インストーラ
76.76.I57....統合ソフトウェア
76.76.I58....知的エージェント（IA）
76.76.I59....双方向メディア。インタラクティブメディア。ハイパーメディア
76.76.S65....測定
76.76.M52.....NET Framework
76.76.M54....ミドルウェア。OTMはここに収む
76.76.O63....オペレーティングシステム（OS）
76.76.P37....デザインパターン。設計パターン
76.76.P74....生産性
76.76.P76....ソフトウェアの保護
76.76.Q35....品質管理
76.76.R42....リファクタリング
76.76.R44....信頼性
76.76.R47....再利用性
76.76.S27....SAP NetWeaver Gateway
76.76.S37....スクリーンセーバー
76.76.S375...自己適応ソフトウェア
76.76.S46....シェアウェア
Class Q QA - 数学
76.76.F34....ソフトウェア障害
76.76.S63....ソフトウェアフレームワーク
76.76.S64....ソフトウェア保守。ソフトウェアメンテナンス
76.76.S65....ソフトウェア測定法
76.76.S66....ソフトウェアのサポート
76.76.S69....スパイウェア
76.76.S73....ソフトウェアの規格
76.76.S95....システムソフトウェア。システムプログラム
76.76.T45....トランザクションモニター
76.76.T47....停止性問題
76.76.T48....ソフトウェアの試験
76.76.T49....テキストエディタ
76.76.T55....スレッド（プログラミング用語）
76.76.T83....機械翻訳
76.76.U84....ユーティリティ
76.76.V47....検証と妥当性確認（V&V）
76.76.W56....ウィジェット
76.76.S64....2000年問題
76.765........ファームウェア
76.77.........オペレーティングシステム
76.77.T48.........雑著
76.774.A-Z........個別のOS（アルファベット順）
76.774.A53........Android
76.774.B47........Berkeley BSD
Class Q QA - 数学
76.774.F74........BSD, Free
76.774.D67........DOS
76.774.F74........FreeBSD
76.774.I67........iOS
76.774.L46........Linux
76.774.M33........Mac OS
76.774.M43........Microsoft Windows 7
76.774.M434.......Microsoft Windows 8
76.774.M435.......Microsoft Windows 10
76.774.M48........Microsoft Windows Me
76.774.M53........Microsoft Windows NT
76.774.M55........Microsoft Windows server
76.774.M56........Microsoft Windows Vista
76.774.M58........Microsoft Windows XP
76.774.S65........Solaris
76.774.U28........Ubuntu
76.774.U64........UNIX
Class Q QA - 数学
76.8.A-Z......コンピュータ、コンピュータ・システム、マイクロプロセッサの各論（アルファベット順）
76.8.A54......AN/FSQ-7
76.8.B38......BeagleBone Black
76.8.C46......Chromebook
76.8.E53......ENIAC
76.8.I12......IBM 360
76.8.I63......iPad
76.8.I64......iPhone
76.8.K56......Kindle Fire
76.8.M3.......Macintosh。MacBookはここに収む。
76.8.P53......PLATO
76.8.R15.......Raspberry Pi
76.8.S25.......Samsung。Samsung Galaxyはここに収む。
76.8.U6........UNIVAC
76.8.U7........Ural
76.84..........第四世代コンピュータ
76.85..........第五世代コンピュータ
76.87..........ニューラルコンピュータ。ニューラルネットワーク。
76.875.........人工免疫システム（AIS）。Immunocomputing。
Class Q QA - 数学
76.88..........スーパーコンピュータ。高性能計算。ヘテロジニアス・コンピューティングはここに収む。
76.884.........バイオコンピュータ
76.885.........ペタFLOPSコンピュータ
76.887.........分子コンピューティング。DNAコンピューティング。
76.889..........量子コンピュータ
76.89...........ペン入力
76.893..........タブレット。タブレットパソコン。タブレット端末。
101-145...........初等数学。算術
150-272.5.........代数学
273-280...........確率論。統計学
299.6-433.........解析学
440-699...........幾何学。三角法。トポロジー
801-939...........解析力学
Class Q QB - 天文学
1-991..........天文学
1-139.........総記
140-237.......実地天文学。球面天文学
275-343.......測地学
349-421.......理論天文学。天体力学
455-456.......惑星地質学
460-466.......宇宙物理学
468-480.......可視光以外の観測手段
495-903.......記述天文学
500.5-785....太陽系
799-903......恒星
980-991.......宇宙論
Class Q QC - 物理学
1-999..............物理学
1-75..............総記
81-114............単位系
120-168.85........力学
170-197...........原子物理学。 物質の構造と特性（分子物理学、相対論、量子論、固体物理学はここに収む）
221-246...........音響。音波
251-338.5.........熱
310.15-319.......熱力学
350-467...........光学。光
450-467..........分光学
474-496.9.........放射線物理学（一般的なもの）
501-766...........電磁気学
501-721..........電気
669-675.8.......電磁理論。電磁界理論
676-678.6.......ラジオ波
680.............量子電磁力学
701-715.4.......放電
717.6-718.8.....プラズマ物理学
750-766..........磁気
770-798...........原子核。素粒子。原子力。放射能
793-793.5........素粒子物理学
794.95-798.......放射能。放射性物質
801-809...........地球物理学。宇宙物理学
Class Q QC - 物理学
811-849...........地磁気
851-999...........気象学。気候学 (地球の大気物理学はここに収む)
974.5-976........大気光学
980-999..........気候。気象
994.95-999......天気予報
Class Q QD - 化学
1-999..............化学
1-65..............総記 (錬金術はここに収む)
71-142............分析化学
146-197...........無機化学
241-441...........有機化学
415-436..........生化学
450-801...........物理化学。理論化学
625-655..........放射線化学
701-731..........光化学
901-999...........結晶学
Class Q QE - 地学
1-996.5............地学
1-350.62..........総記 (各地の地学はここに収む)
351-399.2.........鉱物学
420-499...........岩石学
500-639.5.........動力地質学。構造地質学
521-545..........火山。地震
601-613.5........構造地質学
640-699...........層序学。層位学
701-760...........古生物学
760.8-899.2.......古動物学
901-996.5.........古植物学
Class Q QH - 博物学。生物学
1-278.5............博物学 (総記)
1-199.5...........総記 (自然保護及び生物地理学はここに収む)
201-278.5.........検鏡法（顕微鏡使用）
301-705.5..........生物学 (総記)
359-425...........進化
426-470...........遺伝
471-489...........生殖
501-531...........寿命
540-549.5.........生態学
573-671...........細胞学
705-705.5.........経済生物学
Class Q QK - 植物学
1-989..............植物学
1-474.5...........総記 (植物地理学はここに収む)
474.8-495.........種子植物。顕花植物
494-494.5........裸子植物
495..............被子植物
504-638...........隠花植物
640-707...........植物解剖学
710-899...........植物生理学
900-989...........植物生態学
Class Q QL - 動物学
1-991..............動物学
1-355.............総記 (動物地理学はここに収む)
360-599.82........無脊椎動物
461-599.82.......昆虫
605-739.8.........脊椎動物。頭索動物
614-639.8........魚
640-669.3........爬虫類。両生類
671-699..........鳥
700-739.8........哺乳類
750-795...........動物行動学
791-795..........噂話。逸話
799-799.5.........形態学
801-950.9.........解剖学
951-991...........発生学
Class Q QM - ヒト解剖学
1-695..............ヒト解剖学
1-511.............総記
531-549...........局所解剖学
550-577.8.........ヒト組織学。比較組織学
601-695...........ヒト発生学
Class Q QP - 生理学
1-981..............生理学
1-345.............総記（環境の影響はここに収む）
351-495...........神経生理学。神経心理学
501-801...........動物の生化学
901-981...........実験薬理学
Class Q QR - 微生物学
1-502..............微生物学
1-74.5............総記
75-99.5...........バクテリア
99.6-99.8.......シアノバクテリア
100-130.........微生物生態学
171................動物体内の微生物
180-198.5.......免疫学
355-502..........ウイルス学
ピカール＝リンデレーフの定理
数学の微分方程式論において、ピカール＝リンデレーフの定理（Picard–Lindelöf theorem）、ピカールの存在定理（Picard's existence theorem）、コーシー＝リプシッツの定理（Cauchy–Lipschitz theorem）、または解の存在と一意性の定理（かいのそんざいといちいせいのていり、existence and uniqueness theorem）とは、初期値問題の解が一意に存在するための十分条件を与える定理である。
定理の名前は、エミール・ピカール、エルンスト・レオナルド・リンデレーフ、オーギュスタン＝ルイ・コーシー、ルドルフ・リプシッツに因む。
次の初期値問題を考える。
関数  f  が y に一様にリプシッツ連続（リプシッツ定数が t に依らないことを意味する）であり、かつ、 t に連続しているとすると、ある値 ε > 0 に対して、区間  上で初期値問題の唯一の解 y(t) が存在する。
ピカール＝リンデレーフの定理 証明の概略
この定理の証明は、微分方程式を変換し、不動点定理を応用することで行われる。両辺を積分すれば、その微分方程式を満たす関数は、積分方程式
をも満たすことになる。解の存在と一意性の証明は、ピカールの逐次近似法によって得られる。この方法はピカール反復(Picard iteration)とも呼ばれる。
ここで関数列 φk を
と定義する。バナッハの不動点定理を用いることで、関数列 φk が一様収束し、その極限関数が初期値問題の解であることを示すことができる。グロンウォールの補題を |φ(t) − ψ(t)| （ φ と ψ は2つの解）に適用すると、 φ(t) = ψ(t) となり、大域的な一意性が証明される（局所的な一意性は、バナッハ不動点の一意性の結果である）。
ピカール＝リンデレーフの定理 ピカール反復の例
解として  を持つ初期値問題
に関して実際にピカール反復を計算してみる。  となるように から始めて、
と反復すると、次のようになる。
明らかに、これは既知の解  のテイラー級数展開を計算している。  は  に極を持つので、これは R 全体ではなく、  の範囲でのみ局所解に収束する。
ピカール＝リンデレーフの定理 非一意性の例
解の一意性を理解するために、次のような例を考えてみよう。微分方程式は停留点を持つことができる。例えば、方程式 dy/dt = ay () の定常解は y(t) = 0 であり、これは初期条件 y(0) = 0 で得られる。別の初期条件 y(0) = y0 ≠ 0 から始まる解 y(t) は停留点に向かっていくが、到達には無限時間を要するので、（全ての有限時間に対する）解の一意性が保証されている。
しかし、有限時間内で定常解に到達するような方程式では、一意性は成立しない。例えば、dy/dt = ay 2/3 という方程式の場合、初期条件 y(0) = 0 に対応する解が y(t) = 0 または
のように少なくとも2つ存在するため、系の前の状態は t = 0 の後の状態によって一意に決まらない。関数  f (y) = y 2/3 は y = 0 で無限の傾きを持つため、リプシッツ連続ではなく、定理の仮説に反しており、一意性定理は適用されない。
ピカール＝リンデレーフの定理 その他の存在定理
ピカール＝リンデレーフの定理は、解が存在することと、それが一意であることを示す。ペアノの存在定理は存在のみを示し、一意性は示さないが、これは  f  がリプシッツ連続ではなく、 y において連続であることのみを仮定している。例えば、方程式の右辺が dy/dt = y 1/3 を初期条件 y(0) = 0 として計算すると、連続ではあるがリプシッツ連続ではない。実際、この方程式は一意ではなく、次の3つの解を持っている。
さらに一般的なものとしてはカラテオドリの存在定理があり、これは  f  に関するより弱い条件の下で（より一般的な意味での）存在を証明するものである。これらの条件は十分条件でしかないが、岡村の定理のように、初期値問題の解が一意であるための必要十分条件も存在する。
渋沢宗助
渋沢 宗助（しぶさわ そうすけ）は、江戸時代後期の武蔵国榛沢郡血洗島村の名主、養蚕家。誠室と号した。渋沢栄一の伯父、澁澤龍彦の高祖父にあたる。
渋沢宗助 略歴
渋沢家は血洗島村の名主の家柄で、村内の4分の1を占める大姓だった。織田完之によれば甲斐源氏の末裔で、室町時代には関東管領上杉氏に仕え、天正年間より同地に住んだ一族という。宗助の家は「東の家」と呼ばれる分家筋にあたり、渋沢宗助政徳の長男として生まれた。本家筋の「中の家」に男子がなかったため、次弟の元助が入婿して市郎右衛門美雅と称しており、その子が渋沢栄一である。また長弟文左衛門の子が渋沢成一郎、姉妹の子に尾高惇忠・長七郎・（渋沢）平九郎兄弟、須永伝蔵（於菟之輔）・渋沢市郎（2代目）兄弟などがいる。中の家は当時家運衰退しており、経済的には東の家が渋沢一族で最も裕福だった。後年、中の家は弟市郎右衛門の尽力により復興したが、それでも東の家が随一だったという。
書を中村仏庵に学び、柳公権・顔真卿を能くしたという。上野国・信濃国などの養蚕地から技術を学んで養蚕技術の改良を考案し、安政2年（1855年）「養蚕手引抄」を出版した。また寺子屋や剣術道場の練武館を作って子弟の教育にも尽力した。
晩年となる明治維新後、市郎右衛門・栄一親子と協力して横浜に商店を開き、また古河市兵衛に接近して蚕卵紙の輸出に携わった。
梶原茂のラジオで大繁盛シリーズ
梶原茂のラジオで大繁盛シリーズ（かじわらしげるのラジオでだいはんじょうシリーズ）は、文化放送の1985年4月8日から同年10月4日まで平日昼（月曜 - 金曜 13:00 - 15:00）の時間帯で放送されていた『お昼の歌謡スタジオ 梶原茂のラジオで大繁盛』、1986年10月6日から1987年4月3日まで平日ナイターオフ枠（月曜 - 金曜 18:00 - 20:00）の時間帯で放送されていた『梶原茂のラジオで大繁盛』、1987年10月5日から1988年4月1日まで同じく月曜 - 金曜 18:00 - 20:00放送の『梶原茂のラジオでわっしょい大繁盛』の一連のラジオ帯番組のシリーズ。本項ではこの全てについて説明。
梶原茂のラジオで大繁盛シリーズ 概要
梶原茂（現・梶原しげる）が1983年4月からメインパーソナリティを務めていた『ダイナミックレーダー 歌謡ヒットパレード』（平日12:15 - 15:50）が終了した後も梶原は同じ時間のこの枠に続投し、放送枠を13:00 - 15:00に縮小してスタートした。
この番組は6か月で終了、1985年10月7日から後番組『電リクワイド ザ・テレジオ』がスタートしている。
『お昼の歌謡スタジオ - 』終了から1年後、梶原は文化放送ライオンズナイターの放送されていないナイターオフの月曜 - 金曜 18:00 - 20:00枠に移り、ナイターオフ期限定のワイド番組として、ラジオで大繁盛のタイトルをそのまま継承し『梶原茂のラジオで大繁盛』がスタート。東京商工団体連合会が協賛し、首都圏で500余りの商店街でネットワークを作り上げながら放送していた。毎日二つの商店街チームがスタジオに出演。その商店街の人々とリスナーとが交えて出演する、クイズ形式を中心としたトークバラエティ番組。
梶原茂のラジオで大繁盛シリーズ 概要
「商店街対抗クイズ」の他、「バーゲンセール合戦」（1986年度）、隠しマイクを使った「裏クイズ」（1987年度）、「本物当てクイズ」（1987年度。「次の写真のうち、昔の銀座はどれ？」などの内容）、「今日の特集クイズ」（1987年度。その日のテーマに沿ってに出題）などのクイズ企画が行われた。1986年度の時は、他の商店街を知るきっかけにしてほしいとして、メインパーソナリティの梶原茂が「ねぎりマン」としても登場していた。
街をテーマにしたコンセプトの番組は、次年度1988年10月から本番組と同じ時間でスタートした『街ラジオ なぎら健壱のその気でギンギン夜おこし』にも継承。なお、梶原の番組は1988年4月改編と共に平日11:00 - 13:00の枠に移って『梶原茂の本気でDONDON』がスタートしている。
梶原茂のラジオで大繁盛シリーズ 出演者
お昼の歌謡スタジオ 梶原茂のラジオで大繁盛（1985年4月 - 1985年10月）
梶原茂のラジオで大繁盛（1986年10月 - 1987年4月）
梶原茂のラジオでわっしょい大繁盛（1987年10月 - 1988年4月）
中華民国四段階論
中華民国四段階論（ちゅうか みんこく よん だんかい ろん）とは、2000年から2008年まで中華民国総統を務めた陳水扁が2005年に提唱した見解である。1949年の国共内戦、台湾に撤退した中華民国の政治的地位に関する見解である。この説の主な考え方は、中華民国の発展の時系列を次の四つの段階に分類することができるというものである。
中華民国四段階論 反響
この論により、陳水扁は、2000年中華民国総統選挙の結果による初めての与党交代後、中華民国は第四段階にあると指摘している。つまり、正式名称を「中華民国」とする台湾は、すでに中華人民共和国から独立した主権国家となっているのである。この論は、台湾の独立を支持する泛緑連盟（民主進歩党が統率）の主流派には歓迎されているが、中華民族の一部として中国統一を支持する泛藍連盟（中国国民党）の多くの人員には歓迎されていない。また、より強く独立を支持する台湾団結連盟の一部の人員は、中華民国を非合法的な外来植民政権であると考えているため、この見解に反対している。泛藍連盟は、第一から第三段階までは賛成だが、第四段階には反対で、「中華民国」（中華民国の政体）と「台湾」（政体が統治する領土の一部）の区別を維持したいとしている。中華人民共和国政府も、このような解釈は事実上の台湾独立に一歩近づくものであるとして、第四段階に反対の声を上げている。中華人民共和国の公式見解としては、中華民国は1949年に消滅した歴史的な存在であると主張している。
中華民国四段階論 発展
李登輝が本省人として初めて中華民国総統に就任するまでは、『月刊自由中国』や『週刊自由中国』では「中華民国在台湾」と呼ぶことが多かったが、李登輝の政権下では「中華民国在台湾」という言葉は使われ続け、1995年6月には米コーネル大学での演説でもこの言葉を使っていた。これは、1949年の国共内戦で敗北して以来、数十年にわたって中国全土の領有を主張してきたのに対し、残りの主要な構成要素である台湾島で中華民国を識別するために使用された。この演説以前は、政府関係者が国家名を使用する際には「中華民国」を使用していた。李登輝の用法では、中華民国の主権は中華人民共和国が支配する中国本土には及ばないという意味で解釈できるため、従来の慣習からの逸脱と考えられている。
民主進歩党が1999年に発表した「台湾前途決議文」は、党綱領と同等の地位にあり、「現状維持」の議論のベースラインとなっている。決議文によると、「台湾は主権国家であり、独立国家であり、その国号は中華民国である」。すなわち、「台湾は中華民国である」とある。
中華民国四段階論 発展
陳水扁の民主進歩党政権時代、陳水扁はすべての政府出版物やウェブサイトで「中華民国（台湾）」という表記を使うように指示した。この二つのバリエーションは、それぞれの政権下で中華民国または台湾の国際連合加盟陳情書に使用されてきた。時代に中国国民党の支配下にあった中華民国が（台湾を含む）中国の正当な代表として中華人民共和国と競い合っていたのとは異なり、陳水扁総統時代には、中華民国は中国の代表であることを求めておらず（すなわち、国際連合安全保障理事会での中国の議席を求めておらず、中華人民共和国の追放も求めていない）、陳情書では、実効支配下にある土地の人民の代表を求めているだけであることを強調している（すなわち、国連の普遍性の原則）。
2012年中華民国総統選挙の候補者である民主進歩党の蔡英文主席は、2011年10月10日（中華民国国慶日）の中華民国建国百周年記念日を前にした10月8日、台湾における中華民国の存在について、「中華民国は元々建国された土地を失い、台湾にしか存在していないが、台湾の土地と人々に溶け込んでいる。今日、台湾の大多数の人々は、台湾は中華民国であり、中華民国は台湾ということに同意できる」、「台湾は主権のある独立国だ」、「我々が総統を直接選ぶようになってから、現在の中華民国政府はもはや外国政府ではなくなった。現在は台湾の政府である」。
中華民国四段階論 発展
中央研究院近代史研究所の陳儀深副研究員は、「多くの人が中華民国と台湾は表裏一体であると認識している」とし、蔡英文の中華民国は李登輝元総統や陳水扁元総統の中華民国の延長線上にあるとした。「選挙には選挙の言葉がある」と理解する人もいるが、民主進歩党元主席で元考試院長の姚嘉文を始めとする多くの台湾人は中華民国に絶対反対であり、「国号を台湾共和国に改めることを推進する必要がある」と主張している。
蔡英文は、2016年中華民国総統選挙で勝利し、5月20日に女性としては初めての中華民国総統に就任した。
禁断の世界
『禁断の世界』（きんだんのせかい 原題：The Mutant Weapon，This World Is Taboo）は、アメリカ合衆国の作家マレイ・ラインスターが書いたSF中編集である。早川書房から刊行された「メド・シップ」シリーズは全3冊あり、そのうちの3冊目である。
禁断の世界 収録されている中編
作品中に登場する「医療船エスクリプス20」「宇宙生物トーマル」「ランディング・グリッド」についての詳しい説明は、「メド・シップ」シリーズの1冊目『祖父たちの戦争』を参照のこと。
惑星「マリス3」に接近した「エスクリプス20」から、医療局員カルフーンはグリッド管制官に着陸の指示を仰いだ。管制官が待機するように言ったあと、エスクリプス20の船内重力が強くなり、照明が消え、各種回路が焼き切れた。どうやらグリッドの力場で、医療船を押し潰そうとしたようだ。惑星にいる連中は、カルフーンが着陸して検疫することを望んでいないらしい。非常用ロケットで町から離れたところに着陸したカルフーンは、船外に出て調査を始めた。周りに農地が広がっているが耕作している人間はいない。しばらく歩くと実ったトウモロコシ畑の中で男が死んでいる。トウモロコシを何本も食べた形跡があるのに、どうみても食料不足で餓死したようだ。
禁断の世界 収録されている中編
続いて、やせ衰えた女ヘレンに出会った。カルフーンには酸素欠乏症にかかったように思えたが、酸素が十分にある惑星で発生するわけがない。さっそくヘレンの血液をマーガトロイドに注射して、抗体を作り出そうとするカルフーン。ヘレンの説明によるとここマリス3は、惑星「デトラ2」からの移住先として新たに開拓されたばかりで、住民は千人ほどいたという。この病気が突然発生したあとで見知らぬ宇宙船が強行着陸し、乗員たちが町にいた人々を虐殺しはじめたので、みんな町から逃げ出してきたという。病気の発生前に、この惑星に着陸した宇宙船はないので、病気は外部からもたらされたものではないと考えられた。ここの医者たちも、患者の血液には通常の細菌類しかおらず、原因が分からなかったらしい。他の生存者も集まってきたところに、ブラスターを持った屈強な男が現れた。ヘレンから生存者を狙う殺し屋のことを聞いていたカルフーンは、その男を射殺した。やがてマーガトロイドが抗体を作りだしたので、生存者たちにその抗体を注射する。
禁断の世界 収録されている中編
カルフーンが患者の血液を分析しても、有害な細菌類は見つからない。それでも病気が発生する前に、晴れた日なのに不思議な雷鳴が聞こえたことが分かった。それらのことからカルフーンは、2種類以上の細菌の相互作用で病気が発生するのではないか、と推測した。大気圏内に侵入した飛行体から、細菌類をまき散らしたときに雷鳴のような音が聞こえ、病気が発生したころを見計らって殺し屋どもの宇宙船が着陸した、と考えればつじつまが合う。そうすれば新規に開拓された惑星を、少ない人員で侵略することができる。カルフーンは射殺した殺し屋が乗ってきた地上車で、町に潜入した。彼は強力麻酔剤を噴射できる「スプレー銃」を作り上げ、町の中を歩き回る侵略者たちを眠らせた。この病気のワクチンを、侵略者たちが注射しているのは確実なので、その副作用のように見せかけた。やがて眠っている者が仲間に発見され、強行着陸した宇宙船に運びこまれていく。眠っている3人目の男は、カルフーンが自ら宇宙船に連れて行った。船内には白衣を着た1人の男がいて、その会話の内容から、この男が病気発生の手順を考え出したことは間違いない。カルフーンは白衣の男を、スプレー銃で眠らせてから縛り上げた。侵略者たちの母星から、移住者を運んできた宇宙船が到着し無線で呼びかけてきたが、カルフーンは応答しなかった。
禁断の世界 収録されている中編
カルフーンが考えた病気の概要では、通常細菌に似せたミュータント病原体の生成物が合わさると、血液内の酸素濃度を低くする効果がある。酸素が脳に届かないと新陳代謝の制御ができなくなり、栄養分を摂取することを忘れてしまい、餓死のようなことが起こるというものだった。やがて、マーガトロイドの抗体で回復した生存者たちが、町に戻ってきて侵略者たちを縛りあげた。惑星を周回していた侵略者たちの宇宙船には、ワクチンの副作用で次々に仲間が死んでいるので助けてくれ、という偽の通信を送った。宇宙船は母星へ逃げ帰っていった。強行着陸していた宇宙船は、エンジンと無線機を壊されたうえで侵略者たちが乗せられ、当局の宇宙船が来るまで惑星を回ることになった。カルフーンたちは想像してみた。ワクチンには死をもたらす恐ろしい副作用があると知ったときに、彼らの母星で何が起こるかを。たぶん指導者たちは、住民によって殺されるだろう。そして惑星を回っている宇宙船に乗せられている、ワクチンを作った白衣の男にも同じことが起こるだろうと。
禁断の世界 収録されている中編
惑星「ウィールド3」の近くで通常空間に出た医療船「エスクリプス20」は、宇宙港へ着陸許可を求めた。それに対して相手は、検疫命令書の内容、ここに来るまでの寄港地、トーマルが搭乗しているかの確認など神経質なほどの回答を求めた。ようやく着陸を許され、この惑星が恐れているのは「ブルースキン」という伝染病だと分かった。それは数光年離れた惑星「ダラ」の風土病で、肌に青い斑点が出て死亡する恐ろしい病気らしい。カルフーンは一人の医者を医療船に招き入れ、詳しいことを尋ねた。それによると、ダラは金属資源に恵まれた惑星だが食料生産には不向きなので、ウィールド3に宇宙船でやってきて食料を買いたい、と申し入れたことがあった。ブルースキンを恐れるウィールド3は、艦隊を派遣して宇宙船を追い払い、何年ものあいだダラを封鎖した。封鎖のために艦艇を大規模建造したが、封鎖を解いたあとは艦艇にウィールド3の余剰穀物を積み込んで、惑星の周回軌道に置いてあるという。
禁断の世界 収録されている中編
ウィールド3の高官たちとの歓迎式典では、大統領の演説の中にさえも、ブルースキンへの憎悪が込められていることにカルフーンは驚いた。そんなところへ、惑星「オレド」から来たと、自動送信を続ける一隻の宇宙船が到着した。オレドは、ウィールド3とダラの中間に位置する惑星で、金の採掘と牛の放牧が細々と行われていた。その宇宙船には船倉の中にまで人間が積み込まれ、空気浄化装置が過負荷で故障したため、全員が窒息で死亡していた。生存者がいないので自動送信していたのだ。大統領はブルースキンの仕業だと言う。その謎を解明すべく、エスクリプス20はオレドへ向かった。超光速航行に入ってすぐ、カルフーンがコーヒーの準備を始めると、いつもは目を輝かせて待っているマーガトロイドの様子がおかしい。船室の方をじっと見つめている。カルフーンは密航者だと直感し、ブラスターを準備して出てくるよう言った。乗っていたのは若い女で、追われているのでオレドへ連れていってほしいと話す。カルフーンは女との会話の内容から、女はダラの出身者と見破り、彼女もそれを認めた。次の日、エスクリプス20はオレドの近くへ着いた。
オレドの地上を呼び出しても何の応答もない。ランディング・グリッドはあるので、知らんぷりをしているようだ。カルフーンは非常用ロケットで、グリッドの近くへエスクリプス20を着陸させた。周りにはおびただしい牛の足跡があり、ところどころに踏み潰された牛の死骸が放置されている。女は初めてマリルと名乗った。船外を調査していると、警告もなくブラスターが撃ち込まれた。カルフーンが応戦すると発煙弾が投げ込まれ、煙を吸うと脈拍数があがり心に動揺を感じた。医療局員なので「パニック・ガス」だと分かる。牛を暴走させたのも、すし詰めの宇宙船でウィールド3へ逃げてきたのも、これが原因に違いない。ブラスターを撃ってきたのは、ここへ牛を捕らえに来ていたダラ人だ。エスクリプス20に戻ったカルフーンたちは、オレドを離れダラに向けて航行を始めた。
ダラの人々は、惑星高官たちも含めてみんな飢餓にあえいでいた。エスクリプス20に積まれていた食糧も供出させられた。カルフーンは、ウィールド3を廻っている余剰穀物を積んだ宇宙船を頂戴することを考えた。もちろん代償として、ウィールド3には金属資源で支払う準備をする。4人のダラ人航行士をエスクリプス20に乗せ、宇宙航行の高等教育をしながらウィールド3を目指した。数日のうちにウィールド3に着いたエスクリプス20。一人前となった4人の航行士は、1人ずつ穀物宇宙船に乗り込んでダラに向かった。この計画は成功し、ダラでは一時的に食糧割り当て量が増やされた。続いてカルフーンは、20隻余りの穀物宇宙船を同様に頂戴することにした。これと並行して、ブルースキン病の研究を進めた。カルフーンは、ブルースキンに感染しても肌に青い斑点が出ない事例のあったことに関心があった。
禁断の世界 書誌情報
『禁断の世界』 山田忠訳 ハヤカワSF文庫 SF649 1986年1月 ISBN 4-15-010649-5
東武 (河内長野市長)
東 武（あずま たける、1920年（大正9年）8月1日 - 2006年（平成18年）11月6日）は、昭和から平成時代の政治家。大阪府河内長野市長。
東武 (河内長野市長) 経歴
大阪府出身。1947年（昭和22年）天王寺師範学校（現・大阪教育大学）研究科卒業。
大阪府教育長を経て、1980年（昭和55年）以来、河内長野市長に4選した。1996年（平成8年）引退した。
Viltrox
Viltrox（ビルトロックス、英名：Shenzhen Jueying Technology Co.,Ltd.）は、2009年に起業した中華人民共和国深圳市の深圳市爵影科技有限公司が展開するレンズブランドである。
Viltrox 概要
2009年に、写真機器の製造を開始。マウントアダプター、LED補助光、高精細モニター、クローズアップリング、タイマーなどを生産していた。2018年、初のViltroxブランドのレンズであるViltrox 85mm F1.8 MFを発売。2019年、同社初のオートフォーカス対応レンズであるVILTROX PFU RBMH 85mm F1.8 STMを発売。ミラーレスカメラを中心にViltroxブランドのレンズを展開している。
日本での正規代理店は、常盤写真用品株式会社。
斎藤喜十郎
2代 斎藤 喜十郎（旧字体：齋藤󠄁 喜十郞、さいとう きじゅうろう、1864年8月4日（元治元年7月3日）- 1941年（昭和16年）1月13日）は、明治から昭和前期の地主、実業家、政治家。衆議院議員、貴族院多額納税者議員。旧名・庫吉。斎藤喜十郎財閥当主。
斎藤喜十郎 経歴
越後国蒲原郡新潟町（現新潟県新潟市）で、斎藤庫次郎の長男として生れる。脇村漢学塾で学んだ。1899年（明治32年）10月、松前・樺太航路の創始者として知られる伯父の素封家、先代・斎藤喜十郎の養子となり、1904年（明治37年）3月、家督を相続し喜十郎を襲名した。
新潟商業会議所議員、所得税調査委員、第四銀行監査役、新潟鐵工所監査役、新潟銀行頭取、新潟貯蓄銀行取締役、新潟商業銀行専務取締役、新潟信託取締役、新潟硫酸取締役、越佐汽船社長、新潟汽船取締役、越後鉄道（越後線）監査役、新潟水力電気監査役、斎藤株式会社社長などを務めた。
1915年（大正4年）3月、第12回衆議院議員総選挙に新潟県新潟市から無所属で出馬して当選し、その後憲政会に所属して衆議院議員に1期在任した。また、1925年（大正14年）新潟県多額納税者として貴族院多額納税者議員に互選され、同年9月29日から1932年（昭和7年）9月28日まで1期在任した。在任中は研究会に所属した。
渋沢市郎右衛門
渋沢 市郎右衛門（しぶさわ いちろうえもん）は、江戸時代後期の武蔵国榛沢郡血洗島村の豪農、商人。「日本資本主義の父」渋沢栄一の父。
渋沢市郎右衛門 略歴
血洗島村の有力農民である渋沢家の分家筋にあたる「東の家」の三男として生まれる。元の名は元助。当時本家筋の「中の家」に男子がなかったため、婿養子として家督を継ぎ、代々の名である市郎右衛門に改名した。農家としては養蚕・藍作を行った。学問として四書五経を学び、漢詩、俳諧に親しんだほか、剣術は神道無念流を能くした。金井烏洲とも親交があったという。
家督継承当時、中の家は経済的に衰退していたが、市郎右衛門の代には殖産に努め、近隣農民をよく指導したため、実家の東の家に次ぐまでに家勢を回復し、縁戚である尾高家（姉の婚家で栄一の妻の実家）に援助をするまでになった。また岡部藩より苗字帯刀を認められて村役人・名主見習を歴任した。
子の栄一が長ずるに従って、甥の渋沢成一郎や尾高惇忠らとともに尊王攘夷活動に傾倒していくのを喜ばず、しばしば自制を強いた。しかし文久3年（1863年）栄一らが挙兵計画を企てて江戸に出ようとした際にも制止したが容れられず、後に計画が不発して上方へ出奔することになった際には勘当を申し入れられたが、これを退けて逆に資金100両を渡している。しかし明治元年（1868年）、栄一の仕えていた徳川慶喜が朝敵となったため、藩命を受けてやむを得ず栄一を除籍している。
渋沢市郎右衛門 略歴
晩年となる明治維新後、「右衛門」の官途名乗り禁制により市郎と改名した。実兄宗助とともに古河市兵衛に通じて、当時過熱していた横浜での蚕卵紙輸出を早くから図っている。この事は後に栄一が蚕卵紙暴落問題を解決する助けとなった。明治4年（1872年）11月に病気となり、その月のうちに死去した。享年64。最後まで栄一に家督を継がせることを望んだといわれるが、その死後は栄一によって娘貞子の婿に、須永惣次郎に嫁いだ妹の子の才三郎が迎えられ、市郎を襲名し家督を継いでいる。栄一の晩年、市郎右衛門の語録として『晩香遺薫』（ばんこういくん）が出版されている。
日本とマーシャル諸島の関係
日本とマーシャル諸島の関係（にほんとマーシャルしょとうのかんけい、英語: Japan–Marshall Islands relations） では、日本とマーシャル諸島の関係について概説する。