stanford-oval/wikipedia huggingface dataset:
バーデン＝ヴュルテンベルク (フリゲート)

| バーデン＝ヴュルテンベルク |
| --- | --- |
 艤装中のバーデン＝ヴュルテンベルク
基本情報
建造所:  ティッセンクルップ・マリン・システムズ
運用者:   ドイツ海軍
艦種:  フリゲート
級名:  バーデン＝ヴュルテンベルク級
艦歴
起工:  2011年11月2日
進水:  2013年12月12日
就役:  2019年6月17日
要目
排水量:  満載 7,316トン
全長:  149.5m
最大幅:  18.5m
吃水:  5m
機関:  CODLAG方式、 MTU 20V4000M53Bディーゼル発電機 (2.9 MW) × 2基 電動機 (4.7 MW/6,300 hp) × 2基  LM2500ガスタービンエンジン(20 MW/27,000 hp)× 1基  スクリュープロペラ× 2軸  バウスラスター (1 MW/1,300 hp)× 1基
速力:  26ノット（㏏）
航続距離:  4,000海里（20kt巡航時）
乗員:  艦乗員120名＋航空要員20名＋特殊部隊50名
兵装:  64口径127mm単装砲 × 1基  MLG 27 27mm機関砲 × 2門  12.7mmRWS × 5基  12.7mm機銃 × 2基  RAM近SAM 21連装発射機 × 2基  ハープーンSSM 4連装発射筒 × 2基
搭載機:  NFH90哨戒ヘリコプター ×2機
レーダー:  TRS-4D 多機能型 （AESAアンテナ×4面）× 2基
ソナー:  CERBERUS Mod.2 対戦闘泳者用
テンプレートを表示
バーデン＝ヴュルテンベルク（ドイツ語: Baden-Württemberg, F 222）は、ドイツ連邦軍海軍のバーデン・ヴュルテンベルク級フリゲート1番艦。艦名はバーデン＝ヴュルテンベルク州に由来する。なお、艦艇名としては、ドイツ帝国海軍やドイツ国防軍海軍を含むドイツ海軍で初の命名である。
艦歴

2011年11月2日に起工され、2013年12月12日に進水した。海上試運転を受けて2017年12月に就役する予定だったが、機器に設計ミスがあると判断されたためドイツ海軍はこの軍艦の就役を拒否した。船体が著しく右に傾いていたほか、搭載ソフトウエアにバグがあるうえ、見当違いの武器を装備しているという。結局、建造したブローム・ウント・フォスで2年半に及ぶ改修を経て、2019年6月17日で就役した。
2024年、補給艦「フランクフルト・アム・マイン」とともにドイツ海軍によるインド太平洋方面派遣（IPD24）としてインド太平洋地域へ派遣された。主要任務は国連安保理決議により禁止されている北朝鮮籍船舶の「瀬取り」を含む違法な海上活動に対する警戒監視活動である。本艦は2023年10月から2024年4月までUNFIL（国連レバノン暫定軍）の海上任務部隊として、東地中海で行動し、スペインのロタ海軍基地でIPD24に向けた準備を行った後、大西洋で「フランクフルト・アム・マイン」と合流した。2024年6月からハワイで実施された米海軍主催多国間共同訓練「リムパック 2024」に参加し、同年8月20日、東京国際クルーズターミナルに入港した。8月25日に日本の海上自衛隊横須賀基地に入港し、8月27日に同港を出港、同日から8月29日にかけて、関東南方から沖縄東方に至る訓練海空域おいて実施された日豪伊独仏共同訓練（ノーブル・レイブン24‐3）に「フランクフルト・アム・マイン」とともに参加した。海上自衛隊から護衛艦「いずも」「おおなみ」と潜水艦、P-1哨戒機が参加したほか、オーストラリア海軍駆逐艦「シドニー」 、イタリア海軍空母「カブール」、フリゲート「アルピーノ」、 哨戒艦「ライモンド・モンテクッコリ」 、フランス海軍フリゲート「ブルターニュ」が参加し、各種戦術訓練（対空戦、実艦的対潜訓練、CROSS DECK等）及び PHOTOEXを実施した。
同年8月下旬から9月中旬までの間、補給艦「フランクフルト・アム・マイン」とともに日本周辺海域において、北朝鮮籍船舶の「瀬取り」に対する警戒監視活動を実施した。9月13日にはフィリピンのマニラに向かうため、ドイツ軍艦として22年ぶりに台湾海峡を航行した。同月16日、マニラへ入港した。
ギャラリー

真珠湾に入港する「バーデン＝ヴュルテンベルク」
RIMPAC2024における射撃訓練の様子
RIMPAC2024での他国艦艇と航行する様子（左舷側）
RIMPAC2024での他国艦艇と航行する様子（右舷側）
格闘弦

『格闘弦/ 11:11』（かくとうげん イレブン:イレブン）は、メキシコ出身のギター・デュオロドリーゴ・イ・ガブリエーラが2009年に発表した4枚目のスタジオ・アルバム。
初回限定版には、DVD が付いている。
収録曲 > CD収録曲

