hotchpotch/wikipedia-multilingual-ir-related-paragraph-pairs huggingface dataset:
鉄道の歴史
Section: 鉄道建設の歴史年表

全線が超高速運転用の新幹線規格で建設。0系は最高時速210kmを記録し、営業運転の世界最高速度を大幅に更新。

1981年 日本の神戸新交通がポートアイランド線を開業。

新交通システム（AGT方式）では日本初の営業路線。以後、同種の軌条式中量輸送機関の建設が世界各国で進行。

1981年 フランス国鉄 (SNCF) がTGVの南東線を開業。

最高時速260kmで新幹線を上回る。以後、世界各国での超高速鉄道開発競争が進行。

1984年 ソビエト連邦でバイカル・アムール鉄道（バム鉄道）が開業。
東京都交通局
Section: 沿革

1984年（昭和59年）1月18日 - 財政再建完了に伴い、東京都交通事業経営健全化計画を策定。

1987年（昭和62年）11月12日 - 東京トラフィック開発株式会社を設立。

1988年（昭和63年）
4月1日 - 都営地下鉄の全線が終日禁煙となる。
7月28日 - 東京都地下鉄建設株式会社を設立。

1976年（昭和51年）10月22日 - 第二次財政再建計画を策定。

1977年（昭和52年） - 都電・都バス・都営地下鉄一日乗車券の発売を開始。

1980年（昭和55年）11月26日 - 第三次財政再建計画を策定。
東京都交通局
Section: 事業

案内軌条式鉄道（新交通システム）
 日暮里・舎人ライナー

乗合バス・貸切バス - 都営バス（東京都乗合自動車・東京都貸切自動車）

ダムおよび発電所 - 多摩川の上流部にダムと3箇所の水力発電所を管理している。
白丸ダム
多摩川第一発電所
多摩川第三発電所
白丸発電所

地下鉄 - 都営地下鉄（東京都地下高速電車）
 浅草線
 三田線
 新宿線
 大江戸線

路面電車 - 都電（東京都電車）
 荒川線（東京さくらトラム）
かつては東京都区部に最盛期には約213 kmの路線網を擁していたが、1972年までに荒川線以外は廃止された。荒川線も本来は都電の大幅廃止とともに廃止される予定であった。詳細は都電荒川線#来歴を参照
東京都交通局

東京都交通局（とうきょうとこうつうきょく、英: Bureau of Transportation Tokyo Metropolitan Government）は、東京都及びその周辺の区域において公営交通事業などを行う東京都の局。

東京都地方公営企業の設置等に関する条例（昭和41年東京都条例第147号）及び東京都公営企業組織条例（昭和27年東京都条例第81号）に基づき、水道局や下水道局とともに設置され、地方公営企業法に基づく地方公営企業として軌道事業・鉄道事業・旅客自動車運送事業・電気事業を行っている。
ソプラノ
Section: ソプラノの例

あ行

藍川由美

浅井順子

浅野千鶴子（1904 - 1991）

東敦子

雨谷麻世

天羽明恵

五十嵐麻利江

池田弘子

伊藤敦子（1902 - 1986）

伊藤京子

井上けい子

井上ゆかり

マド・ロバン（Mado Robin）

ステラ・ローマン（Stella Roman）

ピラール・ローレンガー

マージョリー・ローレンス（Marjorie Lawrence）

わ行

リリアン・ワトスン（Lillian Watson）
ソプラノ
Section: オペラにおけるソプラノ

著名なソプラノをめぐって、熱狂的なオペラファンはしばしば異なる歌手を支持して対立する複数の陣営をつくることがあった。
一例としてマリア・カラスとレナータ・テバルディのライバル関係は最も著名なものである（トスカの英語版にある小噺を参照のこと）。

オペラにおいては、声質の違いによりさらに詳細な区分が行われる。これらの区分は歌手の声域というよりむしろ声の特性、音色に関係する。詳細区分は次のようなものである。

レッジェーロ（あるいはスーブレット） →括弧内は、役柄依存の分類
アルベルト・アインシュタイン
Section: アルベルト・アインシュタインを主題にした作品

アインシュタインの脳（1994年、イギリス）

アインシュタインと原爆（2024年、イギリス）

テレビドラマ

ハローアインシュタイン（1984年、フランス・西ドイツ・スペイン・イタリア・ハンガリー・日本・ブラジル）

映画

SF地球滅亡の危機/アインシュタイン暗殺指令（1969年、チェコスロバキア）

マリリンとアインシュタイン（1985年、イギリス）

ヤング・アインシュタイン（1988年、オーストラリア）

ドキュメンタリー映画
アルベルト・アインシュタイン
Section: 業績

1905年に特殊相対性理論を発表した。以前から論理的に展開されていた相対性原理（アンリ・ポアンカレ、ジョゼフ・ラーモア、ヘンドリック・ローレンツなどによるもの）を明確化して採用し、ニュートン力学とマクスウェルの方程式に基づく当時の古典論的物理学の体系に対し、相対性原理に基づく時空概念の修正を前者へ施すことにより、（重力場を除いて）両者は理論的に統合され、古典論的物理学の体系の完成に成功した。特殊相対性理論では、「質量、長さ、同時性といった概念は、観測者のいる慣性系によって異なる相対的なもの」であり、「唯一不変なものは光速度 c のみである」とした。

光量子仮説によって光電効果について理論的な説明づけを行うなど、初期量子論の確立に多大な貢献をした。しかし、「量子は確率論的に振舞う」とする量子力学自体については、アインシュタインは、「神はサイコロを振らない」と懐疑的な立場をとった。局所実在論を支持していたアインシュタインは量子力学の矛盾点の一つとしてアインシュタイン＝ポドルスキー＝ローゼンのパラドックスを提示したが、のちにベルの不等式の破れが実証されると局所実在論は破綻し、EPR相関として知られるようになった。
アルベルト・アインシュタイン
Section: 生涯

1932年、アメリカへ3度目の訪問をすべくドイツを発つ。しかし、翌年にはドイツでアドルフ・ヒトラー率いるナチスが政権を獲得。以後ユダヤ人への迫害が日増しに激しくなっていったため、アインシュタインがドイツに戻ることはなかった。

1929年、ベルギー王家を訪問。ベルギー王妃エリザベートと親交を交わす。

1930年、ベルリン郊外、カプートという町に別荘を建てる。
同年11月、レオ・シラードと共同でガス吸収式の家庭用冷蔵庫の特許を申請する。
京成船橋駅
Section: 駅周辺

ペデストリアンデッキと再開発ビルである船橋フェイスビル（Face）により、当駅と東日本旅客鉄道（JR東日本）・東武鉄道の船橋駅（南口）が接続されている。さらに2007年11月17日からは駅コンコースにも直結した。船橋フェイスビルとコンコースをつなぐ通路は船橋フェイスビル2階通路と同様、早朝深夜帯は閉鎖されるため、当該時間帯は地上の公道・横断歩道を経由する必要がある。

