hotchpotch/wikipedia-multilingual-ir-pairs huggingface dataset:
Ki-67 抗体ラベル
The Ki-67 protein was originally defined by the prototype monoclonal antibody Ki-67, which was generated by immunizing mice with nuclei of the Hodgkin lymphoma cell line L428. The name is derived from the city of origin (Kiel, Germany) and the number of the original clone in the 96-well plate.
Ki-67 相互作用
Ki-67タンパク質はCBX3との間に相互作用が見られる。
Ki-67 Additional images
Immunofluorescent antibody staining against neurofilament (green) and Ki-67 (red) in a mouse embryo 12.5 days after fertilization. The proliferating cells are in the ventricular zone in the neural tube and therefore colored red.
Ki-67 protein (red), tubulin (green) and DNA (blue) in HeLa cells. Dividing cells show strong Ki-67 staining in cell nuclei while all cells contain large amounts of tubulin, the major component of microtubules. Antibodies, cell staining and image courtesy of EnCor Biotechnology.
小野田賢治
小野田 賢治（おのだ けんじ、1951年（昭和26年）4月13日 - ）は、日本の政治家、教員。元愛知県みよし市長（2期）。
小野田賢治 来歴
愛知県三好村（現・みよし市明知町）に生まれる。父親は三好町長を2期務めた小野田金章。1974年（昭和49年）3月、愛知教育大学教育学部卒業。同年4月、豊田市立の小中学校の教員となる。豊田市教育委員会にも勤務。2012年（平成24年）10月、みよし市教育委員会教育長に就任。
2013年（平成25年）8月後半から、市議会最大会派の「新世紀の会」と同第2勢力「みよし未来の会」は、市制施行後最初の市長選に向け候補者選びに奔走していたが、10月までに小野田に一本化された。11月10日告示、17日投票のみよし市長選挙に無投票で初当選した。12月8日、市長就任。
2017年（平成29年）11月、無投票で再選。
2018年（平成30年）1月16日、みよし市議の報酬を巡って、住民ら第三者の委員8人による市特別職報酬等審議会が「月額4千円の引き上げが適当」とする答申を提出。2度も無投票で当選を果たしたものの、支持基盤のない小野田は議会に気をつかわざるを得なかった。小野田は、3月2日開会の3月定例会に引き上げ額をさらにその約6倍、2万5千円に増やす条例案を提出した。3月22日、同条例案は恩恵を受けるはずの議員に否決され、報酬額は現状のまま議会は閉会した。
小野田賢治 来歴
2021年（令和3年）9月30日、市議会定例会の閉会あいさつで11月の市長選挙に立候補しないことを表明した。
2022年11月3日、秋の叙勲において、旭日双光章を受章した。
天野邊
天野邊（あまのほとり、1981年 - ）は、大韓民國のSF作家。茨城県水戸市出身。日本電子専門学校ネットワーク科卒業。
在日朝鮮人としての出自をもち、日本国籍を有していない。
天野邊 来歴
茨城県水戸市出身。日立市在住。
革命結社スフィアコミューンを催主する。
デビュー作『プシスファイラ』で第10回日本SF新人賞を受賞。第31回日本SF大賞に同作がノミネート。東浩紀が同作品に一定の評価をしている。
日本SF作家クラブ会員（2017年10月31日 - ）。
SFJapan（徳間書店）、異形コレクション（光文社文庫）でネットワークを題材とした短編を発表している。
林要 (実業家)
林 要（はやし かなめ、1973年9月10日 - ）は、日本の実業家。ロボットベンチャー『GROOVE X』の創業者、代表取締役社長。東京都立科学技術大学大学院修士課程修了。愛知県春日井市出身。
林要 (実業家) 来歴
1973年（昭和48年）愛知県岡崎市に生まれる。春日井市にて育つ。内向的な幼少期であったが、エンジニアであった父の影響から次第にモノづくりに憧れるようになった。少年時代には空を飛ぶことに強く惹かれ、自室の窓から『風の谷のナウシカ』に登場する架空の飛行機“メーヴェ”に似せた模型を作っては飛ばしていた。
名古屋市立菊里高等学校、東京都立科学技術大学（現首都大学東京）工学部 機械システム工学科を卒業。数値流体力学などを専門に学ぶ。高校時代は吹奏楽部、大学時代は航空部に所属し、仲間とともに「ものづくり」と「空を飛ぶこと」に魅せられる。操縦桿を握り空の旅を楽しんだ。当時、躍進めざましいソフトバンクの採用試験を受けるも不採用。東京都立科学技術大学大学院 工学研究科 力学系システム工学専攻修了。
1998年（平成10年）トヨタ自動車入社。 スーパーカー“LFA”等の空力(エアロダイナミクス)を開発。
2003年（平成15年）スーパーカーレクサス「LFA」などの空力開発に従事。
2004年（平成16年） Toyota Motorsports GmbH(ドイツ)にて、F1開発に従事。
2007年（平成19年）帰国後はトヨタ自動車の製品企画部(Z)にて量産車開発マネジメントに従事する。
林要 (実業家) 来歴
クルマ好きが高じて自動車会社に入社。趣味性の高いクルマが好きだった。入社後、利便性を追求する仕事に従事。燃費だったり、操作性だったり。行きたいところへいかに少ない労力で行けるのか、など。次第にクルマの存在感が薄れていくことが気になっていく。利便性を追求してしまう反面、ハンドルから伝わる感触や、エンジンの息吹など「人が車との対話」を楽しむような存在が希薄に感じ、違和感を覚えた頃、「自動車産業以外も見てみたいなあ」と考えるようになる。いろいろな産業が海外勢に押され、自動車のように日本を代表する産業として世界に名乗りを上げるものがなかなか見えこないなか、外貨を稼げる次の産業は何だろう？と考えたとき、丁度「ロボット」や「AI」がブームになっていた。ロボットに携われる機会をいただけるタイミングがあり、「5年後なのか、50年後なのかは分からないがロボットはいずれ産業の中心を担うようになるはず。いつか来るのだから、経験しておくのは悪くない」という思いで、ロボット産業に飛び込んでみることにした。
2011年（平成23年）孫正義後継者育成プログラム「ソフトバンクアカデミア」外部第一期生として参加。孫正義から直々に転職の誘いを受けたことと、孫社長の「人と心を通わせる人型ロボットを普及させる」という強い信念に共感。
林要 (実業家) 来歴
人型ロボットの市販化というゼロイチに挑戦すべく、2012年（平成24年）ソフトバンクへ転職する。感情認識ヒューマノイドロボット「ペッパー(Pepper)」のプロジェクトメンバーとして着任。
2015年（平成27年）6月、感情認識ヒューマノイドロボット「ペッパー(Pepper)」発売開始。毎月1000 台が即完売する人気を博し、ロボットブームの発端となった。同年9月、独立のためにソフトバンクを退社。
2015年（平成27年）11月、『株式会社GROOVE X』設立、代表取締役社長（CEO）に就任
2016年（平成28年）10月、日本のスタートアップファイナンスをグローバルスタンダードに引き上げるため、シード期に最適な資金調達手法として米国シリコンバレーで進化したコンバーティブル・エクイティ（第三者割当による有償新株予約権発行方式）をいち早く活用、シードラウンドとして国内最大級となる14億円の資金調達完了。
2017年（平成29年）12月、シリーズAラウンドにて未来創生ファンドと INCJ を筆頭引受先とし43億5千万円の資金調達完了
林要 (実業家) 来歴
2018年（平成30年）12月、LOVEをはぐくむ家族型ロボット『LOVOT』製品発表。幼少時代から宮崎駿監督のアニメーションが大好きで「宮崎監督のテクノロジーが好きなのに、手がける作品には文明の進歩に対するアンチテーゼがある。ストーリーのなかではテクノロジーがすごく進歩している。またペットのポジションの変化に気づいたことが発想の原点になる。この数十年間でペットが以前より人の心を支える重要な役割を担うようになった。ペットが人に提供している"サービス内容"を分解し、深層学習や強化学習、自動運転技術等を組み合わせれば、ペットに近い存在のロボットが実現できると確信。シンギュラリティに到達すれば人間が機械に支配されるといった、技術の進歩に対する社会の不安を打破できる。LOVOTは人の代わりに仕事をするのではなくペットと同じように人の心を癒す存在になると。
2019年、LOVOT発売開始。
2020年（令和2年）以降、日本列島を襲った新型コロナウイルスの感染拡大により、外出制限、在宅勤務、家族とのコミュニケーションの見直しで『LOVOT』の売上が、コロナ前と比べ月間販売数量が最大11倍に激増。元々、核家族や一人暮らしの増加による孤独や寂しさの解消が開発目的であったが、癒しとしての需要がコロナ禍によって急拡大した。2021年1月20日現在、SOMPOホールディングス、日立グローバルライフソリューションズ、NTTドコモなどと資本業務提携を行ない、累計資金調達額は133.1億と事業は拡大。SOMPOとは介護や認知症、日立とは家電品、ドコモとはコミュニケーションサービスの創出を目的に提携し、様々な領域で家族型ロボットが身近な存在になっていく。
2022年、前澤ファンドがGROOVE X株式の全株を取得。
林要 (実業家) 受賞歴
2019年（平成31年）以降、『LOVOT』が次々と賞を受賞する。
齋藤貞
齋藤 貞（さいとう ただし、1942年5月21日 - ）は、日本の政治家。元宮城県亘理町長（1期）。
齋藤貞 来歴
宮城県亘理町生まれ。1961年（昭和36年）3月、宮城県仙台第一高等学校卒業。同年4月、日興證券に就職。1965年（昭和40年）10月、仙台中央青果卸売株式会社に転職。1993年（平成5年）5月、同社の取締役に就任。
2002年（平成14年）7月、亘理町助役に就任。2007年（平成19年）4月、地方自治法一部改正により副町長となる。2014年（平成26年）3月、副町長を退任。
2014年（平成26年）5月、亘理町長選挙に立候補し初当選を果たした。5月28日、町長就任。
2016年（平成28年）10月19日、東日本大震災の復旧工事の入札で不正を行ったとして、官製談合防止法違反（入札妨害）などの疑いで町職員、建設会社社長ら3名が逮捕される。2018年（平成30年）3月22日、齋藤は町議会でこの官製談合事件を挙げて「不祥事のけじめをつけないといけない」と述べ、任期満了に伴う町長選挙に立候補せず、1期で引退することを表明した。
7チャンネル
7チャンネル（英語:7(seven) channel/7ch、ななチャンネル/セブン チャンネル）
辻村七子
辻村 七子（つじむら ななこ、生年不明、9月24日生まれ）は、日本の小説家。神奈川県出身。
投稿作『時泥棒と椿姫の夢』によって、2014年度ロマン大賞で大賞を受賞。受賞作を改題・加筆改稿した『螺旋時空のラビリンス』にてデビューした。ロマン大賞は次年度よりノベル大賞へと統合されたため、ロマン大賞最後の受賞者となった。
代表作として、『宝石商リチャード氏の謎鑑定』がある。同著は2020年アニメ化された。
日本SF作家クラブ会員。
辻村七子 作品リスト
宝石商リチャード氏の謎鑑定 　絵：雪広うたこ
（集英社オレンジ文庫、2015年12月17日。ISBN 978-4-08-680054-9）
エメラルドは踊る（集英社オレンジ文庫、2016年5月20日。ISBN 978-4-08-680081-5）
天使のアクアマリン（集英社オレンジ文庫、2016年11月18日。ISBN 978-4-08-680106-5）
導きのラピスラズリ（集英社オレンジ文庫、2017年2月17日。ISBN 978-4-08-680119-5）
祝福のペリドット（集英社オレンジ文庫、2017年8月22日。ISBN 978-4-08-680143-0）
転生のタンザナイト（オレンジ文庫、2018年1月19日。ISBN 978-4-08-680169-0）
紅宝石（ルビー）の女王と裏切りの海（集英社オレンジ文庫、2018年6月21日。ISBN 978-4-08-680198-0）
夏の庭と黄金（ドール）の愛（集英社オレンジ文庫、2018年12月18日。ISBN 978-4-08-680226-0）
邂逅の珊瑚（サーンウー）（集英社オレンジ文庫、2019年8月21日。ISBN 978-4-08-680266-6）
久遠の琥珀（集英社オレンジ文庫、2020年6月17日。ISBN 978-4-08-680323-6）
辻村七子 作品リスト
【アクリルスタンドつき限定版】（集英社オレンジ文庫、2020年6月19日。ISBN 978-4-08-907067-3）
輝きのかけら（集英社オレンジ文庫、2021年6月18日。ISBN 978-4-08-680388-5）
少年と螺鈿箪笥（集英社オレンジ文庫、2022年6月17日。ISBN 978-4-08-680451-6）
ガラスの仮面舞踏会（集英社オレンジ文庫、2023年10月19日。ISBN 978-4-08-680522-3）
再開のインコンパラブル（集英社オレンジ文庫、2024年9月19日。ISBN 978-4-08-680577-3）
半田畔
半田 畔（はんだ ほとり、1993年 - ）は、日本の小説家。神奈川県逗子市出身。
半田畔 経歴・人物
高校時代は部活動でゴルフを嗜んでいたが、全国大会での敗北を機に、インドア生活に転向した。
2015年、投稿作「風見夜子の死体見聞」で第三回富士見ラノベ文芸大賞《金賞》を受賞し、2016年に同作でデビューした。同年の一迅社文庫大賞では、「海のユーユ」で《箕崎・七月賞》を受賞し、翌年に同作を改題した『人魚に嘘はつけない』を刊行している。
2021年からはシェアハウスでの生活を送っている。
斉藤正行
斉藤 正行（さいとう まさゆき、1978年1月21日 - ）は介護コンサルタント、実業家、評論家。株式会社日本介護ベンチャーコンサルティンググループ代表取締役。奈良県生駒市出身。
斉藤正行 経歴・主な役職
2000年3月に立命館大学経済学部を卒業する。卒業後、株式会社ベンチャーリンクに入社（2000年4月）し、飲食業のコンサルティング、事業再生などを手掛ける。
2003年5月に、メディカル・ケア・サービス株式会社 に入社する。そこで、「愛の家」ブランドでグループホーム（認知症対応型共
同生活介護）を全国に展開。自らグループホーム事業の立ち上げを行い、現在の運営管理体制、営業スキームを構築し、ビジネスモデルを確立させた。2005年8月に、取締役運営事業本部長に就任する。（2006年8月名証セントレックスに上場）
2010年5月に株式会社日本介護福祉グループへ入社し、2か月後の7月には取締役副社長に就任する。この時、「茶話本舗」ブランドでデイサービス（通所介護事業所）を全国にフランチャイズ展開をする。茶話本舗はお泊りデイサービスという新しいモデルを生み出すことになったが、多くの介護保険法上の違反行為や、『雑魚寝の老後』と評された通り、六畳一間に高齢者を押し込むなど、貧困ビジネスの代表として問題視された。同年12月に一般社団法人日本介護ベンチャー協会を自ら設立し、代表理事に就任する。
斉藤正行 経歴・主な役職
2013年8月に 株式会社日本介護ベンチャーコンサルティンググループ を設立し、代表取締役に就任する。その後、2018年4月に 株式会社ピースフリーケアグループ 代表取締役に就任する。
2020年6月全国介護事業者連盟理事長に就任。
2025年3月8日、自由民主党は、同年夏の第27回参議院議員通常選挙に斉藤を比例代表で擁立すると発表した。同年7月20日の投開票の結果52,988票を獲得したが、自由民主党が12議席を確保したのに対し31人中25位で落選。
斉藤正行 人物・エピソード
斉藤は自著「世界に誇れる日本の介護」にて介護事業は日本において最も成長していく可能性が高く、高齢化や人口減少の中で唯一市場が拡大するとしているが、一方で人材不足も懸念しており、「介護の魅力を発信していくこと」「介護業界の生産性を向上させること」など新しい人材獲得のために国に頼るだけではなく、介護事業者がそれぞれ取り組む必要があると訴えている。
2020年9月、2021年の介護報酬改定に向けて、斎藤は「年内には次期改定の中身は決定すると思いますが、介護事業者は「ウィズコロナ」という前提の中で経営していかなくてはならず、報酬改定においても、新型コロナの影響により経営環境が悪化している事業者への対応を踏まえたものでなくてはなりません。一方で、新型コロナ対応と同時並行して報酬改定を迎える中で、これまでのように議論を尽くすことは現実的に難しく、大きなマイナス改定などにはならないと思います。」と話しており、コロナウィルスの影響により、2021年度の介護報酬改定にも影響があるとの見解を述べている。
斉藤正行 人物・エピソード
また、2024年の診療報酬・介護報酬同時改定に関して斉藤は、「今後の生産性の向上において利用者にしわ寄せがいくことのないよう、しっかり革新を進めなくてはなりません。」と話し、介護事業者の生産性向上の必要性を訴えた。2020年3月、斉藤は「デイサービスの生き残り戦略」がテーマの講演で「診療報酬との同時改定となる2024年度が大改革の本命本丸。ここに向けて様々な議論が進んでいく」と指摘している。さらに「2024年度まで十分に準備する時間が設けられたと言っていいい。次の3年間でしっかりと事業の土台を作り上げないと生き残れない」とも述べた。
杉田弘毅
杉田 弘毅（すぎた ひろき、1957年 - ）は日本のジャーナリスト。共同通信社ワシントン支局長、論説委員長を経て同社特別編集委員兼論説委員。ＢS朝日「日曜スクープ」アンカー、明治大学政治経済学部特任教授、星槎大学客員教授、国際新聞編集者協会（IPI）理事、公益財団法人フォーリン・プレスセンター評議員、NHKカルチャーセンター講師を兼務。2021年度日本記者クラブ賞受賞。
杉田弘毅 人物・経歴
愛知県生まれ。東京都立上野高等学校を経て、1980年一橋大学法学部卒業、共同通信社入社。大阪社会部を経て、1989年から外信部。ソヴィエト連邦、中東移動特派員としてソビエト連邦の崩壊や湾岸戦争を取材したのち、テヘラン支局長、ニューヨーク特派員、ワシントン特派員、外信部次長、外信部副部長、ワシントン支局長を経て、2010年編集委員兼論説委員。2013年編集委員室長、2016年論説委員長、2018年特別編集委員兼論説委員、2019年同（理事待遇）。
ほかに国際交流基金日米センター安倍ジャーナリスト・フェローシップ選考委員、日本記者クラブ企画委員、特定非営利活動法人言論エヌピーオー東京-北京フォーラム実行委員、全米記者協会国際委員、一般社団法人如水会理事、早稲田大学アジア太平洋研究科講師、早稲田大学アジア太平洋研究センター特別研究員、中央大学総合政策文化研究所客員研究員、法政大学沖縄文化研究所研究員等を歴任。
専門は、アメリカ合衆国の政治、日米関係、中東、核兵器、地政学、地経学などで、ウラジーミル・プーチンロシア連邦大統領と計５回会見したほか、ジョージ・W・ブッシュアメリカ合衆国大統領もインタビューし、新潮社Foresight、PHP月刊誌Voice、ジャパンタイムズなどにも寄稿。テレビ東京「ゆうがたサテライト」、BS-TBS「Ｂiz-スクエア」などで国際情勢のコメンテータ―も務める。
杉田弘毅 受賞歴
2021年度日本記者クラブ賞受賞（贈賞理由は、30年以上にわたり日本の国際報道をけん引し、アメリカ報道の第一人者。多彩な言論活動の質を高めてきた）
杉田弘毅 著書
"Tune in to American populists" Kyodo News Jan 14, 2024https://english.kyodonews.net/articles/-/52191?phrase=Sugita&words=Sugita
"Organizational culture of Japan's military in spotlight" Kyodo News, Jul 24, 2024https://english.kyodonews.net/articles/-/48718?phrase=Hiroki+Sugita&words=Hiroki%2CSugita
"High tension and reaism in Taiwan" Kyodo News, Jul 6, 2024https://english.kyodonews.net/articles/-/49134?phrase=Hiroki+Sugita&words=Hiroki%2CSugita
杉田弘毅 著書
"What can the Press do to hasten an end of the Ukraine war?" Kyodo News, Apr 25, 2023https://english.kyodonews.net/articles/-/40271?phrase=Hiroki+Sugita&words=Hiroki%2CSugita
"More curiou and less biased: int'l journalism at its best" Jan 29, 2021https://english.kyodonews.net/articles/-/25897?phrase=Hiroki+Sugita&words=Hiroki%2CSugita
"Geoeconomics and its downsides" Dec 15, 2020https://english.kyodonews.net/articles/-/21710?phrase=Hiroki+Sugita&words=Hiroki%2CSugita
"Defenders of liberal democracy must not speak in condescending tones" Sep 25, 2017https://english.kyodonews.net/articles/-/2468?phrase=Hiroki+Sugita&words=Hiroki%2CSugita
構成主義 (数学)
数学の哲学において、構成主義（こうせいしゅぎ、英: constructivism）とは、「ある数学的対象が存在することを証明するためには、それを実際に見つけたり構成したりしなければならない」という考えのことである。標準的な数学においてはそうではなく、具体的に見つけることなしに背理法によって存在を示す、すなわち存在しないことを仮定して矛盾を導くことがよくある。この背理法というものは構成的に見ると十分ではない。構成的な見地は、古典的な解釈をもって中途半端なままである、存在記号の意味を確かめることを含む。
構成主義には多くの形があり、以下のようなものが含まれる。
構成主義はしばしば直観主義と同一視されるが、直観主義は構成主義者のプログラムのひとつでしかない。直感主義では数学者個人の直観のなかに数学の基礎が置かれることを支持し、それによって数学は本質的に主観的活動となる。他の形の構成主義は、こうした直観的見地に基づくものではなく、数学に対する客観的見地と両立できるものである。
構成主義 (数学) 構成可能な数学
多くの構成主義的数学者が、本質的には排中律を含まない古典論理である、直観主義論理を用いている。排中律は、任意の命題に対して、その命題が真であるかもしくはその命題の否定が真であることを主張する。直観主義論理では、排中律を全否定するのではなく、排中律の特殊なケースを証明可能とする。これは単に、一般法則（排中律）を公理と仮定するわけではないということである。直観主義論理でも、（矛盾する複数の言明が同時に真にならないことを主張する）無矛盾律は有効である。
例えばハイティング算術では、量化子を含まない任意の命題 p に対して、 は定理であることを証明できる（ここで x, y, z ... は命題 p における自由変項である）。この意味で、古典論理においては有限に制限された命題をやはり真か偽であるとみなせるが、この二値性を無限の集まりに言及する命題には拡張できない。
構成主義 (数学) 構成可能な数学
実際、直観主義派の創始者であるブラウアーは、排中律を有限の認識から抽象的なものと捉え、そして認識論的に正当化することなしに無限に適用した。例えばゴールドバッハの予想は、（2より大きい）どの偶数も2つの素数の和となることを主張する。特定の偶数に対して2つの素数の和であるか否かを確かめることは可能であるので（たとえば力まかせ探索で）、（2より大きい）任意の偶数は、2つの素数の和であるかそうでないかである。そしてこれまでのところ、各偶数は実際に2つの素数であることが上記のように確かめられている。
しかし、全ての偶数がゴールドバッハの予想を満たすことの証明も、ゴールドバッハの予想を満たさない偶数があることの証明も存在しない。それどころか、ゴールドバッハの予想の証明または反証が存在するかどうかすら不明である（ゴールドバッハの予想は従来型のZF集合論では決定不能かもしれない）。したがってブラウアーにとっては、「ゴールドバッハの予想が真である、あるいは偽である」という主張は正当化されない。また、この予想がいつか解かれたとしても、この主張を似た未解決問題に適用すれば同じ議論となる。ブラウアーにとっては、排中律はどの数学的問題にも解があると仮定するのと同じである。
構成主義 (数学) 構成可能な数学
公理として排中律を排除した場合、残る論理体系には古典論理が持たない存在性質を持つ： が構成的に証明されているならばいつでも、実際に  は（少なくとも）1つの特定の  に対して構成的に証明される（この a のことをしばしば証拠(witness)と呼ぶ）。このように、数学的対象の存在の証明はその構成と紐付いている。
古典的な実解析において、実数を定義する方法の一つは有理数のコーシー列の同値類である。
構成的数学において、実数を構成する方法の一つは、正の整数 n をとり有理数 f(n) を出力する関数 f と、n が大きくなるにつれて ƒ(n) の値は互いに近づくように、正の整数 n をとり正の整数 g(n) を出力する以下を満たす関数 g を併用することである。
ƒ と g を併用すると、ƒ と g が表現する実数を任意精度の有理数近似として計算できる。
この定義のもとでは、e の単純な表現は以下のようになる：
構成主義 (数学) 構成可能な数学
この定義はコーシー列を用いた古典的な定義に、構成的な工夫を除いて対応する：古典的なコーシー列では、ある要素以降は列の各要素の距離が与えられた距離よりも小さくなるような要素が存在する、ということを要請する。構成的なバージョンでは、与えられた距離よりも実際に互いの距離が小さくなる要素を特定できることを要請する（このように特定された要素の位置は、しばしば収束係数と呼ばれる）。事実、数学的言明
の標準的な構成的解釈（BHK解釈）は、正確に収束係数を計算する関数が存在することである。このように、実数の2つの定義の違いは「すべての...に対して、...が存在する」という言明の解釈の違いにあると考えられる。
すると、上記の f と g のように、可算集合から可算集合へのどの関数が実際に構成できるのかという質問が湧き出る。構成主義の異なるバージョンでは、この点で解釈が分かれる。こうした構成は直観主義的視点である自由選択列と同程度に広く、またはアルゴリズム（より専門的には計算可能関数）と同程度に狭く、あるいは未特定のまま定義できる。例えば、アルゴリズム的観点で考えた場合、ここで構成した実数は、本質的には古典的に計算可能数と呼ばれるものになるだろう。
構成主義 (数学) 構成可能な数学
上記のアルゴリズム的解釈を採用すると、濃度の古典的な概念と矛盾するように思われる。アルゴリズムに番号付けすることで、計算可能数が古典的に可算であることを示せる。それにもかかわらず、カントールの対角線論法から実数が非可算濃度を持つことがわかる。つまり、実数と計算可能数を同一視すると矛盾が生じる。さらに言えば、対角線論法は完全に構成的であると考えられる。
実際カントールの対角線論法は、自然数から実数への全単射を考えると、実数が関数の値域にないために矛盾が生じるという意味で、構成的に示せる。まず関数 T が自然数から実数への全射であると仮定して、関数 T を構成するアルゴリズムを番号付けする。しかし、アルゴリズムはこの制約を破ったり停止しない（T は部分関数である）可能性があり、各アルゴリズムに対して実数が対応する場合もそうでない場合もありうるため、要求された全単射は満たせない。簡潔に言えば、実数が（それぞれ）実効的に計算可能であるという立場においては、カントールの結果は実数が（全体として）再帰的に枚挙可能でないと解釈される。
構成主義 (数学) 構成可能な数学
それでもなお、T が自然数から実数への全射関数であるため、実数は可算個ほどもないと期待できるかもしれない。また、各自然数は自明に実数と解釈できるため、実数は可算個ほどもある。すなわち、実数はちょうど可算個であると言える。しかし、要求された全単射を構成していないため、こうした理由付けは構成的でない。このような状況で全単射の存在を証明する古典的な定理（カントール・ベルンシュタイン・シュレーダーの定理）は構成的でない。カントール・ベルンシュタイン・シュレーダーの定理は排中律を含意することが最近示されたため、それ故にこの定理の構成的証明は存在しえない。
構成的数学における選択公理の立ち位置は、構成主義者のプログラムによってアプローチが異なり、複雑な状況である。「構成的」の自明な意味の一つは、数学者が非公式に使う、「選択公理を除いたZF集合論で証明可能」である。しかし、より制限された形式の構成的数学を提案する者は、ZF自体が構成的システムになっていないと主張するかもしれない。
構成主義 (数学) 構成可能な数学
型理論（特に高階型理論）の直観的理論においては、様々な形式の選択公理が許容される。例えば公理 AC11 は以下のように言い換えられる：「実数の集合上の任意の関係 R に対して、各実数 x に対して R(x,y) を満たす実数 y が存在することが証明されれば、実際にすべての実数に対して R(x,F(x)) を満たす関数 F が存在する。」類似した選択原理もすべての有限な型に対して許容される。これらの一見非構成的な原理を採用する動機は、「各実数 x に対して R(x,y) を満たす実数 y が存在する」ことの証明の直観的理解にある。BHK解釈によれば、この証明は本質的に求められる関数 F であるとされる。直観主義者が許容する選択原理は排中律を含意しない。
しかし、構成的集合論に対する特定の公理系においては、en:Diaconescu-Goodman-Myhill theorem が示すように、選択公理が（他の公理が存在する状況で）排中律を含意する。構成的集合論には弱形式の選択公理を含むものがあり、たとえば Myhill の集合論における従属選択公理のようなものがある。
古典的な測度論は、ルベーグ測度の古典的な定義では集合の測度や関数の積分を具体的に計算する方法を表現しないため、基本的に非構成的である。実際、関数を「実数を入力して実数を出力する」という規則として考えると、関数の積分を計算するアルゴリズムが存在し得ない。これはどのアルゴリズムも一度に有限個の関数値しか呼び出せず、非自明な精度の積分を計算するには有限個の値では足りないためである。この難問の解決策として、初めて Bishop (1967) が実行した方法は、収束係数に関する情報を含む、(連続率が既知の) 連続関数の点単位の極限として記述された関数のみを考えることである。測度論を構成主義化する利点は、集合が構成的に完全測度であると証明できるならば、その集合内の点を探すアルゴリズムが存在するということである（Bishop (1967)を再度参照）。例えば、このアプローチはどの底でも正規数となる実数を構成するのに使うことができる。
構成主義 (数学) 数学における構成主義の立場
伝統的に、数学的構成主義に対して、敵対的ではないにしても、疑念を抱く数学者も存在する。その主な理由は、構成的解析論に数学的構成主義がもたらす制限によるものである。この見地は1928年、ダフィット・ヒルベルトにより、自身の著書『Grundlagen der Mathematik』の中で以下のように強力に表現された。「数学者から排中律を取り上げることは、いわば天文学者に望遠鏡を禁止するか、ボクサーに拳を禁止するのと同じである。」
Errett Bishop は、自身の 1967年の著書 Foundations of Constructive Analysis で、構成主義的な枠組みにおいて、多くの従来的な解析学を改良することによる懸念を払拭するために働きかけた。
構成主義 (数学) 数学における構成主義の立場
ほとんどの数学者が、構成的手法に基づく数学のみが健全であるという構成主義者の論文を採用しないにもかかわらず、構成的手法は特定のイデオロギーに依存しない層の興味を惹きつけ始めている。例えば、解析学の構成的な証明では、構成的手法では古典的手法を使うのより容易に理論の証拠を見つけうるという制約の中でやりくりするというやり方で、証拠の抽出(witness extraction)を保証しうる。構成的数学への応用は、型付きラムダ計算、トポス理論、圏論的論理学にも見られ、これらは基礎的な数学や計算機科学の注目すべき主題である。代数学では、トポスやホップ代数といったテーマに対して、その構造は構成的理論であるという内的言語(internal language)を支持している。そうした言語内で扱うことは、可能な具体的代数の集合やその準同型について推論するといった手段で外的に扱うよりも、しばしば直観的かつ柔軟である。
物理学者リー・スモーリンは Three Roads to Quantum Gravity の中で以下のように著している：トポス理論は「宇宙論の正しい形式の論理」である（30ページ）、「『直観論理』と呼ばれる、その最初の形式において」（31ページ）、「この種の論理では、観測者が宇宙に関して主張できることは少なくとも3つのグループに分けられる：真と判断できるもの、偽と判断できるもの、そして現時点でその真偽を判断できないものである。」（28ページ）
読谷山洋司
読谷山 洋司（よみやま ようじ、1964年〈昭和39年〉2月20日 - ）は、日本の政治家、総務官僚。宮崎県延岡市長（2期）。
読谷山洋司 経歴
宮崎県延岡市緑ケ丘生まれ。父は、旭化成工業（現・旭化成）代表取締役副社長を務め、1988年に紫綬褒章を受章した読谷山昭（1929年 - 2010年）
延岡市立緑ヶ丘小学校卒業。延岡市立南中学校3年生の時に、父親の転勤で東京都へ転居。品川区立荏原第一中学校、芝高等学校卒業。1986年（昭和61年）3月、東京大学経済学部卒業。同年4月、自治省に入省。
2005年（平成17年）、愛媛県総務部長に就任。2008年（平成20年）、内閣府参事官及び内閣官房内閣参事官に就任。2010年（平成22年）、岡山市副市長に就任。
2012年（平成24年）1月、岡山市副市長及び総務省を辞職し、延岡市に帰郷。行政書士として県民の相談に応じるほか事業者の支援などを行う。
2013年3月、子育て支援会社・株式会社アレーテライフイノベーションを起業し、室内公園「こどもーる」を経営。
2015年（平成27年）、長崎県立大学経済学部教授に就任。
2016年（平成28年）、第24回参議院議員通常選挙宮崎県選挙区に向けた自民党県連の候補予定者の公募に2度応募するも選ばれなかった。同年7月の参院選に民進党と社民党の推薦を受けて無所属で出馬し落選。
読谷山洋司 経歴
2017年（平成29年）1月27日、翌年に任期満了する延岡市長選挙に立候補する意向を表明。
2018年（平成30年）1月28日に行われた延岡市長選挙で、前職の首藤正治市長の事実上の後継指名を受けた元県職員の永山英也を567票差で破り初当選を果たした。永山は自民党延岡支部・公明党・民進党・連合宮崎など500超の団体の推薦を集めて組織戦を展開し、盤石の布陣で臨んだが及ばなかった。2月26日、市長就任。選挙の結果は以下のとおり。
※当日有権者数：104,500人 最終投票率：49.68%（前回比：pts）
2022年（令和4年）1月23日の市長選挙で、自民・公明の推薦を受けた元県議の内田理佐を破り、再選。
※当日有権者数：100,444人 最終投票率：55.98%（前回比：+6.3pts）
2025年6月2日、『健康上の理由により、今月末日（6月30日）付で市長を辞職する』ことを記者会見にて発表。読谷山によれば「同年3月の定例議会の頃に咳が出るようになり、病院で検査を受けた際に肺と膵臓に腫瘍が発見された」とし、医師より「早期に治療に専念されたい」という助言を受けたことなどもあり、2026年2月の2期目の任期切れを待たずに辞職することを決断したことを明らかにしている。
読谷山洋司 経歴
市長選挙では政党や団体などから支援をもらわず、有権者と直接つながる形を構築。議員も本来は市長のチェック役なので常につるまず適切な距離を保ち続けるという、しがらみのない選挙・市政を貫き続けた。
また「移動市役所」や「出前市長室～はよ来ね、市長～」などで市民との意見交換を数多く行い、「延岡市政策等形成過程における市民等参加条例（パブリックコメント条例）」を制定・駆使するなど、徹底した「市民目線改革」を続けた。
なお、読谷山家は琉球王国第13代国王・尚敬の第二王子・読谷山王子朝恒（尚和、後に朝憲）を家祖とする王族で、読谷山御殿（ゆんたんざ うどぅん）と呼ばれ（御殿（うどぅん）とは王族のこと）、墓は那覇市指定文化財である。
読谷山洋司 市政
まず、IT企業の誘致に実績を上げた。具体的には、2021年8月に延岡市の事業が政府のスマートシティ関連事業に選定されて以降、市内に新たに15のIT企業の事業所が設立された。
また、IT企業の誘致・集積や地元企業のDXには人材育成が不可欠との観点から、市独自で中・上級レベルのＩＴ人材を毎年新たに60人程度ずつ育成していく「延岡ＩＴカレッジ」を2022年度からスタートした。
障がい福祉や障がい者雇用にも注力した。具体的には、「親なき後の暮らし支援策」「衣・医・食・職・住～ごちゃまぜでつながる安心創造拠点」などの考えのもと「障がい児・者総合支援拠点整備構想・整備計画」を 2025年3月にとりまとめたほか、「障がい者雇用倍増」を掲げ、奨励補助金支給制度の創設、延岡市役所内でのワークステーション設立、障がい者が活躍するIT企業の誘致、岡山県総社市・神奈川県鎌倉市との連携協定締結などを実現した。
読谷山洋司 市政
先駆的な脱炭素の取組み（2022年11月に環境省が延岡市を脱炭素先行地域に選定、森林のCO2吸収量のJクレジット化、鳥獣被害対策や持続可能な集落づくりをワンパッケージで進める「のべおか里山塾」の継続実施など）や、 2021年8月からスタートした地域通貨「のべおかCOIN」などによる地域内経済循環の形成、小中学校における１人１台端末の整備に加えインターネット環境の整っていない家庭へのルーター無料貸出など誰一人取り残さない教育の実践、「延岡こども未来創造機構」の創設や「Out of KidZania in のべおか」の継続開催などが評価され、延岡市は2023年5月に宮崎県内で唯一内閣府から「SDGs未来都市」に選定された。
具体的には、2025年2月21日の市議会における施政方針説明や同年3月4日の市議会答弁において、「『がんばっていればきっと良いことがある』と信じて暮らし、働き、学ぶことのできる『希望あふれるまちづくり』こそが重要である」とするとともに、我が国の「希望学」創設者である東京大学の副学長も務める同大学社会科学研究所教授の玄田有史氏の助言を受けながら長期総合計画を策定するとの考えを示した。
川崎市立南菅中学校
川崎市立南菅中学校は、神奈川県川崎市多摩区菅馬場4-1-1に所在する中学校である。
川崎市立南菅中学校 概要
川崎市で最も敷地が広く、標高の高いところにある市立中学校であり、各学年3クラスの9学級が存在する。支援級もある。
川崎市立南菅中学校 部活
文化部は少なく２つしかない。
吹奏楽部
美術部
バドミントン部
男女バスケットボール部
サッカー部
卓球部
男女ソフトテニス部
陸上競技部
女子バレーボール部
野球部
新体操部
駅伝部・・・秋に県大会を目指して設置
モハメド・トラオレ (1991年生のサッカー選手)
モハメド・ラミン・トラオレ（Mohamed Lamine Traoré、1991年10月13日 - ）は、ギニアとイタリアのサッカー選手。元ギニア代表。ポジションはDF。
モハメド・トラオレ (1991年生のサッカー選手) クラブ歴
ギニア出身でパルマ・カルチョ1913の下部組織に長く在籍した。2010年7月10日にFCズュートティロールに期限付き移籍。2011年夏にはフォッジャ・カルチョと500ユーロで共同保有となったが、2012年6月に再びパルマの完全保有となった。7月26日に同じく500ユーロでFCクロトーネと共同保有になったが、2013年1月22日に再びパルマの所有になり、2年半契約を締結。7月13日にASグッビオ1910にパルマのチームメイトであるピエトロ・バッコロ、ジュゼッペ・カッカヴァッロ、イヴァン・カッチオリ、ジャンマルコ・フェラーリ、アレッサンドロ・ルパリーニ、ミケーレ・モロニ、バダラ・サール、アンジェロ・タルタグリアと共にレンタル移籍。2014年1月31日に彼は再びズュートティロールにレンタル移籍となった。この時にはパルマからグッビオ経由でズュートティロールにリッカルド・コクッザとともに移籍しており、反対にアンドレア・モリネッリがズュートティロールからグッビオに移籍した。
モハメド・トラオレ (1991年生のサッカー選手) クラブ歴
2014年6月30日に、パルマはACチェゼーナにエンマヌエル・カッショーネを250万ユーロで、トラオレを150万ユーロで、カルロ・クリアレーゼを100万ユーロで売却、逆にチェゼーナはパルマにニコラ・ラヴァグリアを250万ユーロで、ニコロ・ロッリを150万ユーロで、ジャンルカ・トゥルチェッタを100万ユーロで売却した。彼は3年契約を締結した。7月24日にサンタルカンジェロ・カルチョへ期限付き移籍となった。
モハメド・トラオレ (1991年生のサッカー選手) 代表歴
2011年9月6日に行われたベネズエラ代表との親善試合にギニア代表として出場した。
モハメド・トラオレ (1988年生のサッカー選手)
モハメド・トラオレ（フランス語: Mohamed Traoré、1988年11月18日 - ）は、マリ共和国のサッカー選手。マリ代表。ポジションはFW。
モハメド・トラオレ (1988年生のサッカー選手) クラブ歴
ASレアル・バマコからクラブ・アフリカーンに移籍し、現地紙から「バマコの狐」（Zorro de Bamako）と称された。その後、FCシオンに移籍したが出場時間は1分に止まった。その後、アル・イスマイリーSCやアル・メレイクSC等に所属した。
モハメド・トラオレ (1988年生のサッカー選手) 代表歴
2010年10月9日に行われたアフリカネイションズカップ2012予選のリベリア代表戦で代表初出場。2014年6月29日に行われた中華人民共和国代表戦で初得点。
イリノイ・ターミナル鉄道
イリノイ・ターミナル鉄道（報告記号:ITC）、1937年まではイリノイ・トラクション・システムと称していた、とはイリノイ州の中央部と南部で1896年から1982年まで大規模な旅客輸送と貨物輸送を行っていたインターアーバン（都市間電気鉄道）である。大不況の際、イリノイ・トラクションは資金繰りに行き詰まり、再編を余儀なくされ、ピオリア、ダンビル、セントルイスなどの主要な蒸気鉄道のターミナルを結び貨物の相互連絡を行うという当初の会社の目的を反映した名前として「イリノイ・ターミナル」という名前を採用した。インターアーバンとしての旅客輸送は徐々に削減されていき、1956年には終了した。貨物輸送は続けられたが、小半径の急曲線を通過しなければならない狭い併用軌道区間がいくつかの町にあったことが障害となっていた。1956年にITCは接続鉄道の連合体に合併された。
イリノイ・ターミナル鉄道 歴史
ITCはイリノイ・パワー・アンド・ライト社の関連会社であるイリノイ・トラクション・システム(ITS)に実業家のウィリアム・B・マッキンリーが統合した一連のインターアーバンの後継の会社である。イリノイ・トラクション・システムはその最盛期にはイリノイ州の中央部と南部で900kmに及ぶ路線網で電気鉄道による旅客輸送を行っていた。この会社の本線はセントルイスからイリノイ州のスプリングフィールドまで延び、さらにスプリングフィールドから北西のピオリア 、東のダンビルへ支線が伸びていた。関連の路面電車が多くの本線の通る街で地元客の輸送を行っていた。1928年にイリノイ・トラクション・システムが買収したエドワーズビルからアルトンを結んだインターアーバンに由来する東セントルイス地区にある区間が最後まで残存した。これはこの会社の路線がいくつかの町において急曲線のある併用軌道を通過することにより貨物輸送において短い車両と特別なハードウェアを必要としたためである。この貨物輸送の問題を不完全ながら解決するため新たなバイパス路線がいくつかの町の周囲に建設された。スプリングフィールドはこの例のひとつである。その他いくつかの町において、蒸気鉄道にバイパスを提供するために線路使用権の取り決めを並行する蒸気鉄道との間に行っていた。例走行の難しい町（町だけでなく鉄道もまた）の例はイリノイ州のモートン（ピオリアのすぐ東）だった。よく整備された架線と重軌条の線路が突如として煉瓦で舗装された中心街のメインストリートを走るようになっていた。
イリノイ・ターミナル鉄道 歴史
世界恐慌の中、イリノイ・トラクション・システムの経営は傾いていた。イリノイ・トラクション・システムは多くの路面電車の営業を1930年代にやめ、そして1935年の公益事業持株会社法により電力の関連会社を切り離すことを余儀なくされた。旅客鉄道は1937年にイリノイ・ターミナル鉄道（ITR）として再編され、電化されたインターアーバン路線の運営を続けていた。長距離の連結された旅客電車による輸送をピリオアとダンビルからセントルイスの間でおよそ20年程度続けていた。郵便輸送が輸送サービスを存続させる収入の助けとなっていた。
イリノイ・ターミナル鉄道 歴史
1950年代になると、自動車の優位が決定的となり、イリノイ・ターミナル鉄道の旅客輸送サービスが利益を生み出すことが絶望的になった。これはセントルイス・カー・カンパニーから高価な流線形電車（ストリームライナー）を購入した時よりも後のことだった。これらの電車はよく整備された郊外の専用軌道では十分な速度を出すことができた。しかし、路線沿いのいくつもの町にある併用軌道区間の急曲線を克服しなければならず、さらに故障が頻発した。さらに悪いことに、この新たな車両は他の鉄道や直通する高速道路がなく競合することのないセントルイスとピリオアの間でさえ一等展望車や食堂車を持っていても旅客を惹きつけることがなかった。1956年3月3日にイリノイ・ターミナル鉄道のインターアーバンの旅客輸送サービスは終了した。1958年には最後まで残ったセントルイスとグラニットの間の郊外電車の旅客営業が終了した。
イリノイ・ターミナル鉄道にはいくつかの重要な線路と貨物列車の顧客がいたため1956年6月に9個の一級鉄道に買収された。これらの集合体はイリノイ・ターミナル鉄道を買収した鉄道に貨物を運ぶディーゼルを動力としたショート・ラインとして利用していた。共同保有という形で再編されたイリノイ・ターミナル鉄道は架線を外され、ほとんど線路、特にインターアーバンの町や村の併用軌道区間が廃止となった。多くの地点でイリノイ・ターミナル鉄道の線路は隣接する路線と接続され、そしてオプションのルートとして利用できるようになった。その後の25年間（1956年-1981年）は非電化の線路でセントルイスの北と東でこの会社を所有している鉄道会社のための貨物輸送を行っていた。ノーフォーク・アンド・ウェスタン鉄道は1981年の9月1日にイリノイ・ターミナル鉄道の所有権を購入し、1982年の5月8日に正式に合併した。
イリノイ・ターミナル鉄道 ミズーリ州セントルイスでの近年の営業
1989年にイリノイ・ターミナル鉄道の後継のノーフォーク・ サザン鉄道はノース・タッカー・ブールバード900にあるセントルイス・ポスト・ディスパッチ本社ビルからマッキンリーのすぐ南にあるブランチ・ストリート・ヤードまでのミズーリ州セントルイスにある残りの現役の線路をイリノイ州オファロンにあるアイロンホース・リソーシーズに売却した。アイロンホースはセントルイスでの操業のためにレイルロード・スイッチング・サービス・オブ・ミズーリ（RSM）という子会社を作った。RSMはセントルイス・ポスト・ディスパッチの本社ビルの基礎部分にある地下の貨物ホームへ収受した新聞紙用紙を積んだ有蓋車を運ぶために存在した。この用紙はポスト・ディスパッチ社が日刊の新聞の印刷をするために使われた。RSMの機関車はかつてアメリカ軍が保有していたEMD SW-8だった。機関車は使用されていないときはタッカー・ブールバードの地下にあるフェンスで囲まれたトンネルに置かれていた。ポスト・ディスパッチから線路は北に向かっていて、およそ4ブロックは地下を走りもう３ブロックはハードリー通りの中央を走っていた。州間高速道路70号線の陸橋では線路は1.5マイルの長さの橋を経由しながら北セントルイスを曲がりくねった線路で進み、ノーフォーク・サザン鉄道が設けていたブランチ・ストリートにある小規模な貨物ヤードに至っていた。RSMのセントルイスでの線路を使用した営業はRSMの乗務員が鉄道輸送をやめることを選んだ郵便局から最後の空の有蓋車を牽引した2004年の6月21日まで続いた。これに続いて、RSMの親会社であるアイロンホースは米国陸上運輸委員会に全線の廃止認可を2005年1月12日に請求し、後に認められた。線路と関係する施設の撤去が終了した後、タッカー・ブールバードの下の地下トンネルが埋められた。それからアイロンホース・リソーシーズは線路敷地とトレッスル橋を一部の線路敷地とトレッスル橋を歩行者と自転車の通れる道路にする計画を持っているグレート・リバース・グリーンウェイに売却した。Theこの路線跡は「The Trestle」と呼ばれる。
イリノイ・ターミナル鉄道 今日のイリノイ・ターミナル鉄道
ミシシッピ川に現存するマッキンリー橋は、当初1910年にイリノイ・トラクション・システムの電車がこの川を渡りセントルイスまで向かうために架けられたものである。一部のイリノイ・ターミナル鉄道とその関連会社の路線の一部はスプリングフィールドの南にあるインターアーバン・トレイルのようなレイル・トレイルとなっている。
イリノイ・トラクション・システムの発電所は電気鉄道が通っていた多くの町や都市で顧客に電気を販売していた。1930年代に鉄道と電力会社は分離した。かつて系列会社だった電力会社イリノイ・パワー・アンド・ライト社を形成するために分社化された。イリノイ・パワー・アンド・ライト社はアメレン社に買収されるまでイリノイ州の中央部と南部の大部分に電力供給を行っていた。親会社への統合は2004年に行われた。
イリノイ・ターミナル鉄道 今日のイリノイ・ターミナル鉄道
シャンペーンのイリノイ・トラクション・ビルディング（イリノイ・トラクション・ステーションやイリノイ・パワービルディングという名前でも知られている）は1913年にジョセフ・ロイヤーにより設計された。このビルはイリノイ・トラクション・システムの本社として使われるとともに、シャンペーンでの旅客駅としても機能していた。こののちビルはイリノイ・ターミナル鉄道の本社ビルとなり、1985年まではイリノイ・パワー・アンド・ライトの本社ビルでもあった。このビルは2006年にアメリカ合衆国国家歴史登録財に登録された。
ノーフォーク・サザン鉄道は同社の30周年記念にNS #1072（EMD SD70シリーズディーゼル機関車）をイリノイ・ターミナル鉄道時代の塗装にした。
イリノイ・ターミナル鉄道 出典
注釈
参考文献
Hilton, George and Due, John, The Interurban Electric Railroad in America, Stanford University Press, Stanford, CA. Reissued.
A very thorough publication about the interurban transportation industry in general. Covers initial financing, construction, physical structures, cars and equipment, freight business, power generation, impact of the Depression, and decline.
イリノイ・ターミナル鉄道 出典
Young, Andrew, St. Louis Car Company Album, Interurbans Special #91, Interurban Press, Glendale, CA, 1984.
St. Louis Car constructed the streamliners in late 1940s that failed to revive Illinois Terminal Railroad's passenger business.
ヨシ・ワダ
ヨシ・ワダ（Yoshi Wada、本名：和田 義正（わだ よしまさ）、1943年11月11日 - 2021年5月18日）は、日本で出まれ、アメリカ合衆国在住で活動を続けたサウンド・アーティスト。長年サンフランシスコに住んだ。
ミニマル・ミュージック、というよりはドローン・ミュージックの開祖的存在と言われている。
ヨシ・ワダ 略歴
京都市立芸術大学卒業後、活動当初はジョージ・マチューナスとともに歩んだフルクサスの残党であった。ラ・モンテ・ヤングとともに「止まったミニマリズム」の趣旨に共鳴してプラン・ナートにインド声楽を師事した後、1980年代から一つの音を長く引き伸ばす活動を始めた。
ラ・モンテ・ヤングの後継のように思われているものの、ヤングと決定的に異なるのは自身の音楽のための創作音具の開発を怠らないことである。ハンディ・ホーン (Handy Horn)、アース・ホーン (Earth Horn) の創造は特に有名であり、ライブはいくつかの約束事を決めてほぼ即興で行われる。ラ・モンテ・ヤングもドローン・ミュージックとして自身の創作を展開させていたものの、ウェル・チューンド・ピアノで「一定の速度で指を早く回転させる」運指法を投入し結果として「速い音色」を使った。しかし、ヨシ・ワダの活動には一切このような逸脱が見られないことから、ヤングよりもミニマルに徹することのできたアーティストと言える。一つのドローンで3時間を超えることもある。電子楽器やラップトップも投入する。
ヨシ・ワダ 略歴
実子のタシ・ワダ (Tashi Wada) も全く同じ趣旨のミニマリズムの活動を行っており、親子で共演することもあるが、アルバムは別々に出している。ヨシ・ワダについて最初に論及が見られたのはトム・ジョンソンの著作『The Voice of New Music: New York City 1972-1982 -- A Collection of Articles Originally Published』（1989年）で、これが逆輸入される形で日本に伝わった。もっぱら活動はライブで行っており、ディスコグラフィはその業績の割に少ない方である。一時期は集団即興演奏を行っていたこともあるが、21世紀は単独ライブに徹していた。