| # | タイトル | 作詞 | 作曲 | 注 | 時間 |
| --- | --- | --- | --- | --- | --- |
| 1. | 「ハヌマン」(Hanuman) |   | ロドリーゴ・イ・ガブリエーラ | カルロス・サンタナへ捧げる | 3:41 |
| 2. | 「バスター・ヴードゥ」(Buster Voodoo) |   | ロドリーゴ・イ・ガブリエーラ | ジミ・ヘンドリックスへ捧げる | 4:22 |
| 3. | 「トリヴェーニ」(Triveni) |   | ロドリーゴ・イ・ガブリエーラ | ル・トリオ・ジュブランへ捧げる | 3:53 |
| 4. | 「ロゴス」(Logos) |   | ロドリーゴ・イ・ガブリエーラ | アル・ディ・メオラへ捧げる | 2:50 |
| 5. | 「サント・ドミンゴ」(Santo Domingo) |   | ロドリーゴ・イ・ガブリエーラ | ミッシェル・カミロへ捧げる | 4:00 |
| 6. | 「マスター・マキ」(Master Maqui) |   | ロドリーゴ・イ・ガブリエーラ | パコ・デ・ルシアへ捧げる | 5:04 |
| 7. | 「サヴィトゥリ」(Savitri) |   | ロドリーゴ・イ・ガブリエーラ | ジョン・マクラフリンへ捧げる | 3:45 |
| 8. | 「オラ・セロ」(Hora Zero) |   | ロドリーゴ・イ・ガブリエーラ | アストル・ピアソラへ捧げる | 5:22 |
| 9. | 「チャク・ムール」(Chac Mool) |   | ロドリーゴ・イ・ガブリエーラ | ジョージ・レイズへ捧げる | 1:51 |
| 10. | 「アトマン」(Atman) |   | ロドリーゴ・イ・ガブリエーラ | ダイムバッグ・ダレルへ捧げる | 5:49 |
| 11. | 「イレヴン・イレヴン」(11:11) |   | ロドリーゴ・イ・ガブリエーラ | ピンク・フロイドへ捧げる | 4:49 |
| 合計時間: | 合計時間: | 合計時間: | 合計時間: | 45:26 |  |
収録曲 > DVD収録曲

| # | タイトル | 作詞 | 作曲・編曲 | 時間 |
| --- | --- | --- | --- | --- |
| 1. | 「オラ・セロ (リハーサル)」(Hora Zero) |   | ロドリーゴ・イ・ガブリエーラ | 6:17 |
| 2. | 「ハヌマン (リハーサル)」(Hanuman) |   | ロドリーゴ・イ・ガブリエーラ | 3:57 |
| 3. | 「サント・ドミンゴ (リハーサル)」(Santo Domingo) |   | ロドリーゴ・イ・ガブリエーラ | 5:45 |
| 4. | 「バスター・ヴードゥ (リハーサル)」(Buster Voodoo) |   | ロドリーゴ・イ・ガブリエーラ | 4:43 |
| 5. | 「トリヴェーニ (リハーサル)」(Triveni) |   | ロドリーゴ・イ・ガブリエーラ | 3:59 |
| 6. | 「イレヴン・イレヴン (リハーサル)」(11:11) |   | ロドリーゴ・イ・ガブリエーラ | 5:40 |
| 7. | 「オラ・セロ (ライヴ)」(Hora Zero) |   | ロドリーゴ・イ・ガブリエーラ | 6:47 |
| 8. | 「フアン・ロコ (ライヴ)」(Juan Loco) |   | ロドリーゴ・イ・ガブリエーラ | 5:29 |
| 9. | 「インタビュー」(Questions) |   | ロドリーゴ・イ・ガブリエーラ | 10:47 |
| 10. | 「スタジオ「ルンビニ」紹介」(lumbini) |   | ロドリーゴ・イ・ガブリエーラ | 3:17 |
| 11. | 「「バスター・ヴードゥ」演奏解説」(Buster Voodoo tutorial) |   | ロドリーゴ・イ・ガブリエーラ | 20:27 |
| 12. | 「「天国への階段」演奏実演」(hidden key) |   | ジミー・ペイジ、ロバート・プラント | 2:21 |
| 13. | 「エクストラ・インタビュー」(Extended questions) |   | ロドリーゴ・イ・ガブリエーラ | 4:17 |
アルバム参加ミュージシャン

ロドリーゴ・イ・ガブリエーラ
ストランズアンドファラ — 「マスター・マキ」のアコースティックギターソロ
アレックス・スコルニック — 「アトマン」のエレクトリックギター・ソロ
Edgardo Pineda Sanchez — 「イレヴン・イレヴン」のピアノ
制作クレジット

プロデューサー — ロドリーゴ・イ・ガブリエーラ
「11:11」のプロデューサー — ジョン・レッキー、ロドリーゴ・イ・ガブリエーラ
レコーディング・エンジニア — Fermin Vazquez Llera
ミキシング・エンジニア — コリン・リチャードソン, Matt Hyde（ロンドン、ウェールズ)
アシスタント・エンジニア — Brian Wilson, Martyn "Ginge" Ford, Jeff Rose
マスタリング・エンジニア — Robyn Robins
発売履歴

| 地域 | 日付 | レーベル | フォーマット | 型番 | 備考 |
| --- | --- | --- | --- | --- | --- |
| 日本 | 2009年9月2日 | ソニー・ミュージックジャパンインターナショナル | CD, DVD, デジタル・ダウンロード | SICPI-2339-40 | 16:9, リージョンコード:2, テレビ方式:NTSC |
| 日本 | 2009年9月2日 | ソニー・ミュージックジャパンインターナショナル | CD, デジタル・ダウンロード | SICPI-2341 |  |
バウマシーケンス

バウマシーケンス（英語: Bouma sequence）・ブーマシーケンスは、混濁流によって形成されるタービダイト内における堆積の順序を示したものである。1962年にアーノルド・ブーマ（英語版）が著書「Sedimentology of some Flysch deposits」において発表した。
タービダイト内における各単層内においては一定の5部分に分かれる堆積順序が存在し、級化層理に近しい構造が見られるとするものである。初期にはBouma cycle、Bouma modelなどと呼称されてもいたが、やがてBouma sequenceという表記に統一された。
各部

e - 泥岩部
d - 上部平行葉理部
c - コンボリュート葉理部
b - 下部平行葉理部
a - 塊状もしくは級化部
各部の日本語名称は堆積学研究会 (1998)に拠った。
各論

バウマシーケンスの形態はどのような混濁流によってタービダイトが形成されたかによって変化する。密度が高い乱泥流によって形成されれば粗粒タービダイト（proximal turbidite）が、密度が低い乱泥流によって形成されれば隔源相タービダイト（distal turbidite）が見られる。粗粒タービダイトでは下部が厚くなり礫が含まれることもあるが、隔源相タービダイトでは反対に泥やシルトが主体であり全体的に薄いものとなる。
1965年の時点でバウマシーケンスは欠けることがあったとしても、aからeまでの順番が前後することは無く成立するものだと考えられていた。しかし、バウマシーケンスは必ずしも全てのタービダイト内で成立するとは限らないことが後に明らかとなった。またShanmugam (1997)は、バウマシーケンスをあたかも事実の記載のために用いられることがあり、必ずしも成立するとは限らないバウマシーケンスという1つの見方を強化してしまっている人もいると批判している。
関連文献

