# デバッグ
Content of @dynamic/vuepress-plugin-flexsearch/data:
{
"/": {
"v-0a73d1c2": {
"title": "Demo site",
"path": "/",
"dataForSearch": "#De Dem emo mos osi sit ite te[ e[n [np npm pm] m]( ](h (ht htt ttp tps ps: s:/ :// //w /ww www ww. w.n .np npm pmj mjs js. s.c .co com om/ m/p /pa pac ack cka kag age ge/ e/@ /@s @sm smo mor ori ri1 i19 198 983 83/ 3/v /vu vue uep epr pre res ess ss- s-p -pl plu lug ugi gin in- n-f -fl fle lex exs xse sea ear arc rch ch) h)# )## ##C #Co Con onf nfi fig ig` g`. `.v .vu vue uep epr pre res ess ss/ s/c /co con onf nfi fig ig. g.j .js js` s`` ``` ``` ``j `js jsm smo mod odu dul ule le. e.e .ex exp xpo por ort rts ts= s={ ={p {pl plu lug ugi gin ins ns: s:[ :[[ [[' ['@ '@s @sm smo mor ori ri1 i19 198 983 83/ 3/v /vu vue uep epr pre res ess ss- s-p -pl plu lug ugi gin in- n-f -fl fle lex exs xse sea ear arc rch ch' h', ',{ ,{e {ex exc xce cer erp rpt ptA tAr Aro rou oun und ndL dLe Len eng ngt gth th: h:2 :20 200 00, 0,/ ,// //s /se sea ear arc rch chH hHo Hot otK tKe Key eys ys: s:[ :[' ['s 's' s', ',' ,'/ '/' /'] '], ],/ ,// //s /se sea ear arc rch chM hMa Max axS xSu Sug ugg gge ges est sti tio ion ons ns: s:2 :20 20, 0,/ ,// //s /se sea ear arc rch chP hPa Pat ath ths hs: s:n :nu nul ull ll, l,/ ,// //u /ui uiA iAl Ali lig ign gnR nRi Rig igh ght htF tFa Fac act cto tor or: r:1 :10 10, 0,/ ,// //e /ex exc xce cer erp rpt ptA tAr Aro rou oun und ndL dLe Len eng ngt gth th: h:1 :10 100 00, 0,/ ,// //e /ex exc xce cer erp rpt ptH tHe Hea ead adT dTe Tex ext xt: t:' :'. '.. ... ..' .', ',/ ,// //e /ex exc xce cer erp rpt ptT tTa Tai ail ilT lTe Tex ext xt: t:' :'. '.. ... ..' .', ',/ ,// //t /to tok oke ken eni niz ize zer erT rTy Typ ype pe: e:' :'k 'ku kur uro rom omo moj oji ji. i.d .de def efa fau aul ult lt' t', ',/ ,// //n /ng ngr gra ram amS mSi Siz ize ze: e:3 :3, 3,} ,}] }], ],] ,], ],} ,}; };` ;`` ``` `` `",
"dataForExcerpt": "# Demo site [npm](https://www.npmjs.com/package/@smori1983/vuepress-plugin-flexsearch) ## Config `.vuepress/config.js` ```js module.exports = { plugins: [ ['@smori1983/vuepress-plugin-flexsearch', { excerptAroundLength: 200, //searchHotKeys: ['s', '/'], //searchMaxSuggestions: 20, //searchPaths: null, //uiAlignRightFactor: 10, //excerptAroundLength: 100, //excerptHeadText: '... ', //excerptTailText: ' ...', //tokenizerType: 'kuromoji.default', //ngramSize: 3, }], ], }; ``` "
},
"v-47d2cf8e": {
"title": "デバッグ",
"path": "/debug.html",
"dataForSearch": "#デバ デバッ バッグ ッグC グCo Con ont nte ten ent nto tof of` f`@ `@d @dy dyn yna nam ami mic ic/ c/v /vu vue uep epr pre res ess ss- s-p -pl plu lug ugi gin in- n-f -fl fle lex exs xse sea ear arc rch ch/ h/d /da dat ata ta` a`: `:< :<P <Pl Plu lug ugi gin inF nFl Fle lex exS xSe Sea ear arc rch chD hDe Deb ebu bug ug/ g/> /> >",
"dataForExcerpt": "# デバッグ Content of `@dynamic/vuepress-plugin-flexsearch/data`: <PluginFlexSearchDebug/> "
},
"v-1797c13d": {
"title": "検索フォーム",
"path": "/form.html",
"dataForSearch": "#検索 検索フ 索フォ フォー ォーム ーム< ム<P <Pl Plu lug ugi gin inF nFl Fle lex exS xSe Sea ear arc rch chF hFo For orm rm/ m/> /># >## ##ソ #ソー ソース ース` ス`` ``` ``# `#検 #検索 検索フ 索フォ フォー ォーム ーム< ム<P <Pl Plu lug ugi gin inF nFl Fle lex exS xSe Sea ear arc rch chF hFo For orm rm/ m/> />` >`` ``` `` `",
"dataForExcerpt": "# 検索フォーム <PluginFlexSearchForm/> ## ソース ``` # 検索フォーム <PluginFlexSearchForm/> ``` "
},
"v-1ce40e8e": {
"title": "土木工学",
"path": "/wikipedia/civil_engineering/civil_engineering.html",
"dataForSearch": "#土木 土木工 木工学 工学< 学<W <Wi Wik iki kip ipe ped edi dia iaC aCi Cit ita tat ati tio ion onl nla lan ang ngu gua uag age ge= e=\" =\"j \"ja ja\" a\"t \"ti tit itl tle le= e=\" =\"土 \"土木 土木工 木工学 工学\" 学\"a \"ac acc cce ces ess ss= s=\" =\"2 \"20 202 023 23/ 3/0 /06 06/ 6/1 /15 15\" 5\"v \"ve ver ers rsi sio ion on= n=\" =\"9 \"94 947 473 736 365 656 569 69\" 9\"/ \"/> /># >## ##概 #概要 概要土 要土木 土木工 木工学 工学ど 学どぼ どぼく ぼくが くがく がく英 く英語 英語: 語:c :ci civ ivi vil ile len eng ngi gin ine nee eer eri rin ing ng自 g自然 自然災 然災害 災害等 害等社 等社会 社会課 会課題 課題解 題解決 解決環 決環境 環境創 境創造 創造維 造維持 維持発 持発展 発展目 展目的 目的社 的社会 社会基 会基盤 基盤整 盤整備 整備工 備工学 工学主 学主対 主対象 対象鉄 象鉄道 鉄道道 道道路 道路橋 路橋梁 橋梁ト 梁トン トンネ ンネル ネル港 ル港湾 港湾空 湾空港 空港海 港海岸 海岸河 岸河川 河川ダ 川ダム ダム廃 ム廃棄 廃棄物 棄物処 物処理 処理水 理水道 水道上 道上水 上水道 水道工 道工業 工業用 業用水 用水道 水道下 道下水 下水道 水道砂 道砂防 砂防土 防土木 土木景 木景観 景観土 観土木 土木工 木工学 工学部 学部分 部分発 分発電 発電施 電施設 施設通 設通信 通信施 信施設 施設環 設環境 環境保 境保全 保全造 全造成 造成交 成交通 交通国 通国土 国土計 土計画 計画対 画対象 対象多 象多岐 多岐こ 岐これ これら れら人 ら人工 人工物 工物総 物総称 総称土 称土木 土木構 木構造 構造物 造物一 物一般 一般的 般的土 的土木 土木構 木構造 構造物 造物公 物公共 公共事 共事業 事業建 業建設 建設長 設長期 長期間 期間社 間社会 社会経 会経済 経済活 済活動 活動# 動## ##土 #土木 土木語 木語源 語源# 源## ### ##日 #日本 日本語 本語名 語名前 名前由 前由来 由来中 来中国 中国前 国前漢 前漢時 漢時代 時代古 代古典 古典淮 典淮南 淮南子 南子土 子土構 土構木 構木言 木言葉 言葉と 葉とこ ところ ころ# ろ## ##英 #英語 英語日 語日本 日本建 本建築 建築技 築技術 技術部 術部門 部門環 門環境 環境部 境部門 部門外 門外国 外国土 国土木 土木こ 木こと こと日 と日本 日本土 本土木 土木工 木工学 工学建 学建築 建築学 築学対 学対象 対象分 象分野 分野境 野境界 境界外 界外国 外国橋 国橋土 橋土木 土木構 木構造 構造物 造物デ 物デザ デザイ ザイン インa ンar arc rch chi hit ite tec ect ctu tur ure reこ eこと ことこ とこれ これ日 れ日本 日本構 本構造 構造物 造物種 物種類 種類目 類目的 目的土 的土木 土木工 木工学 工学建 学建築 建築学 築学た 学ため ため建 め建築 建築家 築家構 家構造 構造計 造計算 計算一 算一方 一方土 方土木 土木技 木技術 技術者 術者デ 者デザ デザイ ザイン イン今 ン今日 今日英 日英語 英語圏 語圏フ 圏フレ フレー レーズ ーズc ズci civ ivi vil ile len eng ngi gin ine nee eer eri rin ing ng日 g日本 日本語 本語圏 語圏土 圏土木 土木工 木工学 工学相 学相当 相当由 当由来 由来歴 来歴史 歴史的 史的単 的単純 単純よ 純よう よう対 う対応 対応わ 応わけ わけe けen eng ngi gin ine nee eer er語 r語今 語今日 今日軍 日軍民 軍民区 民区別 区別関 別関係 関係ニ 係ニュ ニュー ュート ートラ トラル ラル工 ル工兵 工兵意 兵意派 意派生 派生語 生語軍 語軍関 軍関係 関係同 係同様 同様土 様土木 土木工 木工学 工学句 学句1 句17 177 771 71年 1年イ 年イギ イギリ ギリス リス機 ス機械 機械技 械技術 技術者 術者ジ 者ジョ ジョン ョンス ンスミ スミー ミート ートン トン軍 ン軍事 軍事以 事以外 以外部 外部門 部門意 門意味 意味c 味ci civ ivi vil ilの lの由 の由来 由来現 来現代 現代よ 代よう よう由 う由来 由来意 来意識 意識\" 識\"m \"me mec ech cha han ani nic ica cal ale len eng ngi gin ine nee eer eri rin ing ng\" g\"（ \"（機 （機械 機械工 械工学 工学\" 学\"e \"el ele lec ect ctr tri ric ica cal ale len eng ngi gin ine nee eer eri rin ing ng\" g\"（ \"（電 （電気 電気工 気工学 工学句 学句同 句同様 同様非 様非軍 非軍事 軍事特 事特段 特段意 段意味 意味非 味非軍 非軍事 軍事技 事技術 技術的 術的問 的問題 問題す 題すべ すべて べて対 て対象 対象分 象分野 分野軍 野軍事 軍事建 事建設 建設公 設公共 公共施 共施設 施設土 設土木 土木技 木技術 技術適 術適用 適用軍 用軍事 軍事o 事or or非 r非軍 非軍事 軍事区 事区分 区分厳 分厳密 厳密民 密民間 民間技 間技術 技術こ 術こと ことC とCi Civ ivi vil ile len eng ngi gin ine nee eer eri rin ing ng区 g区分 区分古 分古市 古市公 市公威 公威時 威時代 時代土 代土木 土木学 木学会 学会土 会土木 土木図 木図書 図書館 書館委 館委員 委員会 員会, 会,土 ,土木 土木学 木学会 学会土 会土木 土木史 木史研 史研究 研究委 究委員 委員会 員会編 会編指 編指摘 指摘と 摘とお とおり おりフ りフラ フラン ランス ンス場 ス場合 場合グ 合グラ グラン ランド ンド・ ド・ゼ ・ゼコ ゼコー コール ールエ ルエコ エコー コール ール・ ル・デ ・デ・ デ・ポ ・ポリ ポリテ リテク テクニ クニー ニーク ーク土 ク土木 土木最 木最高 最高学 高学校 学校ポ 校ポン ポン・ ン・ゼ ・ゼ・ ゼ・シ ・ショ ショッ ョッセ ッセー セー技 ー技術 技術者 術者過 者過去 過去官 去官庁 官庁軍 庁軍工 軍工兵 工兵部 兵部隊 部隊奉 隊奉職 奉職エ 職エコ エコー コール ール・ ル・デ ・デ・ デ・サ ・サン サント ントラ トラル ラル出 ル出身 出身者 身者民 者民間 民間企 間企業 企業流 業流れ 流れこ れこと こと明 と明治 明治時 治時代 時代諸 代諸芸 諸芸学 芸学 学",
"dataForExcerpt": "# 土木工学 <WikipediaCitation language=\"ja\" title=\"土木工学\" access=\"2023/06/15\" version=\"94736569\" /> ## 概要 土木工学（どぼくこうがく、英語: civil engineering）とは、自然災害等の社会課題の解決および環境の創造・維持発展を目的として、社会基盤を整備する工学である。 主な対象として、鉄道、道路、橋梁、トンネル、港湾、空港、海岸、河川、ダム、廃棄物処理、水道（上水道、工業用水道、下水道）、砂防、土木景観などがある。 また、土木工学部分の発電施設、通信施設、環境保全、造成、交通、国土計画なども含まれ、対象は多岐にわたる。 これらを取り巻く人工物は総称して「土木構造物」と呼ばれる。 一般的に土木構造物は、公共事業として建設され、長期間に亘って社会・経済活動を支えている。 ## 土木の語源 ### 日本語 名前の由来は中国の前漢時代の古典「淮南子（えなんじ）」にでてくる築土構木という言葉から来ているといわれているが、実際のところははっきりしない。 ## 英語 日本で取り扱っている建築の技術部門や環境に関する部門も外国では土木として扱われることがあり、日本の土木工学／建築学とは対象分野の境界が少し異なっている。 外国では橋などの土木構造物のデザインもarchitectureが担うことがある。 これに対し、日本では構造物の種類や目的によって土木工学／建築学が分かれているため、建築家も構造計算を行う一方、土木技術者もデザインを行う。 今日の英語圏においてはフレーズ civil engineering が日本語圏における土木工学にほぼ相当するが、由来（歴史）的には単純にそのように対応しているわけではない。 「engineer という語は、今日では軍民の区別に関係なくニュートラルに使われているが、古くは「工兵」の意があり、その派生語として軍と関係ないが同様の土木工学を指す句として、1771年にイギリスの機械技術者ジョン・スミートンが、軍事以外の部門を意味する civil を付けたのが由来とされる。 なお現代ではそのような由来にもとづく意識はほぼ残っておらず、\"mechanical engineering\"（機械工学）や \"electrical engineering\"（電気工学）といった句と同様に使われており「非軍事の」という特段の意味はない。非軍事の技術的問題のすべてが対象となる分野とされていて、軍事で建設される公共施設に土木技術は適用されるので軍事or非軍事と言う区分、つまり厳密には民間技術ということでCivil engineeringとはいわない。 こうした区分は『古市公威とその時代』（土木学会土木図書館委員会, 土木学会土木史研究委員会編）にも指摘あるとおり、フランスの場合でグランド・ゼコール「エコール・デ・ポリテクニーク」を出て、さらに土木最高の学校「ポン・ゼ・ショッセー」を出た技術者が過去官庁や軍工兵部隊へ奉職し、「エコール・デ・サントラル」出身者がおもに民間企業へという流れから来ていることがあげられ、明治時代には諸芸学と称されていた。 "
},
"v-685b3435": {
"title": "トンネル",
"path": "/wikipedia/civil_engineering/tunnel.html",
"dataForSearch": "#トン トンネ ンネル ネル< ル<W <Wi Wik iki kip ipe ped edi dia iaC aCi Cit ita tat ati tio ion onl nla lan ang ngu gua uag age ge= e=\" =\"j \"ja ja\" a\"t \"ti tit itl tle le= e=\" =\"ト \"トン トンネ ンネル ネル\" ル\"a \"ac acc cce ces ess ss= s=\" =\"2 \"20 202 023 23/ 3/0 /06 06/ 6/1 /16 16\" 6\"v \"ve ver ers rsi sio ion on= n=\" =\"9 \"94 946 466 663 635 357 571 71\" 1\"/ \"/> /># >#概 #概要 概要ト 要トン トンネ ンネル ネル英 ル英: 英:t :tu tun unn nne nel el隧 l隧道 隧道ず 道ずい ずい地 い地上 地上目 上目的 目的地 的地地 地地下 地下海 下海底 海底山 底山岳 山岳土 岳土中 土中人 中人工 人工自 工自然 自然形 然形成 形成土 成土木 土木構 木構造 構造物 造物断 物断面 断面さ 面さ幅 さ幅軸 幅軸方 軸方向 方向地 向地下 地下空 下空間 空間1 間19 197 970 70年 0年O 年OE OEC ECD CDト Dトン トンネ ンネル ネル会 ル会議 会議計 議計画 計画位 画位置 位置所 置所定 所定断 定断面 断面寸 面寸法 寸法地 法地下 地下構 下構造 構造物 造物施 物施工 施工法 工法仕 法仕上 仕上が 上がり がり断 り断面 断面積 面積2 積2平 2平方 平方メ 方メー メート ートル トル( ル(m (m2 m2) 2)以 )以上 以上も 上もの もの定 の定義 定義人 義人工 人工も 工もの もの道 の道路 道路鉄 路鉄道 鉄道線 道線路 線路交 路交通 交通路 通路山 路山岳 山岳ト 岳トン トンネ ンネル ネル地 ル地下 地下鉄 下鉄水 鉄水道 水道電 道電線 電線等 線等ラ 等ライ ライフ イフラ フライ ライン イン敷 ン敷設 敷設共 設共同 共同溝 同溝鉱 溝鉱物 鉱物採 物採掘 採掘物 掘物資 物資貯 資貯留 貯留目 留目的 目的建 的建設 建設日 設日本 日本中 本中国 中国語 国語隧 語隧道 隧道常 道常用 常用漢 用漢字 漢字以 字以外 以外文 外文字 文字隧 字隧た 隧ため ため二 め二次 二次世 次世界 世界大 界大戦 大戦後 戦後漢 後漢字 漢字制 字制限 制限用 限用語 用語簡 語簡略 簡略化 略化外 化外来 外来語 来語流 語流入 流入時 入時代 時代流 代流れ 流れ今 れ今日 今日一 日一般 一般的 般的ト 的トン トンネ ンネル ネルよ ルよう ようト うトン トンネ ンネル ネル正 ル正式 正式名 式名称 名称隧 称隧道 隧道こ 道こと こと青 と青函 青函隧 函隧道 隧道鉄 道鉄道 鉄道道 道道路 道路ト 路トン トンネ ンネル ネル入 ル入口 入口出 口出口 出口起 口起点 起点方 点方入 方入口 入口新 口新幹 新幹線 幹線東 線東京 東京寄 京寄り 寄り坑 り坑口 坑口入 口入口 入口反 口反対 反対側 対側出 側出口 出口 口",
"dataForExcerpt": "# トンネル <WikipediaCitation language=\"ja\" title=\"トンネル\" access=\"2023/06/16\" version=\"94663571\" /> # 概要 トンネル（英: tunnel）または隧道（すいどう、ずいどう）は、地上から目的地まで地下や海底、山岳などの土中を通る人工の、または自然に形成された土木構造物であり、断面の高さあるいは幅に比べて軸方向に細長い地下空間をいう。 1970年のOECDトンネル会議で「計画された位置に所定の断面寸法をもって設けられた地下構造物で、その施工法は問わないが、仕上がり断面積が2平方メートル (m2) 以上のものとする」と定義された。 人工のものは道路、鉄道（線路）といった交通路（山岳トンネル、地下鉄など）や水道、電線等ライフラインの敷設（共同溝など）、鉱物の採掘、物資の貯留などを目的として建設される。 日本ではかつて中国語と同じく隧道と呼ばれていた。 常用漢字以外の文字（隧）が使われているために、第二次世界大戦後の漢字制限や用語の簡略化、外来語の流入などの時代の流れにより、今日では一般的には「トンネル」と呼ばれるようになったが、トンネルの正式名称に「隧道」と記されることも多い（青函隧道など）。 鉄道や道路のトンネルには「入口」「出口」が定められており、起点に近い方が「入口」となっている。 新幹線で例えると、東京寄りの坑口が「入口」であり、その反対側が「出口」である。 "
},
"v-10a0c791": {
"title": "イトトンボ",
"path": "/wikipedia/insect/damselfly.html",
"dataForSearch": "#イト イトト トトン トンボ ンボ< ボ<W <Wi Wik iki kip ipe ped edi dia iaC aCi Cit ita tat ati tio ion onl nla lan ang ngu gua uag age ge= e=\" =\"j \"ja ja\" a\"t \"ti tit itl tle le= e=\" =\"イ \"イト イトト トトン トンボ ンボ\" ボ\"a \"ac acc cce ces ess ss= s=\" =\"2 \"20 202 023 23/ 3/0 /06 06/ 6/1 /18 18\" 8\"v \"ve ver ers rsi sio ion on= n=\" =\"9 \"90 909 095 951 512 127 274 74\" 4\"/ \"/> /># >## ##概 #概要 概要イ 要イト イトト トトン トンボ ンボ糸 ボ糸蜻 糸蜻蛉 蜻蛉豆 蛉豆娘 豆娘D 娘Da Dam ams mse sel elf lfl fly lyト yトン トンボ ンボ目 ボ目蜻 目蜻蛉 蜻蛉目 蛉目イ 目イト イトト トトン トンボ ンボ亜 ボ亜目 亜目均 目均翅 均翅亜 翅亜目 亜目< 目<き <きん きん> ん>、 >、Z 、Zy Zyg ygo gop opt pte ter era ra分 a分類 分類昆 類昆虫 昆虫総 虫総称 総称イ 称イト イトト トトン トンボ ンボ科 ボ科モ 科モノ モノサ ノサシ サシト シトン トンボ ンボ科 ボ科ア 科アオ アオイ オイト イトト トトン トンボ ンボ科 ボ科多 科多く 多く科 く科日 科日本 日本イ 本イト イトト トトン トンボ ンボ場 ボ場合 場合大 合大型 大型カ 型カワ カワト ワトン トンボ ンボ類 ボ類こ 類こと ことト とトン トンボ ンボ科 ボ科ヤ 科ヤン ヤンマ ンマ科 マ科不 科不均 不均翅 均翅亜 翅亜目 亜目ト 目トン トンボ ンボ亜 ボ亜目 亜目ト 目トン トンボ ンボ後 ボ後翅 後翅前 翅前翅 前翅の 翅の均 の均翅 均翅亜 翅亜目 亜目名 目名前 名前ど 前どお どおり おり前 り前後 前後翅 後翅形 翅形頭 形頭部 頭部左 部左右 左右複 右複眼 複眼腹 眼腹部 腹部円 部円筒 円筒形 筒形小 形小型 小型種 型種類 種類呼 類呼び 呼び名 び名通 名通り 通り糸 り糸く 糸くず くずよ ずよう よう不 う不均 不均翅 均翅亜 翅亜目 亜目直 目直線 直線的 線的空 的空間 空間の 間の水 の水辺 水辺水 辺水辺 水辺草 辺草間 草間ぱ 間ぱた ぱたぱ たぱた ぱたと たと緩 と緩や 緩やか やかも かもの ものト のトン トンボ ンボ類 ボ類交 類交尾 交尾オ 尾オス オスメ スメス メス輪 ス輪均 輪均翅 均翅亜 翅亜目 亜目腹 目腹部 腹部た 部ため ため連 め連結 連結部 結部分 部分ハ 分ハー ハート ート型 ト型幼 型幼虫 幼虫ヤ 虫ヤゴ ヤゴ成 ゴ成虫 成虫同 虫同様 同様体 様体前 体前後 前後腹 後腹部 腹部先 部先端 先端3 端3枚 3枚こ 枚こと こと不 と不均 不均翅 均翅亜 翅亜目 亜目ヤ 目ヤゴ ヤゴ区 ゴ区別 区別 別",
"dataForExcerpt": "# イトトンボ <WikipediaCitation language=\"ja\" title=\"イトトンボ\" access=\"2023/06/18\" version=\"90951274\" /> ## 概要 イトトンボ（糸蜻蛉、豆娘、Damselfly）は、トンボ目（蜻蛉目）・イトトンボ亜目（均翅亜目<きんしあもく>、Zygoptera）に分類される昆虫の総称。 イトトンボ科、モノサシトンボ科、アオイトトンボ科など多くの科を含むが、日本で「イトトンボ」と呼んだ場合は比較的大型のカワトンボ類を除くことが多い。 トンボ科やヤンマ科など、不均翅亜目（トンボ亜目）のトンボは後翅が前翅に比べて幅広いのに対し、均翅亜目は名前どおり前後の翅がほぼ同じ形である。 頭部は左右に幅広く、複眼が小さい。 腹部も細長い円筒形をしているので、小型の種類では呼び名の通り短い糸くずのように見える。 不均翅亜目が直線的に広い空間を飛び回るのに対して、あまり水辺を離れず、水辺の草の間でぱたぱたと緩やかに羽ばたきながら低く飛ぶものが多い。 トンボ類の交尾はオスとメスが輪を作るが、均翅亜目では腹部が細くてよく曲がるため、連結部分がハート型をなす。 幼虫（ヤゴ）も成虫と同様に体が前後に細長い。 さらに腹部先端に細いえらが3枚ついていることで不均翅亜目のヤゴと区別できる。 "
},
"v-6ea02fce": {
"title": "ダム",
"path": "/wikipedia/civil_engineering/dam.html",
"dataForSearch": "#ダム ダム< ム<W <Wi Wik iki kip ipe ped edi dia iaC aCi Cit ita tat ati tio ion onl nla lan ang ngu gua uag age ge= e=\" =\"j \"ja ja\" a\"t \"ti tit itl tle le= e=\" =\"ダ \"ダム ダム\" ム\"a \"ac acc cce ces ess ss= s=\" =\"2 \"20 202 023 23/ 3/0 /06 06/ 6/1 /15 15\" 5\"v \"ve ver ers rsi sio ion on= n=\" =\"9 \"95 956 560 609 094 947 475 75\" 5\"/ \"/> /># >## ##概 #概要 概要ダ 要ダム ダム英 ム英: 英:D :Da Dam am堰 m堰堤 堰堤水 堤水力 水力発 力発電 発電治 電治水 治水利 水利水 利水治 水治山 治山砂 山砂防 砂防廃 防廃棄 廃棄物 棄物処 物処分 処分目 分目的 目的川 的川谷 川谷横 谷横断 横断窪 断窪地 窪地包 地包囲 包囲土 囲土木 土木構 木構造 構造物 造物一 物一般 一般コ 般コン コンク ンクリ クリー リート ート土 ト土砂 土砂岩 砂岩石 岩石人 石人工 人工物 工物大 物大規 大規模 規模ダ 模ダム ダム川 ム川場 川場合 場合上 合上流 上流側 流側人 側人造 人造湖 造湖ダ 湖ダム ダム湖 ム湖形 湖形成 形成土 成土砂 土砂崩 砂崩れ 崩れ地 れ地す 地すべ すべり べり川 り川天 川天然 天然ダ 然ダム ダム形 ム形成 形成こ 成こと こと地 と地上 地上地 上地下 地下水 下水脈 水脈地 脈地下 地下ダ 下ダム ダムほ ムほか ほか貯 か貯留 貯留貯 留貯蓄 貯蓄比 蓄比喩 比喩こ 喩こと こと森 と森林 森林保 林保水 保水力 水力言 力言葉 言葉緑 葉緑ダ 緑ダム ダム堰 ム堰せ 堰せき せき場 き場合 場合取 合取水 取水水 水水位 水位調 位調節 調節目 節目的 目的砂 的砂防 砂防堰 防堰堤 堰堤# 堤## ##語 #語源 語源英 源英語 英語d 語da dam am言 m言葉 言葉中 葉中英 中英語 英語中 語中世 中世オ 世オラ オラン ランダ ンダ語 ダ語d 語da dam am派 m派生 派生北 生北海 北海低 海低地 低地オ 地オラ オラン ランダ ンダ河 ダ河川 河川水 川水位 水位調 位調整 調整海 整海水 海水浸 水浸入 浸入防 入防止 防止た 止ため ためダ めダム ダム堤 ム堤防 堤防こ 防こと ことダ とダム ダム地 ム地点 地点渡 点渡河 渡河容 河容易 容易た 易ため ため都 め都市 都市形 市形成 形成ア 成アム アムス ムステ ステル テルダ ルダム ダムア ムアム アムス ムステ ステル テル川 ル川ロ 川ロッ ロッテ ッテル テルダ ルダム ダムロ ムロッ ロッテ ッテ川 テ川ダ 川ダム ダムこ ムこと こと契 と契機 契機形 機形成 形成街 成街# 街## ##概 #概説 概説ダ 説ダム ダム定 ム定義 定義各 義各国 各国1 国19 192 928 28年 8年昭 年昭和 昭和3 和3年 3年創 年創設 創設現 設現在 現在8 在88 88か 8か国 か国加 国加盟 加盟国 盟国際 国際大 際大ダ 大ダム ダム会 ム会議 会議定 議定義 定義堤 義堤高 堤高5 高5. 5.0 .0メ 0メー メート ートル トル以 ル以上 以上貯 上貯水 貯水容 水容量 容量3 量30 300 00万 0万立 万立方 立方メ 方メー メート ートル トル以 ル以上 以上堰 上堰堤 堰堤ダ 堤ダム ダムさ ムさ1 さ15 15メ 5メー メート ートル トル以 ル以上 以上も 上もの ものハ のハイ ハイダ イダム ダムそ ムそれ それも れもの ものロ のロー ローダ ーダム ダム日 ム日本 日本河 本河川 河川法 川法ダ 法ダム ダムハ ムハイ ハイダ イダム ダムこ ムこれ これ以 れ以外 以外堰 外堰堤 堰堤ダ 堤ダム ダム名 ム名称 名称堰 称堰明 堰明確 明確定 確定義 定義時 義時期 時期山 期山も 山もの もの積 の積極 積極的 極的流 的流水 流水制 水制御 制御堰 御堰堤 堰堤ダ 堤ダム ダム堤 ム堤防 堤防も 防もの もの越 の越水 越水受 水受動 受動的 動的流 的流水 流水制 水制御 制御堰 御堰堤 堰堤堰 堤堰分 堰分類 分類堰 類堰中 堰中ダ 中ダム ダム同 ム同様 同様洪 様洪水 洪水調 水調節 調節流 節流水 流水機 水機能 機能維 能維持 維持目 持目的 目的積 的積極 積極的 極的流 的流水 流水制 水制御 制御施 御施設 施設建 設建設 建設よ 設よう ようダ うダム ダム堰 ム堰区 堰区別 区別曖 別曖昧 曖昧こ 昧これ これ明 れ明確 明確定 確定義 定義必 義必要 必要性 要性ダ 性ダム ダム上 ム上流 上流時 流時右 時右側 右側右 側右岸 右岸が 岸がん がん左 ん左側 左側左 側左岸 左岸が 岸がん がんダ んダム ダム下 ム下流 下流側 流側面 側面背 面背面 背面め 面めん めん ん",
"dataForExcerpt": "# ダム <WikipediaCitation language=\"ja\" title=\"ダム\" access=\"2023/06/15\" version=\"95609475\" /> ## 概要 ダム（英: Dam）または堰堤（えんてい）は、水力発電や治水・利水、治山・砂防、廃棄物処分などを目的として、川や谷を横断もしくは窪地を包囲するなどして作られる土木構造物。 一般にコンクリートや土砂、岩石などによって築く人工物を指す。 大規模なダムで川を堰き止めた場合、上流側には人造湖（ダム湖）が形成される。 また、土砂崩れや地すべりによって川が堰き止められて天然ダムが形成されることもある。 一方、地上だけでなく、地下水脈を堰き止める地下ダムもある。 このほか、貯留・貯蓄の比喩として用いられることがあり、森林の保水力を指す言葉に緑のダムがある。 堰（せき、い、いせき）ともいい、この場合は取水や水位の調節などが目的で、砂防堰堤は除く。 ## 語源 英語の dam という言葉は中英語に既にみられ、おそらくは中世オランダ語の dam から派生したと考えられている。 北海に面した低地が多いオランダでは、河川の水位調整と海水浸入防止のためダムや堤防を築くことが多かった。 ダムができるとその地点での渡河が容易となるため、しばしば都市の形成へと繋がった。 たとえば、アムステルダムはアムステル川に、ロッテルダムはロッテ川にダムが設けられたことを契機として形成された街である。 ## 概説 ダムの定義は各国により異なるが、1928年（昭和3年）に創設され、現在88か国が加盟する国際大ダム会議における定義では堤高が5.0メートル以上かつ貯水容量が300万立方メートル以上の堰堤を「ダム」として定めている。 そのうち、高さが15メートル以上のものをハイダム、それに満たないものをローダムという。 日本の河川法でいうダムとはハイダムを指し、これ以外の堰堤についてはたとえ「ダム」という名称が付いたとしても堰として扱われる。 ちなみに、明確な定義が無かった時期は、山に接して設けられるものや積極的に流水を制御できる堰堤を「ダム」、堤防に接して設けられるものや常に越水するなど受動的にしか流水を制御できない堰堤を「堰」として分類していた。 しかし、堰の中にもダムと同様に洪水調節・流水機能維持を目的に積極的な流水の制御を行う施設も建設されるようになり、ダムと堰の区別が曖昧になってきた。 これにより、明確な定義を定める必要性が生まれたと考えられている。 なお、ダムを上流から見た時、右側を右岸（うがん）、左側を左岸（さがん）といい、ダムの下流側の面を背面（はいめん）という。 "
},
"v-2d34780e": {
"title": "カマキリ",
"path": "/wikipedia/insect/mantis.html",
"dataForSearch": "#カマ カマキ マキリ キリ< リ<W <Wi Wik iki kip ipe ped edi dia iaC aCi Cit ita tat ati tio ion onl nla lan ang ngu gua uag age ge= e=\" =\"j \"ja ja\" a\"t \"ti tit itl tle le= e=\" =\"カ \"カマ カマキ マキリ キリ\" リ\"a \"ac acc cce ces ess ss= s=\" =\"2 \"20 202 023 23/ 3/0 /06 06/ 6/1 /14 14\" 4\"v \"ve ver ers rsi sio ion on= n=\" =\"9 \"95 955 553 538 384 843 434 34\" 4\"/ \"/> /># >## ##概 #概要 概要カ 要カマ カマキ マキリ キリ蟷 リ蟷螂 蟷螂鎌 螂鎌切 鎌切英 切英名 英名m 名ma man ant nti tis is昆 s昆虫 昆虫綱 虫綱カ 綱カマ カマキ マキリ キリ目 リ目蟷 目蟷螂 蟷螂目 螂目学 目学名 学名M 名Ma Man ant nto tod ode dea ea分 a分類 分類昆 類昆虫 昆虫総 虫総称 総称前 称前脚 前脚鎌 脚鎌状 鎌状変 状変化 変化他 化他昆 他昆虫 昆虫小 虫小動 小動物 動物捕 物捕食 捕食肉 食肉食 肉食性 食性昆 性昆虫 昆虫漢 虫漢字 漢字表 字表記 表記螳 記螳螂 螳螂蟷 螂蟷螂 蟷螂ろ 螂ろう ろう鎌 う鎌切 鎌切名 切名前 名前由 前由来 由来鎌 来鎌切 鎌切表 切表記 表記こ 記こと ことよ とよう よう鎌 う鎌鎌 鎌鎌切 鎌切り 切り説 り説カ 説カマ カマキ マキリ キリ鎌 リ鎌キ 鎌キリ キリギ リギリ ギリス リス意 ス意味 意味キ 味キリ キリヤ リヤブ ヤブキ ブキリ キリク リクサ クサキ サキリ キリサ リササ ササキ サキリ キリキ リキリ キリギ リギリ ギリス リス仲 ス仲間 仲間名 間名キ 名キリ キリ説 リ説 説",
"dataForExcerpt": "# カマキリ <WikipediaCitation language=\"ja\" title=\"カマキリ\" access=\"2023/06/14\" version=\"95538434\" /> ## 概要 カマキリ（蟷螂、鎌切、英名：mantis）は、昆虫綱カマキリ目（蟷螂目、学名：Mantodea）に分類される昆虫の総称。前脚が鎌状に変化し、他の昆虫などの小動物を捕食する肉食性の昆虫である。漢字表記は螳螂、蟷螂（とうろう）、鎌切。 名前の由来は、「鎌切」という表記があることからわかるように、「鎌で切る」から「鎌切り」となったという説と、「カマキリ」は、「鎌をつけたキリギリス」の意味であって、「キリ」はヤブキリ、クサキリ、ササキリなどのキリギリスの仲間の名に含まれる「キリ」と同じであるという説とがある。 "
},
"v-b70e8e4e": {
"title": "ドメイン固有言語",
"path": "/wikipedia/it/domain_specific_language.html",
"dataForSearch": "#ドメ ドメイ メイン イン固 ン固有 固有言 有言語 言語< 語<W <Wi Wik iki kip ipe ped edi dia iaC aCi Cit ita tat ati tio ion onl nla lan ang ngu gua uag age ge= e=\" =\"j \"ja ja\" a\"t \"ti tit itl tle le= e=\" =\"ド \"ドメ ドメイ メイン イン固 ン固有 固有言 有言語 言語\" 語\"a \"ac acc cce ces ess ss= s=\" =\"2 \"20 202 023 23/ 3/0 /06 06/ 6/1 /18 18\" 8\"v \"ve ver ers rsi sio ion on= n=\" =\"9 \"90 902 028 286 861 616 169 69\" 9\"/ \"/> /># >## ##概 #概要 概要ド 要ドメ ドメイ メイン イン固 ン固有 固有言 有言語 言語ド 語ドメ ドメイ メイン インゆ ンゆう ゆうげ うげん げんご んごド ごドメ ドメイ メイン イン特 ン特化 特化言 化言語 言語ド 語ドメ ドメイ メイン インと ンとっ とっか っかげ かげん げんご んご英 ご英語 英語: 語:d :do dom oma mai ain in- n-s -sp spe pec eci cif ifi fic icl cla lan ang ngu gua uag age geD eDS DSL SL特 L特定 特定タ 定タス タスク スク向 ク向け 向け設 け設計 設計コ 計コン コンピ ンピュ ピュー ュータ ータ言 タ言語 言語D 語DS DSL SL一 L一種 一種類 種類タ 類タス タスク スク記 ク記述 記述こ 述こと こと集 と集中 集中プ 中プロ プログ ログラ グラミ ラミン ミング ング言 グ言語 言語存 語存在 存在プ 在プロ プログ ログラ グラミ ラミン ミング ング言 グ言語 言語そ 語それ それ自 れ自体 自体構 体構文 構文処 文処理 処理系 理系利 系利用 利用i 用in int nte ter ern rna nal alD lDS DSL SLe Lem emb mbe bed edd dde ded edD dDS DSL SL独 L独立 独立構 立構文 構文処 文処理 処理系 理系e 系ex ext xte ter ern rna nal alD lDS DSL SL大 L大別 大別い 別いず いずれ ずれ近 れ近年 近年自 年自由 自由度 由度機 度機能 機能プ 能プロ プログ ログラ グラミ ラミン ミング ング言 グ言語 言語手 語手軽 手軽よ 軽よう ようこ うこと ことド とドメ ドメイ メイン イン固 ン固有 固有モ 有モデ モデリ デリン リング ング支 グ支持 支持者 持者ド 者ドメ ドメイ メイン イン固 ン固有 固有モ 有モデ モデリ デリン リング ング発 グ発達 発達D 達DS DSL SL用 L用語 用語よ 語よう ようド うドメ ドメイ メイン イン固 ン固有 固有言 有言語 言語モ 語モデ モデリ デリン リング ング特 グ特別 特別関 別関係 関係何 係何わ 何わけ わけド けドメ ドメイ メイン イン固 ン固有 固有モ 有モデ モデリ デリン リング ングた グため ためド めドメ ドメイ メイン イン固 ン固有 固有言 有言語 言語も 語もの ものモ のモデ モデリ デリン リング ング以 グ以外 以外分 外分野 分野た 野ため ため言 め言語 言語# 語## ##利 #利点 利点欠 点欠点 欠点D 点DS DSL SL次 L次よ 次よう よう利 う利点 利点- 点-D -DS DSL SL問 L問題 問題領 題領域 領域抽 域抽象 抽象レ 象レベ レベル ベル慣 ル慣用 慣用句 用句ソ 句ソリ ソリュ リュー ューシ ーショ ション ョン表 ン表現 表現た 現ため ため領 め領域 領域専 域専門 専門家 門家D 家DS DSL SLプ Lプロ プログ ログラ グラム ラム理 ム理解 理解検 解検証 検証修 証修正 修正開 正開発 開発実 発実例 実例- 例-コ -コー コード ード自 ド自体 自体ド 体ドキ ドキュ キュメ ュメン メント ント役 ト役割 役割- 割-D -DS DSL SL品 L品質 品質/ 質/生 /生産 生産性 産性/ 性/信 /信頼 信頼性 頼性/ 性/保 /保守 保守性 守性/ 性/移 /移植 移植性 植性/ 性/再 /再利 再利用 利用性 用性- 性-D -DS DSL SL領 L領域 領域レ 域レベ レベル ベル検 ル検証 検証可 証可能 可能言 能言語 言語構 語構成 構成要 成要素 要素安 素安全 安全限 全限り 限りそ りそれ それプ れプロ プログ ログラ グラム ラム安 ム安全 安全以 全以下 以下よ 下よう よう欠 う欠点 欠点- 点-D -DS DSL SL習 L習得 習得コ 得コス コスト ストの トの応 の応用 応用範 用範囲 範囲相 囲相対 相対的 対的- 的-D -DS DSL SL自 L自体 自体設 体設計 設計/ 計/実 /実装 実装/ 装/保 /保守 保守の 守のコ のコス コスト ストた トため ため開 め開発 開発環 発環境 環境必 境必要 必要- 要-適 -適用 適用範 用範囲 範囲設 囲設定 設定維 定維持 維持こ 持こと こと- と-ド -ドメ ドメイ メイン イン固 ン固有 固有部 有部分 部分汎 分汎用 汎用プ 用プロ プログ ログラ グラミ ラミン ミング ング言 グ言語 言語構 語構文 構文バ 文バラ バラン ランス ンス調 ス調整 調整- 整-ハ -ハン ハンド ンドコ ドコー コーデ ーディ ディン ィング ングソ グソフ ソフト フトウ トウェ ウェア ェア比 ア比較 比較性 較性能 性能的 能的不 的不利 不利可 利可能 可能性 能性実 性実装 実装ア 装アル アルゴ ルゴリ ゴリズ リズム ズム効 ム効率 効率問 率問題 問題マ 題マル マルチ ルチコ チコア コアC アCP CPU PU対 U対応 対応ハ 応ハー ハード ードウ ドウェ ウェア ェア活 ア活用 活用度 用度起 度起因 起因- 因-よ -よう ようD うDS DSL SL増 L増殖 増殖同 殖同業 同業各 業各社 各社そ 社それ それぞ れぞれ ぞれD れDS DSL SL開 L開発 開発場 発場合 場合- 合-技 -技術 技術系 術系D 系DS DSL SL対 L対象 対象領 象領域 領域専 域専門 専門家 門家D 家DS DSL SLプ Lプロ プログ ログラ グラム ラム自 ム自ら 自らコ らコー コード ード修 ド修正 修正こ 正こと こと- と-I -IT ITシ Tシス システ ステム テムD ムDS DSL SLこ Lこと こと汎 と汎用 汎用言 用言語 言語困 語困難 困難- 難-1 -1D 1DS DSL SL熟 L熟達 熟達人 達人材 人材相 材相対 相対的 対的た 的ため ため人 め人件 人件費 件費可 費可能 可能性 能性- 性-汎 -汎用 汎用プ 用プロ プログ ログラ グラミ ラミン ミング ング言 グ言語 言語コ 語コー コード ード例 ド例 例",
"dataForExcerpt": "# ドメイン固有言語 <WikipediaCitation language=\"ja\" title=\"ドメイン固有言語\" access=\"2023/06/18\" version=\"90286169\" /> ## 概要 ドメイン固有言語（ドメインこゆうげんご）またはドメイン特化言語（ドメインとっかげんご、英語: domain-specific language、DSL）は、特定のタスク向けに設計されたコンピュータ言語である。 DSL は一種類のタスクをうまく記述することに集中したプログラミング言語であり、古くから存在した。 何らかのプログラミング言語それ自体の構文と処理系を利用する internal DSL（あるいは embedded DSL）と、独立した構文と処理系を持つ external DSL に大別されるが、そのいずれにしても近年の、自由度と機能が高いプログラミング言語により手軽に扱えるようになったことから広まっている。 ドメイン固有モデリングの支持者によれば、ドメイン固有モデリングの発達と共にDSLという用語も広く知られるようになってきた、とされる。 実際にはドメイン固有言語はモデリングとは特別な関係が何もあるわけでもなく（ドメイン固有モデリングのためのドメイン固有言語、といったものはあるが）、モデリング以外にもあらゆる分野のための言語がある。 ## 利点と欠点 DSLには次のような利点がある。 - DSL は問題領域に適した抽象レベルと慣用句でソリューションを表現する。そのため、その領域の専門家が DSL で書かれたプログラムを理解でき、検証でき、修正でき、さらには開発できる。ただし、実際にそうなっている実例は少ない。 - コード自体がドキュメントの役割を果たす。 - DSL は、品質/生産性/信頼性/保守性/移植性/再利用性を高める。 - DSL はその領域のレベルで検証可能である。言語構成要素が安全である限り、それを使って書かれたプログラムは安全とみなせる。 一方で、以下のような欠点もある。 - DSLを習得するのにコストがかかるのに対して、その応用範囲が相対的に狭い。 - DSL自体を設計/実装/保守するのにもコストがかかり、そのための開発環境が必要である。 - 正しい適用範囲を探し、設定し、維持することが難しい。 - ドメイン固有な部分と汎用プログラミング言語の構文とのバランス調整が難しい。 - ハンドコーディングされたソフトウェアに比較して性能的に不利な可能性がある（実装しているアルゴリズムの効率の問題や、マルチコアCPU対応などのハードウェア活用度などに起因する）。 - 似たようなDSLが増殖する（同業各社がそれぞれDSLを開発する場合など）。 - 技術系でない（DSLの対象領域の）専門家は、DSLで書かれたプログラムであっても自らコードを書いたり修正したりできないことがある。 - ITシステムにDSLを組み込むことは、汎用言語に比べて困難である。 - 1つのDSLに熟達した人材は相対的に少ないため、人件費が高くつく可能性がある。 - 汎用プログラミング言語に比べてコード例を見つけにくい。 "
},
"v-5ee41d39": {
"title": "形式仕様記述",
"path": "/wikipedia/it/formal_specification.html",
"dataForSearch": "#形式 形式仕 式仕様 仕様記 様記述 記述< 述<W <Wi Wik iki kip ipe ped edi dia iaC aCi Cit ita tat ati tio ion onl nla lan ang ngu gua uag age ge= e=\" =\"j \"ja ja\" a\"t \"ti tit itl tle le= e=\" =\"形 \"形式 形式仕 式仕様 仕様記 様記述 記述\" 述\"a \"ac acc cce ces ess ss= s=\" =\"2 \"20 202 023 23/ 3/0 /06 06/ 6/1 /16 16\" 6\"v \"ve ver ers rsi sio ion on= n=\" =\"7 \"70 701 014 143 438 388 880 80\" 0\"/ \"/> /># >## ##概 #概要 概要形 要形式 形式仕 式仕様 仕様記 様記述 記述け 述けい けいし いしき しきき ききじ きじゅ じゅつ ゅつ英 つ英: 英:f :fo for orm rma mal als lsp spe pec eci cif ifi fic ica cat ati tio ion on形 n形式 形式手 式手法 手法ひ 法ひと ひとつ とつシ つシス システ ステム テム性 ム性質 性質仕 質仕様 仕様形 様形式 形式的 式的記 的記述 記述手 述手法 手法手 法手法 手法仕 法仕様 仕様記 様記述 記述形 述形式 形式的 式的仕 的仕様 仕様こ 様こと こと対 と対象 対象シ 象シス システ ステム テム仕 ム仕様 仕様形 様形式 形式的 式的判 的判定 判定こ 定こと こと可 と可能 可能( 能(形 (形式 形式的 式的検 的検証 検証) 証)。 )。仕 。仕様 仕様策 様策定 策定工 定工程 工程仕 程仕様 仕様不 様不整 不整合 整合検 合検出 検出こ 出こと こと可 と可能 可能実 能実装 実装工 装工程 工程よ 程よう よう開 う開発 開発後 発後半 後半仕 半仕様 仕様不 様不備 不備発 備発覚 発覚そ 覚それ それ手 れ手( 手(多 (多大 多大コ 大コス コスト スト場 ト場合 場合) 合)利 )利点 利点他 点他方 他方仕 方仕様 仕様設 様設計 設計設 計設計 設計実 計実装 実装段 装段階 段階的 階的検 的検証 検証可 証可能 可能ス 能ステ ステッ テップ ップ詳 プ詳細 詳細化 細化開 化開発 開発工 発工程 工程不 程不具 不具合 具合の 合の設 の設計 設計実 計実装 実装正 装正当 正当性 当性そ 性それ それ自 れ自身 自身確 身確認 確認点 認点重 点重要 重要正 要正当 正当性 当性仕 性仕様 仕様検 様検証 検証可 証可能 可能形 能形式 形式仕 式仕様 仕様記 様記述 記述解 述解決 解決問 決問題 問題記 題記述 記述別 述別問 別問題 問題こ 題これ これ困 れ困難 困難問 難問題 問題非 題非形 非形式 形式的 式的問 的問題 問題抽 題抽象 抽象化 象化形 化形式 形式的 式的仕 的仕様 仕様記 様記述 記述記 述記述 記述問 述問題 問題帰 題帰着 帰着よ 着よう よう抽 う抽象 抽象化 象化形 化形式 形式的 式的証 的証明 証明不 明不可 不可能 可能仕 能仕様 仕様表 様表現 表現こ 現こと こと期 と期待 期待特 待特性 特性定 性定理 定理証 理証明 証明こ 明こと こと仕 と仕様 仕様記 様記述 記述検 述検証 検証こ 証こと こと可 と可能 可能検 能検証 検証結 証結果 結果そ 果それ それら れら定 ら定理 定理仕 理仕様 仕様記 様記述 記述者 述者仕 者仕様 仕様記 様記述 記述根 述根底 根底問 底問題 問題領 題領域 領域関 域関係 関係理 係理解 理解検 解検証 検証結 証結果 結果場 果場合 場合仕 合仕様 仕様元 様元問 元問題 問題領 題領域 領域反 域反映 反映仕 映仕様 仕様記 様記述 記述者 述者理 者理解 理解仕 解仕様 仕様記 様記述 記述改 述改訂 改訂こ 訂こと こと と",
"dataForExcerpt": "# 形式仕様記述 <WikipediaCitation language=\"ja\" title=\"形式仕様記述\" access=\"2023/06/16\" version=\"70143880\" /> ## 概要 形式仕様記述（けいしきしようきじゅつ、英: formal specification）とは形式手法のひとつで、何らのシステムなどについて、その性質などの仕様を形式的に記述する手法や、そういった手法による仕様の記述である。 形式的な仕様を与えることにより、対象システムが仕様に照らして正しいかどうかを形式的に判定することが可能となる(形式的検証)。 また、仕様策定の工程で仕様の不整合を検出することが可能となり、実装工程のような開発の後半での仕様不備発覚、それに伴う手戻り(多大なコストを要する場合が多い)を防ぐという利点がある。 他の使われ方として、仕様から設計、設計から実装へと段階的に検証可能なステップを踏んで詳細化し、開発工程で不具合を作りこむのを防ぐ。 設計（や実装）の「正当性」はそれ自身だけで確認できないという点が重要である。 正当性は与えられた仕様に照らして初めて検証可能であり、形式仕様記述が解決すべき問題を正しく記述できるかどうかは別の問題である。 これもまた困難な問題であり、非形式的な実際の問題を抽象化された形式的仕様記述で正しく記述する問題に帰着する。 そして、そのような抽象化は形式的証明が不可能である。 しかし、仕様が表現することを期待されている特性に関わる定理を証明することによって仕様記述を検証することは可能である。 もし検証結果が正しければ、それらの定理は仕様記述者の仕様記述および根底にある問題領域との関係への理解を深める。 検証結果が正しくない場合、その仕様は元となっている問題領域を正しく反映しているとは言えないので、仕様記述者はさらに理解を深めて仕様記述を改訂することになるだろう。 "
},
"v-1d55c147": {
"title": "形式的検証",
"path": "/wikipedia/it/formal_verification.html",
"dataForSearch": "#形式 形式的 式的検 的検証 検証< 証<W <Wi Wik iki kip ipe ped edi dia iaC aCi Cit ita tat ati tio ion onl nla lan ang ngu gua uag age ge= e=\" =\"j \"ja ja\" a\"t \"ti tit itl tle le= e=\" =\"形 \"形式 形式的 式的検 的検証 検証\" 証\"a \"ac acc cce ces ess ss= s=\" =\"2 \"20 202 023 23/ 3/0 /06 06/ 6/1 /17 17\" 7\"v \"ve ver ers rsi sio ion on= n=\" =\"9 \"94 948 484 849 496 962 621 21\" 1\"/ \"/> /># >## ##概 #概要 概要形 要形式 形式的 式的検 的検証 検証英 証英: 英:f :fo for orm rma mal alv lve ver eri rif ifi fic ica cat ati tio ion onハ nハー ハード ードウ ドウェ ウェア ェアソ アソフ ソフト フトウ トウェ ウェア ェアシ アシス システ ステム テム形 ム形式 形式手 式手法 手法数 法数学 数学利 学利用 利用形 用形式 形式仕 式仕様 仕様記 様記述 記述プ 述プロ プロパ ロパテ パティ ティシ ィシス システ ステム テムこ ムこと こと証 と証明 証明逆 明逆こ 逆こと こと証 と証明 証明こ 明こと こと# と## ##使 #使い 使い方 い方形 方形式 形式的 式的検 的検証 検証適 証適用 適用例 用例内 例内部 内部メ 部メモ メモリ モリ暗 リ暗号 暗号回 号回路 回路組 路組み 組み合 み合わ 合わせ わせ回 せ回路 回路デ 路デジ デジタ ジタル タル回 ル回路 回路シ 路シス システ ステム テムソ ムソー ソース ースコ スコー コード ード表 ド表現 表現ソ 現ソフ ソフト フトウ トウェ ウェア ェアこ アこれ これら れらシ らシス システ ステム テム検 ム検証 検証シ 証シス システ ステム テム抽 ム抽象 抽象化 象化数 化数理 数理モ 理モデ モデル デル上 ル上数 上数理 数理モ 理モデ モデル デルシ ルシス システ ステム テム性 ム性質 性質一 質一致 一致使 致使用 使用数 用数理 数理モ 理モデ モデル デル有 ル有限 有限状 限状態 状態機 態機械 機械ラ 械ラベ ラベル ベル付 ル付き 付き遷 き遷移 遷移系 移系ペ 系ペト ペトリ トリネ リネッ ネット ットt トti tim ime med eda dau aut uto tom oma mat ata tah ahy hyb ybr bri rid ida dau aut uto tom oma mat ata taプ aプロ プロセ ロセス セス計 ス計算 計算プ 算プロ プログ ログラ グラミ ラミン ミング ング言 グ言語 言語形 語形式 形式意 式意味 意味論 味論操 論操作 操作的 作的意 的意味 意味論 味論表 論表示 表示的 示的意 的意味 意味論 味論公 論公理 公理的 理的意 的意味 意味論 味論ホ 論ホー ホーア ーア論 ア論理 論理 理",
"dataForExcerpt": "# 形式的検証 <WikipediaCitation language=\"ja\" title=\"形式的検証\" access=\"2023/06/17\" version=\"94849621\" /> ## 概要 形式的検証（けいしきてきけんしょう、英: formal verification）とは、ハードウェアおよびソフトウェアのシステムにおいて形式手法や数学を利用し、何らかの形式仕様記述やプロパティに照らしてシステムが正しいことを証明したり、逆に正しくないことを証明することである。 ## 使い方 形式的検証の適用例としては、内部にメモリを持つ暗号回路、組み合わせ回路、デジタル回路などのシステム、ソースコードで表現されるソフトウェアがある。 これらのシステムの検証は、システムを抽象化した数理モデル上で行われ、その数理モデルと実際のシステムの性質は一致している。 使用される数理モデルとしては、有限状態機械、ラベル付き遷移系、ペトリネット、timed automata、hybrid automata、プロセス計算、プログラミング言語の形式意味論（操作的意味論、表示的意味論、公理的意味論）、ホーア論理などがある。 "
},
"v-18486f99": {
"title": "Job Control Language",
"path": "/wikipedia/it/job_control_language.html",
"dataForSearch": "#Jo Job obC bCo Con ont ntr tro rol olL lLa Lan ang ngu gua uag age ge< e<W <Wi Wik iki kip ipe ped edi dia iaC aCi Cit ita tat ati tio ion onl nla lan ang ngu gua uag age ge= e=\" =\"j \"ja ja\" a\"t \"ti tit itl tle le= e=\" =\"J \"Jo Job obC bCo Con ont ntr tro rol olL lLa Lan ang ngu gua uag age ge\" e\"a \"ac acc cce ces ess ss= s=\" =\"2 \"20 202 023 23/ 3/0 /06 06/ 6/1 /17 17\" 7\"v \"ve ver ers rsi sio ion on= n=\" =\"8 \"89 891 912 129 298 981 817 17\" 7\"/ \"/> /># >## ##概 #概要 概要J 要Jo Job obC bCo Con ont ntr tro rol olL lLa Lan ang ngu gua uag age geJ eJC JCL CLジ Lジョ ジョブ ョブ制 ブ制御 制御言 御言語 言語メ 語メイ メイン インフ ンフレ フレー レーム ームコ ムコン コンピ ンピュ ピュー ュータ ータジ タジョ ジョブ ョブ制 ブ制御 制御用 御用ス 用スク スクリ クリプ リプト プト言 ト言語 言語処 語処理 処理系 理系J 系JC JCS CS( S(J (Jo Job obC bCo Con ont ntr tro rol olS lSt Sta tat ate tem eme men ent nt) t)、 )、E 、EC ECL CLE LEx Exe xec ecu cut uti tiv ive veC eCo Con ont ntr tro rol olL lLa Lan ang ngu gua uag age geジ eジョ ジョブ ョブ制 ブ制御 制御言 御言語 言語J 語JC JCL CLメ Lメイ メイン インフ ンフレ フレー レーム ームジ ムジョ ジョブ ョブ管 ブ管理 管理シ 理シス システ ステム テムジ ムジョ ジョブ ョブ入 ブ入力 入力サ 力サブ サブシ ブシス システ ステム テムバ ムバッ バッチ ッチ処 チ処理 処理常 理常駐 常駐プ 駐プロ プロセ ロセス セス起 ス起動 起動時 動時指 時指定 指定ス 定スク スクリ クリプ リプト プト言 ト言語 言語通 語通常 通常ジ 常ジョ ジョブ ョブ名 ブ名ジ 名ジョ ジョブ ョブ実 ブ実行 実行ク 行クラ クラス ラス優 ス優先 優先順 先順位 順位ス 位ステ ステッ テップ ップ名 プ名使 名使用 使用プ 用プロ プログ ログラ グラム ラム名 ム名プ 名プロ プログ ログラ グラム ラム格 ム格納 格納ラ 納ライ ライブ イブラ ブラリ ラリー リー使 ー使用 使用仮 用仮想 仮想メ 想メモ メモリ モリー リー容 ー容量 容量使 量使用 使用物 用物理 物理フ 理ファ ファイ ァイル イル名 ル名デ 名デー データ ータセ タセッ セット ット名 ト名属 名属性 属性格 性格納 格納場 納場所 場所新 所新規 新規作 規作成 作成場 成場合 場合容 合容量 容量ジ 量ジョ ジョブ ョブ内 ブ内ス 内ステ ステッ テップ ップ間 プ間制 間制御 制御ジ 御ジョ ジョブ ョブ間 ブ間ジ 間ジョ ジョブ ョブフ ブフロ フロー ロージ ージョ ジョブ ョブス ブスト ストリ トリー リーム ーム制 ム制御 制御自 御自動 自動化 動化場 化場合 場合J 合JC JCL CLた Lため ためジ めジョ ジョブ ョブス ブスケ スケジ ケジュ ジュー ューラ ーラ大 ラ大半 大半メ 半メイ メイン インフ ンフレ フレー レーム ームプ ムプロ プログ ログラ グラム ラムコ ムコン コンピ ンピュ ピュー ュータ ータ仮 タ仮想 仮想化 想化プ 化プロ プログ ログラ グラム ラム物 ム物理 物理フ 理ファ ファイ ァイル イル名 ル名認 名認識 認識こ 識こと こと記 と記述 記述た 述ため ためJ めJC JCL CLプ Lプロ プログ ログラ グラム ラム内 ム内論 内論理 論理フ 理ファ ファイ ァイル イル名 ル名物 名物理 物理フ 理ファ ファイ ァイル イル名 ル名オ 名オー オープ ープン プン系 ン系J 系JC JCL CL同 L同等 同等機 等機能 機能シ 能シェ シェル ェルス ルスク スクリ クリプ リプト プト代 ト代用 代用こ 用こと こと本 と本来 本来も 来もの ものメ のメイ メイン インフ ンフレ フレー レーム ームJ ムJC JCL CL必 L必須 必須プ 須プロ プログ ログラ グラマ ラマプ マプロ プログ ログラ グラム ラムオ ムオペ オペレ ペレー レータ ータ運 タ運用 運用管 用管理 管理分 理分離 分離た 離ため ため運 め運用 運用管 用管理 管理担 理担当 担当者 当者各 者各プ 各プロ プログ ログラ グラム ラム仕 ム仕様 仕様こ 様こと こと各 と各ジ 各ジョ ジョブ ョブ物 ブ物理 物理フ 理ファ ファイ ァイル イルデ ルデー データ ータセ タセッ セット ット使 ト使用 使用全 用全て 全て把 て把握 把握容 握容易 容易変 易変更 変更プ 更プロ プログ ログラ グラム ラム不 ム不測 不測物 測物理 物理フ 理ファ ファイ ァイル イルデ ルデー データ ータセ タセッ セット ットア トアク アクセ クセス セス作 ス作成 作成事 成事# 事## ##M #MV MVS VS系 S系J 系JC JCL CLJ LJC JCL CLバ Lバッ バッチ ッチ処 チ処理 処理よ 理よう ようサ うサブ サブシ ブシス システ ステム テムよ ムよう よう起 う起動 起動ジ 動ジョ ジョブ ョブエ ブエン エント ントリ トリー リーシ ーシス システ ステム テムJ ムJo Job obE bEn Ent ntr try ryS ySu Sub ubs bsy sys yst ste tem em2 m2/ 2/3 /3J 3JE JES ES2 S2J 2JE JES ES3 S3指 3指示 指示も 示もの ものJ のJC JCL CL各 L各行 各行先 行先頭 先頭2 頭2文 2文字 文字\" 字\"/ \"// //\" /\"ス \"スラ スラッ ラッシ ッシュ シュパ ュパン パンチ ンチカ チカー カード ードJ ドJC JCL CLジ Lジョ ジョブ ョブ投 ブ投入 投入と 入とき とき名 き名残 名残パ 残パン パンチ ンチカ チカー カード ード後 ド後ろ 後ろカ ろカー カード ードリ ドリー リーダ ーダー ダー挿 ー挿入 挿入場 入場合 場合代 合代わ 代わり わりシ りシー シーケ ーケン ケンス ンス番 ス番号 番号先 号先頭 先頭こ 頭こと ことリ とリー リーダ ーダー ダー\" ー\"/ \"// //\" /\"先 \"先頭 先頭こ 頭こと ことカ とカー カード ード拒 ド拒絶 拒絶よ 絶よう よう# う## ### ##J #JO JOB OB文 B文` 文`` ``` ``/ `// //j /jo job obn bna nam ame meJ eJO JOB OB( B(a (ac acc cco cou oun unt nti tin ing ngi gin inf nfo for orm rma mat ati tio ion on) n), ),C ,CL CLA LAS ASS SS= S=x =x, x,M ,MS MSG SGC GCL CLA LAS ASS SS= S=x =x, x,R ,RE REG EGI GIO ION ON= N=n =nK nK, K,T ,TI TIM IME ME= E=( =(m (m, m,s ,s) s), ),N ,NO NOT OTI TIF IFY FY= Y=X =XX XXX XXX XXX XXX XX` X`` ``` ``C `CP CPU PUI UI/ I/O /Oコ Oコン コンピ ンピュ ピュー ュータ ータ資 タ資源 資源使 源使用 使用分 用分使 分使用 使用料 用料使 料使用 使用部 用部署 部署請 署請求 請求た 求ため ため必 め必要 必要会 要会計 会計上 計上情 上情報 情報カ 報カッ カッコ ッコク コクオ クオー オーテ ーテー テーシ ーショ ション ョンマ ンマー マーク ーク記 ク記述 記述C 述CL CLA LAS ASS SSパ Sパラ パラメ ラメー メータ ータジ タジョ ジョブ ョブイ ブイニ イニシ ニシエ シエー エータ ータそ タその その他 の他ジ 他ジョ ジョブ ョブ優 ブ優先 優先度 先度指 度指定 指定パ 定パラ パラメ ラメー メータ ータM タMS MSG SGC GCL CLA LAS ASS SSパ Sパラ パラメ ラメー メータ ータジ タジョ ジョブ ョブ実 ブ実行 実行結 行結果 結果ど 果どこ どこ出 こ出力 出力指 力指定 指定出 定出力 出力ク 力クラ クラス ラス個 ス個別 個別プ 別プリ プリン リンタ ンタ指 タ指定 指定フ 定ファ ファイ ァイル イルユ ルユー ユーザ ーザー ザー希 ー希望 希望出 望出力 出力先 力先指 先指定 指定R 定RE REG EGI GIO ION ONパ Nパラ パラメ ラメー メータ ータジ タジョ ジョブ ョブ使 ブ使用 使用仮 用仮想 仮想記 想記憶 記憶最 憶最大 最大量 大量リ 量リー リージ ージョ ジョン ョンサ ンサイ サイズ イズキ ズキロ キロメ ロメガ メガ単 ガ単位 単位指 位指定 指定指 定指定 指定さ 定さシ さシス システ ステム テム構 ム構築 構築と 築とき ときジ きジョ ジョブ ョブク ブクラ クラス ラス毎 ス毎設 毎設定 設定T 定TI TIM IME MEパ Eパラ パラメ ラメー メータ ータC タCP CPU PU使 U使用 使用最 用最大 最大時 大時間 時間分 間分秒 分秒指 秒指定 指定ジ 定ジョ ジョブ ョブ全 ブ全て 全てス てステ ステッ テップ ップ使 プ使用 使用時 用時間 時間指 間指定 指定使 定使用 使用最 用最大 最大時 大時間 時間1 間14 143 439 39分 9分5 分59 59秒 9秒T 秒TI TIM IME ME= E=( =(1 (14 143 439 39, 9,5 ,59 59) 9)） )）。 ）。1 。14 144 440 40分 0分指 分指定 指定時 定時間 時間制 間制限 制限 限",
"dataForExcerpt": "# Job Control Language <WikipediaCitation language=\"ja\" title=\"Job Control Language\" access=\"2023/06/17\" version=\"89129817\" /> ## 概要 Job Control Language（JCL、ジョブ制御言語）とは、メインフレームコンピュータで使われるジョブ制御用のスクリプト言語である。 処理系によりJCS(Job Control Statement)、ECL（Executive Control Language）とも呼ぶ。 ジョブ制御言語（JCL）は、メインフレームのジョブ管理システム（ジョブ入力サブシステム）に対して、バッチ処理や常駐プロセス起動時の指定をするスクリプト言語である。 通常は、ジョブ名、ジョブの実行クラス（優先順位など）、ステップ名、使用するプログラム名、そのプログラムが格納されているライブラリー、使用する仮想メモリーの容量、使用する物理ファイル名（データセット名）やその属性（格納場所、新規作成の場合の容量など）、およびジョブ内（ステップ間）の制御を行う。 なおジョブ間（ジョブフロー、ジョブストリーム）の制御を自動化する場合は、JCLではできないためジョブスケジューラなどで行う。 大半のメインフレームでは、プログラムから見えるコンピュータは仮想化されており、プログラムは物理ファイル名などを認識することはできない（従って記述もできない）ため、JCLによってはじめて、プログラム内の論理ファイル名と、実際の物理ファイル名などが、関連づけられる。 オープン系にはJCLと同等の機能はなくシェルスクリプトで代用することが多いが本来は全く異なるものである。 メインフレームでのJCLは必須であり、プログラマ（プログラム）とオペレータ（運用管理）を分離している。 このため運用管理担当者は、各プログラムの仕様を知ること無く、各ジョブがどの物理ファイル（データセット）を使用するか（しないか）を全て把握し、容易に変更できる。 またプログラムが不測の物理ファイル（データセット）をアクセスしたり作成する事が無い。 ## MVS系のJCL JCLは、バッチ処理をどのように動かすか、サブシステムをどのように起動させるかを、ジョブエントリーシステム（Job Entry Subsystem 2/3、JES2 または JES3）に対して指示するものである。 JCLの各行の先頭2文字は、\"//\" で始まる。このスラッシュは、パンチカードを使ってJCLを読み込ませジョブを投入していたときの名残である。 誤ってパンチカードを後ろからカードリーダーに挿入してしまった場合（代わりにシーケンス番号が先頭に来ることになるだろう）、リーダーは \"//\" が先頭にないことを読み取って、そのカードを拒絶するようになっていた。 ### JOB文 ``` //jobname JOB (accounting information),CLASS=x,MSGCLASS=x,REGION=nK,TIME=(m,s),NOTIFY=XXXXXX ``` CPU や I/O など、コンピュータ資源を使用した分の使用料を使用した部署に請求するために、必要な会計上の情報が、カッコやクオーテーションマークで区切られて記述される。 CLASS パラメータは、ジョブがどのイニシエータで走るかを決める。その他、ジョブの優先度を指定するパラメータなどがある。 MSGCLASS パラメータはジョブの実行結果をどこに出力するかを指定する。出力クラスは個別のプリンタや、指定のファイルなどに割り振られていて、ユーザーは希望の出力先を指定する。 REGION パラメータは、ジョブが使用できる仮想記憶の最大量、リージョンのサイズを決める。キロやメガという単位を用いて指定できる。指定できる大きさは、システムを構築するときにジョブクラス毎に設定される。 TIME パラメータは、CPU を使用できる最大時間を決める。分、秒で指定する。ジョブの全てのステップが使用する時間を指定する。使用できる最大時間は、1439分59秒（TIME=(1439,59)）。1440分を指定すると時間制限なしとなる。 "
},
"v-78ce9b79": {
"title": "Oz (プログラミング言語)",
"path": "/wikipedia/it/oz.html",
"dataForSearch": "#Oz Oz( z(プ (プロ プログ ログラ グラミ ラミン ミング ング言 グ言語 言語) 語)< )<W <Wi Wik iki kip ipe ped edi dia iaC aCi Cit ita tat ati tio ion onl nla lan ang ngu gua uag age ge= e=\" =\"j \"ja ja\" a\"t \"ti tit itl tle le= e=\" =\"O \"Oz Oz( z(プ (プロ プログ ログラ グラミ ラミン ミング ング言 グ言語 言語) 語)\" )\"a \"ac acc cce ces ess ss= s=\" =\"2 \"20 202 023 23/ 3/0 /06 06/ 6/1 /14 14\" 4\"v \"ve ver ers rsi sio ion on= n=\" =\"9 \"93 931 311 111 113 139 393 93\" 3\"/ \"/> /># >## ##概 #概要 概要O 要Oz Ozザ zザー ザール ールラ ルラン ラント ント大 ト大学 大学P 学Pr Pro rog ogr gra ram amm mmi min ing ngS gSy Sys yst ste tem ems msL sLa Lab ab開 b開発 開発マ 発マル マルチ ルチパ チパラ パラダ ラダイ ダイム イム型 ム型プ 型プロ プログ ログラ グラミ ラミン ミング ング言 グ言語 言語# 語## ##言 #言語 言語特 語特徴 特徴マ 徴マル マルチ ルチパ チパラ パラダ ラダイ ダイム イム言 ム言語 言語O 語Oz Oz利 z利点 利点制 点制約 制約プ 約プロ プログ ログラ グラミ ラミン ミング ング分 グ分散 分散プ 散プロ プログ ログラ グラミ ラミン ミング ングO グOz Ozネ zネッ ネット ットワ トワー ワーク ーク透 ク透過 透過分 過分散 分散プ 散プロ プログ ログラ グラミ ラミン ミング ングモ グモデ モデル デル実 ル実装 実装モ 装モデ モデル デルフ ルフォ フォー ォール ールト ルトト トトレ トレラ レラン ラント ントア トアプ アプリ プリケ リケー ケーシ ーショ ション ョン容 ン容易 容易制 易制約 制約プ 約プロ プログ ログラ グラミ ラミン ミング ングた グため ためO めOz Oz計 z計算 計算空 算空間 空間; 間;c ;co com omp mpu put uta tat ati tio ion ons nsp spa pac ace ce考 e考え 考え方 え方導 方導入 導入こ 入これ これ制 れ制約 制約領 約領域 領域直 域直交 直交ユ 交ユー ユーザ ーザー ザー定 ー定義 定義検 義検索 検索分 索分散 分散戦 散戦略 戦略実 略実施 実施 施",
"dataForExcerpt": "# Oz (プログラミング言語) <WikipediaCitation language=\"ja\" title=\"Oz (プログラミング言語)\" access=\"2023/06/14\" version=\"93111393\" /> ## 概要 Oz は、ザールラント大学 Programming Systems Lab で開発されたマルチパラダイム型プログラミング言語である。 ## 言語の特徴 単なるマルチパラダイム言語というだけでなく、Oz の利点は制約プログラミングと分散プログラミングにある。 Oz はネットワーク透過な分散プログラミングモデルを実装できる。 このモデルにより、フォールトトレラントアプリケーションを容易に書ける。 制約プログラミングのために Oz は 「計算空間; computation space」という考え方を導入している。 これにより、制約領域に対して直交するユーザー定義の検索・分散戦略を実施できる。 "
},
"v-a0421426": {
"title": "PHP (プログラミング言語)",
"path": "/wikipedia/it/php.html",
"dataForSearch": "#PH PHP HP( P(プ (プロ プログ ログラ グラミ ラミン ミング ング言 グ言語 言語) 語)< )<W <Wi Wik iki kip ipe ped edi dia iaC aCi Cit ita tat ati tio ion onl nla lan ang ngu gua uag age ge= e=\" =\"j \"ja ja\" a\"t \"ti tit itl tle le= e=\" =\"P \"PH PHP HP( P(プ (プロ プログ ログラ グラミ ラミン ミング ング言 グ言語 言語) 語)\" )\"a \"ac acc cce ces ess ss= s=\" =\"2 \"20 202 023 23/ 3/0 /06 06/ 6/1 /16 16\" 6\"v \"ve ver ers rsi sio ion on= n=\" =\"9 \"95 954 548 482 829 292 927 27\" 7\"/ \"/> /># >## ##概 #概要 概要P 要PH PHP HPピ Pピー ピー・ ー・エ ・エイ エイチ イチ・ チ・ピ ・ピー ピー\" ー\"T \"Th The heP ePH PHP HPG PGr Gro rou oup up\" p\"コ \"コミ コミュ ミュニ ュニテ ニティ ティベ ィベー ベース ース開 ス開発 開発オ 発オー オープ ープン プンソ ンソー ソース ース汎 ス汎用 汎用プ 用プロ プログ ログラ グラミ ラミン ミング ング言 グ言語 言語公 語公式 公式処 式処理 処理系 理系サ 系サー サーバ ーバー バーサ ーサイ サイド イド動 ド動的 動的ウ 的ウェ ウェブ ェブペ ブペー ページ ージ作 ジ作成 作成た 成ため ため機 め機能 機能こ 能こと こと特 と特徴 特徴名 徴名称 名称P 称PH PHP HP再 P再帰 再帰的 帰的頭 的頭字 頭字語 字語\" 語\"P \"PH PHP HP: P:H :Hy Hyp ype per ert rte tex ext xtP tPr Pre rep epr pro roc oce ces ess sso sor or\" r\"意 \"意味 意味P 味PH PHP HPH PHT HTM TML MLプ Lプリ プリプ リプロ プロセ ロセッ セッサ ッサP サPH PHP HP自 P自身 自身再 身再帰 再帰的 帰的説 的説明 説明P 明PH PHP HPラ Pラス ラスマ スマス マス・ ス・ラ ・ラー ラード ードフ ドフ個 フ個人 個人的 人的C 的C開 C開発 開発C 発CG CGI GIプ Iプロ プログ ログラ グラム ラム\" ム\"P \"Pe Per ers rso son ona nal alH lHo Hom ome meP ePa Pag age geT eTo Too ool ols ls\" s\"短 \"短縮 短縮\" 縮\"P \"PH PHP HPT PTo Too ool ols ls\" s\"起 \"起源 起源ラ 源ラー ラード ードフ ドフ自 フ自身 自身W 身We Web ebサ bサイ サイト イト簡 ト簡単 簡単動 単動的 動的W 的We Web ebペ bペー ページ ージ作 ジ作成 作成た 成ため ためそ めその その後 の後デ 後デー データ ータベ タベー ベース ースア スアク アクセ クセス セス機 ス機能 機能追 能追加 追加P 加PH PHP HPT PTo Too ool ols ls1 s19 199 995 95年 5年G 年GP GPL PL下 L下公 下公開 公開オ 開オー オープ ープン プンソ ンソー ソース ースラ スライ ライセ イセン センス ンス下 ス下公 下公開 公開こ 開こと こと同 と同ツ 同ツー ツール ール利 ル利用 利用者 用者増 者増加 増加機 加機能 機能追 能追加 追加開 加開発 開発者 発者た 者たち たち貢 ち貢献 貢献幾 献幾度 幾度バ 度バー バージ ージョ ジョン ョンア ンアッ アップ ップ今 プ今日 今日P 日PH PHP HP再 P再帰 再帰的 帰的頭 的頭字 頭字語 字語P 語PH PHP HP: P:H :Hy Hyp ype per ert rte tex ext xtP tPr Pre rep epr pro roc oce ces ess sso sor orの rの2 の20 201 017 17年 7年現 年現在 現在文 在文法 文法基 法基礎 基礎確 礎確立 確立P 立PH PHP HP3 P3P 3PH PHP HPラ Pライ ライブ イブラ ブラリ ラリP リPE PEA EAR AR利 R利用 利用シ 用シス システ ステム テムワ ムワイ ワイド イドイ ドイン インス ンスト ストー トール ールユ ルユー ユーザ ーザ単 ザ単位 単位利 位利用 利用こ 用こと こと2 と20 201 012 12年 2年R 年Ru Rub uby byパ yパッ パッケ ッケー ケージ ージ管 ジ管理 管理ツ 理ツー ツール ールR ルRu Rub uby byG yGe Gem ems ms依 s依存 依存関 存関係 関係管 係管理 管理ツ 理ツー ツール ールb ルbu bun und ndl dle ler erN rNo Nod ode de. e.j .js jsn snp npm pm影 m影響 影響開 響開発 開発C 発Co Com omp mpo pos ose ser er公 r公開 公開こ 開こと ことパ とパッ パッケ ッケー ケージ ージリ ジリポ リポジ ポジト ジトリ トリP リPa Pac ack cka kag agi gis ist st登 t登録 登録ラ 録ライ ライブ イブラ ブラリ ラリプ リプロ プロジ ロジェ ジェク ェクト クト単 ト単位 単位利 位利用 利用こ 用こと こと容 と容易 容易 易",
"dataForExcerpt": "# PHP (プログラミング言語) <WikipediaCitation language=\"ja\" title=\"PHP (プログラミング言語)\" access=\"2023/06/16\" version=\"95482927\" /> ## 概要 PHP（ピー・エイチ・ピー）は、 \"The PHP Group\" によってコミュニティベースで開発されているオープンソースの汎用プログラミング言語およびその公式の処理系であり、特にサーバーサイドで動的なウェブページを作成するための機能を多く備えていることを特徴とする。 名称の PHP は再帰的頭字語として、 \"PHP: Hypertext Preprocessor\" を意味するとされており、「PHPはHTMLのプリプロセッサである」とPHP自身を再帰的に説明している。 PHPはラスマス・ラードフが個人的にCで開発していたCGIプログラムである \"Personal Home Page Tools\" （短縮されて \"PHP Tools\" と呼ばれていた）を起源とする。 元々はラードフ自身のWebサイトで簡単な動的Webページを作成するために用いられていたが、その後データベースへのアクセス機能などを追加したPHP Toolsを1995年にGPLの下で公開した。 オープンソースライセンスの下で公開されたことにより同ツールの利用者が増加し、機能の追加を行う開発者たちの貢献もあって、幾度かの大きなバージョンアップを経て今日に至っている。 PHPの再帰的頭字語が PHP: Hypertext Preprocessor となったのは2017年現在の文法の基礎が確立したPHP 3からである。 PHPで書かれたライブラリは、PEARを利用してシステムワイドにインストールしたりユーザ単位で利用することが多かったが、2012年にRubyのパッケージ管理ツールであるRubyGems及び依存関係管理ツールbundler、Node.jsのnpmに影響を受けて開発されたComposerが公開されたことにより、パッケージリポジトリPackagistに登録されたライブラリをプロジェクト単位で利用することが容易になった。 "
},
"v-6ec7fbfa": {
"title": "プログラム意味論",
"path": "/wikipedia/it/semantics.html",
"dataForSearch": "#プロ プログ ログラ グラム ラム意 ム意味 意味論 味論< 論<W <Wi Wik iki kip ipe ped edi dia iaC aCi Cit ita tat ati tio ion onl nla lan ang ngu gua uag age ge= e=\" =\"j \"ja ja\" a\"t \"ti tit itl tle le= e=\" =\"プ \"プロ プログ ログラ グラム ラム意 ム意味 意味論 味論\" 論\"a \"ac acc cce ces ess ss= s=\" =\"2 \"20 202 023 23/ 3/0 /06 06/ 6/1 /17 17\" 7\"v \"ve ver ers rsi sio ion on= n=\" =\"9 \"91 910 105 059 591 910 100 00\" 0\"/ \"/> /># >## ##概 #概要 概要プ 要プロ プログ ログラ グラム ラム意 ム意味 意味論 味論プ 論プロ プログ ログラ グラム ラム英 ム英: 英:p :pr pro rog ogr gra ram ams mse sem ema man ant nti tic ics cs計 s計算 計算機 算機科 機科学 科学理 学理論 理論計 論計算 計算機 算機科 機科学 科学分 学分類 分類こ 類こと こと一 と一分 一分野 分野プ 野プロ プログ ログラ グラミ ラミン ミング ング言 グ言語 言語意 語意味 意味計 味計算 計算モ 算モデ モデル デル分 ル分野 分野形 野形式 形式的 式的も 的もの ものプ のプロ プログ ログラ グラミ ラミン ミング ング言 グ言語 言語形 語形式 形式意 式意味 意味論 味論標 論標準 標準規 準規格 規格等 格等形 等形式 形式的 式的意 的意味 意味論 味論も 論もの もの# の## ##形 #形式 形式的 式的意 的意味 意味論 味論形 論形式 形式化 式化い 化いく いくつ くつ手 つ手法 手法以 法以下 以下3 下3種 3種類 種類大 類大別 大別: 別:- :-表 -表示 表示的 示的意 的意味 意味論 味論: 論:対 :対象 対象言 象言語 言語語 語語句 語句そ 句それ それぞ れぞれ ぞれ表 れ表示 表示変 示変換 変換表 換表示 表示的 示的意 的意味 意味論 味論コ 論コン コンパ ンパイ パイル イル対 ル対応 対応こ 応こと こと意 と意味 意味論 味論議 論議論 議論目 論目的 目的形 的形式 形式化 式化場 化場合 場合数 合数学 数学的 学的形 的形式 形式化 式化言 化言語 言語こ 語こと こと関 と関数 関数型 数型言 型言語 言語表 語表示 表示的 示的意 的意味 意味論 味論領 論領域 領域理 域理論 理論言 論言語 言語変 語変換 変換- 換-操 -操作 操作的 作的意 的意味 意味論 味論: 論:変 :変換 変換の 換の言 の言語 言語実 語実行 実行直 行直接 直接的 接的意 的意味 意味説 味説明 説明操 明操作 操作的 作的意 的意味 意味論 味論イ 論イン インタ ンタプ タプリ プリタ リタ対 タ対応 対応こ 応こと こと表 と表示 表示的 示的意 的意味 意味論 味論場 論場合 場合同 合同様 同様場 様場合 場合イ 合イン インタ ンタプ タプリ プリタ リタ実 タ実装 実装コ 装コン コンピ ンピュ ピュー ュータ ータ上 タ上実 上実装 実装数 装数学 数学的 学的形 的形式 形式化 式化イ 化イン インタ ンタプ タプリ プリタ リタこ タこと こと操 と操作 操作的 作的意 的意味 意味論 味論抽 論抽象 抽象機 象機械 機械S 械SE SEC ECD CDマ Dマシ マシン シン定 ン定義 定義こ 義こと こと可 と可能 可能プ 能プロ プログ ログラ グラム ラム語 ム語句 語句並 句並び 並び抽 び抽象 抽象マ 象マシ マシン シン上 ン上状 上状態 状態変 態変化 変化説 化説明 説明こ 明こと こと各 と各語 各語句 語句意 句意味 意味説 味説明 説明純 明純粋 純粋ラ 粋ラム ラムダ ムダ計 ダ計算 計算よ 算よう よう操 う操作 操作的 作的意 的意味 意味論 味論対 論対象 対象言 象言語 言語語 語語句 語句並 句並び 並び統 び統語 統語的 語的変 的変形 変形過 形過程 過程定 程定義 定義よ 義よう ようも うもの もの- の-公 -公理 公理的 理的意 的意味 意味論 味論: 論:語 :語句 語句並 句並び 並び論 び論理 論理学 理学的 学的公 的公理 公理適 理適用 適用こ 用こと こと意 と意味 意味明 味明ら 明らか らか公 か公理 公理的 理的意 的意味 意味論 味論語 論語句 語句意 句意味 意味そ 味それ それ論 れ論理 論理式 理式区 式区別 区別場 別場合 場合プ 合プロ プログ ログラ グラム ラム意 ム意味 意味論 味論理 論理学 理学証 学証明 証明可 明可能 可能も 能もの もの等 の等価 等価公 価公理 公理的 理的意 的意味 意味論 味論典 論典型 典型的 型的例 的例ホ 例ホー ホーア ーア論 ア論理 論理分 理分類 分類完 類完全 完全明 全明確 明確分 確分類 分類も 類もの もの既 の既存 既存意 存意味 意味論 味論形 論形式 形式化 式化手 化手法 手法上 法上記 上記3 記3種 3種類 種類い 類いず いずれ ずれい れいく いくつ くつ上 つ上記 上記分 記分類 分類利 類利用 利用数 用数学 数学的 学的形 的形式 形式手 式手法 手法プ 法プロ プログ ログラ グラム ラム意 ム意味 意味論 味論分 論分類 分類こ 類こと こと と",
"dataForExcerpt": "# プログラム意味論 <WikipediaCitation language=\"ja\" title=\"プログラム意味論\" access=\"2023/06/17\" version=\"91059100\" /> ## 概要 プログラム意味論（プログラムいみろん、英: program semantics）とは、計算機科学（特に理論計算機科学と分類されることもある）の一分野で、プログラミング言語の意味と計算モデルに関する分野である。 形式的なものは、プログラミング言語の形式意味論とも呼ばれる。 標準規格等では形式的でなく意味論を与えているものも多い。 ## 形式的意味論 形式化にはいくつかの手法があり、以下の 3 種類に大別される: - 表示的意味論: 対象とする言語の語句それぞれを「表示」に変換する。表示的意味論はコンパイルと対応すると考えることもできるが、意味論の議論ではその目的（形式化したい、という場合が多い）から、数学的な形式化された「言語」であることが多い。例えば、関数型言語の表示的意味論では、領域理論の「言語」に変換する。 - 操作的意味論: 何らかの変換を施すのではなく、その言語の実行によって直接的に意味を説明する。操作的意味論はインタプリタと対応すると考えることもできるが、表示的意味論の場合と同様に、この場合の「インタプリタの実装」は何らかのコンピュータ上での実装ではなく、数学的な形式化された「インタプリタ」であることが多い。操作的意味論を抽象機械（例えばSECDマシン）で定義することも可能で、プログラムの語句の並びが抽象マシンの上で引き起こす状態変化を説明することによって各語句の意味を説明する。あるいは、純粋なラムダ計算のように、操作的意味論を対象言語の語句の並びの統語的変形過程と定義するようなものもある。 - 公理的意味論: 語句の並びに「論理学的公理」を適用することによって意味を明らかにする。公理的意味論では語句の意味とそれを表す論理式を区別しない。この場合、プログラムの意味は論理学で証明可能なものと等価である。公理的意味論の典型的な例としてホーア論理がある。 この分類は必ずしも完全ではなく、また明確に分類できるものでもないが、既存の、意味論を形式化する手法は上記3種類のいずれかを使っているか、いくつかを組み合わせている。 上記分類とは別に、利用している数学的形式手法によってプログラム意味論を分類することもある。 "
},
"v-76baf70e": {
"title": "トランスクルージョン",
"path": "/wikipedia/it/transclusion.html",
"dataForSearch": "#トラ トラン ランス ンスク スクル クルー ルージ ージョ ジョン ョン< ン<W <Wi Wik iki kip ipe ped edi dia iaC aCi Cit ita tat ati tio ion onl nla lan ang ngu gua uag age ge= e=\" =\"j \"ja ja\" a\"t \"ti tit itl tle le= e=\" =\"ト \"トラ トラン ランス ンスク スクル クルー ルージ ージョ ジョン ョン\" ン\"a \"ac acc cce ces ess ss= s=\" =\"2 \"20 202 023 23/ 3/0 /06 06/ 6/1 /18 18\" 8\"v \"ve ver ers rsi sio ion on= n=\" =\"9 \"94 949 496 968 688 884 840 40\" 0\"/ \"/> /># >## ##概 #概要 概要ト 要トラ トラン ランス ンスク スクル クルー ルージ ージョ ジョン ョン英 ン英: 英:T :Tr Tra ran ans nsc scl clu lus usi sio ion on参 n参照 参照文 照文書 文書別 書別文 別文書 文書掲 書掲載 掲載こ 載こと こと参 と参照 参照読 照読み 読み込 み込み 込み動 み動詞 動詞形 詞形ト 形トラ トラン ランス ンスク スクル クルー ルード ード英 ド英: 英:T :Tr Tra ran ans nsc scl clu lud ude deト eトラ トラン ランス ンスク スクル クルー ルージ ージョ ジョン ョンハ ンハイ ハイパ イパー パーテ ーテキ テキス キスト スト機 ト機能 機能ひ 能ひと ひとつ とつ一 つ一形 一形態 形態日 態日本 日本記 本記事 記事A 事A人 A人口 人口推 口推移 推移デ 移デー データ ータ記 タ記事 記事B 事B引 B引用 引用と 用とき とき記 き記事 記事A 事Aデ Aデー データ ータコ タコピ コピー ピーペ ーペー ペース ースト ストの トの記 の記事 記事A 事A記 A記事 記事B 事B上 B上デ 上デー データ ータ直 タ直接 直接表 接表示 表示よ 示よう ようよ うよう よう参 う参照 参照関 照関係 関係両 係両記 両記事 記事リ 事リン リンク ンク役 ク役割 役割用 割用語 用語テ 語テッ テッド ッドネ ドネル ネルソ ルソン ソン著 ン著書 著書リ 書リテ リテラ テラリ ラリー リーマ ーマシ マシン シンハ ンハイ ハイパ イパー パーテ ーテキ テキス キスト ストハ トハイ ハイパ イパー パーメ ーメデ メディ ディア ィア# ア## ##技 #技術 技術的 術的課 的課題 課題# 題## ### ##文 #文脈 文脈中 脈中立 中立性 立性ト 性トラ トラン ランス ンスク スクル クルー ルージ ージョ ジョン ョント ントラ トラン ランス ンスク スクル クルー ルード ード部 ド部分 部分自 分自己 自己充 己充足 充足的 足的と 的とき とき機 き機能 機能文 能文章 文章意 章意味 意味妥 味妥当 妥当性 当性前 性前後 前後文 後文脈 文脈独 脈独立 独立ほ 立ほう ほう前 う前節 前節説 節説明 説明よ 明よう よう言 う言葉 言葉問 葉問題 問題ト 題トラ トラン ランス ンスク スクル クルー ルード ード文 ド文章 文章別 章別文 別文脈 文脈た 脈ため ためよ めよう よう言 う言葉 言葉混 葉混乱 混乱# 乱## ### ##パ #パラ パラメ ラメー メータ ータ化 タ化状 化状況 状況ト 況トラ トラン ランス ンスク スクル クルー ルード ード文 ド文章 文章文 章文脈 文脈中 脈中立 中立性 立性厳 性厳密 厳密保 密保持 保持パ 持パラ パラメ ラメー メータ ータ化 タ化ト 化トラ トラン ランス ンスク スクル クルー ルード ード可 ド可能 可能形 能形パ 形パラ パラメ ラメー メータ ータ化 タ化ト 化トラ トラン ランス ンスク スクル クルー ルード ード文 ド文章 文章一 章一部 一部プ 部プレ プレー レース ースホ スホル ホルダ ルダー ダー文 ー文脈 文脈パ 脈パラ パラメ ラメー メータ ータ変 タ変化 変化こ 化こと こと と",
"dataForExcerpt": "# トランスクルージョン <WikipediaCitation language=\"ja\" title=\"トランスクルージョン\" access=\"2023/06/18\" version=\"94968840\" /> ## 概要 トランスクルージョン（英: Transclusion）とは、参照によってある文書を別の文書に掲載すること、参照読み込み。 動詞形はトランスクルード（英: Transclude）。 トランスクルージョンはハイパーテキストを成す機能のひとつ（さらにいえばその一形態）である。 たとえば、日本に関する記事Aに、人口推移を表すデータを記事Bから引用するとする。 このとき、記事Aにデータをコピー＆ペーストするのではなく、記事Aに記事B上のデータを直接表示できるようにする。 このような参照関係は両記事をリンクする役割も持つ。 この用語はテッド・ネルソンが造り、著書『リテラリーマシン』で「ハイパーテキスト」や「ハイパーメディア」と共に使われた。 ## 技術的課題 ### 文脈中立性 トランスクルージョンは、トランスクルードされた部分が自己充足的であるときに最もうまく機能する。 つまりその文章の意味と妥当性は、前後の文脈とは独立しているほうがよい。 たとえば、「前節で説明したように」といった言葉は問題がある。 トランスクルードされた文章は別の文脈に埋め込まれるため、このような言葉があると混乱が生じる。 ### パラメータ化 状況によっては、トランスクルードされた文章は文脈中立性を厳密に保持していなくとも「パラメータ化」によってトランスクルード可能な形にできる。 パラメータ化とは、トランスクルードされた文章の一部（プレースホルダー）を文脈（パラメータ）に応じて変化させることである。 "
},
"v-48dda8ce": {
"title": "ベリリウム",
"path": "/wikipedia/science/beryllium.html",
"dataForSearch": "#ベリ ベリリ リリウ リウム ウム< ム<W <Wi Wik iki kip ipe ped edi dia iaC aCi Cit ita tat ati tio ion onl nla lan ang ngu gua uag age ge= e=\" =\"j \"ja ja\" a\"t \"ti tit itl tle le= e=\" =\"ベ \"ベリ ベリリ リリウ リウム ウム\" ム\"a \"ac acc cce ces ess ss= s=\" =\"2 \"20 202 023 23/ 3/0 /09 09/ 9/1 /18 18\" 8\"v \"ve ver ers rsi sio ion on= n=\" =\"9 \"96 968 682 821 215 153 536 36\" 6\"/ \"/> />ベ >ベリ ベリリ リリウ リウム ウム新 ム新ラ 新ラテ ラテン テン語 ン語: 語:b :be ber ery ryl yll lli liu ium um, m,英 ,英: 英:b :be ber ery ryl yll lli liu ium um[ m[b [br brl rli lim im] m]） ]）原 ）原子 原子番 子番号 番号4 号4元 4元素 元素元 素元素 元素記 素記号 記号B 号Be Be原 e原子 原子量 子量9 量9. 9.0 .01 012 121 218 182 82族 2族元 族元素 元素ひ 素ひと ひとつ とつ# つ## ##名 #名称 名称1 称17 179 798 98年 8年ル 年ルイ ルイニ イニコ ニコラ コラ・ ラ・ヴ ・ヴォ ヴォー ォーク ークラ クラン ラング ングル グルキ ルキニ キニウ ニウム ウム旧 ム旧元 旧元素 元素記 素記号 記号G 号Gl Glg lgl glu luc uci cin ini niu ium um語 m語源 語源g 源gl gly lyk yky kys ysギ sギリ ギリシ リシア シア語 ア語さ 語さ言 さ言葉 言葉意 葉意味 意味こ 味これ これベ れベリ ベリリ リリウ リウム ウム化 ム化合 化合物 合物甘 物甘み 甘みこ みこと こと由 と由来 由来1 来18 182 828 28年 8年マ 年マル マルテ ルティ ティン ィン・ ン・ハ ・ハイ ハイン インリ ンリヒ リヒ・ ヒ・ク ・クラ クラプ ラプロ プロー ロート ートベ トベリ ベリリ リリウ リウム ウム命 ム命名 命名名 名名前 名前緑 前緑柱 緑柱石 柱石b 石be ber ery ryl ylギ lギリ ギリシ リシア シア語 ア語b 語be ber ery ryl yll llo los os由 s由来 由来# 来## ##歴 #歴史 歴史初 史初期 初期分 期分析 分析緑 析緑柱 緑柱石 柱石エ 石エメ エメラ メラル ラルド ルド類 ド類似 類似成 似成分 成分検 分検出 検出物 出物質 物質ケ 質ケイ ケイ酸 イ酸ア 酸アル アルミ ルミニ ミニウ ニウム ウム鉱 ム鉱物 鉱物学 物学者 学者ル 者ルネ ルネジ ネジュ ジュス ュスト スト・ ト・ア ・アユ アユイ ユイ2 イ2結 2結晶 結晶類 晶類似 類似点 似点こ 点こと こと発 と発見 発見彼 見彼こ 彼これ これ化 れ化学 化学的 学的分 的分析 分析た 析ため ため化 め化学 化学者 学者ル 者ルイ ルイニ イニコ ニコラ コラ・ ラ・ヴ ・ヴォ ヴォー ォーク ークラ クラン ラン1 ン17 179 797 97年 7年ヴ 年ヴォ ヴォー ォーク ークラ クラン ラン緑 ン緑柱 緑柱石 柱石ア 石アル アルカ ルカリ カリ処 リ処理 処理こ 理こと こと水 と水酸 水酸化 酸化ア 化アル アルミ ルミニ ミニウ ニウム ウム溶 ム溶解 溶解ア 解アル アルミ ルミニ ミニウ ニウム ウムベ ムベリ ベリリ リリウ リウム ウム酸 ム酸化 酸化物 化物分 物分離 分離こ 離こと こと成 と成功 成功1 功18 182 828 28年 8年フ 年フリ フリー リード ードリ ドリヒ リヒ・ ヒ・ヴ ・ヴェ ヴェー ェーラ ーラー ラーア ーアン アント ントワ トワー ワーヌ ーヌ・ ヌ・ビ ・ビュ ビュシ ュシー シーそ ーそれ それぞ れぞれ ぞれ独 れ独自 独自金 自金属 金属カ 属カリ カリウ リウム ウム塩 ム塩化 塩化ベ 化ベリ ベリリ リリウ リウム ウム反 ム反応 反応こ 応こと ことベ とベリ ベリリ リリウ リウム ウム単 ム単離 単離成 離成功 成功カ 功カリ カリウ リウム ウム当 ム当時 当時発 時発見 発見方 見方法 方法電 法電気 電気分 気分解 分解カ 解カリ カリウ リウム ウム化 ム化合 化合物 合物生 物生産 生産化 産化学 化学的 学的手 的手法 手法ベ 法ベリ ベリリ リリウ リウム ウム粒 ム粒状 粒状金 状金属 金属ベ 属ベリ ベリリ リリウ リウム ウムイ ムイン インゴ ンゴッ ゴット ット鋳 ト鋳造 鋳造鍛 造鍛造 鍛造こ 造こと こと1 と18 189 898 98年 8年ポ 年ポー ポール ールル ルルボ ルボー ボー英 ー英語 英語版 語版化 版化ベ 化ベリ ベリリ リリウ リウム ウム化 ム化ナ 化ナト ナトリ トリウ リウム ウム混 ム混合 混合融 合融液 融液直 液直接 直接電 接電気 電気分 気分解 分解こ 解こと こと純 と純粋 純粋ベ 粋ベリ ベリリ リリウ リウム ウム試 ム試料 試料1 料19 19世 9世紀 世紀ベ 紀ベリ ベリリ リリウ リウム ウム化 ム化合 化合物 合物融 物融点 融点溶 点溶解 溶解度 解度味 度味報 味報告 報告の 告の当 の当た 当たり たり前 り前一 前一次 一次世 次世界 世界大 界大戦 大戦以 戦以前 以前有 前有意 有意量 意量ベ 量ベリ ベリリ リリウ リウム ウム生 ム生産 生産大 産大規 大規模 規模生 模生産 生産の 産の1 の19 193 930 30年 0年代 年代初 代初期 初期ベ 期ベリ ベリリ リリウ リウム ウム生 ム生産 生産量 産量ベ 量ベリ ベリリ リリウ リウム ウム銅 ム銅合 銅合金 合金蛍 金蛍光 蛍光灯 光灯蛍 灯蛍光 蛍光体 光体用 体用途 用途需 途需要 需要伸 要伸び 伸び二 び二次 二次世 次世界 世界大 界大戦 大戦中 戦中急 中急速 急速増 速増加 増加初 加初期 初期蛍 期蛍光 蛍光灯 光灯ベ 灯ベリ ベリリ リリウ リウム ウム含 ム含有 含有オ 有オル オルト ルトケ トケイ ケイ酸 イ酸亜 酸亜鉛 亜鉛使 鉛使用 使用の 用のち のちベ ちベリ ベリリ リリウ リウム ウム有 ム有毒 有毒性 毒性発 性発見 発見た 見ため ためハ めハロ ハロリ ロリン リン酸 ン酸系 酸系蛍 系蛍光 蛍光体 光体ベ 体ベリ ベリリ リリウ リウム ウム初 ム初期 初期主 期主要 主要用 要用途 用途ひ 途ひと ひとつ とつさ つさ融 さ融点 融点さ 点さ非 さ非常 非常ヒ 常ヒー ヒート ートシ トシン シンク ンク性 ク性能 性能利 能利用 利用軍 用軍用 軍用機 用機ブ 機ブレ ブレー レーキ ーキ利 キ利用 利用こ 用こち こちら ちら環 ら環境 環境配 境配慮 配慮別 慮別材 別材料 材料代 料代替 代替 替",
"dataForExcerpt": "# ベリリウム <WikipediaCitation language=\"ja\" title=\"ベリリウム\" access=\"2023/09/18\" version=\"96821536\" /> ベリリウム（新ラテン語: beryllium, 英: beryllium [bəˈrɪliəm]）は、原子番号4の元素である。 元素記号はBe。 原子量は9.01218。 第2族元素のひとつ。 ## 名称 1798年にルイ＝ニコラ・ヴォークランが「グルキニウム（旧元素記号Gl、glucinium）」と名づけた。 語源のglykysは、ギリシア語で「甘さ」という言葉を意味する。 これは、ベリリウム化合物が甘みを持つことに由来している。 1828年には、マルティン・ハインリヒ・クラプロートが「ベリリウム」と命名した。 この名前は緑柱石（beryl、ギリシア語で beryllos）に由来している。 ## 歴史 初期の分析において緑柱石とエメラルドは常に類似した成分が検出されており、この物質はケイ酸アルミニウムであると誤って結論づけられていた。 鉱物学者であったルネ＝ジュスト・アユイはこの2つの結晶が著しい類似点を示すことを発見し、彼はこれを化学的に分析するために化学者であるルイ＝ニコラ・ヴォークランに尋ねた。 1797年、ヴォークランは緑柱石をアルカリで処理することによって水酸化アルミニウムを溶解させ、アルミニウムからベリリウム酸化物を分離させることに成功した。 1828年にフリードリヒ・ヴェーラーとアントワーヌ・ビュシーがそれぞれ独自に、金属カリウムと塩化ベリリウムを反応させることによるベリリウムの単離に成功した。 カリウムは、当時新しく発見された方法である電気分解によってカリウム化合物より生産されていた。 この化学的手法によって得られるベリリウムは小さな粒状であり、金属ベリリウムのインゴットを鋳造もしくは鍛造することはできなかった。 1898年、ポール・ルボー（英語版）はフッ化ベリリウムとフッ化ナトリウムの混合融液を直接電気分解することによって、初めて純粋なベリリウムの試料を得た。 19世紀は、新しいベリリウム化合物が見つかると、融点や溶解度だけでなく、味までも報告するのが当たり前だった。 第一次世界大戦以前にも有意な量のベリリウムが生産されていたが、大規模生産が始まったのは1930年代初期からである。 ベリリウムの生産量は、硬いベリリウム銅合金および蛍光灯の蛍光体用途の需要の伸びによって、第二次世界大戦中に急速に増加した。 初期の蛍光灯にはベリリウムを含有したオルトケイ酸亜鉛が使用されていたが、のちにベリリウムの有毒性が発見されたためハロリン酸系蛍光体に置き換えられた。 また、ベリリウムの初期の主要な用途のひとつとして、その硬さや融点の高さ、非常に優れたヒートシンク性能を利用した軍用機のブレーキへの利用が挙げられるが、こちらも環境への配慮から別の材料に代替された。 "
},
"v-de18fd4e": {
"title": "小田急3000形電車 (初代)",
"path": "/wikipedia/train/odakyu_3000.html",
"dataForSearch": "#小田 小田急 田急3 急30 300 000 00形 0形電 形電車 電車( 車(初 (初代 初代) 代)< )<W <Wi Wik iki kip ipe ped edi dia iaC aCi Cit ita tat ati tio ion onl nla lan ang ngu gua uag age ge= e=\" =\"j \"ja ja\" a\"t \"ti tit itl tle le= e=\" =\"小 \"小田 小田急 田急3 急30 300 000 00形 0形電 形電車 電車( 車(初 (初代 初代) 代)\" )\"a \"ac acc cce ces ess ss= s=\" =\"2 \"20 202 023 23/ 3/0 /09 09/ 9/1 /16 16\" 6\"v \"ve ver ers rsi sio ion on= n=\" =\"9 \"96 962 620 204 048 483 832 32\" 2\"/ \"/> />小 >小田 小田急 田急3 急30 300 000 00形 0形電 形電車 電車お 車おだ おだき だきゅ きゅう ゅう3 う30 300 000 001 019 195 957 57年 7年昭 年昭和 昭和3 和32 32年 2年1 年19 199 992 92年 2年平 年平成 平成4 成4年 4年小 年小田 小田急 田急電 急電鉄 電鉄運 鉄運用 運用特 用特急 特急用 急用車 用車両 車両ロ 両ロマ ロマン マンス ンスカ スカー カー本 ー本項 本項大 項大井 大井川 井川鉄 川鉄道 鉄道当 道当時 当時譲 時譲渡 譲渡車 渡車両 車両本 両本項 本項目 項目記 目記述 記述小 述小田 小田急 田急編 急編成 編成表 成表記 表記際 記際新 際新宿 新宿寄 宿寄り 寄り先 り先頭 先頭車 頭車両 車両車 両車両 車両番 両番号 番号新 号新宿 新宿方 宿方車 方車号 車号両 号両数 両数表 数表記 表記使 記使用 使用為 用為本 為本項 本項そ 項それ それ特 れ特定 特定編 定編成 編成表 成表記 表記際 記際3 際30 300 001 018 183 830 305 051 515 15よ 5よう よう表 う表記 表記本 記本項 本項本 項本形 本形式 形式3 式30 300 000 00形 0形S 形SE SE車 E車3 車31 310 100 00形 0形N 形NS NSE SE車 E車7 車70 700 000 00形 0形L 形LS LSE SE車 E車1 車10 100 000 000 00形 0形H 形Hi HiS iSE SE車 E車2 車20 200 000 000 00形 0形R 形RS RSE SE車 E車5 車50 500 000 000 00形 0形V 形VS VSE SE車 E車6 車60 600 000 000 00形 0形M 形MS MSE SE車 E車鉄 車鉄道 鉄道省 道省運 省運輸 運輸通 輸通信 通信省 信省運 省運輸 運輸省 輸省日 省日本 日本国 本国有 国有鉄 有鉄道 鉄道運 道運営 運営国 営国有 国有鉄 有鉄道 鉄道事 道事業 事業国 業国鉄 国鉄鉄 鉄鉄道 鉄道技 道技術 技術研 術研究 研究所 究所研 所研究 研究所 究所箱 所箱根 箱根登 根登山 登山鉄 山鉄道 鉄道箱 道箱根 箱根湯 根湯本 湯本駅 本駅特 駅特急 特急列 急列車 列車箱 車箱根 箱根特 根特急 特急表 急表記 表記# 記## ##概 #概要 概要東 要東京 東京急 京急行 急行電 行電鉄 電鉄大 鉄大東 大東急 東急分 急分離 分離発 離発足 発足小 足小田 小田急 田急新 急新宿 新宿小 宿小田 小田原 田原間 原間6 間60 60分 0分こ 分こと こと将 と将来 将来目 来目標 目標設 標設定 設定画 定画期 画期的 期的軽 的軽量 軽量高 量高性 高性能 性能新 能新特 新特急 特急車 急車計 車計画 計画国 画国鉄 国鉄研 鉄研究 研究所 究所航 所航空 航空技 空技術 技術鉄 術鉄道 鉄道応 道応用 応用超 用超高 超高速 高速車 速車両 車両研 両研究 研究構 究構想 構想小 想小田 小田急 田急着 急着目 着目開 目開発 開発日 発日本 日本国 本国有 国有鉄 有鉄道 鉄道国 道国鉄 国鉄鉄 鉄鉄道 鉄道技 道技術 技術研 術研究 研究所 究所技 所技術 技術協 術協力 協力こ 力こと こと日 と日本 日本鉄 本鉄道 鉄道車 道車両 車両初 両初導 初導入 導入新 入新技 新技術 技術い 術いく いくつ くつ車 つ車両 車両そ 両それ それら れら中 ら中国 中国鉄 国鉄新 鉄新幹 新幹線 幹線発 線発展 発展的 展的技 的技術 技術存 術存在 存在た 在ため ため新 め新幹 新幹線 幹線ル 線ルー ルーツ ーツ超 ツ超高 超高速 高速鉄 速鉄道 鉄道パ 道パイ パイオ イオニ オニア ニア\" ア\"S \"Su Sup upe per erE rEx Exp xpr pre res ess ss\" s\"（ \"（S （SE SE愛 E愛称 愛称設 称設定 設定S 定SE SE略 E略称 略称\" 称\"S \"Su Sup upe per erE rEl Ele lec ect ctr tri ric icc cca car ar\" r\"意 \"意味 意味登 味登場 登場1 場19 195 957 57年 7年東 年東海 東海道 海道本 道本線 本線高 線高速 高速試 速試験 試験当 験当時 当時狭 時狭軌 狭軌鉄 軌鉄道 鉄道世 道世界 世界最 界最高 最高速 高速度 速度記 度記録 記録1 録14 145 45k 5km km/ m/h /h樹 h樹立 樹立そ 立その その後 の後国 後国鉄 国鉄電 鉄電車 電車特 車特急 特急開 急開発 開発デ 発デー データ ータ提 タ提供 提供本 供本形 本形式 形式登 式登場 登場き 場きっ きっか っかけ かけ鉄 け鉄道 鉄道友 道友の 友の会 の会ブ 会ブル ブルー ルーリ ーリボ リボン ボン賞 ン賞制 賞制度 制度創 度創設 創設1 設19 195 958 58年 8年1 年1回 1回ブ 回ブル ブルー ルーリ ーリボ リボン ボン賞 ン賞授 賞授与 授与当 与当初 当初8 初8両 8両連 両連接 連接車 接車登 車登場 登場1 場19 196 968 68年 8年以 年以降 以降御 降御殿 御殿場 殿場線 場線乗 線乗り 乗り入 り入れ 入れた れため ため編 め編成 編成5 成5両 5両連 両連接 連接車 接車短 車短縮 短縮\" 縮\"S \"Sh Sho hor ort rtS tSu Sup upe per erE rEx Exp xpr pre res ess ss\" s\"（ \"（S （SS SSE SEよ Eよう よう1 う19 199 991 91年 1年2 年20 200 000 000 00形 0形R 形RS RSE SE車 E車登 車登場 登場運 場運用 運用1 用19 199 992 92年 2年全 年全車 全車両 車両廃 両廃車 廃車# 車## ##登 #登場 登場経 場経緯 経緯# 緯## ### ##小 #小田 小田急 田急目 急目標 目標1 標19 194 948 48年 8年6 年6月 6月1 月1日 1日小 日小田 小田急 田急大 急大東 大東急 東急分 急分離 分離発 離発足 発足際 足際取 際取締 取締役 締役兼 役兼運 兼運輸 運輸担 輸担当 担当就 当就任 就任山 任山本 山本利 本利三 利三郎 三郎学 郎学生 学生時 生時代 時代存 代存在 存在以 在以来 以来連 来連接 連接車 接車関 車関心 関心ス 心スペ スペイ ペイン イン開 ン開発 開発連 発連接 連接車 接車タ 車タル タルゴ ルゴ存 ゴ存在 存在あ 在あれ あれ電 れ電車 電車国 車国鉄 国鉄東 鉄東京 東京鉄 京鉄道 鉄道局 道局在 局在籍 在籍1 籍19 193 935 35年 5年業 年業務 業務研 務研究 研究資 究資料 資料関 料関節 関節式 節式新 式新電 新電車 電車ニ 車ニ就 ニ就イ 就イテ イテ構 テ構想 構想こ 想これ これ関 れ関節 関節車 節車連 車連接 連接車 接車導 車導入 導入こ 入こと こと騒 と騒音 騒音動 音動揺 動揺乗 揺乗り 乗り心 り心地 心地改 地改善 改善上 善上先 上先頭 先頭部 頭部線 部線形 線形駆 形駆動 駆動方 動方式 方式駆 式駆動 駆動方 動方式 方式改 式改良 改良騒 良騒音 騒音低 音低減 低減高 減高速 高速電 速電車 電車東 車東京 東京沼 京沼津 沼津間 津間内 間内容 内容発 容発想 発想当 想当時 当時国 時国鉄 国鉄山 鉄山本 山本そ 本その その後 の後連 後連接 連接車 接車導 車導入 導入関 入関心 関心1 心19 194 948 48年 8年冬 年冬当 冬当時 当時新 時新入 新入社 入社員 社員生 員生方 生方良 方良雄 良雄当 雄当時 当時連 時連接 連接車 接車運 車運用 運用西 用西日 西日本 日本鉄 本鉄道 鉄道5 道50 500 00形 0形構 形構造 構造保 造保守 保守視 守視察 視察分 察分離 分離発 離発足 発足後 足後小 後小田 小田急 田急戦 急戦争 戦争疲 争疲弊 疲弊輸 弊輸送 輸送施 送施設 施設復 設復旧 復旧改 旧改善 改善主 善主目 主目的 目的設 的設置 設置輸 置輸送 輸送改 送改善 改善委 善委員 委員会 員会新 会新宿 新宿小 宿小田 小田原 田原6 原60 60分 0分将 分将来 将来目 来目標 目標設 標設定 設定目 定目標 目標値 標値戦 値戦前 戦前阪 前阪和 阪和電 和電気 電気鉄 気鉄道 鉄道阪 道阪和 阪和天 和天王 天王寺 王寺東 寺東和 東和歌 和歌山 歌山間 山間6 間61 61. 1.2 .2k 2km km4 m45 45分 5分表 分表定 表定速 定速度 速度8 度81 81. 1.6 .6k 6km km/ m/h /hこ hこと こと意 と意識 意識も 識もの もの表 の表定 表定速 定速度 速度新 度新宿 新宿小 宿小田 小田原 田原間 原間8 間82 82. 2.8 .8k 8km km当 m当時 当時6 時60 60分 0分走 分走破 走破の 破の大 の大阪 大阪出 阪出身 出身山 身山本 山本阪 本阪和 阪和電 和電気 電気鉄 気鉄道 鉄道引 道引き 引き合 き合い 合い目 い目標 目標阪 標阪和 阪和電 和電気 電気鉄 気鉄道 鉄道記 道記録 記録こ 録こと こと目 と目的 目的わ 的わけ わけ速 け速度 速度向 度向上 向上車 上車両 車両回 両回転 回転率 転率こ 率こと こと経 と経営 経営効 営効率 効率向 率向上 向上こ 上こと こと目 と目的 目的当 的当時 当時高 時高速 高速走 速走行 走行た 行ため ため大 め大出 大出力 出力主 力主電 主電動 電動機 動機使 機使用 使用粘 用粘着 粘着性 着性能 性能た 能ため ため車 め車体 車体頑 体頑丈 頑丈こ 丈こと こと常 と常識 常識時 識時小 時小田 小田急 田急経 急経営 経営基 営基盤 基盤脆 盤脆弱 脆弱ス 弱スピ スピー ピード ードア ドアッ アップ ップ目 プ目的 目的施 的施設 施設全 設全般 全般多 般多額 多額投 額投資 投資こ 資こと こと当 と当時 当時導 時導入 導入国 入国鉄 国鉄モ 鉄モハ モハ6 ハ63 63形 3形改 形改造 改造車 造車1 車18 180 800 00形 0形乗 形乗り 乗り心 り心地 心地保 地保線 保線部 線部門 部門線 門線路 線路車 路車両 車両事 両事実 事実た 実ため ため軌 め軌道 軌道変 道変電 変電所 電所投 所投資 投資一 資一方 一方車 方車両 車両高 両高速 高速性 速性能 性能向 能向上 向上方 上方針 方針方 針方針 方針軽 針軽量 軽量高 量高性 高性能 性能車 能車両 車両開 両開発 開発こ 発こと こと研 と研究 研究試 究試験 試験1 験19 195 954 54年 4年登 年登場 登場2 場21 210 100 00形 0形車 形車体 車体軽 体軽量 軽量化 量化実 化実現 実現駆 現駆動 駆動方 動方式 方式同 式同年 同年登 年登場 登場2 場22 220 200 00形 0形カ 形カル カルダ ルダン ダン駆 ン駆動 駆動方 動方式 方式実 式実用 実用化 用化年 化年9 年9月 9月1 月11 11日 1日新 日新型 新型特 型特急 特急車 急車両 車両開 両開発 開発正 発正式 正式決 式決定 決定# 定## ##車 #車両 車両概 両概説 概説S 説SE SE車 E車8 車8両 8両連 両連接 連接固 接固定 固定編 定編成 編成先 成先頭 先頭車 頭車制 車制御 制御電 御電動 電動車 動車中 車中間 中間車 間車全 車全て 全て電 て電動 電動車 動車形 車形式 形式い 式いず いずれ ずれデ れデハ デハ3 ハ30 300 000 00形 0形閑 形閑散 閑散期 散期5 期5両 5両連 両連接 連接車 接車運 車運用 運用可 用可能 可能場 能場合 場合1 合1・ 1・2 ・2・ 2・3 ・3・ 3・7 ・7・ 7・8 ・8号 8号車 号車5 車5両 5両1 両1・ 1・2 ・2・ 2・6 ・6・ 6・7 ・7・ 7・8 ・8号 8号車 号車5 車5両 5両い 両いず いずれ ずれ5 れ5両 5両連 両連接 連接車 接車場 車場合 場合3 合3両 3両目 両目両 目両側 両側電 側電動 電動機 動機装 機装着 装着付 着付随 付随台 随台車 台車編 車編成 編成短 成短縮 短縮機 縮機会 機会こ 会こと こと回 と回路 回路簡 路簡略 簡略化 略化た 化ため ため1 め19 195 959 59年 9年3 年3月 3月製 月製造 製造編 造編成 編成3 成30 303 031 318 18永 8永久 永久8 久8両 8両連 両連接 連接回 接回路 回路設 路設定 設定そ 定それ それ日 れ日本 日本連 本連接 連接車 接車車 車車体 車体数 体数1 数1編 1編成 編成単 成単位 単位1 位1車 1車両 車両番 両番号 番号S 号SE SE車 E車車 車車体 車体ご 体ごと ごと車 と車両 車両番 両番号 番号附 号附番 附番 番",
"dataForExcerpt": "# 小田急3000形電車 (初代) <WikipediaCitation language=\"ja\" title=\"小田急3000形電車 (初代)\" access=\"2023/09/16\" version=\"96204832\" /> 小田急3000形電車（おだきゅう3000がたでんしゃ）は、1957年（昭和32年）から1992年（平成4年）まで小田急電鉄が運用していた特急用車両（ロマンスカー）である。 本項では大井川鉄道（当時）に譲渡された車両についても本項目で記述する。 小田急では、編成表記の際に「新宿寄り先頭車両の車両番号（新宿方の車号）×両数」という表記を使用している為本項でもそれに倣い、特定の編成を表記する際には「3001×8」「3051×5」のように表記する。 また、本項において本形式3000形は「SE車」、3100形は「NSE車」、7000形は「LSE車」、10000形は「HiSE車」、20000形は「RSE車」、50000形は「VSE車」、60000形は「MSE車」、鉄道省・運輸通信省・運輸省および日本国有鉄道が運営していた国有鉄道事業は「国鉄」、鉄道技術研究所は「研究所」、箱根登山鉄道箱根湯本駅へ乗り入れる特急列車については「箱根特急」と表記する。 ## 概要 東京急行電鉄（大東急）から分離発足した小田急では、新宿と小田原との間を60分で結ぶことを将来目標に設定した「画期的な軽量高性能新特急車」を計画していた。 折りしも国鉄の研究所では航空技術を鉄道に応用した超高速車両の研究が行われていたが、この構想に小田急が着目し、開発に際して日本国有鉄道（国鉄）の鉄道技術研究所より技術協力が得られたことから、日本の鉄道車両において初の導入となる新技術がいくつか盛り込まれた車両であり、それらの中には国鉄の新幹線に発展的に引き継がれた技術も存在する。 このため、「新幹線のルーツ」や「超高速鉄道のパイオニア」とも言われている。 \"Super Express\"（略して「SE」）という愛称が設定されたが、「SE」という略称には \"Super Electric car\" という意味も含ませている。 登場した1957年に行われた東海道本線での高速試験において、当時の狭軌鉄道における世界最高速度記録となる145km/hを樹立、その後の国鉄の電車特急開発にデータを提供した。 また、本形式の登場がきっかけとなって鉄道友の会ではブルーリボン賞の制度が創設され、1958年には第1回ブルーリボン賞を授与された。 当初は8両連接車として登場したが、1968年以降は御殿場線乗り入れのため編成を5両連接車に短縮し、\"Short Super Express\"（略して「SSE」）とも称されるようになった。 1991年に20000形（RSE車）が登場するまで運用され、1992年に全車両が廃車となった。 ## 登場の経緯 ### 小田急の目標 1948年6月1日に小田急が大東急から分離発足した際に取締役兼運輸担当として就任した山本利三郎は、学生時代にその存在を知って以来連接車に関心を抱き、スペインで開発された連接車であるタルゴの存在を知ってからは「あれを電車でやれないか」と考えていたという。 国鉄東京鉄道局に在籍していた1935年には、業務研究資料で「関節式新電車ニ就イテ」と題する構想を出した。 これは、「関節車（連接車）を導入することで騒音・動揺・乗り心地を改善した上で、先頭部を流線形にし、駆動方式も吊り掛け駆動方式から改良して騒音を低減した高速電車を東京と沼津の間で走らせる」という内容であった。 この発想は当時の国鉄ではまったく受け入れられなかったが、山本はその後も連接車の導入に関心を持ちつづけ、1948年冬には当時まだ新入社員であった生方良雄とともに、当時既に連接車として運用されていた西日本鉄道500形の構造や保守について視察した。 一方、分離発足後の小田急では、戦争で疲弊した輸送施設の復旧と改善を主目的として設置された輸送改善委員会が、「新宿と小田原を60分で結ぶ」という将来目標を設定した。 この目標値は、戦前に阪和電気鉄道が阪和天王寺と東和歌山の間61.2kmを45分で結び、表定速度は81.6km/hに達していたことを意識したもので、この表定速度であれば、新宿と小田原の間82.8km（当時）は60分で走破できると考えたのである。 大阪出身である山本は、日ごろから阪和電気鉄道を引き合いに出していたという。 この目標は、単に阪和電気鉄道の記録を破ることを目的にしていたわけではなく、速度向上によって車両の回転率を高めることによって経営効率の向上を図ることも目的としていた。 当時は「高速走行のためには大出力の主電動機を使用して、粘着性能を稼ぐために車体も重く頑丈にする」ということが常識とされていた。 しかし、この時の小田急の経営基盤はまだ脆弱で、スピードアップを目的として施設全般に多額の投資を行うことはできなかった。 また、当時導入された国鉄モハ63形の改造車である1800形の乗り心地が悪く、保線部門から「線路を壊す車両」として嫌われたという事実もあった。 このため、軌道や変電所などの投資を極力抑える一方で、車両の高速性能を向上するという方針が立てられた。 この方針に従い、軽量・高性能な車両の開発が進められることとなり、研究や試験などを繰り返していた。 1954年に登場した2100形では車体の軽量化が実現、駆動方式についても同年に登場した2200形ではカルダン駆動方式が実用化された。 また、この年の9月11日には新型特急車両の開発が正式に決定した。 ## 車両概説 SE車は8両連接の固定編成で、先頭車が制御電動車、中間車は全て電動車で、形式はいずれもデハ3000形である。 なお、閑散期には5両連接車としての運用も可能で、この場合は1・2・3・7・8号車の5両か、1・2・6・7・8号車の5両のいずれかとなるが、5両連接車とした場合は3両目が両側とも電動機を装着しない付随台車となる。 ただし、ほとんど編成短縮の機会がないことから、回路の簡略化を図るため、1959年3月に製造された編成（3031×8）では永久8両連接の回路設定とした。 それまでの日本の連接車では車体数に関わらず1編成単位で1つの車両番号であったが、SE車では車体ごとに車両番号を附番している。 "
},
"v-46bf6759": {
"title": "メインフレーム",
"path": "/wikipedia/it/mainframe_computer.html",
"dataForSearch": "#メイ メイン インフ ンフレ フレー レーム ーム< ム<W <Wi Wik iki kip ipe ped edi dia iaC aCi Cit ita tat ati tio ion onl nla lan ang ngu gua uag age ge= e=\" =\"j \"ja ja\" a\"t \"ti tit itl tle le= e=\" =\"メ \"メイ メイン インフ ンフレ フレー レーム ーム\" ム\"a \"ac acc cce ces ess ss= s=\" =\"2 \"20 202 023 23/ 3/0 /06 06/ 6/1 /18 18\" 8\"v \"ve ver ers rsi sio ion on= n=\" =\"9 \"94 942 429 293 930 300 002 02\" 2\"/ \"/> /># >## ##概 #概要 概要メ 要メイ メイン インフ ンフレ フレー レーム ーム英 ム英: 英:m :ma mai ain inf nfr fra ram ame me主 e主企 主企業 企業巨 業巨大 巨大組 大組織 組織基 織基幹 基幹情 幹情報 情報シ 報シス システ ステム テム使 ム使用 使用大 用大型 大型コ 型コン コンピ ンピュ ピュー ュータ ータ用 タ用語 用語汎 語汎用 汎用コ 用コン コンピ ンピュ ピュー ュータ ータ汎 タ汎用 汎用機 用機大 機大型 大型汎 型汎用 汎用コ 用コン コンピ ンピュ ピュー ュータ ータホ タホス ホスト ストコ トコン コンピ ンピュ ピュー ュータ ータ大 タ大型 大型汎 型汎用 汎用機 用機メ 機メイ メイン インフ ンフレ フレー レーム ーム組 ム組織 組織共 織共有 共有業 有業務 業務処 務処理 処理た 理ため ためコ めコン コンピ ンピュ ピュー ュータ ータメ タメイ メイン インフ ンフレ フレー レーム ーム商 ム商用 商用コ 用コン コンピ ンピュ ピュー ュータ ータ最 タ最初 最初形 初形態 形態1 態19 195 950 50年 0年代 年代レ 代レミ レミン ミント ントン トンラ ンラン ランド ンド社 ド社U 社UN UNI NIV IVA VAC ACI CI最 I最初 最初メ 初メイ メイン インフ ンフレ フレー レーム ーム以 ム以降 以降他 降他社 他社多 社多様 多様製 様製品 製品発 品発売 発売巨 売巨大 巨大組 大組織 組織業 織業務 業務処 務処理 処理効 理効率 効率化 率化た 化ため ためメ めメイ メイン インフ ンフレ フレー レーム ーム実 ム実用 実用化 用化技 化技術 技術ダ 術ダウ ダウン ウンサ ンサイ サイジ イジン ジング ング応 グ応用 応用こ 用こと ことミ とミニ ミニコ ニコン コンピ ンピュ ピュー ュータ ータオ タオフ オフィ フィス ィスコ スコン コンピ ンピュ ピュー ュータ ータパ タパソ パソコ ソコン コンス ンスマ スマー マート ートフ トフォ フォン ォン1 ン19 199 990 90年 0年前 年前後 前後事 後事実 事実上 実上標 上標準 標準オ 準オー オープ ープン プンシ ンシス システ ステム テム普 ム普及 普及後 及後信 後信頼 信頼性 頼性継 性継続 継続性 続性コ 性コン コンピ ンピュ ピュー ュータ ータセ タセキ セキュ キュリ ュリテ リティ ティ基 ィ基幹 基幹業 幹業務 業務使 務使用 使用# 用## ##呼 #呼称 呼称メ 称メイ メイン インフ ンフレ フレー レーム ーム複 ム複数 複数ア 数アー アーキ ーキテ キテク テクチ クチャ チャコ ャコン コンピ ンピュ ピュー ュータ ータ世 タ世代 世代用 代用途 用途規 途規模 規模分 模分類 分類用 類用語 用語た 語ため ため趣 め趣旨 趣旨経 旨経緯 経緯以 緯以下 以下よ 下よう よう多 う多数 多数呼 数呼称 呼称1 称19 199 990 90年 0年代 年代以 代以降 以降一 降一部 一部メ 部メイ メイン インフ ンフレ フレー レーム ームオ ムオー オープ ープン プンシ ンシス システ ステム テム対 ム対応 対応各 応各呼 各呼称 呼称内 称内容 内容変 容変化 変化# 化## ### ##メ #メイ メイン インフ ンフレ フレー レーム ーム英 ム英語 英語: 語:m :ma mai ain inf nfr fra ram ame me直 e直訳 直訳主 訳主枠 主枠由 枠由来 由来諸 来諸説 諸説周 説周辺 周辺機 辺機器 機器端 器端末 端末シ 末シス システ ステム テム全 ム全体 全体中 体中核 中核構 核構成 構成た 成ため ため当 め当初 当初コ 初コン コンピ ンピュ ピュー ュータ ータ1 タ19 196 960 60年 0年代 年代ミ 代ミニ ミニコ ニコン コンピ ンピュ ピュー ュータ ータ分 タ分散 分散シ 散シス システ ステム テム対 ム対比 対比語 比語使 語使用 使用メ 用メイ メイン インフ ンフレ フレー レーム ーム製 ム製造 製造販 造販売 販売メ 売メー メーカ ーカー カーメ ーメイ メイン インフ ンフレ フレー レーマ ーマー マー# ー## ### ##汎 #汎用 汎用コ 用コン コンピ ンピュ ピュー ュータ ータ汎 タ汎用 汎用機 用機英 機英語 英語: 語:g :ge gen ene ner era ral alp lpu pur urp rpo pos ose sec eco com omp mpu put ute ter er, r,a ,al all llp lpu pur urp rpo pos ose sem ema mac ach chi hin ine neS eSy Sys yst ste tem em/ m/3 /36 360 60登 0登場 登場以 場以前 以前商 前商用 商用計 用計算 計算専 算専用 専用機 用機科 機科学 科学技 学技術 技術計 術計算 計算専 算専用 専用機 用機専 機専用 専用機 用機対 機対比 対比語 比語厳 語厳密 厳密メ 密メイ メイン インフ ンフレ フレー レーム ーム商 ム商用 商用計 用計算 計算科 算科学 科学技 学技術 技術計 術計算 計算も 算もの もの汎 の汎用 汎用コ 用コン コンピ ンピュ ピュー ュータ ータ1 タ19 199 990 90年 0年代 年代U 代UN UNI NIX IXサ Xサー サーバ ーバパ バパー パーソ ーソナ ソナル ナルコ ルコン コンピ ンピュ ピュー ュータ ータ普 タ普及 普及語 及語使 語使用 使用頻 用頻度 頻度減 度減少 減少# 少## ### ##大 #大型 大型コ 型コン コンピ ンピュ ピュー ュータ ータ英 タ英語 英語: 語:l :la lar arg rge gec eco com omp mpu put ute ter er筐 r筐体 筐体サ 体サイ サイズ イズ金 ズ金額 金額構 額構築 構築シ 築シス システ ステム テム規 ム規模 規模コ 模コン コンピ ンピュ ピュー ュータ ータ分 タ分類 分類対 類対比 対比語 比語ミ 語ミニ ミニコ ニコン コンピ ンピュ ピュー ュータ ータオ タオフ オフィ フィス ィスコ スコン コンピ ンピュ ピュー ュータ ータ中 タ中型 中型ミ 型ミッ ミッド ッドレ ドレン レンジ ンジコ ジコン コンピ ンピュ ピュー ュータ ータワ タワー ワーク ークス クステ ステー テーシ ーショ ション ョンパ ンパー パーソ ーソナ ソナル ナルコ ルコン コンピ ンピュ ピュー ュータ ータ小 タ小型 小型コ 型コン コンピ ンピュ ピュー ュータ ータア タアー アーキ ーキテ キテク テクチ クチャ チャ意 ャ意味 意味# 味## ### ##ホ #ホス ホスト ストコ トコン コンピ ンピュ ピュー ュータ ータ英 タ英語 英語: 語:h :ho hos ost stc tco com omp mpu put ute ter er本 r本来 本来端 来端末 端末現 末現在 現在分 在分散 分散シ 散シス システ ステム テム対 ム対比 対比語 比語メ 語メー メーカ ーカー カー公 ー公式 公式使 式使用 使用こ 用こと こと日 と日本 日本現 本現場 現場伝 場伝統 伝統的 統的メ 的メイ メイン インフ ンフレ フレー レーム ーム系 ム系技 系技術 技術者 術者営 者営業 営業担 業担当 担当者 当者ホ 者ホス ホスト スト系 ト系分 系分散 分散シ 散シス システ ステム テムそ ムそれ それオ れオー オープ ープン プン系 ン系場 系場合 場合日 合日本 日本以 本以外 以外通 外通用 通用# 用## ### ##そ #その その他 の他1 他19 199 990 90年 0年代 年代ダ 代ダウ ダウン ウンサ ンサイ サイジ イジン ジング ング全 グ全盛 全盛時 盛時代 時代サ 代サー サーバ ーバ機 バ機能 機能メ 能メイ メイン インフ ンフレ フレー レーム ームメ ムメイ メイン インフ ンフレ フレー レーム ームサ ムサー サーバ ーバ大 バ大企 大企業 企業向 業向け 向けサ けサー サーバ ーバエ バエン エンタ ンター タープ ープラ プライ ライズ イズサ ズサー サーバ ーバメ バメー メーカ ーカー カー ー",
"dataForExcerpt": "# メインフレーム <WikipediaCitation language=\"ja\" title=\"メインフレーム\" access=\"2023/06/18\" version=\"94293002\" /> ## 概要 メインフレーム（英: mainframe）は、主に企業など巨大な組織の基幹情報システムなどに使用される大型コンピュータを指す用語。 汎用コンピュータ、汎用機、大型汎用コンピュータ、ホストコンピュータ、大型汎用機 などとも称される。 メインフレームは組織で共有し、何らかの業務処理を行わせるためのコンピュータである。 メインフレームは商用コンピュータの最初の形態で、1950年代のレミントンランド社によるUNIVAC Iが最初のメインフレームで、以降は他社からも多様な製品が発売され、巨大な組織で業務処理を効率化するために用いられた。 メインフレームとして実用化された技術をダウンサイジングして応用することで、ミニコンピュータ，オフィスコンピュータ，パソコン，スマートフォンなども生み出された。 1990年前後から事実上の標準となったオープンシステムの普及後は、特に信頼性・継続性・コンピュータセキュリティなどが求められる基幹業務などに使用されている。 ## 呼称 メインフレームは複数のアーキテクチャのコンピュータを世代・用途・規模などで分類した用語のため、趣旨や経緯により以下のように多数の呼称が用いられる。 1990年代以降は一部のメインフレームでオープンシステム対応が進み、各呼称の表す内容も変化がみられる。 ### メインフレーム（英語: mainframe） 直訳は「主な枠」となる。 由来は諸説あるが、周辺機器や端末などを含めたシステム全体の中核を構成するためと言われる。 当初は単に「コンピュータ」と称されたが、1960年代にミニコンピュータや分散システムの対比語として使用され始めた。 メインフレームを製造・販売しているメーカーをメインフレーマーとも称する。 ### 汎用コンピュータ、汎用機（英語: general purpose computer, all purpose machine） System/360登場以前の、商用計算専用機や科学技術計算専用機など「専用機」の対比語である。 厳密には、メインフレームで商用計算と科学技術計算を兼ねないものは汎用コンピュータとして扱わない。 1990年代にUNIXサーバやパーソナルコンピュータなどが普及すると、この語の使用頻度は減少した。 ### 大型コンピュータ（英語: large computer） 筐体サイズ、金額、構築されるシステム規模などによる、コンピュータの分類である。 対比語はミニコンピュータやオフィスコンピュータなど中型のミッドレンジコンピュータや、ワークステーションやパーソナルコンピュータなどの小型コンピュータなど。必ずしもアーキテクチャは意味しない。 ### ホストコンピュータ（英語: host computer） 本来は端末の、現在は分散システムなどの対比語として用いる。 メーカーなどが公式に使用することは少ないが、日本の現場では伝統的に広く用いられ、メインフレーム系の技術者や営業など担当者を「ホスト系」、分散システムのそれを「オープン系」と称する場合も多いが、日本以外では必ずしも通用しない。 ### その他 1990年代のダウンサイジング全盛時代から、サーバ機能も兼ね備えるメインフレームを「メインフレームサーバ」、大企業向けサーバを「エンタープライズサーバ」、などと称するメーカーも見られる。 "
},
"v-72a1484d": {
"title": "鉄道技術研究所",
"path": "/wikipedia/train/tetsudo_gijutsu_kenkyujo.html",
"dataForSearch": "#鉄道 鉄道技 道技術 技術研 術研究 研究所 究所< 所<W <Wi Wik iki kip ipe ped edi dia iaC aCi Cit ita tat ati tio ion onl nla lan ang ngu gua uag age ge= e=\" =\"j \"ja ja\" a\"t \"ti tit itl tle le= e=\" =\"鉄 \"鉄道 鉄道技 道技術 技術研 術研究 研究所 究所\" 所\"a \"ac acc cce ces ess ss= s=\" =\"2 \"20 202 023 23/ 3/0 /09 09/ 9/1 /16 16\" 6\"v \"ve ver ers rsi sio ion on= n=\" =\"9 \"93 936 360 608 081 818 184 84\" 4\"/ \"/> />鉄 >鉄道 鉄道技 道技術 技術研 術研究 研究所 究所て 所てつ てつぎ つぎじ ぎじゅ じゅつ ゅつけ つけん けんき んきゅ きゅう ゅうじ うじょ じょ存 ょ存在 存在日 在日本 日本国 本国有 国有鉄 有鉄道 鉄道国 道国鉄 国鉄鉄 鉄鉄道 鉄道技 道技術 技術研 術研究 研究機 究機関 機関鉄 関鉄道 鉄道省 道省前 省前身 前身鉄 身鉄道 鉄道庁 道庁時 庁時代 時代2 代20 20世 0世紀 世紀初 紀初頭 初頭ル 頭ルー ルーツ ーツJ ツJR JR移 R移行 移行後 行後継 後継機 継機関 機関継 関継承 継承国 承国立 国立研 立研究 研究所 究所有 所有名 有名開 名開設 開設時 設時本 時本所 本所東 所東京 東京都 京都港 都港区 港区芝 区芝海 芝海岸 海岸通 岸通1 通11 11国 1国立 国立分 立分所 分所1 所19 194 945 45年 5年昭 年昭和 昭和2 和20 20年 0年戦 年戦時 戦時疎 時疎開 疎開目 開目的 目的開 的開設 開設1 設19 195 956 56年 6年昭 年昭和 昭和3 和31 31年 1年当 年当時 当時本 時本所 本所国 所国立 国立分 立分所 分所他 所他国 他国鉄 国鉄大 鉄大井 大井工 井工場 工場内 場内大 内大井 大井分 井分所 分所1 所19 196 960 60年 0年昭 年昭和 昭和3 和35 35年 5年国 年国立 国立統 立統合 統合兵 合兵器 兵器開 器開発 開発二 発二次 二次世 次世界 世界大 界大戦 大戦後 戦後場 後場技 場技術 技術者 術者戦 者戦後 戦後期 後期主 期主研 主研究 研究開 究開発 開発東 発東海 東海道 海道新 道新幹 新幹線 幹線実 線実現 実現高 現高速 高速鉄 速鉄道 鉄道も 道もの もの現 の現在 現在超 在超電 超電導 電導リ 導リニ リニア ニアリ アリニ リニア ニアモ アモー モータ ーター ターカ ーカー カーも ーもの ものA のAT ATA TAC ACS CS無 S無線 無線列 線列車 列車制 車制御 制御シ 御シス システ ステム テム( ム(C (CA CAR ARA RAT AT) T)1 )19 198 987 87年 7年昭 年昭和 昭和6 和62 62年 2年国 年国鉄 国鉄分 鉄分割 分割民 割民営 民営化 営化旧 化旧国 旧国鉄 国鉄本 鉄本社 本社技 社技術 技術開 術開発 開発部 発部門 部門鉄 門鉄道 鉄道労 道労働 労働科 働科学 科学研 学研究 研究所 究所等 所等業 等業務 業務統 務統合 統合財 合財団 財団法 団法人 法人鉄 人鉄道 鉄道総 道総合 総合技 合技術 技術研 術研究 研究所 究所鉄 所鉄道 鉄道総 道総研 総研J 研JR JR総 R総研 総研設 研設立 設立業 立業務 業務承 務承継 承継 継",
"dataForExcerpt": "# 鉄道技術研究所 <WikipediaCitation language=\"ja\" title=\"鉄道技術研究所\" access=\"2023/09/16\" version=\"93608184\" /> 鉄道技術研究所（てつどうぎじゅつけんきゅうじょ）は、かつて存在した日本国有鉄道（国鉄）の鉄道技術に関する研究機関である。 鉄道省の前身の鉄道庁時代の20世紀初頭にルーツを持つ。 JRへの移行とともに後継機関に継承された。 国立にある研究所が有名であるが、開設時の本所は東京都港区芝海岸通1の1にあり、国立分所は1945年（昭和20年）に戦時疎開の目的で開設されている。 1956年（昭和31年）当時は本所、国立分所の他に国鉄大井工場内の大井分所があったが、1960年（昭和35年）に国立に統合された。 兵器開発などに携わり第二次世界大戦後に行き場を失った技術者を多く受け入れた。 戦後期の主な研究開発としては、東海道新幹線の実現に向けた高速鉄道に関するものや、現在の超電導リニアにつながるリニアモーターカーに関するもの、ATACSに繋がる無線列車制御システム(CARAT)などがある。 1987年（昭和62年）の国鉄分割民営化に際しては、旧国鉄の本社技術開発部門と鉄道労働科学研究所等の業務を統合した財団法人鉄道総合技術研究所（鉄道総研、JR総研）が設立され、その業務が承継された。 "
}
},
"/en/": {
"v-5ba52a92": {
"title": "Demo site",
"path": "/en/",
"dataForSearch": "#De Dem emo mos osi sit ite te[ e[n [np npm pm] m]( ](h (ht htt ttp tps ps: s:/ :// //w /ww www ww. w.n .np npm pmj mjs js. s.c .co com om/ m/p /pa pac ack cka kag age ge/ e/@ /@s @sm smo mor ori ri1 i19 198 983 83/ 3/v /vu vue uep epr pre res ess ss- s-p -pl plu lug ugi gin in- n-f -fl fle lex exs xse sea ear arc rch ch) h)# )## ##C #Co Con onf nfi fig ig` g`. `.v .vu vue uep epr pre res ess ss/ s/c /co con onf nfi fig ig. g.j .js js` s`` ``` ``` ``j `js jsm smo mod odu dul ule le. e.e .ex exp xpo por ort rts ts= s={ ={p {pl plu lug ugi gin ins ns: s:[ :[[ [[' ['@ '@s @sm smo mor ori ri1 i19 198 983 83/ 3/v /vu vue uep epr pre res ess ss- s-p -pl plu lug ugi gin in- n-f -fl fle lex exs xse sea ear arc rch ch' h', ',{ ,{e {ex exc xce cer erp rpt ptA tAr Aro rou oun und ndL dLe Len eng ngt gth th: h:2 :20 200 00, 0,/ ,// //s /se sea ear arc rch chH hHo Hot otK tKe Key eys ys: s:[ :[' ['s 's' s', ',' ,'/ '/' /'] '], ],/ ,// //s /se sea ear arc rch chM hMa Max axS xSu Sug ugg gge ges est sti tio ion ons ns: s:2 :20 20, 0,/ ,// //s /se sea ear arc rch chP hPa Pat ath ths hs: s:n :nu nul ull ll, l,/ ,// //u /ui uiA iAl Ali lig ign gnR nRi Rig igh ght htF tFa Fac act cto tor or: r:1 :10 10, 0,/ ,// //e /ex exc xce cer erp rpt ptA tAr Aro rou oun und ndL dLe Len eng ngt gth th: h:1 :10 100 00, 0,/ ,// //e /ex exc xce cer erp rpt ptH tHe Hea ead adT dTe Tex ext xt: t:' :'. '.. ... ..' .', ',/ ,// //e /ex exc xce cer erp rpt ptT tTa Tai ail ilT lTe Tex ext xt: t:' :'. '.. ... ..' .', ',/ ,// //t /to tok oke ken eni niz ize zer erT rTy Typ ype pe: e:' :'k 'ku kur uro rom omo moj oji ji. i.d .de def efa fau aul ult lt' t', ',/ ,// //n /ng ngr gra ram amS mSi Siz ize ze: e:3 :3, 3,} ,}] }], ],] ,], ],} ,}; };` ;`` ``` `` `",
"dataForExcerpt": "# Demo site [npm](https://www.npmjs.com/package/@smori1983/vuepress-plugin-flexsearch) ## Config `.vuepress/config.js` ```js module.exports = { plugins: [ ['@smori1983/vuepress-plugin-flexsearch', { excerptAroundLength: 200, //searchHotKeys: ['s', '/'], //searchMaxSuggestions: 20, //searchPaths: null, //uiAlignRightFactor: 10, //excerptAroundLength: 100, //excerptHeadText: '... ', //excerptTailText: ' ...', //tokenizerType: 'kuromoji.default', //ngramSize: 3, }], ], }; ``` "
},
"v-22cbe259": {
"title": "Search form",
"path": "/en/form.html",
"dataForSearch": "#Se Sea ear arc rch chf hfo for orm rm< m<P <Pl Plu lug ugi gin inF nFl Fle lex exS xSe Sea ear arc rch chF hFo For orm rm/ m/> /># >## ##S #So Sou our urc rce ce` e`` ``` ``# `#S #Se Sea ear arc rch chf hfo for orm rm< m<P <Pl Plu lug ugi gin inF nFl Fle lex exS xSe Sea ear arc rch chF hFo For orm rm/ m/> />` >`` ``` `` `",
"dataForExcerpt": "# Search form <PluginFlexSearchForm/> ## Source ``` # Search form <PluginFlexSearchForm/> ``` "
},
"v-287c17fa": {
"title": "Civil engineering",
"path": "/en/wikipedia/civil_engineering/civil_engineering.html",
"dataForSearch": "#Ci Civ ivi vil ile len eng ngi gin ine nee eer eri rin ing ng< g<W <Wi Wik iki kip ipe ped edi dia iaC aCi Cit ita tat ati tio ion onl nla lan ang ngu gua uag age ge= e=\" =\"e \"en en\" n\"t \"ti tit itl tle le= e=\" =\"C \"Ci Civ ivi vil ile len eng ngi gin ine nee eer eri rin ing ng\" g\"a \"ac acc cce ces ess ss= s=\" =\"2 \"20 202 023 23/ 3/0 /06 06/ 6/1 /15 15\" 5\"v \"ve ver ers rsi sio ion on= n=\" =\"1 \"11 115 156 564 641 412 127 273 730 30\" 0\"/ \"/> /># >## ##O #Ov Ove ver erv rvi vie iew ewC wCi Civ ivi vil ile len eng ngi gin ine nee eer eri rin ing ngi gis isa sap apr pro rof ofe fes ess ssi sio ion ona nal ale len eng ngi gin ine nee eer eri rin ing ngd gdi dis isc sci cip ipl pli lin ine net eth tha hat atd tde dea eal als lsw swi wit ith tht hth the hed ede des esi sig ign gn, n,c ,co con ons nst str tru ruc uct cti tio ion on, n,a ,an and ndm dma mai ain int nte ten ena nan anc nce ceo eof oft fth the hep eph phy hys ysi sic ica cal ala lan and ndn dna nat atu tur ura ral all lly lyb ybu bui uil ilt lte ten env nvi vir iro ron onm nme men ent nt, t,i ,in inc ncl clu lud udi din ing ngp gpu pub ubl bli lic icw cwo wor ork rks kss ssu suc uch cha has asr sro roa oad ads ds, s,b ,br bri rid idg dge ges es, s,c ,ca can ana nal als ls, s,d ,da dam ams ms, s,a ,ai air irp rpo por ort rts ts, s,s ,se sew ewa wag age ges esy sys yst ste tem ems ms, s,p ,pi pip ipe pel eli lin ine nes es, s,s ,st str tru ruc uct ctu tur ura ral alc lco com omp mpo pon one nen ent nts tso sof ofb fbu bui uil ild ldi din ing ngs gs, s,a ,an and ndr dra rai ail ilw lwa way ays ys. s.C .Ci Civ ivi vil ile len eng ngi gin ine nee eer eri rin ing ngi gis ist str tra rad adi dit iti tio ion ona nal all lly lyb ybr bro rok oke ken eni nin int nto toa oan anu num umb mbe ber ero rof ofs fsu sub ub- b-d -di dis isc sci cip ipl pli lin ine nes es. s.I .It Iti tis isc sco con ons nsi sid ide der ere red edt dth the hes ese sec eco con ond nd- d-o -ol old lde des est ste ten eng ngi gin ine nee eer eri rin ing ngd gdi dis isc sci cip ipl pli lin ine nea eaf aft fte ter erm rmi mil ili lit ita tar ary rye yen eng ngi gin ine nee eer eri rin ing ng, g,a ,an and ndi dit iti tis isd sde def efi fin ine ned edt dto tod odi dis ist sti tin ing ngu gui uis ish shn hno non on- n-m -mi mil ili lit ita tar ary rye yen eng ngi gin ine nee eer eri rin ing ngf gfr fro rom omm mmi mil ili lit ita tar ary rye yen eng ngi gin ine nee eer eri rin ing ng. g.C .Ci Civ ivi vil ile len eng ngi gin ine nee eer eri rin ing ngc gca can ant nta tak ake kep epl pla lac ace cei ein int nth the hep epu pub ubl bli lic ics cse sec ect cto tor orf rfr fro rom omm mmu mun uni nic ici cip ipa pal alp lpu pub ubl bli lic icw cwo wor ork rks ksd sde dep epa par art rtm tme men ent nts tst sth thr hro rou oug ugh ght hto tof ofe fed ede der era ral alg lgo gov ove ver ern rnm nme men ent nta tag age gen enc nci cie ies es, s,a ,an and ndi din int nth the hep epr pri riv iva vat ate tes ese sec ect cto tor orf rfr fro rom oml mlo loc oca cal all lly lyb yba bas ase sed edf dfi fir irm rms mst sto tog ogl glo lob oba bal alF lFo For ort rtu tun une ne5 e50 500 00c 0co com omp mpa pan ani nie ies es. s. .",
"dataForExcerpt": "# Civil engineering <WikipediaCitation language=\"en\" title=\"Civil engineering\" access=\"2023/06/15\" version=\"1156412730\" /> ## Overview Civil engineering is a professional engineering discipline that deals with the design, construction, and maintenance of the physical and naturally built environment, including public works such as roads, bridges, canals, dams, airports, sewage systems, pipelines, structural components of buildings, and railways. Civil engineering is traditionally broken into a number of sub-disciplines. It is considered the second-oldest engineering discipline after military engineering, and it is defined to distinguish non-military engineering from military engineering. Civil engineering can take place in the public sector from municipal public works departments through to federal government agencies, and in the private sector from locally based firms to global Fortune 500 companies. "
},
"v-17bfa19e": {
"title": "Dam",
"path": "/en/wikipedia/civil_engineering/dam.html",
"dataForSearch": "#Da Dam am< m<W <Wi Wik iki kip ipe ped edi dia iaC aCi Cit ita tat ati tio ion onl nla lan ang ngu gua uag age ge= e=\" =\"e \"en en\" n\"t \"ti tit itl tle le= e=\" =\"D \"Da Dam am\" m\"a \"ac acc cce ces ess ss= s=\" =\"2 \"20 202 023 23/ 3/0 /06 06/ 6/1 /15 15\" 5\"v \"ve ver ers rsi sio ion on= n=\" =\"1 \"11 115 159 591 916 164 646 461 613 13\" 3\"/ \"/> /># >## ##O #Ov Ove ver erv rvi vie iew ewA wAd Ada dam ami mis isa sab aba bar arr rri rie ier ert rth tha hat ats tst sto top ops pso sor orr rre res est str tri ric ict cts tst sth the hef efl flo low owo wof ofs fsu sur urf rfa fac ace cew ewa wat ate ter ero ror oru run und nde der erg rgr gro rou oun und nds dst str tre rea eam ams ms. s.R .Re Res ese ser erv rvo voi oir irs rsc scr cre rea eat ate ted edb dby byd yda dam ams msn sno not oto ton onl nly lys ysu sup upp ppr pre res ess ssf sfl flo loo ood ods dsb sbu but uta tal als lso sop opr pro rov ovi vid ide dew ewa wat ate ter erf rfo for ora rac act cti tiv ivi vit iti tie ies ess ssu suc uch cha has asi sir irr rri rig iga gat ati tio ion on, n,h ,hu hum uma man anc nco con ons nsu sum ump mpt pti tio ion on, n,i ,in ind ndu dus ust str tri ria ial alu lus use se, e,a ,aq aqu qua uac acu cul ult ltu tur ure re, e,a ,an and ndn dna nav avi vig iga gab abi bil ili lit ity ty. y.H .Hy Hyd ydr dro rop opo pow owe wer eri ris iso sof oft fte ten enu nus use sed edi din inc nco con onj nju jun unc nct cti tio ion onw nwi wit ith thd hda dam ams mst sto tog oge gen ene ner era rat ate tee eel ele lec ect ctr tri ric ici cit ity ty. y.A .Ad Ada dam amc mca can ana nal als lso sob obe beu eus use sed edt dto toc oco col oll lle lec ect cto tor ors rst sto tor ore rew ewa wat ate ter erw rwh whi hic ich chc hca can anb nbe bee eev eve ven enl nly lyd ydi dis ist str tri rib ibu but ute ted edb dbe bet etw twe wee een enl nlo loc oca cat ati tio ion ons ns. s.D .Da Dam ams msg sge gen ene ner era ral all lly lys yse ser erv rve vet eth the hep epr pri rim ima mar ary ryp ypu pur urp rpo pos ose seo eof ofr fre ret eta tai ain ini nin ing ngw gwa wat ate ter er, r,w ,wh whi hil ile leo eot oth the her ers rst str tru ruc uct ctu tur ure res ess ssu suc uch cha has asf sfl flo loo ood odg dga gat ate tes eso sor orl rle lev eve vee ees es( s(a (al als lso sok okn kno now own wna nas asd sdi dik ike kes es) s)a )ar are reu eus use sed edt dto tom oma man ana nag age geo eor orp rpr pre rev eve ven ent ntw twa wat ate ter erf rfl flo low owi win int nto tos osp spe pec eci cif ifi fic icl cla lan and ndr dre reg egi gio ion ons ns. s.T .Th The hew ewo wor ord rdd dda dam amc mca can anb nbe bet etr tra rac ace ced edb dba bac ack ckt kto toM oMi Mid idd ddl dle leE eEn Eng ngl gli lis ish sh, h,a ,an and ndb dbe bef efo for ore ret eth tha hat at, t,f ,fr fro rom omM mMi Mid idd ddl dle leD eDu Dut utc tch ch, h,a ,as ass sse see een eni nin int nth the hen ena nam ame mes eso sof ofm fma man any nyo yol old ldc dci cit iti tie ies es, s,s ,su suc uch cha has asA sAm Ams mst ste ter erd rda dam ama man and ndR dRo Rot ott tte ter erd rda dam am. m. .",
"dataForExcerpt": "# Dam <WikipediaCitation language=\"en\" title=\"Dam\" access=\"2023/06/15\" version=\"1159164613\" /> ## Overview A dam is a barrier that stops or restricts the flow of surface water or underground streams. Reservoirs created by dams not only suppress floods but also provide water for activities such as irrigation, human consumption, industrial use, aquaculture, and navigability. Hydropower is often used in conjunction with dams to generate electricity. A dam can also be used to collect or store water which can be evenly distributed between locations. Dams generally serve the primary purpose of retaining water, while other structures such as floodgates or levees (also known as dikes) are used to manage or prevent water flow into specific land regions. The word dam can be traced back to Middle English, and before that, from Middle Dutch, as seen in the names of many old cities, such as Amsterdam and Rotterdam. "
},
"v-f8160caa": {
"title": "Debug",
"path": "/en/debug.html",
"dataForSearch": "#De Deb ebu bug ugC gCo Con ont nte ten ent nto tof of` f`@ `@d @dy dyn yna nam ami mic ic/ c/v /vu vue uep epr pre res ess ss- s-p -pl plu lug ugi gin in- n-f -fl fle lex exs xse sea ear arc rch ch/ h/d /da dat ata ta` a`: `:< :<P <Pl Plu lug ugi gin inF nFl Fle lex exS xSe Sea ear arc rch chD hDe Deb ebu bug ug/ g/> /> >",
"dataForExcerpt": "# Debug Content of `@dynamic/vuepress-plugin-flexsearch/data`: <PluginFlexSearchDebug/> "
},
"v-0b72444e": {
"title": "Tunnel",
"path": "/en/wikipedia/civil_engineering/tunnel.html",
"dataForSearch": "#Tu Tun unn nne nel el< l<W <Wi Wik iki kip ipe ped edi dia iaC aCi Cit ita tat ati tio ion onl nla lan ang ngu gua uag age ge= e=\" =\"e \"en en\" n\"t \"ti tit itl tle le= e=\" =\"T \"Tu Tun unn nne nel el\" l\"a \"ac acc cce ces ess ss= s=\" =\"2 \"20 202 023 23/ 3/0 /06 06/ 6/1 /16 16\" 6\"v \"ve ver ers rsi sio ion on= n=\" =\"1 \"11 115 151 511 112 121 213 138 385 85\" 5\"/ \"/> /># >#O #Ov Ove ver erv rvi vie iew ewA wAt Atu tun unn nne nel eli lis isa san anu nun und nde der erg rgr gro rou oun und ndp dpa pas ass ssa sag age gew ewa way ay, y,d ,du dug ugt gth thr hro rou oug ugh ghs hsu sur urr rro rou oun und ndi din ing ngs gso soi oil il, l,e ,ea ear art rth tho hor orr rro roc ock ck, k,a ,an and nde den enc ncl clo los ose sed ede dex exc xce cep ept ptf tfo for ort rth the hee een ent ntr tra ran anc nce cea ean and nde dex exi xit it, t,c ,co com omm mmo mon onl nly lya yat ate tea eac ach che hen end nd. d.A .Ap Api pip ipe pel eli lin ine nei eis isn sno not ota tat atu tun unn nne nel el, l,t ,th tho hou oug ugh ghs hso som ome mer ere rec ece cen ent ntt ttu tun unn nne nel els lsh sha hav ave veu eus use sed edi dim imm mme mer ers rse sed edt dtu tub ube bec eco con ons nst str tru ruc uct cti tio ion ont nte tec ech chn hni niq iqu que ues esr sra rat ath the her ert rth tha han ant ntr tra rad adi dit iti tio ion ona nal alt ltu tun unn nne nel elb lbo bor ori rin ing ngm gme met eth tho hod ods ds. s.A .At Atu tun unn nne nel elm lma may ayb ybe bef efo for orf rfo foo oot oto tor orv rve veh ehi hic icu cul ula lar arr rro roa oad adt dtr tra raf aff ffi fic ic, c,f ,fo for orr rra rai ail ilt ltr tra raf aff ffi fic ic, c,o ,or orf rfo for ora rac aca can ana nal al. l.T .Th The hec ece cen ent ntr tra ral alp lpo por ort rti tio ion ons nso sof ofa far ara rap api pid idt dtr tra ran ans nsi sit itn tne net etw two wor ork rka kar are reu eus usu sua ual all lly lyi yin int nth the het etu tun unn nne nel el. l.S .So Som ome met etu tun unn nne nel els lsa sar are reu eus use sed eda das ass sse sew ewe wer ers rso sor ora raq aqu que ued edu duc uct cts tst sto tos osu sup upp ppl ply lyw ywa wat ate ter erf rfo for orc rco con ons nsu sum ump mpt pti tio ion ono nor orf rfo for orh rhy hyd ydr dro roe oel ele lec ect ctr tri ric ics cst sta tat ati tio ion ons ns. s.U .Ut Uti til ili lit ity tyt ytu tun unn nne nel els lsa sar are reu eus use sed edf dfo for orr rro rou out uti tin ing ngs gst ste tea eam am, m,c ,ch chi hil ill lle led edw dwa wat ate ter er, r,e ,el ele lec ect ctr tri ric ica cal alp lpo pow owe wer ero ror ort rte tel ele lec eco com omm mmu mun uni nic ica cat ati tio ion onc nca cab abl ble les es, s,a ,as asw swe wel ell lla las asc sco con onn nne nec ect cti tin ing ngb gbu bui uil ild ldi din ing ngs gsf sfo for orc rco con onv nve ven eni nie ien ent ntp tpa pas ass ssa sag age geo eof ofp fpe peo eop opl ple lea ean and nde deq equ qui uip ipm pme men ent nt. t.S .Se Sec ecr cre ret ett ttu tun unn nne nel els lsa sar are reb ebu bui uil ilt ltf tfo for orm rmi mil ili lit ita tar ary ryp ypu pur urp rpo pos ose ses es, s,o ,or orb rby byc yci civ ivi vil ili lia ian ans nsf sfo for ors rsm smu mug ugg ggl gli lin ing ngo gof ofw fwe wea eap apo pon ons ns, s,c ,co con ont ntr tra rab aba ban and nd, d,o ,or orp rpe peo eop opl ple le. e.S .Sp Spe pec eci cia ial alt ltu tun unn nne nel els ls, s,s ,su suc uch cha has asw swi wil ild ldl dli lif ife fec ecr cro ros oss ssi sin ing ngs gs, s,a ,ar are reb ebu bui uil ilt ltt tto toa oal all llo low oww wwi wil ild ldl dli lif ife fet eto toc ocr cro ros oss ssh shu hum uma man an- n-m -ma mad ade deb eba bar arr rri rie ier ers rss ssa saf afe fel ely ly. y.T .Tu Tun unn nne nel els lsc sca can anb nbe bec eco con onn nne nec ect cte ted edt dto tog oge get eth the her eri rin int ntu tun unn nne nel eln lne net etw two wor ork rks ks. s. .",
"dataForExcerpt": "# Tunnel <WikipediaCitation language=\"en\" title=\"Tunnel\" access=\"2023/06/16\" version=\"1151121385\" /> # Overview A tunnel is an underground passageway, dug through surrounding soil, earth or rock, and enclosed except for the entrance and exit, commonly at each end. A pipeline is not a tunnel, though some recent tunnels have used immersed tube construction techniques rather than traditional tunnel boring methods. A tunnel may be for foot or vehicular road traffic, for rail traffic, or for a canal. The central portions of a rapid transit network are usually in the tunnel. Some tunnels are used as sewers or aqueducts to supply water for consumption or for hydroelectric stations. Utility tunnels are used for routing steam, chilled water, electrical power or telecommunication cables, as well as connecting buildings for convenient passage of people and equipment. Secret tunnels are built for military purposes, or by civilians for smuggling of weapons, contraband, or people. Special tunnels, such as wildlife crossings, are built to allow wildlife to cross human-made barriers safely. Tunnels can be connected together in tunnel networks. "
},
"v-e388f2aa": {
"title": "Mantis",
"path": "/en/wikipedia/insect/mantis.html",
"dataForSearch": "#Ma Man ant nti tis is< s<W <Wi Wik iki kip ipe ped edi dia iaC aCi Cit ita tat ati tio ion onl nla lan ang ngu gua uag age ge= e=\" =\"e \"en en\" n\"t \"ti tit itl tle le= e=\" =\"M \"Ma Man ant nti tis is\" s\"a \"ac acc cce ces ess ss= s=\" =\"2 \"20 202 023 23/ 3/0 /06 06/ 6/1 /14 14\" 4\"v \"ve ver ers rsi sio ion on= n=\" =\"1 \"11 115 159 597 975 757 570 709 097 97\" 7\"/ \"/> /># >## ##O #Ov Ove ver erv rvi vie iew ewM wMa Man ant nti tis ise ses esa sar are rea ean ano nor ord rde der er( r(M (Ma Man ant nto tod ode dea ea) a)o )of ofi fin ins nse sec ect cts tst sth tha hat atc tco con ont nta tai ain ins nso sov ove ver er2 r2, 2,4 ,40 400 00s 0sp spe pec eci cie ies esi sin ina nab abo bou out ut4 t46 460 60g 0ge gen ene ner era rai ain in3 n33 33f 3fa fam ami mil ili lie ies es. s.T .Th The hel ela lar arg rge ges est stf tfa fam ami mil ily lyi yis ist sth the heM eMa Man ant nti tid ida dae ae( e(\" (\"m \"ma man ant nti tid ids ds\" s\") \"). ).M .Ma Man ant nti tis ise ses esa sar are red edi dis ist str tri rib ibu but ute ted edw dwo wor orl rld ldw dwi wid ide dei ein int nte tem emp mpe per era rat ate tea ean and ndt dtr tro rop opi pic ica cal alh lha hab abi bit ita tat ats ts. s.T .Th The hey eyh yha hav ave vet etr tri ria ian ang ngu gul ula lar arh rhe hea ead ads dsw swi wit ith thb hbu bul ulg lgi gin ing nge gey eye yes ess ssu sup upp ppo por ort rte ted edo don onf nfl fle lex exi xib ibl ble len ene nec eck cks ks. s.T .Th The hei eir ire rel elo lon ong nga gat ate ted edb dbo bod odi die ies esm sma may ayo yor orm rma may ayn yno not oth tha hav ave vew ewi win ing ngs gs, s,b ,bu but uta tal all llM lMa Man ant nto tod ode dea eah aha hav ave vef efo for ore rel ele leg egs gst sth tha hat ata tar are reg egr gre rea eat atl tly lye yen enl nla lar arg rge ged eda dan and nda dad ada dap apt pte ted edf dfo for orc rca cat atc tch chi hin ing nga gan and ndg dgr gri rip ipp ppi pin ing ngp gpr pre rey ey; y;t ;th the hei eir iru rup upr pri rig igh ght htp tpo pos ost stu tur ure re, e,w ,wh whi hil ile ler ere rem ema mai ain ini nin ing ngs gst sta tat ati tio ion ona nar ary ryw ywi wit ith thf hfo for ore rea ear arm rms msf sfo fol old lde ded ed, d,h ,ha has asl sle led edt dto tot oth the hec eco com omm mmo mon onn nna nam ame mep epr pra ray ayi yin ing ngm gma man ant nti tis is. s. .",
"dataForExcerpt": "# Mantis <WikipediaCitation language=\"en\" title=\"Mantis\" access=\"2023/06/14\" version=\"1159757097\" /> ## Overview Mantises are an order (Mantodea) of insects that contains over 2,400 species in about 460 genera in 33 families. The largest family is the Mantidae (\"mantids\"). Mantises are distributed worldwide in temperate and tropical habitats. They have triangular heads with bulging eyes supported on flexible necks. Their elongated bodies may or may not have wings, but all Mantodea have forelegs that are greatly enlarged and adapted for catching and gripping prey; their upright posture, while remaining stationary with forearms folded, has led to the common name praying mantis. "
},
"v-db65db5a": {
"title": "Formal specification",
"path": "/en/wikipedia/it/formal_specification.html",
"dataForSearch": "#Fo For orm rma mal als lsp spe pec eci cif ifi fic ica cat ati tio ion on< n<W <Wi Wik iki kip ipe ped edi dia iaC aCi Cit ita tat ati tio ion onl nla lan ang ngu gua uag age ge= e=\" =\"e \"en en\" n\"t \"ti tit itl tle le= e=\" =\"F \"Fo For orm rma mal als lsp spe pec eci cif ifi fic ica cat ati tio ion on\" n\"a \"ac acc cce ces ess ss= s=\" =\"2 \"20 202 023 23/ 3/0 /06 06/ 6/1 /16 16\" 6\"v \"ve ver ers rsi sio ion on= n=\" =\"1 \"11 113 136 360 605 056 565 652 524 24\" 4\"/ \"/> /># >## ##O #Ov Ove ver erv rvi vie iew ewI wIn Inc nco com omp mpu put ute ter ers rsc sci cie ien enc nce ce, e,f ,fo for orm rma mal als lsp spe pec eci cif ifi fic ica cat ati tio ion ons nsa sar are rem ema mat ath the hem ema mat ati tic ica cal all lly lyb yba bas ase sed edt dte tec ech chn hni niq iqu que ues esw swh who hos ose sep epu pur urp rpo pos ose sea ear are ret eto toh ohe hel elp lpw pwi wit ith tht hth the hei eim imp mpl ple lem eme men ent nta tat ati tio ion ono nof ofs fsy sys yst ste tem ems msa san and nds dso sof oft ftw twa war are re. e.T .Th The hey eya yar are reu eus use sed edt dto tod ode des esc scr cri rib ibe bea eas asy sys yst ste tem em, m,t ,to toa oan ana nal aly lyz yze zei eit its tsb sbe beh eha hav avi vio ior or, r,a ,an and ndt dto toa oai aid idi din ini nit its tsd sde des esi sig ign gnb nby byv yve ver eri rif ify fyi yin ing ngk gke key eyp ypr pro rop ope per ert rti tie ies eso sof ofi fin int nte ter ere res est stt tth thr hro rou oug ugh ghr hri rig igo gor oro rou ous usa san and nde def eff ffe fec ect cti tiv ive ver ere rea eas aso son oni nin ing ngt gto too ool ols ls. s.T .Th The hes ese ses esp spe pec eci cif ifi fic ica cat ati tio ion ons nsa sar are ref efo for orm rma mal ali lin int nth the hes ese sen ens nse set eth tha hat att tth the hey eyh yha hav ave vea eas asy syn ynt nta tax ax, x,t ,th the hei eir irs rse sem ema man ant nti tic ics csf sfa fal all llw lwi wit ith thi hin ino non one ned edo dom oma mai ain in, n,a ,an and ndt dth the hey eya yar are rea eab abl ble let eto tob obe beu eus use sed edt dto toi oin inf nfe fer eru rus use sef efu ful uli lin inf nfo for orm rma mat ati tio ion on. n.# .## ##M #Mo Mot oti tiv iva vat ati tio ion onI nIn Ine nea eac ach chp hpa pas ass ssi sin ing ngd gde dec eca cad ade de, e,c ,co com omp mpu put ute ter ers rsy sys yst ste tem ems msh sha hav ave veb ebe bec eco com ome mei ein inc ncr cre rea eas asi sin ing ngl gly lym ymo mor ore rep epo pow owe wer erf rfu ful ula lan and nd, d,a ,as asa sar are res esu sul ult lt, t,t ,th the hey eyh yha hav ave veb ebe bec eco com ome mem emo mor ore rei eim imp mpa pac act ctf tfu ful ult lto tos oso soc oci cie iet ety ty. y.B .Be Bec eca cau aus use seo eof oft fth thi his is, s,b ,be bet ett tte ter ert rte tec ech chn hni niq iqu que ues esa sar are ren ene nee eed ede ded edt dto toa oas ass ssi sis ist sti tin int nth the hed ede des esi sig ign gna nan and ndi dim imp mpl ple lem eme men ent nta tat ati tio ion ono nof ofr fre rel eli lia iab abl ble les eso sof oft ftw twa war are re. e.E .Es Est sta tab abl bli lis ish she hed ede den eng ngi gin ine nee eer eri rin ing ngd gdi dis isc sci cip ipl pli lin ine nes esu sus use sem ema mat ath the hem ema mat ati tic ica cal ala lan ana nal aly lys ysi sis isa sas ast sth the hef efo fou oun und nda dat ati tio ion ono nof ofc fcr cre rea eat ati tin ing nga gan and ndv dva val ali lid ida dat ati tin ing ngp gpr pro rod odu duc uct ctd tde des esi sig ign gn. n.F .Fo For orm rma mal als lsp spe pec eci cif ifi fic ica cat ati tio ion ons nsa sar are reo eon one nes esu suc uch chw hwa way ayt yto toa oac ach chi hie iev eve vet eth thi his isi sin ins nso sof oft ftw twa war are ree een eng ngi gin ine nee eer eri rin ing ngr gre rel eli lia iab abi bil ili lit ity tya yas aso son onc nce cep epr pre red edi dic ict cte ted ed. d.O .Ot Oth the her erm rme met eth tho hod ods dss ssu suc uch cha has ast ste tes est sti tin ing nga gar are rem emo mor ore rec eco com omm mmo mon onl nly lyu yus use sed edt dto toe oen enh nha han anc nce cec eco cod ode deq equ qua ual ali lit ity ty. y. .",
"dataForExcerpt": "# Formal specification <WikipediaCitation language=\"en\" title=\"Formal specification\" access=\"2023/06/16\" version=\"1136056524\" /> ## Overview In computer science, formal specifications are mathematically based techniques whose purpose are to help with the implementation of systems and software. They are used to describe a system, to analyze its behavior, and to aid in its design by verifying key properties of interest through rigorous and effective reasoning tools. These specifications are formal in the sense that they have a syntax, their semantics fall within one domain, and they are able to be used to infer useful information. ## Motivation In each passing decade, computer systems have become increasingly more powerful and, as a result, they have become more impactful to society. Because of this, better techniques are needed to assist in the design and implementation of reliable software. Established engineering disciplines use mathematical analysis as the foundation of creating and validating product design. Formal specifications are one such way to achieve this in software engineering reliability as once predicted. Other methods such as testing are more commonly used to enhance code quality. "
},
"v-6530228e": {
"title": "Formal verification",
"path": "/en/wikipedia/it/formal_verification.html",
"dataForSearch": "#Fo For orm rma mal alv lve ver eri rif ifi fic ica cat ati tio ion on< n<W <Wi Wik iki kip ipe ped edi dia iaC aCi Cit ita tat ati tio ion onl nla lan ang ngu gua uag age ge= e=\" =\"e \"en en\" n\"t \"ti tit itl tle le= e=\" =\"F \"Fo For orm rma mal alv lve ver eri rif ifi fic ica cat ati tio ion on\" n\"a \"ac acc cce ces ess ss= s=\" =\"2 \"20 202 023 23/ 3/0 /06 06/ 6/1 /17 17\" 7\"v \"ve ver ers rsi sio ion on= n=\" =\"1 \"11 115 154 548 484 845 457 578 788 88\" 8\"/ \"/> /># >## ##O #Ov Ove ver erv rvi vie iew ewI wIn Int nth the hec eco con ont nte tex ext xto tof ofh fha har ard rdw dwa war are rea ean and nds dso sof oft ftw twa war are res esy sys yst ste tem ems ms, s,f ,fo for orm rma mal alv lve ver eri rif ifi fic ica cat ati tio ion oni nis ist sth the hea eac act cto tof ofp fpr pro rov ovi vin ing ngo gor ord rdi dis isp spr pro rov ovi vin ing ngt gth the hec eco cor orr rre rec ect ctn tne nes ess sso sof ofi fin int nte ten end nde ded eda dal alg lgo gor ori rit ith thm hms msu sun und nde der erl rly lyi yin ing nga gas asy sys yst ste tem emw mwi wit ith thr hre res esp spe pec ect ctt tto toa oac ace cer ert rta tai ain inf nfo for orm rma mal als lsp spe pec eci cif ifi fic ica cat ati tio ion ono nor orp rpr pro rop ope per ert rty ty, y,u ,us usi sin ing ngf gfo for orm rma mal alm lme met eth tho hod ods dso sof ofm fma mat ath the hem ema mat ati tic ics cs. s.F .Fo For orm rma mal alv lve ver eri rif ifi fic ica cat ati tio ion onc nca can anb nbe beh ehe hel elp lpf pfu ful uli lin inp npr pro rov ovi vin ing ngt gth the hec eco cor orr rre rec ect ctn tne nes ess sso sof ofs fsy sys yst ste tem ems mss ssu suc uch cha has as: s:c :cr cry ryp ypt pto tog ogr gra rap aph phi hic icp cpr pro rot oto toc oco col ols ls, s,c ,co com omb mbi bin ina nat ati tio ion ona nal alc lci cir irc rcu cui uit its ts, s,d ,di dig igi git ita tal alc lci cir irc rcu cui uit its tsw swi wit ith thi hin int nte ter ern rna nal alm lme mem emo mor ory ry, y,a ,an and nds dso sof oft ftw twa war are ree eex exp xpr pre res ess sse sed eda das ass sso sou our urc rce cec eco cod ode de. e. .",
"dataForExcerpt": "# Formal verification <WikipediaCitation language=\"en\" title=\"Formal verification\" access=\"2023/06/17\" version=\"1154845788\" /> ## Overview In the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods of mathematics. Formal verification can be helpful in proving the correctness of systems such as: cryptographic protocols, combinational circuits, digital circuits with internal memory, and software expressed as source code. "
},
"v-cdf525ba": {
"title": "Oz (programming language)",
"path": "/en/wikipedia/it/oz.html",
"dataForSearch": "#Oz Oz( z(p (pr pro rog ogr gra ram amm mmi min ing ngl gla lan ang ngu gua uag age ge) e)< )<W <Wi Wik iki kip ipe ped edi dia iaC aCi Cit ita tat ati tio ion onl nla lan ang ngu gua uag age ge= e=\" =\"e \"en en\" n\"t \"ti tit itl tle le= e=\" =\"O \"Oz Oz( z(p (pr pro rog ogr gra ram amm mmi min ing ngl gla lan ang ngu gua uag age ge) e)\" )\"a \"ac acc cce ces ess ss= s=\" =\"2 \"20 202 023 23/ 3/0 /06 06/ 6/1 /14 14\" 4\"v \"ve ver ers rsi sio ion on= n=\" =\"1 \"10 109 098 984 846 466 663 636 363 63\" 3\"/ \"/> /># >## ##O #Ov Ove ver erv rvi vie iew ewO wOz Ozi zis isa sam amu mul ult lti tip ipa par ara rad adi dig igm gmp mpr pro rog ogr gra ram amm mmi min ing ngl gla lan ang ngu gua uag age ge, e,d ,de dev eve vel elo lop ope ped edi din int nth the heP ePr Pro rog ogr gra ram amm mmi min ing ngS gSy Sys yst ste tem ems msL sLa Lab aba bat atU tUn Uni niv ive ver ers rsi sit ité téc éca cat ath tho hol oli liq iqu que ued ede deL eLo Lou ouv uva vai ain in, n,f ,fo for orp rpr pro rog ogr gra ram amm mmi min ing ngl gla lan ang ngu gua uag age gee eed edu duc uca cat ati tio ion on. n.# .## ##L #La Lan ang ngu gua uag age gef efe fea eat atu tur ure rei eiI iIn Ina nad add ddi dit iti tio ion ont nto tom omu mul ult lti ti- i-p -pa par ara rad adi dig igm gmp mpr pro rog ogr gra ram amm mmi min ing ng, g,t ,th the hem ema maj ajo jor ors rst str tre ren eng ngt gth ths hso sof ofO fOz Oza zar are rei ein inc nco con ons nst str tra rai ain int ntp tpr pro rog ogr gra ram amm mmi min ing nga gan and ndd ddi dis ist str tri rib ibu but ute ted edp dpr pro rog ogr gra ram amm mmi min ing ng. g.D .Du Due uet eto toi oit its tsf sfa fac act cto tor ore red edd dde des esi sig ign gn, n,O ,Oz Ozi zis isa sab abl ble let eto tos osu suc ucc cce ces ess ssf sfu ful ull lly lyi yim imp mpl ple lem eme men ent nta tan ane net etw two wor ork rk- k-t -tr tra ran ans nsp spa par are ren ent ntd tdi dis ist str tri rib ibu but ute ted edp dpr pro rog ogr gra ram amm mmi min ing ngm gmo mod ode del el. l.T .Th Thi his ism smo mod ode del elm lma mak ake kes esi sit ite tea eas asy syt yto top opr pro rog ogr gra ram amo mop ope pen en, n,f ,fa fau aul ult lt- t-t -to tol ole ler era ran ant nta tap app ppl pli lic ica cat ati tio ion ons nsw swi wit ith thi hin int nth the hel ela lan ang ngu gua uag age ge. e.F .Fo For orc rco con ons nst str tra rai ain int ntp tpr pro rog ogr gra ram amm mmi min ing ng, g,O ,Oz Ozi zin int ntr tro rod odu duc uce ces est sth the hei eid ide dea eao aof ofc fco com omp mpu put uta tat ati tio ion ons nsp spa pac ace ces es, s,w ,wh whi hic ich cha hal all llo low owu wus use ser er- r-d -de def efi fin ine ned eds dse sea ear arc rch cha han and ndd ddi dis ist str tri rib ibu but uti tio ion ons nst str tra rat ate teg egi gie ies eso sor ort rth tho hog ogo gon ona nal alt lto tot oth the hec eco con ons nst str tra rai ain int ntd tdo dom oma mai ain in. n. .",
"dataForExcerpt": "# Oz (programming language) <WikipediaCitation language=\"en\" title=\"Oz (programming language)\" access=\"2023/06/14\" version=\"1098466363\" /> ## Overview Oz is a multiparadigm programming language, developed in the Programming Systems Lab at Université catholique de Louvain, for programming language education. ## Language feature iIn addition to multi-paradigm programming, the major strengths of Oz are in constraint programming and distributed programming. Due to its factored design, Oz is able to successfully implement a network-transparent distributed programming model. This model makes it easy to program open, fault-tolerant applications within the language. For constraint programming, Oz introduces the idea of computation spaces, which allow user-defined search and distribution strategies orthogonal to the constraint domain. "
},
"v-4064014e": {
"title": "PHP",
"path": "/en/wikipedia/it/php.html",
"dataForSearch": "#PH PHP HP< P<W <Wi Wik iki kip ipe ped edi dia iaC aCi Cit ita tat ati tio ion onl nla lan ang ngu gua uag age ge= e=\" =\"e \"en en\" n\"t \"ti tit itl tle le= e=\" =\"P \"PH PHP HP\" P\"a \"ac acc cce ces ess ss= s=\" =\"2 \"20 202 023 23/ 3/0 /06 06/ 6/1 /16 16\" 6\"v \"ve ver ers rsi sio ion on= n=\" =\"1 \"11 116 160 600 006 063 631 310 106 06\" 6\"/ \"/> /># >## ##O #Ov Ove ver erv rvi vie iew ewP wPH PHP HPi Pis isa sag age gen ene ner era ral al- l-p -pu pur urp rpo pos ose ses esc scr cri rip ipt pti tin ing ngl gla lan ang ngu gua uag age geg ege gea ear are red edt dto tow owa war ard rds dsw swe web ebd bde dev eve vel elo lop opm pme men ent nt. t.I .It Itw twa was aso sor ori rig igi gin ina nal all lly lyc ycr cre rea eat ate ted edb dby byD yDa Dan ani nis ish sh- h-C -Ca Can ana nad adi dia ian anp npr pro rog ogr gra ram amm mme mer erR rRa Ras asm smu mus usL sLe Ler erd rdo dor orf rfi fin in1 n19 199 993 93a 3an and ndr dre rel ele lea eas ase sed edi din in1 n19 199 995 95. 5.T .Th The heP ePH PHP HPr Pre ref efe fer ere ren enc nce cei eim imp mpl ple lem eme men ent nta tat ati tio ion oni nis isn sno now owp wpr pro rod odu duc uce ced edb dby byt yth the heP ePH PHP HPG PGr Gro rou oup up. p.P .PH PHP HPw Pwa was aso sor ori rig igi gin ina nal all lly lya yan ana nab abb bbr bre rev evi via iat ati tio ion ono nof ofP fPe Per ers rso son ona nal alH lHo Hom ome meP ePa Pag age ge, e,b ,bu but uti tit itn tno now ows wst sta tan and nds dsf sfo for ort rth the her ere rec ecu cur urs rsi siv ive vei ein ini nit iti tia ial ali lis ism smP mPH PHP HP: P:H :Hy Hyp ype per ert rte tex ext xtP tPr Pre rep epr pro roc oce ces ess sso sor or. r.T .Th The hes est sta tan and nda dar ard rdP dPH PHP HPi Pin int nte ter erp rpr pre ret ete ter er, r,p ,po pow owe wer ere red edb dby byt yth the heZ eZe Zen end ndE dEn Eng ngi gin ine ne, e,i ,is isf sfr fre ree ees eso sof oft ftw twa war are rer ere rel ele lea eas ase sed edu dun und nde der ert rth the heP ePH PHP HPL PLi Lic ice cen ens nse se. e.P .PH PHP HPh Pha has asb sbe bee een enw nwi wid ide del ely lyp ypo por ort rte ted eda dan and ndc dca can anb nbe bed ede dep epl plo loy oye yed edo don onm nmo mos ost stw twe web ebs bse ser erv rve ver ers rso son ona nav ava var ari rie iet ety tyo yof ofo fop ope per era rat ati tin ing ngs gsy sys yst ste tem ems msa san and ndp dpl pla lat atf tfo for orm rms ms. s.T .Th The heP ePH PHP HPl Pla lan ang ngu gua uag age gee eev evo vol olv lve ved edw dwi wit ith tho hou out uta taw awr wri rit itt tte ten enf nfo for orm rma mal als lsp spe pec eci cif ifi fic ica cat ati tio ion ono nor ors rst sta tan and nda dar ard rdu dun unt nti til il2 l20 201 014 14, 4,w ,wi wit ith tht hth the heo eor ori rig igi gin ina nal ali lim imp mpl ple lem eme men ent nta tat ati tio ion ona nac act cti tin ing nga gas ast sth the hed ede def efa fac act cto tos ost sta tan and nda dar ard rdt dth tha hat ato tot oth the her eri rim imp mpl ple lem eme men ent nta tat ati tio ion ons nsa sai aim ime med edt dto tof ofo fol oll llo low ow. w.S .Si Sin inc nce ce2 e20 201 014 14, 4,w ,wo wor ork rkh kha has asg sgo gon one neo eon ont nto toc ocr cre rea eat ate tea eaf afo for orm rma mal alP lPH PHP HPs Psp spe pec eci cif ifi fic ica cat ati tio ion on. n.# .## ##H #Hi His ist sto tor ory ry# y## ### ##E #Ea Ear arl rly lyh yhi his ist sto tor ory ryP yPH PHP HPd Pde dev eve vel elo lop opm pme men ent ntb tbe beg ega gan ani nin in1 n19 199 993 93w 3wh whe hen enR nRa Ras asm smu mus usL sLe Ler erd rdo dor orf rfw fwr wro rot ote tes ese sev eve ver era ral alC lCo Com omm mmo mon onG nGa Gat ate tew ewa way ayI yIn Int nte ter erf rfa fac ace ce( e(C (CG CGI GI) I)p )pr pro rog ogr gra ram ams msi sin inC nC, C,w ,wh whi hic ich chh hhe heu eus use sed edt dto tom oma mai ain int nta tai ain inh nhi his isp spe per ers rso son ona nal alh lho hom ome mep epa pag age ge. e.H .He Hee eex ext xte ten end nde ded edt dth the hem emt mto tow owo wor ork rkw kwi wit ith thw hwe web ebf bfo for orm rms msa san and ndt dto toc oco com omm mmu mun uni nic ica cat ate tew ewi wit ith thd hda dat ata tab aba bas ase ses es, s,a ,an and ndc dca cal all lle led edt dth thi his isi sim imp mpl ple lem eme men ent nta tat ati tio ion on\" n\"P \"Pe Per ers rso son ona nal alH lHo Hom ome meP ePa Pag age ge/ e/F /Fo For orm rms msI sIn Int nte ter erp rpr pre ret ete ter er\" r\"o \"or orP rPH PHP HP/ P/F /FI FI. I.P .PH PHP HP/ P/F /FI FIc Ico cou oul uld ldb dbe beu eus use sed edt dto tob obu bui uil ild lds dsi sim imp mpl ple le, e,d ,dy dyn yna nam ami mic icw cwe web eba bap app ppl pli lic ica cat ati tio ion ons ns. s.T .To Toa oac acc cce cel ele ler era rat ate teb ebu bug ugr gre rep epo por ort rti tin ing nga gan and ndi dim imp mpr pro rov ove vet eth the hec eco cod ode de, e,L ,Le Ler erd rdo dor orf rfi fin ini nit iti tia ial all lly lya yan ann nno nou oun unc nce ced edt dth the her ere rel ele lea eas ase seo eof ofP fPH PHP HP/ P/F /FI FIa Ias as\" s\"P \"Pe Per ers rso son ona nal alH lHo Hom ome meP ePa Pag age geT eTo Too ool ols ls( s(P (PH PHP HPT PTo Too ool ols ls) s)v )ve ver ers rsi sio ion on1 n1. 1.0 .0\" 0\"o \"on ont nth the heU eUs Use sen ene net etd tdi dis isc scu cus uss ssi sio ion ong ngr gro rou oup upc pco com omp mp. p.i .in inf nfo fos osy sys yst ste tem ems ms. s.w .ww www ww. w.a .au aut uth tho hor ori rin ing ng. g.c .cg cgi gio ion on8 n8J 8Ju Jun une ne1 e19 199 995 95. 5.T .Th Thi his isr sre rel ele lea eas ase sea eal alr lre rea ead ady dyh yha had adt dth the heb eba bas asi sic icf cfu fun unc nct cti tio ion ona nal ali lit ity tyt yth tha hat atP tPH PHP HPh Pha has ast sto tod oda day ay. y.T .Th Thi his isi sin inc ncl clu lud ude ded edP dPe Per erl rl- l-l -li lik ike kev eva var ari ria iab abl ble les es, s,f ,fo for orm rmh mha han and ndl dli lin ing ng, g,a ,an and ndt dth the hea eab abi bil ili lit ity tyt yto toe oem emb mbe bed edH dHT HTM TML ML. L.T .Th The hes esy syn ynt nta tax axr xre res ese sem emb mbl ble led edt dth tha hat ato tof ofP fPe Per erl rl, l,b ,bu but utw twa was ass ssi sim imp mpl ple ler er, r,m ,mo mor ore rel eli lim imi mit ite ted eda dan and ndl dle les ess ssc sco con ons nsi sis ist ste ten ent nt. t.A .An Ane nex exa xam amp mpl ple leo eof oft fth the hee eea ear arl rly lyP yPH PHP HPs Psy syn ynt nta tax ax: x:` :`` ``` ``< `<! <!- !-- --i -in inc ncl clu lud ude de/ e/t /te tex ext xt/ t/h /he hea ead ade der er. r.h .ht htm tml ml- l-- --> ->< ><! <!- !-- --g -ge get ete ten env nvH vHT HTT TTP TP_ P_U _US USE SER ER_ R_A _AG AGE GEN ENT NT- T-- --> ->< ><! <!- !-- --i -if ifs fsu sub ubs bst str tr$ r$e $ex exe xec ec_ c_r _re res esu sul ult ltM tMo Moz ozi zil ill lla la- a-- --> ->H >He Hey ey, y,y ,yo you oua uar are reu eus usi sin ing ngN gNe Net ets tsc sca cap ape pe! e!< !<p <p> p>< ><! <!- !-- --e -en end ndi dif if- f-- --> ->< ><! <!- !-- --s -sq sql qld lda dat ata tab aba bas ase ses ese sel ele lec ect ct* t*f *fr fro rom omt mta tab abl ble lew ewh whe her ere reu eus use ser er= r=' ='$ '$u $us use ser ern rna nam ame me' e'- '-- --> ->< ><! <!- !-- --i -if ifl fle les ess ss$ s$n $nu num ume men ent ntr tri rie ies es1 s1- 1-- --> ->S >So Sor orr rry ry, y,t ,th tha hat atr tre rec eco cor ord rdd ddo doe oes esn sno not ote tex exi xis ist st< t<p <p> p>< ><! <!- !-- --e -en end ndi dif ife fex exi xit it- t-- --> ->W >We Wel elc lco com ome me< e<! <!- !-- --$ -$u $us use ser er- r-- --> ->! >!< !<p <p> p>Y >Yo You ouh uha hav ave ve< e<! <!- !-- --$ -$i $in ind nde dex ex: x:0 :0- 0-- --> ->c >cr cre red edi dit its tsl sle lef eft fti tin iny nyo you our ura rac acc cco cou oun unt nt. t.< .<p <p> p>< ><! <!- !-- --i -in inc ncl clu lud ude de/ e/t /te tex ext xt/ t/f /fo foo oot ote ter er. r.h .ht htm tml ml- l-- --> ->` >`` ``` `` `",
"dataForExcerpt": "# PHP <WikipediaCitation language=\"en\" title=\"PHP\" access=\"2023/06/16\" version=\"1160063106\" /> ## Overview PHP is a general-purpose scripting language geared towards web development. It was originally created by Danish-Canadian programmer Rasmus Lerdorf in 1993 and released in 1995. The PHP reference implementation is now produced by the PHP Group. PHP was originally an abbreviation of Personal Home Page, but it now stands for the recursive initialism PHP: Hypertext Preprocessor. The standard PHP interpreter, powered by the Zend Engine, is free software released under the PHP License. PHP has been widely ported and can be deployed on most web servers on a variety of operating systems and platforms. The PHP language evolved without a written formal specification or standard until 2014, with the original implementation acting as the de facto standard that other implementations aimed to follow. Since 2014, work has gone on to create a formal PHP specification. ## History ### Early history PHP development began in 1993 when Rasmus Lerdorf wrote several Common Gateway Interface (CGI) programs in C, which he used to maintain his personal homepage. He extended them to work with web forms and to communicate with databases, and called this implementation \"Personal Home Page/Forms Interpreter\" or PHP/FI. PHP/FI could be used to build simple, dynamic web applications. To accelerate bug reporting and improve the code, Lerdorf initially announced the release of PHP/FI as \"Personal Home Page Tools (PHP Tools) version 1.0\" on the Usenet discussion group comp.infosystems.www.authoring.cgi on 8 June 1995. This release already had the basic functionality that PHP has today. This included Perl-like variables, form handling, and the ability to embed HTML. The syntax resembled that of Perl, but was simpler, more limited and less consistent. An example of the early PHP syntax: ``` <!--include /text/header.html--> <!--getenv HTTP_USER_AGENT--> <!--if substr $exec_result Mozilla--> Hey, you are using Netscape!<p> <!--endif--> <!--sql database select * from table where user='$username'--> <!--ifless $numentries 1--> Sorry, that record does not exist<p> <!--endif exit--> Welcome <!--$user-->!<p> You have <!--$index:0--> credits left in your account.<p> <!--include /text/footer.html--> ``` "
}
}
}