hotchpotch/wikipedia-multilingual-ir-pairs huggingface dataset:
薛提
薛 提（せつ てい、? - 452年）は、中国の北魏の官人。本貫は太原郡。
薛提 生涯
皇始年間に太学生となり、侍御史に任ぜられた。その後散騎常侍・太子太保に転じ、歴陽侯の爵位を受け、晋兵将軍の位を加えられた。鎮東大将軍・冀州刺史として出向し、爵位は太原公に進んだ。召還されて侍中となり、治都曹事に任じられている。452年（正平2年）、太武帝が崩御すると、薛提は尚書左僕射の蘭延や侍中の和匹らとともに事実を隠して喪を発しなかった。蘭延や和匹らは、皇嫡孫の拓跋濬（文成帝）が幼年であることを理由に、年長の皇子である秦王拓跋翰の即位を推進した。これに対して薛提は拓跋濬の即位を主張、議論がまとまらないうちに、中常侍の宗愛が赫連皇后の令と偽って、薛提らを召しだして殺害し、拓跋余を擁立した。
フジデン (枚方市)
株式会社フジデンは、大阪府枚方市に本社を置くエアコン配送工事（設備工事）の専門会社である。
大手家電量販店を専門に、エアコンや家電製品の取付工事・配送設置を関西・関東を中心に事業を展開。また新事業として2011年に電材・工具のディスカウントストア「電材買取センター」をオープン。
司馬文思
司馬 文思（しば ぶんし、生没年不詳）は、東晋の皇族。本貫は河内郡温県。父の司馬休之とともに北魏に亡命した。
司馬文思 経歴
伯父の譙王司馬尚之の後を嗣いで東晋の譙王に封ぜられた。凶暴な性格で、無辜の民衆を多く殺した。狩猟を好み、墳墓を焼き、たびたび役人に訴えられた。劉裕を追い落とそうと画策したため、劉裕は司馬文思を捕らえてその父の司馬休之のもとに送りつけた。司馬休之は司馬文思の譙王位を剥奪して、劉裕に陳謝した。
義熙11年（415年）、劉裕が司馬休之の子の司馬文宝と兄の子の司馬文祖を捕らえて殺害し、軍を率いて司馬休之を討った。司馬休之は司馬文思らとともに後秦に亡命した。義熙13年（417年）、後秦が劉裕により滅亡すると、北魏の庇護を求めた。
司馬文思は淮南公司馬国璠や司馬道賜のことを嫌っていたが、表面をとりつくろって親しくしていた。かれらを呼んで酒宴を開いたとき、司馬国璠は酒に酔って温楷・王珍・曹栗らとの叛乱の計画を漏らした。司馬文思がこのことを告発すると、かれらはみな処刑された。司馬文思は廷尉卿となり、鬱林公の爵位を受けた。
南朝宋が将軍の裴方明を派遣して仇池の楊難当を攻撃すると、文思は太武帝により仮節・征南大将軍に任ぜられ、爵位を譙王に進め、洛豫の諸軍を率いて襄陽におもむき、裴方明の帰路を迎え討った。平城に帰還した後、懐朔鎮将となった。
興安初年、死去。子の司馬弥陀が爵位を嗣いだが、その妻の父の毗陵公竇瑾とともに呪詛をおこなった罪に連座して処刑された。
リチャード・キャリアー
リチャード・セヴァンティス・キャリアー（Richard Cevantis Carrier、1969年12月1日 - ）はアメリカ合衆国の古代史研究者。信条は無神論。無神論者団体インターネット・インフィデルズ（en:Internet Infidels）の一員であり、そのウェブサイトで各宗教の信仰や聖典と現代科学を結びつける主張に反論する記事を掲載している。
キリスト神話説の立場をとり、同じくキリスト神話説の観点で制作されたドキュメンタリー映画『そこにいなかった神』に出演している。
448
448（四百四十八、よんひゃくよんじゅうはち）は、自然数また整数において、447の次で449の前の数である。
448 性質
448 = 26 × 7
n = 6 のときの 2n × 7 の値とみたとき1つ前は224、次は896。
n = 2 のときの n 6 × 7 の値とみたとき1つ前は7、次は5103。
2つの異なる素因数の積で p 6 × q の形で表せる3番目の数である。1つ前は320、次は704。(オンライン整数列大辞典の数列 A189987)
n = 7 のときの 2n − 1 × n の値とみたとき1つ前は224、次は896。(オンライン整数列大辞典の数列 A001787)
2i × 7 j (i ≧ 0, j ≧ 0) で表せる21番目の数である。1つ前は392、次は512。(オンライン整数列大辞典の数列 A003591)
2i × 7 j (i ≧ 1, j ≧ 1) で表せる9番目の数である。1つ前は392、次は686。(オンライン整数列大辞典の数列 A033847)
452
452（四百五十二、よんひゃくごじゅうに） は自然数、また整数において、 451 の後で 453 の前の数である。
ALWAYS (中島美嘉の曲)
「ALWAYS」（オールウェイズ）は、中島美嘉の31枚目のシングル。
私刑 リンチ
『私刑 リンチ』（しけい りんち）は、1949年公開の日本映画。中川信夫監督、新東宝・竹井諒プロダクション製作、東宝配給、白黒映画、スタンダード・サイズ、10巻/2,676メートル（1時間38分）。
中川信夫の戦後作品としては4作目であり、『地獄』（1960年）までつづく、中川と嵐寛寿郎のコンビ第1作でもある。またGHQによる「チャンバラ禁止令」の影響下で製作された嵐寛寿郎主演の現代劇の一本でもある。
私刑 リンチ 概要
原作は大坪砂男の同名小説（『宝石』1949年6月号）。本格ミステリーでデビューした大坪が一転してやくざ社会に材を取った「無頼漢小説」（大坪が自著の「後書」で使った言葉。なお、大坪は本作で第3回探偵作家クラブ賞短篇賞を受賞している）。映画では嵐寛寿郎演じるやくざが足を洗おうとする戦前編と、そのやくざの組長の一人息子が復員してからの戦後編の、二部作構成になっている。
本作品に出演した池部良のインタビュー本を著作した志村三代子と弓桁あやは、本作品の嵐演じるやくざを「『網走番外地』シリーズをはじめとして、晩年に多数出演したやくざ映画の原点」であると指摘している。製作当時、現役のスター俳優だった嵐は、後半で老け役になる主人公ではなく、池部演じる組長の一人息子の方を演じたかったとプロデューサーの竹井諒に話していたという。
メインタイトルは『私刑 リンチ』であり、本編映画の中に、清川玉枝を逆さ吊りにして棒でメッタ打ちにするというやくざの凄まじいリンチシーンが描かれているが、主人公のやくざはそれを逃れ続けて青年期から初老に至り、主役の嵐寛寿郎がリンチにかけられる場面は全編を通してない。映画評論家の山根貞男は、この映画のスタイルを「あのアラカンが、一度たりともカッコよく描かれない（中略）過剰な思い入れということを強く排する醒めた目の映画」と評している。
私刑 リンチ あらすじ
昭和のはじめごろ。東京近郊を支配する中堅やくざの菅原組は、毎年恒例の金源寺祭礼の宴会で賑わっていた。しかし、最近、菅原組の若い衆として台頭してきた清吉は、兄貴分で幹部の緋桜や梅若に嫉妬されてろくな仕事も与えられないでいた。特に梅若は、清吉に気のある料亭の仲居・お加代に横恋慕していて、事あるごとに清吉につらくあたっていた。
金源寺では秘仏の黄金仏を祭礼でご開帳するならわしになっていたが、清吉が気に食わない緋桜と梅若は、黄金仏を盗み出せば清吉がお加代と一緒になってやくざ稼業から足を洗うことを許すと話を持ちかける。しかし、これは罠だった。黄金仏をまんまと盗み出した清吉は、鉄橋の上で梅若に命を狙われ、その場は何とか逃れてお加代と逃亡しようとするものの、彼らをリンチにかけて黄金仏の行方を聞き出そうとする、菅原一家の組を挙げての追跡から逃げ惑うことになる。梅若を殺してしまった清吉は警察に逮捕され、18年の懲役刑に服することになる。
私刑 リンチ あらすじ
18年後の1949年（昭和24年）、お加代はひたすら清吉の出所を待ち続けていたが、清吉との間に生まれた一人娘の桑子は歌手に憧れて、悪い仲間たちとバンドを結成して闇市で歌い歩いていた。戦後の新興ヤクザである桜井物産のチンピラにからまれた桑子は、今は靴の修理工になっている復員兵に助けられるが、その復員兵は子供の頃清吉に可愛がられていた菅原の一人息子・信夫で、彼は父を失った今は清吉とお加代を唯一の身寄りとして、お加代母子の面倒を見ていた。
刑期を終えて出所した清吉は、桜井物産のチンピラたちに取り囲まれる。桜井物産のボスは、かつての緋桜だった。緋桜は清吉の出所を祝う宴会を開いて、清吉が隠し続けている黄金仏のありかを聞き出そうとするが、緋桜の罠に気づいた清吉は夜中に緋桜の屋敷から逃げ出してしまう。緋桜は清吉を捕まえて再び彼をリンチにかけようとするが、清吉の危機を知った信夫によって救われ、桜井物産は緋桜をはじめ警察に一網打尽にされてしまう。隠していた黄金仏を警察に渡した清吉は、10数年を経てやっと家族水入らずの時間を取り戻すのだった。
私刑 リンチ いわゆる『私刑』事件について
本作の公開をめぐっては日本映画史に残る事件があった。
本作を製作した新東宝は東宝争議の最中の1947年3月に東宝の全額出資の「株式会社新東宝映画製作所」として設立された。その後、1948年4月には「株式会社新東宝」と改組され、初代社長には元パラマウント極東支配人で「配給の神様」の異名を取る佐生正三郎が就任した。この新会社は、「新東宝による製作、東宝による配給」という形で、実質的なストライキ破りの機能を果たして東宝争議の最中の東宝を支えた。
私刑 リンチ いわゆる『私刑』事件について
しかし、東宝争議は1948年10月を以て一応の終結を見た。これにより、東宝と新東宝の関係の調整が必要となった。ここで東宝が事実上の子会社である新東宝の社長を佐生という大物に託したことが裏目に出た。話し合いの中で新東宝は「映画製作はすべて新東宝に任せる」「製作のため砧撮影所を新東宝に貸しスタジオとして一か月一〇〇〇万円で提供する」などを提案。東宝内部の意見は割れたものの、最終的に東宝の渡辺銕蔵社長は新東宝の提案を受け入れた。しかし、その後、東宝内部で自主製作再開の声が高まり、1949年9月26日の臨時重役会で渡辺社長が解任され、自主製作派の米本卯吉が新社長になった。米本は早速、新東宝に対し協定の改訂を求めるものの、11月13日、新東宝の佐生社長は「十二月一日以降、新東宝の映画は東宝へは渡さず自主配給する」と一方的に通告した。この際、新東宝が自主配給の第一弾としたのが『私刑 リンチ』だった。これに対し東宝は既に製作費を前金で払っているとして『私刑 リンチ』以下の8本を引き渡すよう仮処分を申請、裁判所がこれを認めた。これを受け『私刑 リンチ』は12月20日に東宝系列で公開となった。
当時、東宝の本社営業宣伝本部に所属していた斎藤忠夫は1987年に上梓した『東宝行進曲 私の撮影所宣伝部50年』（平凡社）の中でこの件を「『私刑』事件」と呼んでおり、この件が発端となって新東宝が東宝の全国セールスマン140名を引き抜いて「新東宝配給株式会社」を設立するというさらなる抗争へと発展したことを明かしている。
1287
1287（千二百八十七、せんにひゃくはちじゅうなな）は自然数、また整数において、1286の次で1288の前の数である。
スタン・オケルス
スタン・オケルス（Stan Ockers、1920年2月3日 - 1956年10月1日）は、ベルギー、ボルヘルハウト出身の自転車競技選手。
スタン・オケルス 経歴
本名は、コンスタン・オケルス（Constant Ockers）。自転車競技雑誌の中には、スタン・オッカーと表記するケースも見られる。
1955年に世界選手権自転車競技大会・プロロード優勝。またリエージュ〜バストーニュ〜リエージュとフレッシュ・ワロンヌを連勝し、『ウイークエンド・アルダンネ(Week-end ardennais)』を達成した。また、ツール・ド・フランスでは1955年、1956年と2年連続でポイント賞を獲得。加えて6日間レースで4回優勝の実績を誇り、1956年にドミフォンにおけるアワーレコードを記録するなど、ロードレース及びトラックレースで活躍した。
しかし1956年9月29日、アントウェルペンのスポーツパレスで行われたトラックレースの競走中に事故死した。写真は当人を偲んだモニュメントのうちの一つである。
第29回ロサンゼルス映画批評家協会賞
第29回ロサンゼルス映画批評家協会賞は、ロサンゼルス映画批評家協会によって2003年の映画に贈られた映画賞である。
サアグン (スペイン)
サアグン（Sahagún [sa(a)ˈɣun]）は、スペイン・カスティーリャ・イ・レオン州レオン県のムニシピオ（基礎自治体）。サンティアゴ・デ・コンポステーラの巡礼路の自治体の一つである。
サアグン (スペイン) 由来
304年頃にこの地で殉教したとされる、聖ファクンドと聖プリミティボ（キリスト教徒たちは彼らを Domna Sanctosと呼んでいた）にちなんで名づけられた。この名がやがてSanctus Facundus、 Sant Fagun、Safagun、最後にfが失われ無音のhとなり、Sahagunとなった。
サアグン (スペイン) 地理
セア川とバルデラドゥエイ川の間の緩やかな丘陵の上にある。
サアグンの気候は、カンタブリア山脈の影響を少し受けた地中海性気候である。年間平均気温は10℃から12℃である。標高の高さに調節され、夏は暑く乾燥する。冬には頻繁に霜を伴う降雪（年間10日ほど）があり、2つの河川に挟まれているため、霧が発生する。
第一次産業の比率が高く、穀物生産や家畜の飼育で知られる。特産はリーキ（修道僧が持ち込んだとされる）。
サアグン (スペイン) 歴史
中世のサアグンができる前、この地にはローマ街道の宿場町があった。発祥の地とされるのは、聖ファクンドと聖プリミティボに捧げられた修道院である。ローマ帝国のキリスト教迫害によって、聖ファクンドと聖プリミティボが拷問を受け、処刑されると、遺骸はセア川に投げ捨てられた。信者たちは聖人の遺骸を集めて原始キリスト教の教会を建てた。この建物はイスラム教徒のイベリア半島侵攻で幾度も破壊された。レコンキスタ終了後、872年にアストゥリアス王アルフォンソ3世は教会をコルドバ出身の聖職者へ寄進した。
11世紀、特にアルフォンソ6世は、二度目の王妃にコンスタンサ・デ・ボルゴーニャをフランスから迎えるにあたって、クリュニー修道院を通じてイベリア半島にラテン典礼を導入することを決めたことで、修道院の優位が高まった。時には、ブルジョワ対職人という、異なる社会階層の間で緊張が生じた。サンティアゴ・デ・コンポステーラの権威をかさにした修道院の権力乱用は、ブルジョワの反乱が起きるほどであった。
サアグン (スペイン) 歴史
1085年、アルフォンソ6世は町と聖職者に法特権を、サン・ファクンド地区へ移住する人々への税免除を含めて授けた。これが修道院と町の突出した富の獲得につながり、『スペインのクリュニー』と呼ばれるほど重要視され、中世後期には最も繁栄する都市のひとつとなった。町は重要な文化中心地でもあった。フランス商人、ムデハル、ユダヤ人といった人種や文化の違う人々が移住してきた。
12世紀、町と修道院双方とも対立が頂点に達した。年代記は、3度のブルジョワ反乱について記している。
時がたつにつれ、修道院の勢力は増し、現在のカンタブリア州からセゴビア県に至るまでの地域に100に近い修道院と教会をその管轄においていた。
さらに1347年、ローマ教皇クレメンス6世のおかげで、サアグンに大学が設置された。対立教皇ベネディクトゥス13世時代の1403年、神学、教会法、リベラル・アーツが学べるようになった。サアグン大学の重要性は、サラマンカ大学と名声を交換するほどであり、アルカラ大学へ教授を提供したところにも現われていた。
数世紀たって、サアグンの町と修道院の衰退は進行し、19世紀のメンディサバル法（教会、修道会の大土地所有廃止）で衰えは決定的となった。アルフォンソ6世時代から受け継がれてきた信仰の伝統はここで途絶えた。
1808年、スペイン独立戦争の際には、サアグンの戦いが起き、イギリス軍が勝利した。
1931年4月、バスク州のエイバルに次いで、サアグンにてスペイン第二共和政の成立が宣言された。
林俊昭
林 俊昭（はやし としあき、1950年（昭和25年） - ）は、日本のチェロ奏者。徳島文理大学音楽学部教授。
東京都出身。ボストン大学、サンタ・チェチーリア国立アカデミア専門課程室内楽科卒業。妻はピアニストの林由香子。
林俊昭 経歴
東京都出身。桐朋女子高等学校音楽科を卒業後、1980年（昭和55年）にイタリア・ローマのサンタ・チェチーリア国立アカデミア専門課程室内楽科を最優秀で卒業。
チェロを青木十良、G.ナイクルッグ、アンドレ・ナヴァラ、ウィリアム・プリース、ピエール・フルニエ、アントニオ・ヤニグロに師事。妻でピアニストの林由香子との「デュオ ハヤシ」でトラッパニ国際コンクールなど様々なコンクールで優勝・入賞する。サルヴァトーレ・アッカルド、フェリックス・アーヨ、ブルーノ・ジュランナ、セヴェリーノ・ガッゼローニ等の世界的演奏者と共演。
1987年（昭和62年）から大阪フィルハーモニー交響楽団首席奏者として1995年（平成7）まで在籍し、1991年（平成3年）から2000年（平成12年）まで東京芸術大学講師を務めた。またこれまでに徳島文理大学音楽学部教授、名古屋音楽大学特別講師、大阪音楽大学講師、相愛大学講師などを歴任したほかSAWA QUARTETメンバー、紀尾井シンフォニエッタ東京首席メンバー。
またNPOチェロアンサンブル協会が主催する1000人のチェロ・コンサートでは、第2回から3回連続でコンサートマスターを務めている。
1332
1332（千三百三十二、一三三二、せんさんびゃくさんじゅうに）は、自然数また整数において、1331の後で1333の前の数である。
1053
1053（千五十三、せんごじゅうさん）は自然数、また整数において、1052の次で1054の前の数である。
1179
1179（千百七十九、せんひゃくななじゅうきゅう）は自然数、また整数において、1178の次で1180の前の数である。
1179 性質
3つの素数の平方和5通りで表せる最小の数である。次は1419。
2019 = 72 + 132 + 312 = 72 + 172 + 292 = 112 + 232 + 232 = 132 + 132 + 292 = 172 + 192 + 232
3つの素数の平方和 n 通りで表せる最小の数とみたとき1つ前の4通りは699、次の6通りは2019。(オンライン整数列大辞典の数列 A214512)
1179 = 172 + 192 + 232
3連続素数の平方和で表せる7番目の数である。1つ前は819、次は1731。
1314
1314（千三百十四、せんさんびゃくじゅうよん、せんさんびゃくじゅうし）は自然数、また整数において、1313の次で1315の前の数である。
1350
1350（千三百五十、せんさんびゃくごじゅう）は自然数、また整数において、1349の次で1351の前の数である。
谷津栄寿
谷津栄寿（やつ えいじゅ、1920年 - 2016年12月）は、日本の地形学者。地形学における岩石制約（ロックコントロール）の概念を提唱した。
谷津栄寿 人物
河川縦断形と堆積物との関係に関する研究、山地の起伏量に関する研究、風化論に関する研究などに取り組んできた。地形の形成過程において、地形を構成する物質（岩石）の物理的、力学的、化学的性質が重要であるという岩石制約の概念を提唱し、その定量化に基づいて地形形成を論じることの重要性を主張した。この考えは、多くの地形学者に影響を与え、日本では、日本地形学連合設立の一つのきっかけとなった。風化プロセスについて解説した『The Nature of Weathering －An introduction』は日本国内外での風化研究に大きく影響を及ぼし、松岡憲知ほかにより大著と評されている。
ウォーリー・ピップ
ウォーリー・ピップ(Wally Pipp)ことウォルター・クレメント・ピップ（Walter Clement Pipp, 1893年2月17日 - 1965年1月11日）は、メジャーリーグのプロ野球選手（内野手）。
ニューヨーク・ヤンキースでは二度の本塁打王を獲得。ピップの欠場がルー・ゲーリッグの連続試合出場のきっかけとなったことで知られる。
ウォーリー・ピップ 来歴・人物
アメリカ・カトリック大学在学中、デトロイト・タイガースで12試合に出場。
大学卒業後の1915年にニューヨーク・ヤンキースに入団し、以後一塁手のレギュラーとして活躍。1916年には12本塁打を放ち、ヤンキース球団史上初のア・リーグ本塁打王となる。翌1917年も二年連続で本塁打王となった。1921年からのリーグ三連覇、1923年のワールドシリーズ制覇に貢献。また、その頃コロンビア大学に在学していたルー・ゲーリッグを見出し、自らの後継者としてミラー・ハギンス監督に獲得を進言したという。
1925年6月2日、ハギンス監督は不振の上頭痛を訴えたピップに代え、ゲーリッグをスタメンに起用する。これは当時のヤンキースでちょくちょく行われていたスタメン変更のひとつであったが、ゲーリッグはこのチャンスを掴みレギュラーに定着。これが2130試合連続出場記録の始まりとなった。さらにその一ヵ月後ピップは練習中に頭蓋骨骨折の怪我を負い、シーズン終了後にはシンシナティ・レッズにトレードされた。以後3シーズンはレッズで活躍し、1928年限りで現役を引退。通算226犠打はヤンキースの球団記録である。
その後はスポーツ・イラストレイテッド初のライターの一人として活躍した。
1965年、ミシガン州グランドラピッズにて死去。グランドラピッズのウッドローン墓地に埋葬されている。
木村一信
木村 一信（きむら かずあき、1946年4月24日 - 2015年9月26日）は、日本近代文学研究者。学位は、文学博士（立命館大学・論文博士・2000年）。熊本県立熊本女子大学助教授・立命館大学教授などを経て、立命館大学名誉教授。
福岡市生まれ。関西学院大学文学部日本文学科卒、同大学院文学研究科博士課程単位取得退学。2010年4月にプール学院大学・プール学院大学短期大学部学長に就任。2015年4月からは大阪成蹊短期大学学長。現職のまま、2015年9月26日午後11時34分大阪府の高槻赤十字病院にて、すい臓癌のため逝去。
主として中島敦を研究し、昭和初期の南方における文学について考究した。
筆で味わう雅の世界 小倉百人一首を書こう
『筆で味わう雅の世界 小倉百人一首を書こう』 は、NHK教育テレビジョンの「趣味悠々」の中で放送された番組である。
筆で味わう雅の世界 小倉百人一首を書こう 放送時期
2009年（平成21年）11月 - 2010年（平成22年）1月 毎週月曜日 22時00分 - 22時25分（再放送：毎週月曜日 12時00分 - 12時25分）
筆で味わう雅の世界 小倉百人一首を書こう 概要
“日本文化を再発見”
百人一首の歌に触れながら、かなの美しさに目覚めてもらおうという企画です。（中略）かなを書くとことは伝統文化を体験することでもあり、日本文化を貫く美意識を養うことにもなるのです。（テキスト巻頭より）
筆で味わう雅の世界 小倉百人一首を書こう 番組の流れ
講師の高木厚人が番組の冒頭でその日のテーマをクイズ形式で問う。生徒役の大桃美代子と村野武範が答え、講師が解答とテーマを説明する。
その後、「今日のいろは」というコーナーで今日練習する一首を紹介し、講師が手本を書く。その後、生徒が一人ずつお手本を見ながら書き、指導やアドバイスを受ける。
番組最後は次回のテーマを発表する。
筆で味わう雅の世界 小倉百人一首を書こう テキスト
ほぼその回のお手本が書かれており、運筆の注意点や、大きさ、余白の使い方など、詳しく紹介されている。
また、コラム「名筆に学ぶ」のコーナーでは名人直筆の書を紹介し、臨書を薦めている。
アラサーテ/モンドラゴン
アラサーテ（バスク語: Arrasate）またはモンドラゴン（スペイン語: Mondragón）は、スペイン・バスク州ギプスコア県のムニシピオ（基礎自治体）。両言語が優劣の差なく公式名であり、スペイン内務省などは二言語名の間にスラッシュを挟んだArrasate/Mondragón（アラサーテ/モンドラゴン）という表記を用いている。スペイン国内第7位の規模であるモンドラゴン協同組合企業の本社がある。
アラサーテ/モンドラゴン 歴史
町の背後にあるウダラ山の中腹にはレセチキ洞窟があり、中期旧石器時代のネアンデルタール人の骨、サイの骨、マンモスの歯などが出土している。レセチキ洞窟から4km離れたラベコ・コバ洞窟でも、火打石や石器、サイやウシなどの骨が出土している。
アラサーテ/モンドラゴン 歴史
ナバラ王国のサンチョ・アルバカはアラサーテ城を建造して町を防壁で囲み、900年頃にはすでに町の形をなし始めていた。1200年にカスティーリャ王国とギプスコアが連合すると、アルフォンソ8世によってフエロ（地方特権）が認められ、アラサーテの町がはっきりと成立した。アラサーテという地名の語源は不明である。しかし、ateとはバスク語で扉または門を意味する。そしてarrasは暗黒を意味する。アラサーテの集落は、アラバ県に源を発し海へ向かって流れる、デバ川とアラマヨナ川が集中する場所にあった。中世以来、人々は金属加工を生業とした。1260年、アルフォンソ10世は町の名としてモンドラゴンというフランス風の名を授け、住民勅書を宣して特権を与えたため、モンドラゴンはカスティーリャ国王直属の町となった。これらの特権には水利権、鉱脈使用権、炭焼き権、薪作り権、入会権、通行税免除、税金免除、兵役免除などがあった。中世以来、モンドラゴンの人々は武器や武具を製造する製鉄業の町として知られた。14世紀から17世紀には近隣の封建領主からの侵攻に悩まされ、特に1488年にはオニャティの領主によって町が焼き討ちされた。数百年間、町の公式名はモンドラゴンだけだったが、バスク系住民たちはモンドラグエ（Mondragüe）と呼んでいた（現代バスク語ではモンドラゴエ Mondragoe）。アラサーテの名で定住地が生まれたことは住民に広く知られてきたが、慣例的に使用されてこなかった。
スペイン内戦中の1936年10月には反乱軍に占領された。20世紀後半、特にフランシスコ・フランコ没後の1970年代の民主化後、バスク民族運動が州内で活発になり、伝統あるバスク語の地名の復活が行われた。モンドラゴエは明らかにロマンス語系の派生語であるため受け入れられず、アラサーテの名が挙げられた。1983年には「アラサーテをバスク語化しよう」(AED)という市民団体が発足し、アラサーテ・テレビやアラサーテ・プレスなどのメディアを通じてバスク語普及活動を行い、市政に影響力を持っている。
アラサーテ/モンドラゴン 名称にまつわる伝承
昔、アラサーテの背後にある山にエレンスゲという巨大な龍が住んでおり、町に出てきては人間を食べていた。そこで住民は龍との間に、毎年1人の処女を人身御供に差し出すという約束を交わし、サンタ・バルバラの丘で処女を丸飲みにする儀式が繰り返された。しかしある年、住民はロウを用いて処女を模した人形を作り、龍の退治を企てた。人形を丸飲みにしようとした龍の牙はロウで固まり、その隙に住民が製鉄用の泥炭を口の中に放り込むと、最後に焼けた鉄槍を突き刺して龍は息絶えた。住民は龍がいた山を「モンドラゴン」（龍の山）と呼ぶようになった。龍は封建領主の象徴であり、処女は領主の初夜権の象徴であるが、龍退治の動機が「（若者の性意識が乱れて）町に処女がいなくなってしまったから」だとするパターンも存在する。
傅玄
傅 玄（ふ げん、217年 - 278年）は、中国三国時代から晋にかけての人物。魏・西晋の政治家・文学者・学者。字は休奕。本貫は涼州北地郡霊州県（現在の寧夏回族自治区呉忠市利通区）。祖父は傅燮。父は傅幹。子は傅咸。先妻は何氏、後妻は杜韡。
傅玄 生涯
若くして父を失い困窮していたが、博学で文章と音楽に長じていた。人柄は剛直で、他人の過失を見逃すことができなかった。曹爽側近の何晏・鄧颺と不仲で、何晏に命を狙われていた。先妻を早くに亡くしたが、再婚しようにも、何晏に睨まれている傅玄との婚姻に応じる者は現れなかった。しかし、厳憲は「何晏らは驕って贅沢にふけっているが、必ず敗れる」と、娘の杜韡を嫁がせることを許した。果たして、曹爽一派は司馬懿のクーデターで討たれた。
州の秀才に挙げられて郎中になり、当時の評判によって著作の官に推挙され、『魏書』の編纂を担当した。その後、司馬昭の参軍（幕僚）となり、さらに温県令・弘農太守・典農校尉などを歴任し、いずれの官でも職務に適い、上書して多くの政治の不備を矯正した。咸熙2年（265年）、司馬炎（後の武帝）が晋王となると、傅玄は散騎常侍に任じられ、爵位を子爵に引き上げられた上で、さらに駙馬都尉を加えられた。
傅玄 生涯
同年（泰始元年）、司馬炎の即位により西晋が成立すると諫官となった。傅玄は上奏して朝廷の綱紀粛正を訴え、武帝に賞賛された。まもなく侍中に遷ったが、同僚と諍いを起こしたことを有司に報告されて免官となった。泰始4年（268年）、御史中丞に任じられ、泰始5年（269年）には太僕になった。当時、水害や辺境の異民族の侵入などが相次ぎ、傅玄はこれに対して上書して意見を述べた。それらのすべてが実行されたわけではなかったが、いつもお褒めの言葉を受けたという。その後、司隷校尉に転じた。
咸寧4年（278年）、献皇后羊氏が弘訓宮で崩ずると、葬礼が行われた。旧来の制度では、端門（宮城の正門）の外における司隷校尉の席次は諸卿の上で、しかも別席であるのが決まりであったが、謁者は弘訓宮を宮殿内と見なし、その決まりに従って傅玄を諸卿の下座に置いた。傅玄はこの処置に激怒し、謁者や尚書以下の官を面罵したため、御史中丞の庾純の上奏によって免官とされた。まもなく無官のまま死去した。享年62。諡は剛。後に清泉侯を追封された。
傅玄は非常にせっかちな性格で、弾劾の上奏をする際は、日が暮れて翌日回しにされると、正装のまま徹夜して夜明けを待つことがあった。貴族たちは彼を恐れ、これにより朝廷の風紀が改まったという。
傅玄 著作
『晋書』本伝によると、傅玄は「文集百余巻」の他、『傅子』120巻などの著述を残したが、現存するものはその一部に過ぎない。『三国志』の裴松之注などに残る『傅子』は、傅玄が司馬昭の側近であったこと、前述のように何晏に命を狙われた経緯から、曹爽ら反司馬氏の人士を非難する傾向が強い。また劉知幾の『史通・古今正史篇』によると、曹魏の国史である『魏書』の編纂にも参画したとされる。『傅子』詩歌では楽府の詩が多く、女性の感情を詠んだ作品や宮廷の雅楽の歌詞を手がけている点に特色がある。
『宋書』「楽志」によると、傅玄は西晋の鼓吹曲（軍歌）も作詞した。全22編あり、表題と内容は以下の通りになっている。内容の性質上、国威発揚のために誇張や荒唐無稽な記述、逆に都合の悪い事柄の無視が目立つ。また建国史を謳った前半と違い、後半は過去の鼓吹曲の転用が多い。
霊之祥
内容：天命は宣帝（司馬懿）に授けられた。時に孟氏（孟達）が反乱し、呉と蜀が国土を荒らした。宣帝は激しく怒り、全ての者を救ったのである。
宣受命
内容：宣帝は命令を受けて外敵を防いだ。（蜀の）諸葛亮は震えて死に、天下は安泰だった。
征遼東
内容：遼東へ遠征すれば、公孫（公孫淵）の首を取り、反逆者共は恐れ入った。武功は熱く輝き、その徳は雲を敷き詰めるように広まった。
宣輔政
内容：宣帝は（曹芳の）政治を補佐し、帝基を創造した。
傅玄 著作
時運多難
内容：時代は多難で、道教（五斗米道？）は病巣となり、外では呉の蛮族どもが蠢いた。（宣帝は）恐れ多くも呉に天誅を下した。出征すれば戦うことなく勝利した。
景龍飛
内容:景帝（司馬師）は龍のごとく飛び、従う者は顕彰し、逆らう者（曹爽ら）は皆殺し。聖徳のひそかな決断（高平陵の変）は天に先んじて間違いなし。皇祖の福徳は無窮となった。
平玉衡
内容：天は星の回転を正し、陛下は下々を正しく統べる。
文皇統百揆
内容：文皇（司馬昭）は全ての官僚を従えた（暗に諸葛誕の反乱や曹髦の逆クーデターを乗り越えたことを示す）。大晋の徳はこれより始まった。世界に溢れんばかりの徳は、万世に激しく流れて行く。
因時運
内容：（司馬昭の）聖なる行いにより、桀のような呉の連中の繋がりは断たれた。
惟庸蜀
内容：劉備が天の隅で皇帝を僭称し、劉禅と諸葛亮がそのおこぼれに与った。姜維はたびたび辺境を荒らし、辺境は落ち着く暇もなかった。
爪牙の武将は陛下に従い、腹心は良策を献じた。その結果、百万の軍勢を起こし、（劉禅は）天誅を畏れて軍門に降った。
天序
内容：天の秩序により、（魏から）禅譲を受け（晋が誕生し）た。咎繇（皋陶）、稷、契のような素晴らしい家臣たちが一致協力すれば、どうして保身に走るだろうか。
大晋承運期
傅玄 著作
内容：天の予定に従って陛下（司馬炎）が階をお上りになれば、群星は乱れることがない。股肱は忠誠を誓い、民衆は幸福であり、無窮の福に満ちた暮らしを送っている。
金霊運
内容：われらが聖皇のために戦おう。我々に倒せない相手はない。子孫の代まで天の助けが尽きることはない。
於穆我皇
内容：わが皇帝の盛んな徳で世界は平和になり、晋を讃える声がわき起こった。瑞兆もまた天の意志である。
仲春振旅
内容：春二月、旅（約500人）の隊列を整え、大いなる意志を民に示し、武を教えるにおいて時日は新たなり。
夏苗田
内容：夏、大晋は苗より害を除く。
仲秋獮田
内容：秋八月に田で狩りを行えば、（晋の）金徳は常につよい。
順天道
内容：年三度の狩りにおいて、陛下の閲兵を受ければ、兵卒は虎の如き統率を見せる。大晋の徳は天に等しい。
唐堯
内容：唐堯のように、聖皇も小さな徳を積み重ねて仕事に励んでおられる。
玄雲
内容：玄い雲が湧き出て、祥気は万里を離れ、龍は飛び鳳は翔ける。昔の唐虞の時代にも現れた（吉兆である）。成湯王、周の文王のように。聖徳は太陽や月のように明るく輝く。
伯益
内容：夏桀に捕らえられた黄雀を殷湯が逃がした。神雀はいまわが君のためにやって来た。
釣竿
内容：われらが皇帝の聖徳は堯、舜を併せたもので、（だからこそ）禅譲を受け天子となった。天下は永く太平である。
モンドラゴン
モンドラゴン（Mondragon、Mondragón、Montdragon）とは「ドラゴンが住む山」という意味を持つ。スペイン周辺の地名やスペイン語圏の名字に見られる。
並行論理プログラミング
並行論理プログラミング（へいこうろんり－、英: Concurrent Logic Programming）は、論理プログラミングにおける並列性及び論理プログラミングによる並行処理の記述の研究から生まれた、並行プログラミングのためのパラダイムである。論理プログラミングでは述語論理式をゴール(Goal)の書き換え規則と見なし、ゴールの書き換えによって処理を行う。それに対し、並行論理プログラミングでは各ゴールをプロセスと見なして並行に書き換えを行い、ゴール間で共有する論理変数を通信チャネルとして情報交換や同期を行う。
並行論理プログラミング 概要
通常、並行論理プログラミングではホーン節にガードを導入した以下のような形式でプログラムを記述する。
このガード付きホーン節は、エドガー・ダイクストラのガード付きコマンドと同様のものである。ゴール書き換えにはヘッドとガードの条件を満たす規則が使用され、この選択は永続的なものとしてコミットされる。条件を満たす規則が複数ある場合はどれか1つが選択される (don't-care non-determinism/indeterminate)。ガードの条件を満たす規則がない場合、ゴールの書き換えは中断され、ガードの条件を満たすような入力を受け取った後に書き換えが行われる。これらによりゴール間の同期が表現できる。この同期機構はコミッティッド・チョイス (committed-choice) とも呼ばれる。コミット後に書き換えられたボディ部の各ゴールは並行したプロセスと見なされる。
Prologなどと異なり、並行論理プログラミング言語ではコミット後のバックトラックを行わないため履歴の管理が不要になり、より効率のよい処理系の実装が可能になる。並行論理プログラミングは、通常の論理プログラミングから探索の機能を取り除き、代わりに並行実行の制御の機能を付加したものととらえることができる。また、定理証明系として見た場合、不完全だが健全な証明系と見なすことができる。
並行論理プログラミング 概要
並行論理プログラミングの考え方を取り入れた言語としては、Relational Language、Concurrent Prolog、Guarded Horn Clauses (GHC)とGHCの拡張であるKL1、PARLOG、Strandなどがある。
これらの言語では、多くの場合ストリームで通信を行う動的なプロセスの集まりでプログラムを構成する。そのためこれらの言語の処理方式はストリーム並列とも呼ばれる。
理論的には、並行論理プログラミングは並行制約プログラミングをエルブラン領域(Herbrand universe)に適用したものであり、制約出力を等号制約("=")のみに制限したものと見なすことができる。
並行論理プログラミングの特徴は以下の通りである。
並行論理プログラミング プログラミング
並行論理プログラミングでは、導出時のゴールをプロセス、共通論理変数を通信チャネルと見なし、論理変数を介して通信を行う複数のプロセスのネットワークとしてプログラムを記述する。
並行論理プログラミングのプログラムは、一般に以下のガード付きのホーン節(Horn clause)の集まりで表現される。"|"はコミット演算子と呼ばれる。G はガード部、B はボディ部と呼ばれる。Head、G、Bはそれぞれ原子論理式である。
宣言的には、"|"、","は共にANDを表し、通常のホーン節と同様の意味を持つ。
ゴールの書き換え規則として見た場合、HeadとG1, ..., Gnは書き換えのための条件、B1, ..., Bmは書き換え後のゴールを表す。書き換えを繰り返すことで、全てのゴールが何もしないゴール"true"まで書き換えられて実行が終了するとすると、この書き換えは簡約化 (reduction) と解釈できる。複数のゴールは並行に書き換えてよく、書き換え規則の適用に十分な情報がなければ書き換えは中断する。また、各ゴールについて書き換え条件のチェックも複数の節で並行に実行してよく、コミット時にただ1つの節が選択される(コミッティッド・チョイス)。
並行論理プログラミング プログラミング
論理プログラミングのプロセス的解釈に従うと、ゴールの原子論理式 p(T1, …, Tk)は、プログラムの状態が p/k (kは引数の数)、データの状態が T1, …, Tk であるプロセスと見なすことができる。
プロセスモデルと並行論理プログラミングの計算モデルとの対応は以下のようになる。
並行論理プログラミング プログラミング
C言語などのプログラミング言語の変数は値の格納場所であって、計算が進むに従って内容が変化する。論理プログラミングでの変数は数学的な変数に近いもので、何らかの値につけた名前である。値は決まっているか決まっていないかのいずれかで、プログラムの実行に従い徐々に論理変数を使わずに表現できる具体的な値を持つようになる。値は一度決まってしまえばその後変わることはない。並行論理プログラミングの強力さの多くはこれらの論理変数の性質による。
値が変わることはない性質により、従来言語で並行プログラミングを行う際に問題になる、共有変数の値更新に伴う煩雑なクリティカルセクションの問題をプログラマーが意識する必要はなくなる。
また、変数自身に不定の概念が含まれているため、ストリームのように先頭の要素からインクリメンタルに決まり残りの要素が不定のデータを、例えば[data|X](Xは論理変数)のように論理変数を含めたリストとして自然に表現できる。
並行論理プログラミングでは通信チャネルとして論理変数を使うが、同時に他のプロセスに論理変数を含めたデータを送ることもできるため、他プロセスに通信チャネル自身をデータと同じように渡すことができる。並行論理プログラミング言語では、通信チャネルは第一級のオブジェクトである。
並行論理プログラミング プログラミング
ヘッドとガード部はプロセス書き換えのための条件を指定する。条件の指定方法は言語により異なるが、一般的には制約の観測を行うAsk部と制約の追加を行うTell部からなる。Ask部は、その実行が新たな制約を出力しないことを条件として指定する。つまりAsk部は制約の観測のみを行うことができ、値が決まっていない外部の変数を具体化しようとする(具体的な値を与える)など制約を出力する可能性がある場合、値が決まるまで書き換えを中断する。このようなAskは Blocking Ask と呼ばれる。Tell部は、コミット時に制約を出力してもよいが、その実行が今までの結果と矛盾しないことを条件として指定するために使用する。ガードのTell部における制約の出力は矛盾の検査と制約の追加をアトミックに行うため Atomic Tell と呼ばれる。ガード以外での制約の追加は、その実施を遅延できるため Eventual Tell と呼ばれる。
並行論理プログラミングではプロセス間で共有する論理変数を通信チャネルと見なす。1つの変数を共有するプロセスの数には制限がなく、あるプロセスが変数を具体化すると、共有する他のプロセスに伝わり計算に影響を及ぼす。具体化は段階的に行ってもよく、また複数のプロセスが別々の部分を具体化してもかまわない。データの生成プロセスと消費プロセスが事前に決まっている必要はない。これらの特性より、方向の決まった1対1の単純なストリーム通信やメッセージパッシングにとどまらない、様々な形態の通信が可能になる。
並行論理プログラミング プログラム例
エラストテネスのふるいを使い素数生成を行うGuarded Horn Clauses (GHC) のプログラム例を示す。Prologと同様、MaxやPrimesなどの英大文字で始まる項は変数を表す。
gen_primes/2を実行すると、gen/3とsift/2の2つのプロセスが生成される。gen/3はMaxまでの自然数のストリームを生成し、sift/2はそれをふるいにかけ素数のストリームをPrimesに返す。gen/3とsift/2とはそれぞれ並行して動き、gen/3で生成された自然数のストリームは変数Nsを介して順次sift/2に渡される。プロセス間の同期は、ストリームの各要素が具体化(Instantiation)されるまで待つ、という形で自然に表現される。
gen/3、sift/2の各プログラムはそれぞれ以下のようになる。gen/3は、自然数のストリームを順次生成しMaxを超えたら終了する。sift/2は、2,3,5,7,..などの各素数の倍数をストリームから取り除くfilterプロセス(ふるい)を順に生成しながら、求まった素数を順次ストリームの要素として返す。各filterプロセスは変数を介して直列につながれていくため、自然数のストリームから素数のみのストリームを求めることができる。
並行論理プログラミング 他のプログラミングパラダイムとの比較
手続型プログラミングでは同じ変数が時々刻々とその値を変えていく。論理変数を用いる並行論理プログラミングでは、値は一度決まってしまえばその後変わることはない。時間と共に変化する計算状態が条件判断に影響を与えることはないので、計算順序についての自由度が大きく上がる。また煩雑でバグが発生しやすい共有変数更新時のクリティカルセクションの問題も意識しなくてよくなる。
時間変化する計算状態を意識する必要がないという点で、並行論理プログラミングは関数型プログラミングによく似ている。計算の背景となる意味論が明確であるという共通点もある。関数型プログラミングとの違いの1つは、並行論理プログラミングの非決定性である。ガード条件を満たす節が複数ある場合、選択は非決定的に行われる。実行時やコンパイル時の自由度が上がり、より効率的な実行ができる可能性がある。関数型プログラムはどんなハードウェア上でも同じ計算をするが、並行論理プログラミングで複数のプロセッサを用いた計算を行う場合、よりプロセッサ間通信が少なくなる節を優先して選ぶなど、最適化の幅が広がる。
並行論理プログラミング 他のプログラミングパラダイムとの比較
prologなどの論理型プログラミング言語の考え方は、ホーン節を基本にし宣言的な解釈が可能なこと、項(term)という共通のデータ形式を用いること、論理変数を用いることなど、並行論理プログラミングとよく似ている。シンタックスもほぼ同じである。実際、多くの並行論理プログラミング言語のプロトタイプはprolog上で作成された。しかし論理型プログラミング言語が持つデータの流れ(入出力)の方向性の無さ、探索機能など、大きく違った部分も多い。多くの並行論理プログラミング言語は、並行実行の機能を除けば、一般の論理型プログラミング言語より低レベルな言語と言うこともできる。
並行論理プログラミング プログラミング手法
並行論理プログラミングでの基本的なプログラミング手法を以下に示す。並行論理プログラミングの表現力の大きさは、広範囲の並行プログラミングの手法をサポートしていることにある。
論理変数を内部に含むリストを使い、先頭の要素からインクリメンタルに決まるストリームを構成できる。
1つのストリームで、以下のような様々なストリーム通信のパターンが構成できる。
ひとつのプロセスは、複数のストリームを1本にマージするマージプロセスのように複数のストリームを受け取ったり、1本のストリームを内容に応じて複数のストリームに分けるディストリビュータプロセスのように複数のストリームを送り出したりすることもできる。
ストリームの生成プロセス、消費プロセス、ストリーム内容を変換/フィルターするプロセス、ディストリビュータプロセス、マージプロセスなどを組み合わせることで、様々なデータ駆動プログラムを作ることができる。プロセスのネットワークは静的にも動的にも構成できる。
並行論理プログラミング プログラミング手法
未完成メッセージ、あるいは応答箱付きメッセージと呼ばれる手法では、変数を含んだメッセージをデータとして送ることで、1本のストリームを双方向に使うことができる。送った変数は新たな共有変数になり、通信チャネルとして使える。例えば、応答が必要なメッセージを変数を含んだ形でストリーム上に流し、受信側で変数を具体化することで応答を送信側に返すことができる。応答自身を未完成メッセージにすれば、双方向の通信を必要なだけ続けることもできる。未完成メッセージは、マージプロセスなどを通信経路内に含んでいても問題なくやり取りができ、どのような経路を来たかに関係なく結果は送信元に返される。
また、一般的には未完成メッセージを用いることにより、通信ネットワークの動的な再構成が可能になる。
並行論理プログラミング プログラミング手法
未完成メッセージを用いると有限長バッファ通信も表現できる。通常のストリーム通信は、[<メッセージ>|<変数>] のようにメッセージと変数が共に送られ、この変数が新たな共有変数となることで連続したメッセージを送り続けることができる。通常は送信側でメッセージと変数を共に作成するが、受信側でバッファ長分の変数を作成し、送信側にメッセージを設定してもらうことで有限長バッファ通信を実現できる。受信側でメッセージを読み出すごとに新たな共有変数を作成することで、バッファ長以上のメッセージが送られないことが保証できる。
有限長バッファ通信でバッファ長を1にすれば、受信側の要求で送信側がデータを送信する要求駆動型の制御が実現できる。
データの並びを2つのリストの差分で表現する差分リストの考え方は論理プログラミング全般で用いられるテクニックであり、並行にリストを構築していく場合にも有効に利用できる。差分リストでは、例えば [a,b|X]と Xの2つの差分で [a,b]を表現する。差分リストを用いると、2つの差分リスト [a,b|X]、Xと [c,d|Y]、Yの連結は、X=[c,d|Y]とした差分リスト [a,b,c,d|Y]、Yとして簡単に求まる。
差分リストの長所は以下の2点である。
並行論理プログラミング プログラミング手法
通常のリストを副作用なしで連結すると(例えばLISPでのAPPEND関数の動作)、リストのコピーが必要なため先頭のリスト長に比例した時間が掛かる。通常のリストを副作用を用いて直接書き換えると(例えばC言語などでの線形リスト処理)、定数時間で連結することが可能だが、リストを読み書きする他の並行プロセスがある場合に複雑な同期処理が必要になり、効率的な並行処理ができない。論理プログラミングで使われる差分リストではこれらの問題が生じない。
並行論理プログラミングでは、多数のプロセスで部分的なリストを並行して構築し、1つのリストにまとめたい場合に差分リストが使われる。
一連のプロセスが終了したかどうかを確認するためにはショートサーキットテクニックと呼ばれる手法が用いられる。この方法では確認したいプロセスを共通変数でチェーン状につなぎ、各プロセス終了時に隣り合った共通変数を「短絡」させることで全体の終了を検出する。以下の例では、例えばprocess2(..,Mid2,Mid3) が終了した際に内部で Mid2=Mid3を実行する。
process(..,Start,End) 実行時にStart の値として'ok'を入れておけば、process1〜processN が全て終了した時にEnd の値が'ok'に具体化され、全体の終了が検出できる。この手法は、複数のプロセスのグループを逐次的に実行したり、全てのプロセスにストリームのデータが行き渡ったかを確認するなど、グローバルな状態の検出と制御に利用できる。
多くの独立したプログラムが黒板と呼ばれる共通のデータ領域で情報のやり取りしながら問題を解決していく黒板モデルの考え方は、人工知能の分野で古くから使われてきた。この考え方は並行論理プログラミングでも有効に活用できる。黒板は1つのプロセスとして表現され、内部に情報を保存し、複数の並行プロセスからの要求に応じアトミックに更新する。他の複数のプロセスからの要求はストリームとしてマージプロセスを介して黒板プロセスに送られ、結果は未完成メッセージを用いて送信元のプロセスに返される。情報の読み取り、更新を1つのプロセス内で行うことで、整合性を保った更新を行うことができる。黒板にあたるプロセスはクライアントサーバモデルでのサーバに当たる役割をするため、サーバプロセスと呼ばれることもある。
並行論理プログラミング 並行論理プログラミング言語
Relational Languageから発展した並行論理プログラミング言語は、それぞれ非常によく似た構文と考え方を持つが、プロセス間の同期をとるための中断のメカニズムは言語ごとにそれぞれ異なる。
また、各言語のバリエーションとして、ガードからユーザ定義のプログラムを呼び出せないようにガードの記述を制限し、ガード部の計算構造をフラット(Flat)にした言語がある。ガードはアトミックに動作できるため、プログラムの長さは増加するが効率のよい処理系の実装が可能になる。
並行論理プログラミング 並行論理プログラミング言語
Relational LanguageはClarkとGregoryが1981年に提案した言語で、その後の並行論理プログラミング言語の基礎となった。HoareのCSPの考え方をIC-Prologに取り入れて拡張し、コミッティッド・チョイスによる非決定的な節の選択機構を持っていた。またストリームによる通信を行うことができた。しかしガード中のゴールは評価時に変数を含んではならないことや、通信にはリストを用いたストリームしか使えないなど、制限が多かった。1つの述語の入出力モード宣言を複数指定でき、また並列実行と逐次実行の両方をサポートするなど、言語仕様も複雑だった。入出力モード宣言の制約は厳格に守る必要があり、1つのストリームを入力と出力の双方向に使う不完全メッセージの技法なども使うことができなかった。
言語の特徴を以下にまとめる。
並行論理プログラミング 並行論理プログラミング言語
Relational Languageを参考にして、Shapiroは1983年に単純で表現力の高いConcurrent Prologを提案した。通信にはストリームだけでなく任意の項が使えるようになり、ガードの記述の制限もなくなった。不完全メッセージなどの技法も使うことができ、通信チャネルを第一級のオブジェクトとして扱えるようになった。また、Relational Languageは並行実行と逐次実行の両方の機能を含んでいたが、Concurrent Prologは全てを並行に実行することを前提にすることで非常に単純化された仕様になった。Concurrent PrologはShapiroにより様々なバリエーションが提案され、分析されている。
2つのストリームをマージし1つのストリームにするマージプロセスのプログラム例を以下に示す。
並行論理プログラミング 並行論理プログラミング言語
Concurrent Prologでは、中断のメカニズムとして読み出し専用標記 (Read Only Annotation)を用いる。読み出し専用標記は"?"で表され、任意の変数に付与することができる。読み出し専用変数を変数以外の項に具体化しようとする試みは中断させられる。つまり、読み出し専用標記が付加された変数へのアクセスは入力モードだけが許される。これにより変数が具体化されるまで待つという同期と、変数毎のデータ入出力の方向性の指定とができる。
また、ガードの実行(ヘッドとガード部の実行)で行われた変数への書き込みは、その後の失敗により変更される可能性があるため、どれか1つの節がコミットされるまで他のプロセスに公開されない。つまりConcurrent Prologのガードには制約の追加を行うTell部(Atomic Tell)が含まれる。Concurrent Prologでは、ガード実行時に節ごとで変数の値が異なる多重環境を管理する必要があり、全ての節の並行実行を行う際に管理が複雑になる。
言語の特徴を以下にまとめる。
並行論理プログラミング 並行論理プログラミング言語
PARLOG (PARallel LOGic) は、Concurrent Prologに影響を受けたClarkとGregoryにより、複雑なRelational Languageの仕様を整理した後継言語として提案された。1983年に最初のバージョンが発表され、その後1986年に改良版が発表された。言語の特性や細かいシンタックスはそれぞれ異なる。
PARLOGはRelational Languageと同様、並行実行と逐次実行の両方の機能を持っており、言語仕様はConcurrent PrologやGHCと比べて複雑である。
1986年版でのマージプロセスのプログラム例を以下に示す。":"はコミット演算子を表す。
並行論理プログラミング 並行論理プログラミング言語
PARLOGでは、中断のメカニズムとしてモード宣言を用いる。"?"は入力モード、"^"は出力モードを表す。ヘッド部の同一化の際、アクセスモードが入力モードに指定されているゴール中の変数を変数以外の項に具体化しようとする試みは中断させられる。また、出力モードとして指定された項が実際に出力されるのは節が選択された後である。PARLOGの機能はkernel PARLOGというモード宣言を持たない単純な標準形式に変換することで実現される。PARLOGでモード宣言が果たしていた役割は、特殊な単方向のユニフィケーションを入力側はガード部に、出力側はボディ部に付加することで実現され、ガード部で中断が行われる。kernel PARLOGでのガードの規則はGHCの規則と同じ意味を持つ。kernel PARLOGのガードには制約の追加を行うTell部がなく制約の観測を行うAsk部のみのため、多重環境の問題はない。kernel PARLOGに変換できないプログラムをエラーとすることでAsk部のみであることを保証する。kernel PARLOGに変換できるPARLOGプログラムの出力モードは入力可能として扱われ、不完全メッセージなどの技法も使用できる。ただしガード部の安全性のチェックをコンパイル時に行っているため、Concurrent PrologやGHCでは数行で書ける自分自身のメタインタプリタをPARLOGでは素直に書くことができない。