当駅東口前には千葉県道39号船橋停車場線が通り、駅南側には京葉道路（船橋インターチェンジ）、東関東自動車道、国道14号（千葉街道）、国道357号（東京湾岸道路）、千葉県道156号船橋埠頭線が通る。当駅の駅ビルであるネクスト船橋（next）には、レストランやフード、ファッション雑貨など約20店舗の専門店を有する（地上1階 - 2階）。
京成船橋駅
Section: 駅構造

上表の路線名は成田空港線開業後の旅客案内の名称に基づいている。

ホーム有効長は10両分ある（10両編成化の予定があったスカイライナーの停車に対応するための名残）。

以前の車内アナウンスでは、当駅でのJR線・東武線への乗り換え案内を行っていなかった。

東口改札（2019年7月）

西口改札（2018年9月）

ホーム（2021年6月）

1番線駅名標（2017年8月）

東口外観（2011年10月）

西口外観（2018年9月）

船橋フェイスビル直結出入口（2019年8月）
京成船橋駅
Section: 歴史

2006年（平成18年）11月25日 - 下り（京成成田方面）ホームを高架化。これに伴い駅前踏切を廃止。

2009年（平成21年）3月24日 - ネクスト船橋開業。

2010年（平成22年）7月17日 - 成田スカイアクセス線開業に伴うダイヤ改正によって、スカイライナーがスカイアクセス線経由に変更されて当駅を経由しなくなり、かわりに新設されたシティライナーの停車駅となる。

2015年（平成27年）12月5日 - ダイヤ改正によりシティライナーが廃止され、新たにモーニングライナー・イブニングライナーの停車駅となる。

2006年頃の駅舎北側（2006年9月）

2007年11月16日まで使用されていた駅出入口（2007年2月）
ヤフー

LINEヤフー株式会社（旧名Zホールディングス、（（初代）ヤフー株式会社））
ヤフー (企業)：過去に存在していた、上記会社を持株会社化にともない設立された日本の事業会社。上記親会社と合併して消滅。（2代目）ヤフー株式会社。
Yahoo! JAPAN : 上記日本法人が運営するWebポータル

日本の野球場の呼称の略称
神戸総合運動公園野球場の呼称「Yahoo!BBスタジアム」（2003年 - 2004年）の略称。
福岡ドームの呼称「福岡Yahoo! JAPANドーム」（2005年 - 2013年）の略称。
磁気コアメモリ
Section: 構造と記憶の原理

一般的な磁気コアメモリについて、その構造と記憶の原理について説明する。

基本的な要諦は、フェライトコアの特性としてその磁化特性について、ヒステリシスの存在により着磁の変化に一定の「しきい値」のようなものがあることである。

あるコアにデータを書き込むには、そのコアに対応する書き込み用電線2本に電流を流して磁化させる。電流の方向によりコアの磁界の向きが決まり、それにより0か1のビット値が決まる。なお、磁化されたコアは、電流が止まっても磁化した状態を保持するので不揮発性のメモリということができる。
磁気コアメモリ
Section: 豆知識

コンピュータのメモリが半導体化されて久しいが、メモリ内容をダンプしたファイルをコアダンプ（プログラムの異常終了などでそうなることを「コアを吐く」ともいう）と呼ぶのは磁気コアメモリが使われていた当時の名残りであり、現在でも使われている。また、UNIXカーネルにてエントリポイントを実装するアセンブリソースファイルlocore.sは、PDP-11の磁気コアメモリの低位アドレスにて実行されることから名付けられた。この他、カーネル内でメモリアドレスを表す型caddr_tなど、磁気コアメモリに由来するUNIX用語が残っている。プログラミングゲームのコア戦争の名前も、主記憶をコアと呼ぶことに由来する。

IBMは半自動式防空管制組織に用いた磁気コアメモリの駆動回路に、真空管に代えてシリコントランジスタを採用し信頼性と高速性を確保した。トランジスタがゲルマニウム製全盛期に、シリコントランジスタを製造できたのはロバート・ノイス率いるフェアチャイルドセミコンダクターのみであり、IBMはフェアチャイルドセミコンダクターから独占的に高額で買い付け、創業時のフェアチャイルドセミコンダクターを（結果的に）資金面で支えた。後年フェアチャイルドセミコンダクターを見限ったロバート・ノイスは、半導体メモリを集積回路で安価に製造することで、（自身が普及を助けた）磁気コアメモリに取って代わることを目的としてインテルを設立した。最初期の社章はコアを齧るイメージを用いている。最初のD-RAMを商品化したのもIntel社である。
磁気コアメモリ
Section: 日本における磁気コアメモリの歴史

なお、コアメモリは人件費の安い日本の工場で製造することで低価格化を図り、メインメモリとして磁気ドラム装置などに代わって広く普及させることに成功したが、それでも高価であることには変わりなかった。特に日本国内の組織が自前でコンピュータを作る際はTDKや日立に高い金を払ってコアメモリを購入することになるため、例えば電電公社・日本電気（NEC）・日立製作所・富士通の4社共同で1968年より開発が開始された電電公社のDIPS-1（主記憶16MB）では、磁気コアメモリがそのセンタコストの約3割を占めたという。そのため、DIPS-1では後にコアメモリより安くて大容量な磁気ドラム装置を用いた仮想記憶システムが搭載された。磁気ドラム装置は安価で大容量と言う点を生かし、1960年代以降には補助記憶として利用されるようになったが、メインメモリのコアメモリと比べると1000倍程度遅く、1970年当時には主記憶と補助記憶のあまりに大きすぎる性能差が問題となっていた。電電公社のシステムでは従来の固定ヘッドに代わって浮動ヘッド方式を採用することで10倍の高速化を成し遂げたが、それでも遅かった。

日本メーカーが半導体メモリの量産を開始するのは、Intelの2年後となる1973年頃からである。NEC（半導体事業部、後に日立の半導体事業部と合併、現・マイクロンメモリジャパン）の開発したSRAMは1973年にDIPS-1に搭載された（NECは1968年に144bitのSRAMを開発していたという説がある）。また、日立製作所（半導体事業部、現・マイクロンメモリジャパン）も1973年に日立初の半導体メモリとなるHM3503シリーズ（1,024ビット、Intel1103シリーズ相当品）の量産を開始する。コアメモリは信頼性、コスト、電源を切っても記憶内容が消失しないなど、1973年の時点でも半導体メモリに対する利点は依然として大きく、メインメモリ以外の分野ではしばらくはコアメモリを置き換えることは無いだろうというのが業界の予想であり、日立の社内誌である『日立評論』においても1973年以後もいくつかコアメモリの高性能化に向けた論文が発表されているが、一方で、大容量、速度、コストの面から今後の半導体メモリの市場性が高いことに日立は気づいていた。日立は1952年にRCA社と技術提携し、日立製作所茂原工場（現・ジャパンディスプレイ）にRCA社の技術導入を行った際「欧米との20年の技術的な隔たり」があると語ったが、20年後の1972年の時点では世界の半導体ビッグスリーの一角を占めるまでになっていた。
レイ・ハリーハウゼン
Section: 主な映画作品