Arnold H Bouma (1962). Sedimentology of some Flysch deposits. Elsevier Pub. Co.. NCID BA02319007. OCLC 1512070. ASIN B0006AXR5O LCCN 62-10357 OL 5850429M インターネットアーカイブ: sedimentologyofs0000boum
堆積学研究会 編『堆積学辞典』朝倉書店、1998年11月。ISBN 4-254-16034-8。 NCID BA38750379。LCCN 99-137742。OCLC 675037693。OL 31469498M 国立国会図書館書誌ID:000002732151 全国書誌番号:99048134。
デボン紀に形成されたドイツのタービダイトに見られるバウマシーケンス。
枚方療育園

| --- | --- |
略称:  枚方療育園
設立:  1968年1月10日
種類:  社会福祉法人
法人番号:  9120005012730 
本部:  大阪府枚方市津田東町2丁目1-1
理事長:  山西博道
重要人物:  山西恭子 山西悦郎
ウェブサイト:  公式サイト
テンプレートを表示
枚方療育園（ひらかたりょういくえん）は、大阪府枚方市津田東町に本部を置く社会福祉法人。
沿革

1968年（昭和43年）1月10日 - 社会福祉法人枚方療育園を設立。
1969年（昭和44年） - 重症心身障害児施設「枚方療育園」を開設。
1975年（昭和50年） - 関西准看護学院を開設。
1980年（昭和55年） - 特別養護老人ホーム「津田荘」を開設。
1980年（昭和55年） - 身体障害者療護施設「津田療護園」を開設。
1980年（昭和55年） - 社会福祉研修施設「山西福祉記念会館」を開設。
1989年（平成01年） - 「北摂三田福祉の里」が完成。
1989年（平成01年） - 身体障害者療護施設「三田療護園」を開設。
1990年（平成02年） - 特別養護老人ホーム 「三田楽寿荘」を開設。
1990年（平成02年） - 知的障害者更生施設「三田こぶしの園」を開設。
1991年（平成03年） - 「ビアンエトール恭愛」が完成。知的障害者更生施設「第一博愛」及び「第二博愛」を開設。
1991年（平成03年） - 特別養護老人ホーム「山愛」を開設。「ビアンエトール恭愛付属診療所」を開設。
1992年（平成04年） - 「ビアンエトール恭愛老人デイサービスセンター」を開設。
1992年（平成04年） - 重症心身障害児施設「さくら療育園」を開設。
1995年（平成07年） - 第1看護師宿舎（枚方キャンパス）が完成。
1998年（平成10年） - 南河原福祉の里が完成。特別養護老人ホーム「おきな」を開設。
1999年（平成11年） - 保育所・職員寮（北摂三田福祉の里）が完成。
2000年（平成12年） - 「南河原福祉の里老人デイサービスセンター」を開設。
2000年（平成12年） - 介護老人保健施設「愛」を開設。
2005年（平成17年） - 「さくら療育園」新館が完成。
2012年（平成24年） - 医療型障害児入所施設「枚方療育園」を「枚方総合発達医療センター」に改称。
2012年（平成24年） - 医療型障害児入所施設「さくら療育園」を「医療福祉センターさくら」に改称。
2013年（平成25年） - 「枚方総合発達医療センター」の新館が完成。
施設 > 枚方キャンパス

所在地は大阪府枚方市津田東町2丁目1-1。
枚方総合発達医療センター
津田荘（特定養護老人ホーム）
津田療護園（障害者支援施設）
関西看護専門学校（看護師養成所）
設立年：1975年（昭和55年）4月1日
前身校：関西准看護学院、関西高等看護学院
施設 > 北摂三田福祉の里

所在地は兵庫県三田市東本庄1188番地。
医療福祉センターさくら（医療型障害児入所施設）
三田こぶしの園（障害者支援施設）
三田療護園（障害者支援施設）
愛（介護老人保健施設）
三田楽寿荘（特別養護老人ホーム）
施設 > ビアンエトール恭愛

所在地は大阪市西成区南津守1丁目4-7。
第一博愛（障害者支援施設）
第二博愛（障害福祉サービス事業所）
山愛（特別養護老人ホーム）
施設 > 南河原福祉の里

所在地は埼玉県行田市大字馬見塚693。
おきな（特別養護老人ホーム）
施設 > 山西福祉記念会館

| 山西福祉記念会館 |
| --- | --- |
 
情報
管理運営:  枚方療育園
竣工:  1980年（昭和55年）10月
所在地:  〒530-0026 大阪府大阪市北区神山町11-12
テンプレートを表示
館内にはアンピールホテル大阪やレストラン等が入居しており、大阪YWCAが運営する大阪YWCA専門学校が併設されている。
設立年：1980年（昭和55年）10月
交通アクセス：大阪市高速電気軌道堺筋線「扇町駅」及び谷町線「中崎町駅」より徒歩約5分。
歴代理事長

| 代 | 氏名 |
| --- | --- |
初代: 山西恭子
2: 山西悦郎
3: 山西博道
RE:QUIEM

「RE:QUIEM」（レクイエム）は、ELEKITER ROUND 0の７枚目のミニアルバム。2015年4月8日にマリン・エンタテインメントから発売された。
概要

初回限定盤、通常盤ともにボーナストラックとしてデュエット曲のソロバージョンを収録。
初回限定盤には2014年7月27日に大阪クラブクワトロにて開催された2ndワンマンライブ 「HEAVEN OF NOISE～頂～」のライブダイジェスト映像が収録されたDVDが同梱されている。
収録曲

千年恋歌 [4:05]
作詞：立花慎之介、作曲・編曲：西岡和哉
Conflict [3:57]
作詞：日野聡、作曲・編曲：西岡和哉
Reincarnation [4:03]
作詞：立花慎之介、作曲・編曲：西岡和哉
ひかり [4:50]
作詞：日野聡、作曲・編曲：西岡和哉
初回限定盤のみに同梱。
2ndワンマンライブ 「HEAVEN OF NOISE～頂～」ライブダイジェスト映像
SWS西日本

| --- | --- |
種類:  株式会社
市場情報:  非上場
本社所在地:   日本 〒515-0813 三重県松阪市大塚町25番地2  北緯34度35分14.97秒 東経136度31分47.28秒﻿ / ﻿北緯34.5874917度 東経136.5298000度﻿ / 34.5874917; 136.5298000座標: 北緯34度35分14.97秒 東経136度31分47.28秒﻿ / ﻿北緯34.5874917度 東経136.5298000度﻿ / 34.5874917; 136.5298000
設立:  2010年10月1日
業種:  電気機器
法人番号:  8190001010385 
事業内容:  ワイヤーハーネスおよび外装部品の製造、ワイヤーハーネス構成部品の物流
代表者:  代表取締役執行役員社長　佐久間 敦敬
資本金:  3億9000万円
売上高:  116億円 （2020年度実績）
純利益:  △2億3,149万6,000円 （2024年3月期）
総資産:  134億7,432万6,000円 （2024年3月期）
従業員数:  1,692名（2021年3月31日 現在）
主要株主:  住友電装株式会社
外部リンク:  http://www.sws-w.co.jp/
テンプレートを表示
SWS西日本株式会社（エスダブリュエスにしにほん）三重県松阪市に本社を置く企業である。住友電装の子会社である。
2010年に九州住電装、北陸ハーネス、東洋ハーネス、新宮ハーネスが統合されて設立された。
2017年9月29日に島根工場が閉鎖となり、大分工場への事業の集約が行われた。
事業所

本社・工場（三重県鈴鹿市）
松阪工場（三重県松阪市）
新宮工場（和歌山県新宮市）
宇ノ気工場（石川県かほく市）
田鶴浜工場（石川県七尾市）
熊本工場（熊本県菊池市）
大分工場（大分県日田市）
TIST

TIST(Tsukuba Institute of Science& Technology)は茨城県土浦市の学校法人または専門学校の英名。
筑波研究学園専門学校(TIST) - 茨城県土浦市の専門学校。
学校法人筑波研究学園(TIST) - 茨城県土浦市の学校法人。筑波研究学園専門学校(TIST) の設置者。
SO506iC

| --- | --- |
キャリア: NTTドコモ
製造: ソニー・エリクソン・モバイルコミュニケーションズ
発売日: 2004年7月23日
概要
音声通信方式: mova（PDC） （800MHz）
形状: 回転式
サイズ: 50 × 106 × 28 mm
質量: 140 g
連続通話時間: 約140分間
連続待受時間: 約460時間
外部メモリ: メモリースティックDuo （128MBまで）
FeliCa: あり
赤外線通信機能: あり
Bluetooth: なし
放送受信機能: 非対応
メインディスプレイ
方式: 半透過型TFT液晶
解像度: QVGA（256×320ドット）
サイズ: 2.3インチ
表示色数: 約26万色
サブディスプレイ
なし
メインカメラ
画素数・方式: 約130万画素CCD
機能: -
サブカメラ
なし
カラーバリエーション
: エアリーベージュ
: バカンスローズ
: トロピカルターコイズ
: ソイルブラック
■テンプレート / ■ノート ■ウィキプロジェクト
mova SO506iC(えすおー―あいしー)はソニー・エリクソン・モバイルコミュニケーションズ（現・ソニーモバイルコミュニケーションズ）が2004年7月23日発表したNTT DoCoMo向けの携帯電話。第二世代携帯電話である。
概観及び特徴

ソニー製品及びソニー・エリクソン製品に特徴のジョグダイヤル（ディスクジョグ）を採用したモデルである。
最もポピュラーな折りたたみ式ではなく、回転式を採用しており、画面が常に露出しているが、硬いフィルターで守られている。
本体を開くとナンバーボタンなどが露出するようになっているが、回転をしなくても通話やメールなどの基本操作ができるのが特徴である。
また、カメラの操作が非常に手軽であり、背面のレンズカバーを開いた瞬間に自動的にカメラが起動するため、すばやい撮影が可能となるばかりでなく、大画面撮影や外部メモリのメモリースティック Duoへの自動画像保存など、同時代にリリースされた他社製品に比べ、デジタルカメラとしての性能を多く備えた携帯電話である。
また、メモリースティックDuo内の音楽データを再生できるメモリースティックオーディオ機能も搭載。
連続待受時間は約460時間、連続通話時間は約140分。大きさは、H106×W50×T28mm。重さは約140g。
なお、SO506i（Premini-II）よりも先に発売されている。
その他

ボディカラーはエアリーベージュ、バカンスローズ、トロピカルターコイズ、ソイルブラックの4色。背面に全8色がラインナップされたカバー(フィットカバー)を装着でき、着せ替えができる。iモードFeliCa搭載。モバイルSuicaには非対応。
RPL (プログラミング言語)