『恐竜グワンジ』（1969年） - エオヒップス、オルニトミムス、プテラノドン、スティラコサウルス、グワンジ、象

『シンドバッド黄金の航海』（1973年） - ホムンクルス、動く女神の船首像（セイレーン）、カーリー、一つ目のケンタウロス、グリフォン

『H・G・ウェルズのSF月世界探検』（1964年） - 月船、宇宙球面、月牛（ムーンカーフ）、セレナイト、グランドルナ

『恐竜100万年』（1966年） - ブロントサウルス、アロサウルス、トリケラトプス、ケラトサウルス、プテラノドン、エウディモルフォドン、アーケロン
レイ・ハリーハウゼン
Section: 生涯

1994年の映画『ビバリーヒルズ・コップ3』ではカメオ出演し、1998年には『猿人ジョー・ヤング』のリメイク作品『マイティ・ジョー』に、『猿人ジョー・ヤング』で主演を務めたテリー・ムーアと共にカメオ出演し、2003年公開の『エルフ 〜サンタの国からやってきた〜』にもカメオ出演した。2010年には『バーク アンド ヘア』にもカメオ出演している。

1960年にロンドンに移住し、晩年まで同地で過ごした。1962年10月にダイアナ・リビングストン・ブルースと結婚し、娘ヴァネッサをもうける。1992年に永年の功績によりアカデミー賞特別賞を受賞した。授賞式では、高校時代からの盟友であるレイ・ブラッドベリの手からオスカー像が手渡された。
レイ・ハリーハウゼン
Section: 特撮映画への影響

1990年の映画『グレムリン2 新・種・誕・生』や2008年の映画『クローバーフィールド/HAKAISHA』では、リドサウルスが暴れる場面が挿入されている。

2013年のアメリカ映画『パシフィック・リム』では、エンドクレジットに「THIS FILM IS DEDICATED TO THE MEMORY OF MONSTER MASTERS RAY HARRYHAUSEN AND ISHIRŌ HONDA」（この映画をモンスターマスター、レイ・ハリーハウゼンと本多猪四郎に捧ぐ）との献辞が掲げられている。

アードマン・アニメーションズのピーター・ロードもTwitterで「一人の産業、一人のジャンル」と彼の業績を称賛し、テリー・ギリアムも「私たちはコンピューターでデジタル的に作ります。しかし、ハリーハウゼンはコンピューターのない時代からデジタル的に作っていました」と述べた。エドガー・ライトは「私はレイ・ハリーハウゼンのあらゆる映像を愛していました。彼は、私にモンスターの存在を信じさせた存在でした」とコメントしている。
ポートピア連続殺人事件
Section: 移植版

特徴としては自然言語処理（NLP）により入力したテキストの内容を判断し、意図が近いコマンドとして入力を受け付けることで、会話でゲームを進行することができる。ジャンルは「NLPアドベンチャー」としている。体験・学習用の一環として、オプションで入力テキストのNLUビジュアライザーの表示ができ、テキストの解析による内容の意図に近いコマンドの複数候補が上位順に表示されるように可視化できる。

発売40周年となる2023年には、スクウェア・エニックスで製品開発の支援を行うAI部が開発した『SQUARE ENIX AI Tech Preview: THE PORTOPIA SERIAL MURDER CASE』がSteamで無償公開された。これはCEDEC+KYUSHU 2022で発表されたゲームの公開版となる。なお技術プレビューであるためSteamでは教育のジャンルに登録されている。説明では「PC版「ポートピア連続殺人事件」を通して、AI技術のひとつである「自然言語処理」を学習・体験するソフトウェアです」としている。
ポートピア連続殺人事件
Section: 制作

本作の物語は、人とのやり取りの台詞だけで進行していく。つまり、本作には物語を説明する「地の文」が存在せず、その要素は主人公の相棒であるヤスの台詞という形で表現されている。従来のアドベンチャーゲームは、コンピュータ側が表示する説明文とやり取りしながら進めていくものがほとんどで、そこにキャラクター性を持たせる本作の手法は当時としては画期的なものだった。そうした理由について堀井は、台詞のほうが読みやすいこと、また、コンピュータとやり取りするよりキャラクター同士でやり取りしたほうが温かみがあって面白いということを挙げている。

当時のアドベンチャーゲームでは東西南北の方角を指定して移動するのが一般的だったが、本作では地名を指定して瞬時に移動するという前例のない手法を用いている。これについて堀井は前段の話と併せて「僕の発想自体がゲームを作るというよりは漫画家志望だったんで、台詞だけで進めるとか、場面転換するとか、マンガみたいなものをコンピューターというメディアを使って書いてみようというのが出発点だったんです」と語っている。
ポートピア連続殺人事件
Section: ゲーム内容

なお、本作では謎解きよりも物語を見せることを重視したゲームデザインがされており、エンディングに辿り着くためにゲーム中で様々な証拠を集め、フラグを立て、事件の因果関係を解き明かす必要がある。そのためプレイヤーが最初から真犯人を知っていたとしても、ゲーム開始直後に逮捕することはできない。

合成音声機能を持つPC-6001mkIIの専用版がPC-6001版のテープB面に収録されており、例えば街で「キキコミ」をすると、ヤス「あのぉ、ちょっとお尋ねしますが…」→通行人「はい、何でしょう?」など、一部の場面で登場人物が音声を出すようになっている。
真理
Section: 歴史

アリストレスの学問体系は、その後、中世のスコラ学に引き継がれ、近代認識論が成立するまでは長らく支持されていたが、その後も現代にいたるまで唯物論的見地から主張された模写説（素朴実在論）・反映説（マルクス主義）や観念論的見地から主張された構成説など様々なバリエーションの対応説が主張された。バートランド・ラッセル、前期ウィトゲンシュタインも言語論の研究成果を受けて修正されているものの、対応説の一つに数えることができる。

アウグスティヌスは若き日に懐疑主義の虜となったが、のちに神学者として「宗教的真理」を探究した人物である。彼は、懐疑主義者に対し、「わたしも疑う。ゆえにわたしは存在する。わたしは間違える。ゆえにわたしは存在する」として自己の存在の確実性を盾にした上で、神学者として、わたしは神と自らの魂を認識したいと望む。ここから真理の探究が始まる。
真理
Section: 西洋哲学における真理論

真理の実用説（有用説）：生にとって有効・実用的な認識を真理であるとする。フリードリヒ・ニーチェ、ウィリアム・ジェイムズ

真理の合意説：合意された認識を真理であるとする。チャールズ・サンダース・パース、ユルゲン・ハーバーマス

真理の整合説：他の命題と整合的な認識が真理であるとする。公理的で演繹的な真理観。中期プラトン、ライプニッツ、スピノザ、ヘーゲル

真理の明証説：意識に対して明証的に現れるものを真理とみる。ルネ・デカルト、エトムント・フッサール
真理