| --- | --- |
: 「RPL」はこの項目へ転送されています。その他の用法については「RPL (曖昧さ回避)」をご覧ください。
| --- | --- |
パラダイム:  スタック指向、手続き型、構造化プログラミング、オブジェクト指向
登場時期:  1984年または1986年
設計者:  ヒューレット・パッカード
型付け:  なし
主な処理系:  User RPL、System RPL
影響を受けた言語:  Forth、Lisp
テンプレートを表示
RPLは、ヒューレット・パッカード社（HP社）が開発した小型電卓のオペレーティングシステム (OS) の一部であり、アプリケーションプログラミング言語である（初期開発者によるとReverse Polish Lispに由来する。一方、HP社のマーケティングは1987年の短い期間の間、RPLから逆にROM-based Procedural Languageという意味をこじつけで作り出そうとした）。
"Reverse Polish"は逆ポーランド記法（後置記法）を意味しており、直訳するなら『逆ポーランド式（後置記法式）LISP』となる。後置記法やスタック指向などという点ではForthとも類似している。
ヒューレット・パッカード社の科学技術計算グラフRPN（逆ポーランド記法）電卓のHP 28 シリーズ、HP 48 シリーズ、HP 49/50 シリーズで使われた。
HP 38G、HP 39/40 シリーズのような非RPN電卓でも特殊なツールを使って使用可能であるが、後述のSystemRPLだけに限られる。
RPLはRPNに基づいた構造化プログラミング言語であるが、数値だけでなく代数式や方程式も扱える。RPLはスレッド化されたインタプリタとして実装されている。RPLはForth言語と多くの類似点がある。両言語はスタック指向であり、Lispのようなリスト指向だけではない。以前のHP社のRPN電卓（4レベル固定スタック）に反して、RPLが使えるスタックは利用可能な電卓のRAMさえ余っていれば、スタックのレベル数を増やせる。
RPLは1984年にオレゴン州コーヴァリス市の開発拠点で誕生した。アセンブリ言語でOSを実装する以前の技術を置き換えるために開発された。RPLに対応した最後の電卓はHP 50gであり、2015年に製造終了となった。
RPLの種類

RPLにはUser RPLとSystem RPLの2種類があり、一般的にRPLと言えば、User RPLを指す。
RPLの中でもシステムの低レベルから中レベルまでを扱うSystem RPL（もしくはSysRPL）言語は、OSを実装する言語の一部として前述の機種だけでなくいくつかの初期のHP社電卓で使われた。HP 48 シリーズの場合、外部ツールを使わないとユーザーはSystem RPLを使用できない。しかし、HP 49/50 シリーズの場合、SysRPLを使うための内蔵コンパイラが搭載されている。誤りのあるSysRPLコードを実行すると深刻なクラッシュを引き起こす可能性がある。
RPLの一種である高レベル言語のUser RPL（もしくはUserRPL）は、グラフィックスアプリケーションプログラムだけでなくテキスト型のプログラムを開発するために前述の電卓で利用できる。全てのUserRPLプログラムは内部的にはSysRPLで実装されている。しかし、利用可能なSysRPLコマンドの中の安全なサブセットだけを使う。UserRPLのコマンドはエラーチェックを行うので安全ではあるが、そのエラーチェックによってUserRPLプログラムはSysRPLプログラムよりも非常に動作が遅くなっている。
UserRPLコマンドのSYSEVALは、アドレスで指定された無名のオペレーティングシステムオブジェクトを評価・実行する。
newRPL

newRPL は HPGCC3.org が2014年から開発している User RPL を模倣した言語及び開発環境及びOSの総称である。HP社の正式なものではない。文法的には User RPL を拡張したものであるが、インタプリタ言語ではなくコンパイラ言語として動作するので、その実効速度は User RPL よりも圧倒的に高速である。
newRPL を使えるハードウェアは HP 48 シリーズ、HP 49/50 シリーズ ということになっていた。しかし、実際には HP 39gs/HP 40gs/HP 50g/PC(Windows) が対象になっている。
newRPL を使用するにはファームウェアの全面的な書換が必要である（データも全て消える）。OSも書き換わるので、GUIも変更される。なお、HPGCC3.org 側は、HP社のファームウェアに書き戻すことができると主張している。
2017年12月15日に Build 1001 がリリースされ、α版ではなくなった。2019年1月現在CAS（数式処理システム）は未対応である。
前述の対象ハードウェアが2015年に全て製造終了となっているので、別のハードウェアを開発対象に切替えるべきだという意見もある。
制御構造

この節の内容は"HP 50g / 49g+ / 48gII graphing calculator advanced user’s reference manual"に従っている。そのため、各項目ごとに脚注を明記しない。
ここではUser RPLのみ解説する。System RPLはスタックベースであることを除けば、User RPLと文法が大幅に異なることに注意する必要がある。
RPLは厳密な後置記法ではなく、中置記法も取り入れており、いくつかの重要な例外は存在するものの、制御構造は標準的な中置記法の言語と類似している。これらの制御構造を実装することによって、必要な時にプログラムの内部で条件分岐やループを実行できる。
制御構造 > スタック

RPLのスタックはインタプリタ上に実装されたソフトウェア的なものであり、CPUのスタックではない。スタックの底辺がスタックレベル1であり、電卓上では"1:"と表示される。スタックレベル番号が大きいほどスタックの上になる。スタックの出し入れ (POP/PUSH)は基本的にスタックの底辺から行われる。
RPLは文中でオブジェクト（数値、数式、文字列、条件式、プログラムブロックなど）に遭遇すると何も考えずにスタックにオブジェクトを入れることが動作の基本である。コマンドに遭遇したときはコマンドを実行する。条件式、数式、プログラムブロックのような実行できるオブジェクトは条件文などのコマンドが実行する場合と、EVALコマンドで意識的に実行することがある。
制御構造 > 条件文 > IF/THEN/ELSE/END

IF/THEN/ELSE/END構造は、基本的な条件分岐をサポートする。この制御構造の基本的な文法は以下のようになる。
IF condition THEN if-true [ELSE if-false] END
以下の例はスタックの底辺（スタックレベル1）の値が"1"であるかどうかをテストし、そうであれば、スタックの底辺を"Equal to one"に置き換える。
« IF 1 == THEN "Equal to one" END »
（説明）上のコードの条件式は '1 ==' である。IF文はこの条件式を実行する。1はオブジェクトなのでスタックに入れられる。==はコマンドである（一般的な言語の場合、==は演算子だが、RPLではコマンドである）。==コマンドはスタックから2つのオブジェクトを取り出すので、このプログラムを実行する前にユーザーが手動でスタックに値を入れておく必要がある。そうしないとスタックに1しかオブジェクトがないので、==コマンドが2つのオブジェクトを取り出せない。==コマンドは2つのオブジェクトが同じ時は真(1)、異なる時は偽(0)をスタックに入れる。IF文は条件式を実行した後、スタックの底辺から条件式の実行結果を取り出し、その数値が真(1)ならば、THEN文が実行される。上のコードではELSE文はないが、ELSE文がありその数値が偽(0)であれば、ELSE文が実行される。
IF文はcondition(条件式)を評価するとその結果（0:偽あるいは1:真）をスタックの底辺に残す。そして、その条件式の結果を得るためにスタックの底辺を検証する。この動作を利用すると、RPLはForth形式のIF文をオプションでサポートすることができる。つまりIF文の前に評価される条件式を書くことができる。IF文の条件式を空にすることによって、IF文は条件式実行の間にスタックの変更を行わない。そして、THENを実行する前にスタックの底辺にある既存の結果（IF文の前に書いた条件の結果のこと。0:偽あるいは1:真）を取り出して使う。
制御構造 > 条件文 > IFT/IFTE

IFT ("if-then")文とIFTE ("if-then-else")文を使うことによって後置条件式を実現できる。IFTとIFTEはそれぞれ2つまたは3つのオブジェクトをスタックから取り出す。取り出した2つまたは3つのオブジェクトの最上位のオブジェクトは真偽値として評価される。もしも真ならば、上から2番目のオブジェクト（"then"に相当）はスタックに戻される。IFTEは上から3番目の"else"に相当するオブジェクトを必要とする。偽の場合、そのオブジェクトがスタックに戻される。
以下の例は、IFT文の例である。スタックの底辺から1つのオブジェクトを取り出し、それが1ならば、1を"One"に置き換える。
« 1 == "One" IFT »
（説明）上のコードの 1 はオブジェクトなので、すぐにスタックに入れられる。そして、==コマンドがスタックから2つのオブジェクトを取り出す。もちろん1を先にスタックに入れているので、1の上のスタックレベルにもオブジェクトがないとオブジェクトが不足する。そのオブジェクトはプログラム実行前にユーザーが自分でスタックに入れる必要がある。==コマンドは2つのオブジェクトを比較して、同じ場合は真(1)を、異なる場合は偽(0)をスタックに入れる。次に"One"もオブジェクトなので、スタックに入れられる。つまりスタックの状態は以下のようになる。
2: 0 or 1（条件式の結果）
1: "One"（thenに相当するオブジェクト）
そして、IFTコマンドが上の状態のスタックから2つのオブジェクトを取り出して、上のスタックレベル2が真(1)ならば、"One"を実行するが、"One"はただのオブジェクトなので、またスタックに入れられる。
以下の例はIFTE文の例である。スタックの底辺からオブジェクトを取り出し、それが1と等しいならば、1を"One"に置き換える。それが1でない場合は、それを"Not one"に置き換える。
« 1 == "One" "Not one" IFTE »
IFTとIFTEは引数として与えられたプログラムブロック（下のコードの最初の行と最後の行以外の« »で囲まれたところ）を条件によって評価・実行することがある。その動作を利用することによって、IF/THEN/ELSE/END構造よりもさらにコンパクトな条件文を作ることができる。
以下の例はスタックの底辺からオブジェクトを取り出して、それが1と等しいのか、1より小さいのか、1より大きいのかを判断してからそれを"One"、"Less"、"More"のどれかに置き換える。
«
  DUP 1 ==
  « DROP "One" »
  « 1 < "Less" "More" IFTE »
  IFTE
»
（説明）RPLはオブジェクトと見なしたものはそれがプログラムブロックでも実行しないでスタックに入れる。そのため、プログラムブロックは評価(evaluate)されるまで実行されない。そのため、IFTEが実行される直前のスタックの状態は以下のようになる。
3: 0 or 1（条件式の結果）
2: « DROP "One" »
1: « 1 < "Less" "More" IFTE »
IFTE文はスタックから3つのオブジェクトを取り出す（つまり上の3つのオブジェクトはスタックから取り除かれる）。条件式の結果が真(1)のときは"then"に対応するプログラムブロック（« DROP "One" »）を評価する。その結果、オブジェクトはプログラムブロックなので実行される。結果が偽(0)の場合は、"else"に対応するプログラムブロック（« 1 < "Less" "More" IFTE »）を評価し、プログラムブロックなので実行する。
制御構造 > 条件文 > CASE/THEN/END

CASE/THEN/END構造を用いて、複数の条件から排他的に1つの条件を選ぶ、より複雑な条件論理式を実行できる。CASE文の中の1つだけの選択肢が実行される。この構造の基本文法は以下のようになる。
CASE 
  condition_1 THEN if-condition_1 END 
   ...
  condition_n THEN if-condition_n END
  if-none
 END
以下のコードはCASE/THEN/END構造の使用方法の例である。スタックの底辺にある1文字を取得して、それに対応する文字列をそれと置き換える。対応する文字がない場合は"Unknown letter"で置き換える。
« 
   CASE 
      DUP "A" == THEN "Alpha" END
      DUP "B" == THEN "Beta" END
      DUP "G" == THEN "Gamma" END
      "Unknown letter"
   END
   SWAP DROP  @ Get rid of the original letter
 »
上記のコードは以下の入れ子になったIF/THEN/ELSE/END構造と完全に等価である。
«
    IF DUP "A" ==
    THEN
       "Alpha"
    ELSE 
       IF DUP "B" == THEN
          "Beta"
       ELSE 
          IF DUP "G" == THEN
             "Gamma"
          ELSE
             "Unknown letter"
          END
       END 
    END
    SWAP DROP  @ Get rid of the original letter
 »
制御構造 > ループ文 > FOR/NEXT

FOR/NEXT構造は、あるインデックス値から他のインデックス値までのループをサポートする。ループ用のインデックス値はループ内でプログラムからアクセス可能な一時的ローカル変数（インデックス変数）に格納される。FOR/NEXT構造の文法は以下のようになる。
index_from index_to FOR variable_name loop_statement NEXT
以下の例は1から10までの数値を合計するためにFORループを使っている。FORループのインデックス変数は"I"である。
« 
    0       @ Start with zero on the stack
    1 10    @ Loop from 1 to 10
    FOR I   @ "I" is the local variable
       I +  @ Add "I" to the running total
    NEXT    @ Repeat...
 »