西欧哲学において、真理論（英語: truth theory, theory of truth）は論理学や認識論においてとりわけ主題化される。真理は、現実や事実と異なり、妨害・障害としての虚偽・誤謬を対義語としており、露わさ、明らかさ、隠れなさに重点がある。そのものありのままであり、あらわであり、その本質が覆われていない、という意義に関しては、哲学的には本質主義や同一性とも関わりが深い。

論証する、つまり、言語による表現であることが真理に不可欠であり、哲学的にはロゴスとも関わりが深い。東洋には不言真如という概念もある。

人間を自由にするものとしての真理が説かれることもある。キリスト教では「真理はあなたたちを自由にする（ヨハネ8章32節） 」と説かれている。仏教では、人間を苦しみから解放する真理をあらわす「法」が説かれる。
アルゴ探検隊の大冒険
Section: あらすじ

ジェーソンの一行はコルキスに着き、ジェーソンとアカスタスはどのように黄金の毛皮を守るコルキス王アイエテス（ジャック・グウィリム）に近づくかで対立し、喧嘩となった。アカスタスは非武装で海に飛び込んで逃げた。彼が死んだと思ったジェーソンと仲間達はアイエテス王の祝宴への招待を受け、そこで毛皮を取りに来た事が露見し、捕らえられる。ジェーソンの目的を密告したのは、アルゴ探検隊の一員の振りをしていたペリアスの息子アカスタスであった。だが、ジェーソンと惹かれあったメディアは彼と仲間達を助け脱出した。

建造者のアルゴス（ローレンス・ネイスミス）に因み名付けられ、ヘラの加護を受けた人類史上最初の大型帆船「アルゴ号」でジェーソンの仲間「アルゴナウタイ」となる栄誉のために、多くの勇士がギリシャ中から競技に集まった。ヘラクレス（ナイジェル・グリーン）、ハイラス（ジョン・カーニー）などが選ばれ、ペリアスにより息子のアカスタス（ゲイリー・レイモンド）が妨害のため送り込まれた。
日本の鉄道駅

日本の鉄道駅（にほんのてつどうえき）は、日本における鉄道の駅について記述する。

日本では駅員が配置されている鉄道駅については乗車券等や入場券を持たないと乗降場に立ち入ることが出来ないようになっているのが一般的である。駅員が乗車券を検査・回収する出入口を改札口と呼ぶ。現在では都市部を中心に、乗車券の自動販売機（自動券売機）や自動改札機が多く用いられ、出札・改札業務の合理化が図られている。

また、かつての日本国有鉄道（国鉄）には仮乗降場という施設が存在し旅客の乗降を扱っていたが、これらは正規の鉄道駅ではなく、各地方管理局の権限で設けられた乗降のための施設で、主に北海道内に設置されていた。仮乗降場は1987年（昭和62年）の国鉄分割民営化までに所属する路線そのものの廃止や正式な駅への格上げによって姿を消した。
日本の鉄道駅
Section: 鉄道駅の現在

かつては小さな駅でも貨物や運転を取扱うために駅員がおり、小さい駅でも一定以上の規模の駅舎が必要だった。しかし最近は人件費節約や、維持に費用の掛からないもの（メンテナンスフリー）を優先するような経営姿勢により、乗降客が非常に少ない場合は、地方を中心に無人駅化される例が多く見られるようになった。かつての駅舎が撤去され、待合室のみ、出札小屋のみ、あるいは建物が何もない駅なども出てきた。一方、都心部では駅に人が集まることを利用した駅ビルや、自由通路を兼ねる橋上駅舎などが増えている。

これにより、エスカレーターやエレベーター、障害者やオストメイトに対応したトイレの設置が広まり、障害のある人にもより使いやすいようになりつつある。

国土交通省により2010年までに、乗降客5000人以上の駅で段差が5m以上ある場合、エレベータ・エスカレータにより段差を解消することなど、移動円滑化を図ることを目標にしている。さらに、一部の路線の駅では、線路への転落事故を防止するためのホームドアの設置が行われており、安全にも配慮がなされている。
日本の鉄道駅
Section: 所属線

豊野駅：信越本線→飯山線（北陸新幹線延伸による信越本線長野駅 - 妙高高原駅間のしなの鉄道への転換のため）

糸魚川駅：北陸本線→大糸線（北陸新幹線延伸による北陸本線市振駅 - 直江津駅間のえちごトキめき鉄道への転換のため）

富山駅：北陸本線→高山本線（北陸新幹線延伸による北陸本線倶利伽羅駅 - 市振駅間のあいの風とやま鉄道への転換のため）

高岡駅：北陸本線→城端線（上記と同じ理由）

津幡駅：北陸本線→七尾線（北陸新幹線延伸による北陸本線金沢駅 - 倶利伽羅駅間のIRいしかわ鉄道への転換のため）
スティーヴン・ホーキング
Section: 宗教観

この点について、El Mundoという新聞のインタビューに対して、ホーキング博士は下記のように回答している。

科学が理解される以前は、神が宇宙を創造したと考えるのが自然であった。しかし、現代では科学がより説得力のある説明をする。私が「神の心を知ることができる」と言ったのは、もし神が存在するならば、神が知っているであろうことをすべて知ることができる、という意味です。私は無神論者である。

2011年5月には、人間の脳について「部品が壊れた際に機能を止めるコンピューターと見なしている」とし、「壊れたコンピューターにとって天国も死後の世界もない。それらは闇を恐れる人の架空のおとぎ話だ」と否定的な見解を述べ、改めて宗教界との認識の溝を示した。
しかし、前述のロジャー・ペンローズのように完全には死後の世界を否定しておらず、むしろ肯定的な人間とも仕事をすることはある。それについてホーキングは、「あくまで私の中の主張」と注釈を述べている。
スティーヴン・ホーキング
Section: 主張

前述のとおり、時間順序保護仮説によって過去に戻るタイムマシンは不可能という立場をとっている。これは「我々の時代に未来からの観光客が押し寄せたことはない」ことからも裏付けられるとしている。タイムマシンが将来的にできるかどうかに関しては「私は誰とも賭けをしないだろう」とした。その理由について、「賭けの相手は（もし本当にタイムマシンが作られるならそれを使って）不公平にも未来を知っているかもしれないから」としている。

2010年4月25日にアメリカのディスカバリーチャンネルのテレビ番組にて、クリストファー・コロンブスがアメリカ大陸に到着した時、資源を使い切った彼によってアメリカ先住民が征服されたことを引き合いに出し、人類と宇宙人との接触は人類にとってよい結果をもたらさない、として宇宙人とのコンタクトを試みるべきではないと主張した。2017年に中国にある世界最大の500メートル球面電波望遠鏡が初めて宇宙からの信号らしきものを受信したと伝えられた際は「応答するな！応答するな！応答するな！」と厳しい警告を発していた。
スティーヴン・ホーキング
Section: 著作物