（説明）プログラムの最初の0は実行されて、スタックに入れられる。次の行の '1 10' も実行されて、2つの値がスタックに入る。FOR文はスタックから２つの値（1と10）を取り出して、インデックス変数Iに1を代入する。10は終了条件としてFOR文が保持する（スタックには返さない）。このとき、最初に入れた0がスタックの底辺に残ることになる。FOR文とNEXT文の間に 'I +' という実行される文がある。最初の I はインデックス変数であり、1から10の値をとる。Iはオブジェクトでもあるので、実行されるとスタックに入れられる。I=1のとき、スタックには0と1が入ることになる。次の + はコマンドである（多くの言語では + を演算子とするが、RPLではコマンド扱い）。+コマンドはスタックから2つのオブジェクトを取り出して加算して、その結果をスタックに入れる。I=1のとき、+コマンド実行前のスタックには0と1が入っているので、0 + 1 = 1となり、結果の1をスタックに入れる。I=2のとき、+コマンド実行前のスタックには1と2が入っているので、1 + 2 = 3となり、結果の3をスタックに入れる。この繰り返しで1から10までの数値を合計する。
制御構造 > ループ文 > START/NEXT

START/NEXT構造は、開始インデックスから終了インデックスまでの単純なループをサポートする。FOR/NEXT構造と違って、インデックス変数（ループ変数）はプログラムから利用できない。しかし、インデックス変数は内部的に存在する。NEXTコマンドはインデックス変数を+1するだけである。START/NEXT構造の文法は以下のようになる。
index_from index_to START loop_statement NEXT
制御構造 > ループ文 > FOR/STEPとSTART/STEP

FOR/NEXTとSTART/NEXTは1回のループでインデックス変数を+1することしかできない。しかし、NEXTを増分値とSTEPで置き換えると、インデックス変数は+1以外の値で増やしたり減らしたりできる。例えば、以下のループはインデックス変数を1回のループ毎に-2加算することによって、10から2へ逆行するようにループする。
« 10 2 START -2 STEP »
制御構造 > ループ文 > WHILE/REPEAT/END

WHILE/REPEAT/END構造は、ループの開始地点で条件テストをする回数未定のループをサポートする。WHILE/REPEAT/END構造の文法は以下のようになる。
WHILE condition REPEAT loop_statement END
制御構造 > ループ文 > DO/UNTIL/END

DO/UNTIL/END構造は、ループの最後で条件テストをする回数未定のループをサポートする。DO/UNTIL/END構造の文法は以下のようになる。
DO loop_statement UNTIL condition END
TQM

TQM（Total Quality Management、総合的品質管理、総合的品質マネジメント、総合的品質経営）とは、TQCで唱えられた、組織全体として統一した品質管理目標への取り組みを経営戦略へ適用したものである。
概要

TQMは、1980年代のアメリカでその考え方が提唱された。当時は、日本の企業、特に製造業に対しての研究が盛んであった。その研究の中、日本独自の進化を遂げたTQC、QCに対して注目が集まった。両者ともアメリカから日本にもたらされたものである。トップダウン型のTQCは、日本ではQCサークルに代表されるボトムアップ型の活動に独自に進化し、日本型TQCと呼ばれていた。
日本型TQCの特徴であるQCサークルが持つ「カイゼンし続ける」という特徴を取り入れ、アメリカの企業風土に合うようにトップダウン型の意思決定プロセスによる品質マネジメントを行う手法、TQMが考え出された。また、単に製造業に留まらず、あらゆる業態の企業での適用が考えられたものである。品質の考え方に顧客満足度を取り入れており、実際サービス業などへの適用例も多い。
TQMの特徴は、企業のトップが制定した経営戦略を、ブレイクダウンして品質目標、顧客満足度目標まで落とし込んで全社的に展開することである。
1980年代後半から1990年代初頭にかけて、TQMは多くのアメリカの企業で導入され、アメリカ復活の原動力の1つとなったとも言われる。日本では、バブル崩壊後の不況下で、アメリカの復活の原動力の研究の中で注目されるようになり、マネジメントという考え方が浸透するにつれてTQCが徐々にTQMへと置き換わっていった。
SO506iS

| --- | --- |
キャリア: NTTドコモ
製造: ソニー・エリクソン・モバイルコミュニケーションズ
発売日: 2005年5月27日
概要
音声通信方式: PDC （800MHz）
形状: ストレート型
サイズ: 107 × 47 × 20 mm
質量: 99 g
連続通話時間: 140分
連続待受時間: 460時間
外部メモリ: なし
日本語入力: POBox
FeliCa: なし
赤外線通信機能: 
Bluetooth: なし
放送受信機能: なし
メインディスプレイ
方式: TFTディスプレイ
解像度: 240X320
サイズ: 1.9インチ
表示色数: 約26万色
サブディスプレイ
なし
メインカメラ
画素数・方式: 約130万画素CCD
機能: マクロ機能
サブカメラ
なし
カラーバリエーション
: Orange＆Silver
: White＆Lavender
: Blue＆Green
■テンプレート / ■ノート ■ウィキプロジェクト
SO506iSは、ソニー・エリクソン・モバイルコミュニケーションズ（現・ソニーモバイルコミュニケーションズ）が開発した、NTTドコモによる第二世代携帯電話（mova）の製品である。愛称は、「premini-IIS」（プレミニツーエス）。
概要

preminiシリーズ第四弾として発売された。
premini-IIのマイナーチェンジ版で、506iベースで作られた。premini-Sの時のように、丸みを帯びたデザインを採用している。また、ボタンがスレンダーキーと呼ばれるデザインではなく、通常のボタンに変更されている。
歴史

2005年2月24日 - 技術基準適合証明 (TELEC) 通過
2005年3月15日 - 電気通信端末機器審査協会 (JATE) 通過
2005年5月13日 - NTTドコモから発表
2005年5月27日 - 発売
2012年3月31日 - movaサービス終了により使用はこの日限りとなる。
Rainbow/breath〜想いの容量〜