スティーヴン・ホーキング 著、佐藤勝彦 訳『ホーキング、未来を語る』（普及）アーティストハウスパプリッシャーズ、2004年。ISBN 4-04-898165-X。 （The Universe in a Nutshellの翻訳）

スティーヴン・ホーキング 著、佐藤勝彦解説・監 訳『時間順序保護仮説』NTT出版、1991年。ISBN 4-87188-150-4。

スティーヴン・ホーキング; ロジャー・ペンローズ 著、林一 訳『ホーキングペンローズが語る時空の本質』早川書房、1997年。ISBN 4-15-208076-0。
サルバドール・ダリ
Section: 書籍

ドミニク・ボナ『ガラ 炎のエロス』、岩切正一郎訳、筑摩書房、1997年。ISBN 978-4-480-88503-6

ルイス・キャロル著 サルバドール・ダリ作画『Alice's Adventures in Wonderland150 Anv Edition』ISBN 978-0691170022

村松和明『ダリをめぐる不思議な旅』ラピュータ、2010年、ISBN 978-4-947752-92-5

ロベール・デシャヌル/ジル・ネレ『ダリ全画集』、TASCHEN、新版2009年。ISBN 978-4-88783-376-0
サルバドール・ダリ
Section: 生涯

第二次世界大戦中は戦禍を避けてアメリカ合衆国に移住したが、1948年にスペインに帰国。ポルト・リガト（en:Port Lligat）に居を定めて制作活動を行った。

1964年イサベル・ラ・カトリカ大十字勲章を受章した。

1982年にガラが死去すると、「自分の人生の舵を失った」と激しく落ち込み、ジローナのプボル城に引きこもった。

1983年5月を最後に絵画制作をやめている。

1984年には寝室でおきた火事でひどい火傷を負い、フィゲラスに移った。
サルバドール・ダリ
Section: 主な作品

1930年 不可視のライオン、馬、眠る女

1933年 ミレーの≪晩鐘≫の古代学的回想

1936年 燃えるキリン

1936年 茹でた隠元豆のある柔らかい構造（内乱の予感）

1936年 秋の人肉食

1922年キャバレーの情景 （福島県諸橋近代美術館）

1926年 パン籠

1929年 大自慰者（El gran masturbador）

1931年 記憶の固執（柔らかい時計）（La persistència de la memòria）
リバプールサウンド
Section: 概要

地域の連帯感とイギリス社会全体からの疎外、経済の停滞による閉塞感など、様々な要因がこの地域における独自のビート・ミュージックの誕生に影響を与え、アメリカから流入する最新のレコード、ギターなどの楽器にいち早く触れられる環境でもあった(貿易制限のためギターの輸入量は限られてはいたが）ことも重なって、リヴァプールのビート・バンド達はバディー・ホリー&ザ・クリケッツをはじめとする同時代のアメリカのグループに大きな影響を受けた。

当時、大衆音楽の配給元はほぼ全てがアメリカだった。そのような状況下で、音楽的僻地・イギリスの白人の若者達であるビートルズが黒人音楽に強く影響されたビート音楽を生み出し、大ヒットを記録したのである。まさに前代未聞の出来事であった。それはファッション・ルックスだけでなく、エレクトリックギターを中心にしたソリッドな演奏に巧みなコーラスワークを加えたバンドスタイル、メンバー自らが作詞作曲を手がける独自の音楽性が真に衝撃的だったからだ。
リバプールサウンド

リバプールサウンドとは、1960年代前半にイギリスで勃興したロックンロールのムーブメントおよびそこから確立したジャンルを指す音楽用語。日本独自の呼称であり、現地ではマージー・ビート（英語: Merseybeat）、ビート・ミュージック（英語: Beat music）、ブリティッシュビート（英語: British beat）などと呼称された。

ロックンロール、ドゥー・ワップ、スキッフル、R&B、ソウル・ミュージックなど様々な既成の音楽が融合され、1960年代中盤まで進化・分化していった。1964年以降、このムーブメントから生まれたバンドが次々とアメリカのポップ・ミュージック界に進出してヒットチャートを賑わせ、第1次ブリティッシュ・インヴェイジョンのリーダー役となった。
福島駅 (阪神)
Section: 歴史

1905年（明治38年）4月12日：阪神本線の開業と同時に開業。当時は地上駅で、現在のラグザ大阪が建つ場所に駅があった。

1945年（昭和20年）：戦禍により営業休止。

1948年（昭和23年）10月26日：営業再開。同時に当駅の300m梅田寄りにあった出入橋駅を廃止。

1993年（平成5年）9月5日：本線地下化によりJR西日本福島駅南側から100mの国道2号線地下に移転、地下駅となる。

1999年（平成11年）4月11日：急行停車駅に昇格。

2009年（平成21年）3月20日：急行停車を取りやめ（同時に本線準急も休止）、代わって区間急行の停車駅となる。
福島駅 (阪神)
Section: 駅周辺

ラグザ大阪
ホテル阪神大阪

浄正橋交差点
曽根崎通（国道2号）
なにわ筋（府道41号）

福島天満宮

日本郵便 大阪福島駅前郵便局

日本郵便 大阪上福島郵便局

ザ・シンフォニーホール（旧・ABCセンター）

関西将棋会館

関西電力病院

大阪中之島合同庁舎
大阪高等検察庁
大阪地方検察庁
法務総合研究所大阪支所
人事院近畿事務局

ほたるまち 福島一丁目 再開発地区
朝日放送グループホールディングス本社
朝日放送ラジオ・朝日放送テレビ本社
ABCホール
堂島リバーフォーラム
福島駅 (阪神)
Section: 駅構造

トイレは改札内中ほどにある。

当駅の到着前に車内放送では「次は 福島 ラグザ大阪・ホテル阪神前」と案内されている。駅名標にも「ラグザ大阪前」の副駅名表記があったが、新デザインの駅名標導入に際して同表記は消えている。

地上駅の跡地にはホテル阪神、地上線跡地には交番、商業ビルなどが建っている。

東改札口

西改札口

コンコース

大阪方面ホーム

神戸方面ホーム

トイレ

現在の駅名標

地下化当初の駅名標。当駅独特の様式であったが、のちに他の駅と同じデザインのものに取り替えられている。
細胞質分裂
Section: 動物細胞

C. elegans胚において遺伝的操作やレーザーを用いた操作を行った研究では、紡錘体から細胞皮質へは、中心紡錘体から発するシグナル、星状体に由来するシグナルの2種類の冗長的なシグナルが送られていることが示されており、分裂溝の位置決定には複数の機構が複合的に関与していることが示唆されている。特定のシグナルが優位であるかどうかは、細胞種や生物種によって異なる。シグナルの種類の多さやそれらの部分的冗長性は、システムを頑強にし、空間的正確性を高めるために必要なものである可能性がある。

第三の仮説は、星状体による収縮の緩和である。この仮説では、細胞皮質全体に活発なアクチン-ミオシンバンドルが分布しており、その収縮が紡錘体極近傍で阻害されることで、両極の中間点で最も収縮活性が高くなるような活性勾配が形成されるとされる。すなわち、星状体微小管は極に近接する皮質の収縮を緩和するような負のシグナルを生み出しているとされる。
細胞質分裂
Section: 植物細胞

小胞は融合して小管ネットワークとなり、そして小管が互いに横方向に拡大して融合することで、開口部を持つ平面状のシートが形成される。細胞板の成熟につれて、多くの膜物質はクラスリン介在型エンドサイトーシスによって除去される。最終的に、細胞板の辺縁部は親細胞の細胞膜と（多くは非対称な形で）融合し、細胞質分裂が完了する。残った開口部には小胞体の小管が通過しており、これらは原形質連絡の前駆構造となっていると考えられている。

フラグモプラストは紡錘体の残余物から組み立てられ、フラグモプラストの中心部へ小胞を輸送するための軌道として機能する。こうした小胞には、新たな細胞境界の形成に必要な脂質、タンパク質、炭水化物が含まれている。電子線トモグラフィー研究によって、こうした小胞はゴルジ体が供給源となっていることが突き止められているが、他の研究ではエンドサイトーシスされた物質も小胞に含まれていることが示唆されている。
細胞質分裂

通常の細胞質分裂過程では対称的な分裂が行われるものの、特定の機能を目的としたさまざまなバリエーションも存在する。一例として動物の卵形成過程では減数分裂時の細胞質分裂は対称的ではなく、ほぼすべての細胞質や細胞小器官を受け取る卵と、これらをほとんど受け取らない極体が形成される。極体は大部分の生物種では機能を持たず死滅するが、一部の種ではさまざまな特別な機能を担っている。また、肝臓や骨格筋などの組織では有糸分裂時に細胞質分裂が省略され、その結果として多核細胞（合胞体）が生じる。

細胞質分裂（さいぼうしつぶんれつ、英: cytokinesis）は細胞分裂過程の一部であり、1つの真核細胞の細胞質が2つの娘細胞へ分割される過程である。細胞質分裂は、有糸分裂や減数分裂における核分裂過程の終盤の段階、もしくはその後に開始される。細胞質分裂が行われている間に、紡錘体によって分離された姉妹染色分体は各娘細胞の細胞質へ輸送される。この過程は染色体の本数やセットが世代を超えて維持されるよう保証しており、特殊なケースを除き、娘細胞は親細胞の機能的なコピーとなる。分裂終期段階と細胞質分裂が完了すると、各娘細胞は細胞周期の間期に移行する。
細胞骨格
Section: 原核生物と真核生物の細胞骨格の共通点と差異

細胞内でフィラメントを形成するタンパク質は、チューブリン様タンパク質、アクチン様タンパク質、WACA（Walker A cytoskeletal ATPase）タンパク質、中間径フィラメントタンパク質の4種類に分類される。

チューブリン様タンパク質にはある程度のアミノ酸配列の類似性がみられるものの、タンパク質が同じフォールドであることやGTP結合部位の類似性がより顕著である。アクチン様タンパク質の構造やATP結合部位に関しても、同じことがいえる。
細胞骨格
Section: 歴史

細胞構造の枠組みとなる骨格の存在は、1903年にニコライ・コルツォフによって、そして1917年にエドウィン・コンクリンによって提唱された。そして1929年にRudolph Petersは、細胞中にタンパク質分子による三次元的ネットワークが張りめぐらされていると提唱した。現在の細胞骨格にあたる概念と用語（フランス語でcytosquelette）は、1931年にフランスの発生生物学者 Paul Wintrebertによって導入された。

細胞骨格は当初は真核生物のみに存在すると考えられていたが、真核生物の細胞骨格の主要な構成要素であるチューブリンやアクチンと相同なタンパク質が細菌にも存在することが1992年に発見された。その後、原核生物にも同様に動的な細胞骨格が存在することが裏付けられたものの、原核生物と真核生物の細胞骨格は単純な関係にはなく、組成と機能の両面でかなりの多様性がみられることも明らかとなった。
細胞骨格
Section: 真核生物の細胞骨格

モータータンパク質などの補助タンパク質は、フィラメントの調節のほか、フィラメント間や他の細胞内構成要素との連結を担っており、細胞内の特定の部位において制御された形で細胞骨格フィラメントを組み立てるために必要不可欠である。

細胞骨格に対して作用する薬剤はcytoskeletal drugと呼ばれ、アクチンや微小管と相互作用する低分子が多数発見されている。これらの化合物は細胞骨格の研究に有用であり、いくつかは臨床応用がなされている。
記憶
Section: 学習と記憶の定着のプロセス

情報を保存しておくことを保持という。情報科学的な視点から貯蔵と呼ばれることが多い。

情報を思い出すことを想起、起憶という。情報科学的な視点から検索と呼ばれることが多い。想起のしかたには以前の経験を再現する再生、以前に経験したことと同じ経験をそれと確認できる再認、以前の経験をその要素を組み合わせて再現する再構成などがある。

記憶されていたことを想起できなくなることを忘却（ぼうきゃく）という。

東京大学の研究チームは、脳における軽微な忘却が運動制御指令の最適化に有効であることを理論的に初めて証明した、と発表。

忘れることは、時に学習にとって良いことである。
記憶
Section: 感覚記憶

外部から与えられた刺激はまず最初に感覚記憶によって処理される。感覚記憶は最大でも1,2秒の範囲でしか保持されない。極めて短時間であるため、提唱者のAtkinson&Shiffrinは「感覚バッファ」とも表現した。

感覚記憶は各間隔のモダリティそれぞれに発生し、ヒトがもとの感覚の経験を短時間保持することを可能にする。視覚に関連するアイコニックメモリ（iconic memoy）、聴覚に関連するエコーイックメモリ（echoic memory）などがある。
記憶
Section: 分類

長期記憶（LTM, Long time memory）

記憶のプロセス

符号化（Encoding）[記銘とも訳される]

保持（Storage）[保存とも訳される]

想起（Retrieval）

長期記憶のみ、あるいはエピソード記憶のみを指して記憶と呼称することもある。

1968年、Atkinson&Shiffrinは記憶のマルチストアモデルを提唱した。彼らは情報の段階的処理によって記憶が定着する過程をモデル化した。このマルチストアモデルでは感覚記憶→短期記憶→長期記憶という用語が用いられた。
微小管
Section: 有糸分裂

中心体は有糸分裂中の細胞の主要なMTOCである。各中心体は、互いに直交する向きに配置された、中心小体と呼ばれる2つの円筒から構成される。中心小体には9個のmain microtubuleが存在し、そのそれぞれに2つのpartial microtubuleが結合している。中心小体の円筒構造の長さは約400 nm、外周は約200 nmである。

極微小管（interpolar/polar microtubule）もまた、有糸分裂時に中心体から放射される微小管の1つである。星状体微小管とは異なり、これらの微小管は紡錘体へ向かって放射される。極微小管は有糸分裂時に最も豊富に存在し、また最も動的な微小管である。紡錘体内の微小管の約95%が極微小管としての特性を有する。さらに、こうした微小管の半減期は極めて短く、1分未満である。キネトコアへの接着を行わない極微小管は、側面でのキネトコアとの相互作用を介して染色体の集合を補助する。
微小管
Section: 微小管ダイナミクスの調節

ポリグリシル化:  α-チューブリンのC末端近傍の5つのグルタミン酸残基のいずれかのγ-カルボキシル基へ、ポリグリシン鎖（一般的には2–10残基の長さ）を付加する。TTLL3、TTLL8は分岐の開始となるグリシンを付加し、TTLL10はポリグリシン鎖を伸長する。

ポリグルタミル化: α-チューブリンのC末端近傍の5つのグルタミン酸残基のいずれかのγ-カルボキシル基へ、ポリグルタミン酸鎖（一般的には4–6残基の長さ）を付加する。分岐の開始となるグルタミン酸を付加する酵素（TTLL4、5、7）とポリグルタミン酸の伸長を担う酵素（TTLL6、11、13）が存在する。
微小管

微小管（びしょうかん、英: microtubule、マイクロチューブル）は、細胞骨格の一部を構成し、真核細胞に構造と形状をもたらしているチューブリン重合体である。微小管の長さは50 μmにもなり、管構造の外径は23–27 nm、内径は11–15 nmである。微小管内では、2つの球状タンパク質α、β-チューブリンからなるヘテロ二量体が直列に並んでプロトフィラメント（protofilament）を形成しており、プロトフィラメントどうしの横方向の相互作用によって中空の管構造が形成されている。微小管の最も一般的な形態は、13個のプロトフィラメントからなる管状構造である。

微小管は細胞の構造の維持に関与しており、マイクロフィラメントや中間径フィラメントとともに細胞骨格を形成しているほか、繊毛や鞭毛の内部構造を構成している。また細胞内輸送のための基盤となり、分泌小胞、細胞小器官、細胞内高分子複合体の移動など、さまざまな細胞過程に関与している。細胞分裂（有糸分裂と減数分裂）にも関与しており、複製された染色体を引き離すために用いられる紡錘体の主要な構成要素である。
生命

生命は古代から研究されており、エンペドクレスは唯物論で、生命は永遠の四元素から構成されていると主張し、アリストテレスは質料形相論で、生物には魂があり、形と物質の両方を体現していると主張した。生命は少なくとも35億年前に誕生し、その結果、普遍的な共通祖先へとつながった。これが、多くの絶滅種を経て、現存するすべての種へと進化し、その一部は化石として痕跡を残している。また、生物を分類する試みもアリストテレスから始まった。現代の分類は、1740年代のカール・リンネによる二名法から始まった。

生命（せいめい、英: life）とは、シグナル伝達や自立過程などの生物学的現象を持つ物質を、そうでない物質と区別する性質であり、恒常性、組織化、代謝、成長、適応、刺激に対する反応、および生殖の能力によって記述的に定義される。自己組織化系など、生体系の多くの哲学的定義が提案されている。ウイルスは特に、宿主細胞内でのみ複製するため定義が困難である。生命は大気、水、土壌など、地球上のあらゆる場所に存在し、多くの生態系が生物圏を形成している。これらの中には、極限環境微生物だけが生息する過酷な環境もある。
生命
Section: 環境条件

生態系を構成する不活性要素は、生命維持に必要な物理的および化学的要素、すなわちエネルギー（太陽光や化学エネルギー）、水、熱、大気、重力、栄養素、太陽紫外線からの防御などである。ほとんどの生態系では、条件は一日を通じて、また季節ごとに変化する。したがって、ほとんどの生態系で生きてゆくためには、生物は「耐性域」と呼ばれるさまざまな条件に耐えなければならない。その外側には「生理的ストレス域」があり、そこでは生存と繁殖は可能だが最適とはいえない。これらの領域を超えると「不耐性域」となり、そこでは生物の生存と繁殖はありえないか、不可能となる。耐性域が広い生物は、耐性域が狭い生物よりも広く分布している。

地球上の生物の多様性は、遺伝的機会、代謝能力、環境的課題、および共生が動的に相互作用した結果である。地球上で生存可能な環境は、そのほとんどの期間は微生物によって支配され、その代謝と進化の影響を受けてきた。こうした微生物の活動の結果、地球上の物理化学的な環境は地質学的な時間尺度で変化し、その後の生命の進化の道筋に影響を与えてきた。たとえば、シアノバクテリアが光合成の副産物として酸素分子を放出したことで、地球規模で環境変化が引き起こされた。酸素は当時の地球上のほとんどの生物にとって有毒であったため、酸素の増加は新たな進化的課題をもたらし、やがて地球の主要な動植物種の形成につながった。このような生物と環境の相互作用は、生体系に固有の特徴である。
生命
Section: 分類

rRNA 遺伝子データに基づく系統樹（Woese et al., 1990)。最後の普遍的共通祖先（LUCA）を根とする3つの生命ドメインを示す。