「Rainbow/breath〜想いの容量〜」（レインボー/ブレス〜おもいのようりょう〜）はSoweluの3枚目のシングル。2003年2月26日発売。
収録曲

Rainbow
作詞：Sowelu、Adya／作曲：櫻井真一／編曲：URU
フジテレビ系テレビドラマ『熱烈的中華飯店』主題歌
breath〜想いの容量〜
作詞・作曲：H（eichi）／編曲：柿崎洋一郎
JFN「ECOLOMUSICキャンペーン」タイアップソング
Rainbow（chinese flavor mix）
Rainbow（less vocal）
breath〜想いの容量〜（less vocal）
収録アルバム

| 曲名 | アルバム | 発売日 |
| --- | --- | --- |
| Rainbow | 『Geofu』 | 2003年6月25日 |
| Rainbow | 『Sowelu THE BEST 2002-2009』 | 2009年3月18日 |
| breath〜想いの容量 | 『Geofu』 | 2003年6月25日 |
| breath〜想いの容量 | 『Sowelu THE BEST 2002-2009』 | 2009年3月18日 |
TQBF問題

計算複雑性理論において、言語TQBFは量化された真のブール式からなる形式言語である。(完全に)量化されたブール式とは、すべての変数が存在量化子や全称量化子を用いて式の先頭で量化(束縛)された限定命題論理の式である。自由変数が存在しないため、そのような式は真あるいは偽と同値である。もし真と同値ならば、その式は言語TQBFの要素である。この言語はQSAT(量化されたSAT, Quantified SAT)としても知られている。
概要

計算複雑性理論において、量化されたブール式問題(QBF)は充足可能性問題の一般化であり、変数を存在量化子でも全称量化子でも量化することができる。言い換えると、QBFはブール変数の集合の上の量化された式が真か偽かを問うものである。例えば、以下の式はQBFのインスタンスである:
QBFは標準的なPSPACE完全問題である。PSPACEは決定性、あるいは非決定性チューリングマシンで多項式領域および無制限の時間で解ける問題のクラスである。 式を抽象構文木の形で与えれば、この問題は式を評価するような再帰的な手続きによって簡単に解くことができる。このアルゴリズムの領域計算量は木の高さに比例し、最悪ケースでは線型であるが、時間計算量は量化子の個数に関する指数である。
広く信じられている MA ⊊ PSPACEという仮定の下で、QBFは決定性チューリングマシンでも確率的チューリングマシンでも、多項式時間では解くことも与えられた解を検証することもできない。実際、充足可能性問題とは異なり、解を簡潔に指定する方法は知られていない。交代チューリングマシンを使えば線型時間で自明に解けるが、AP = PSPACEなのでこれは当然である(APは交代チューリングマシンで多項式時間で解ける問題の集合)。
独創的な結果IP = PSPACE(参考:対話型証明系)が示されたとき、その証明はQBFを解くことのできる対話型証明系を示すことで行われた。
QBFの式にはたくさんの有用な標準形が存在する。例えば、すべての量化子を式の先頭に移動するような多項式時間多対一帰着が存在することが示せる。さらに別の有用な帰着も存在する。それは各変数の使用とその量化子による束縛の間には高々1つの全称量化子しか存在しないような論理式への帰着であり、IP = PSPACEの証明で用いられた。
QBF formulas have a number of useful canonical forms. For example, it can be shown that there is a polynomial-time many-one reduction that will move all quantifiers to the front of the formula and make them alternate between universal and existential quantifiers. There is another reduction that proved useful in the IP = PSPACE proof where no more than one universal quantifier is placed between each variable's use and the quantifier binding that variable. This was critical in limiting the number of products in certain subexpressions of the arithmetization.
SPIRAL (Thinking Dogsの曲)

「SPIRAL」（スパイラル）は、日本のロックバンド・Thinking Dogsの楽曲。作詞はTSUBASA、作曲はTSUBASAとJunが担当した。2019年11月6日にThinking Dogsのメジャー8作目のシングルとしてSony Recordsから発売された。
背景とリリース

初回仕様限定盤（CD+DVD）および通常盤（CDのみ）の2形態でのリリース。また、収録曲の全てが秋元康が一切プロデュースに関わらない初めてのシングルとなる。
MVには映画の主演を務めている、小坂菜緒（日向坂46）が出演。
シングル収録トラック

| 0 | 1 | 2 | 3 | 4 |
| --- | --- | --- | --- | --- |
全編曲: Thinking Dogs。
| # | タイトル | 作詞 | 作曲 | 時間 |
| 1. | 「SPIRAL」 | TSUBASA | TSUBASA、Jun | 3:54 |
| 2. | 「光」 | 大輝 | わちゅ〜 | 5:02 |
| 3. | 「equation」 | 大輝 | わちゅ〜 | 3:13 |
| 4. | 「SPIRAL（instrumental）」 |   | TSUBASA、Jun | 3:54 |
| 5. | 「光（instrumental）」 |   | わちゅ〜 | 5:02 |
| 6. | 「equation（instrumental）」 |   | わちゅ〜 | 3:11 |
| 合計時間: | 合計時間: | 合計時間: | 合計時間: | 24:16 |
| # | タイトル | 作詞 | 作曲・編曲 | 監督 |
| --- | --- | --- | --- | --- |
| 1. | 「SPIRAL Music Video」 |   |   |   |
セントポール (ミネソタ州)

セントポール（Saint Paul [ˌseɪnt ˈpɔːl]）は、アメリカ合衆国ミネソタ州の州都。人口は31万1527人（2020年）で、ミネアポリスに次ぐ州第2の都市である。市名は1841年に建てられたセント・ポール大聖堂に由来している。セントポールと西に隣接するミネアポリスは "Twin Cities"（双子の都市）と呼ばれる。命名のゆえんは、ミネアポリスが州の経済・文化の中心であり、セントポールがミネソタ州会議事堂や州の各種機関が集まる州の政治の中心地であるとの事情にある。この「双子の都市」および近隣のブルーミントン、セントクラウドなどを含んだミネアポリス・セントポール都市圏は約360万人の人口を抱える。長崎市とは日米初の姉妹都市を提携した関係がある。