リボソームタンパク質の配列に基づく無根系統樹のメタゲノム表現。上部 (左と右) は細菌、下部は古細菌、右下の緑色は真核生物(2016年)。

多数の完全なゲノムの配列決定が可能となったことで、生物学者は系統樹全体の系統発生をメタゲノム的に捉えることができるようになった。これにより、生物の大部分は細菌であり、すべての起源は共通していることが明らかになった。
拡張現実
Section: ARの種類

マーカー型ARとは、マーカーと呼ばれる図形をカメラで読み取ることで、その位置にコンテンツを合成して表示する技術。コンテンツを表示する位置を細かく制御できるという利点がある。

マーカーレス型ARとは、カメラ映像に含まれる実際の風景や建造物、看板などを識別し、それぞれに合わせたコンテンツを合成して表示する技術。マーカーを使わずにコンテンツを表示できることがメリット。

ARはロケーションベースAR、マーカー型AR、マーカーレス型ARの3種類に大別される。

ロケーションベースARまたは位置拡張ARとは、GPSをはじめとする各種センサーによって位置情報を取得し、その場所に応じた3Dグラフィックスなどのコンテンツをカメラ映像に合成して表示する技術。
拡張現実
Section: 用途

発達障害の子どもたちのソーシャルスキルトレーニングにスマートグラスを用いる研究が進められている

米国空軍では、1980年代から攻撃ヘリコプターAH-64 アパッチには操縦士用の暗視装置であるAN/AAQ-11パイロット暗視センサー（PNVS）が搭載されていた。1990年代後半からはJHMCSという戦闘機用のHMDが開発され、2003年11月より本格生産が開始された。

医者が切開することなしに患者の解剖学的構造を把握できる技術もあり、患者や医師の教育、手術の可視化やシミュレーションなど、医療現場の実習などに使われるケースもある。解剖モデルを3Dで見ることができるARアプリや、注射の際に患者の肌をスキャンして血管の位置を特定し、針を刺すのを容易にしてくれるデバイス、ヘッドセットで患者の脊椎上に脊椎に関する情報をオーバーレイ表示する外科用の技術などが開発されている。
拡張現実
Section: 歴史

1992年にアームストロング空軍研究所のL.B. Rosenbergは機能するARシステムとしては最初期のものである「Virtual Fixtures」を開発し、デモンストレーションを行った。

1992-93年に、ARシステムのプロトタイプ「KARMA」の有名な論文が発表された。

「拡張現実」という名前は、1990年にボーイングの技術者であるTom Caudellによって付けられた。

1992年に日本で子ども向けのバラエティ番組『ウゴウゴルーガ』の放送が開始される。リアルタイムに制御されるCGキャラクターと出演者が対話する形式のシリーズ番組の先駆的事例である。（バーチャル・スタジオ）
時間依存密度汎関数法
Section: 形式

コーン–シャム・ポテンシャルに対する近似を決定する問題は難易度が高い。DFTと類似して、時間に依存するKSポテンシャルは系の外部ポテンシャルと時間に依存するクーロン相互作用vJを抽出するために分解される。残った要素は交換–相関ポテンシャルである。

彼らの独創的な論文において、ルンゲとグロスはディラック場を出発点とした場に基づく議論を通してKSポテンシャルの定義に取り組んだ。

波動関数の汎関数 A[Ψ] として取り扱った、波動関数の変分は停留点として多体シュレーディンガー方程式をもたらす。電子密度と波動関数との間の一意的な写像を考え、ルンゲとグロスは次に密度汎関数
時間依存密度汎関数法
Section: 概要

となる。少々厳密ではないが、、とし、波動関数の時間発展を、Δt の時間刻みによる逐次的な発展として考えると上式は、

となる。問題となるのは、の部分の処理で、 に関して冪展開したり、指数関数部分に関して分解（鈴木＝トロッター分解）を施すなどしてΔt に関しての逐次計算が行われ方程式が解かれる。

波動関数をΨ(t)、t を時間、ハミルトニアンをとする。この時、出発点としての時間を含むシュレーディンガー方程式は、

となる。ここで、（h はプランク定数）である。時刻 t0 、t でのそれぞれの波動関数の関係をシュレーディンガー表示で表すと、
時間依存密度汎関数法
Section: 線形応答TDDFT

最後に、この関係をKS系に対する応答方程式に挿入し、得られた方程式と物理的系についての応答方程式を比較すると、TDDFTのDyson方程式が得られる。

この最後の方程式から、系の励起エネルギーを導くことが可能である（これらは単に応答関数の極であるため）。

小さな時間に依存する外部摂動を考える。

そして、電子密度の線形応答からすると、

上式において、である。ここで、そしてこれ以後、プライム記号付きの変数は積分されているものと見なす。

線形応答領域内において、ハートリー（H）ポテンシャルと交換-相関（xc）ポテンシャルの線形順序への変分は密度変分に関して展開できる。
琵琶湖線
Section: 運行形態

びわこハリウッド号

2002年春と夏に、米原駅 - 大阪駅間で快速「びわこハリウッド号」の運転が行われた。ユニバーサル・スタジオ・ジャパン (USJ) への集客を目的としたもので、特急「雷鳥」で使用していた485系の9両編成を使用して、全車座席指定席で運転された。途中の停車駅は新快速と同じであった。

SL北びわこ号

1995年から10月および11月の日曜日や祝日、ゴールデンウイークなどに米原駅 - 木ノ本駅間で臨時列車「SL北びわこ号」が運行されていた。通過駅があるが、列車種別は快速ではない。2019年11月10日の運行が最後となった。
琵琶湖線
Section: 使用車両

117系（吹田総合車両所京都支所）
1980年1月22日から1999年5月まで新快速で運用。
2023年4月1日まで湖西線・草津線に直通する列車で使用されていた。

125系（金沢総合車両所敦賀支所）
長浜駅 - 米原駅間で運行されていた。

キハ85系：大阪駅 - 高山駅間の特急「（ワイドビュー）ひだ」に使用されていたが、HC85系に置き換えられた。

キハ85系

113系（吹田総合車両所京都支所）
2004年10月15日までは米原駅 - 草津駅間でも運用され、JR東海大垣駅まで直通する列車でも運転されていた。
2023年4月1日まで湖西線・草津線に直通する列車で使用されていた。
琵琶湖線
Section: 概要

JR西日本の京阪神エリアの路線網（アーバンネットワーク）の一角を成す路線である。琵琶湖の東岸を走り、滋賀県湖東・湖南地区の各都市と京都を結ぶ、滋賀県の主要路線である。京都・大阪方面への通勤・通学に利用され、大津市や草津市など京都・大阪に近い沿線はベッドタウンとして開発されている。多くの列車がJR京都線、JR神戸線へと直通運転しているほか、新快速を中心に最長で長浜駅以北の敦賀駅（福井県敦賀市）方面に至る列車が設定されている。

当該区間では旅客案内上も「琵琶湖線」と案内され、基本的には「東海道（本）線」が使用されることはない（ただし、駅備え付けの運賃表や一部の路線図では、括弧書きで（東海道線）と併記される）。
なお、米原駅から長浜方面では敦賀方面行きを「琵琶湖線」ではなく「北陸本線」あるいは「北陸線」と案内することがある。また、山科駅 - 京都駅間では湖西線系統の列車も走るため、山科駅では草津・米原方面行きのみ「琵琶湖線」と案内し、京都・大阪方面行きは直通先の名称である「JR京都線」として案内される。
DFT

湛液型水耕　(英語: deep flow technique) — 養液栽培の手法

テスト容易化設計 (英語: design for test) — 回路設計の手法

前頭葉型認知症 (dementia of frontal lobe type)

DFT

離散フーリエ変換　（英語: discrete Fourier transformation）— 信号処理の手法

密度汎関数理論 （英語: density functional theory）— 物性理論の用語
整数
Section: 整数の定義

(3). 条件 (1) および (2) をともに満たすすべての集合 X と写像 g: X → X（g も f と同様に、g は全単射であり g(X) = X \ {k} を満たす）に対して、

ℤ ⊆ X

(1). 自然数全体の集合 ℕ は ℤ に含まれる：

ℕ ⊆ ℤ

(2). ℤ に属するある元（これを k と書く）に対して、写像

f: ℤ → ℤ \ {k}

が存在し、f は全単射である。
整数
Section: 厳密な構成

[a, b] = {(c, d) ∈ N2 | (a, b) ∼ (c, d)}

となる集合である。同値類を [a, b] のように表すとき、(a, b) をこの同値類の代表元と呼ぶ。代表元は同値なものでありさえすれば、他のものに取り替えることができる。商集合 N2/∼ に加法 + と乗法 × を

[a, b] + [c, d] = [a + c, b + d]

[a, b] × [c, d] = [ac + bd, ad + bc]

と定義すると、これらは代表元の取り方によらずに、同値類同士の演算としてうまく定義されていることが確かめられる。