stanford-oval/wikipedia huggingface dataset:
津軽丸 (2代)
その他

津軽丸の錨とされるものは、1つは青森市のみちのく北方漁船博物館（以前は中三デパート前）、もう1つは函館市青函連絡船記念館摩周丸に程近い旧函館桟橋の一角に展示されている（以前は函館駅の駅舎正面に保存されていた）が、北朝鮮への売却前にとりはずされた本物であるという説と、各船の予備の錨を津軽丸の錨として展示したとの説があり、本物であるかどうかは定かではない。
青森第2岸壁から見た入港する津軽丸。右舷後進をかけて減速し、右舷船尾を補助汽船に押させている。この後、バウスラスターで右推力を出してその場回頭し、後進して右方の第1岸壁に着岸する。右舷の防舷材は船尾側に少しあるだけ。航海甲板後部右舷のジブクレーンは1975年4月の支援艇1隻追加時に設置された。（1976年4月30日154便）　記事冒頭の津軽丸の写真は1980年8月3日撮影、煙突の色が変わっている。
青森第1岸壁を出航した津軽丸。船尾扉は半開状態で、船内軌道が船尾扉敷居部分を越える個所では軌道が跳ね上げられている。車両甲板後端段差部分に貨車海中投棄装置の水中傘が収納されているのが見える。左舷の防舷材は船首近くまである。左舷船楼甲板中央に二つ並ぶ普通乗船口より後方では甲板室が船体より張り出しているが、これは甲板室が船体最大幅17.9mの両舷平行区間を後方まで維持したのに対し、その下の船体部分が後方に行くほど狭まったためである。（1976年4月30日23便）
「あと5両」の電光表示が可動橋門構え上に確認できる。函館第1岸壁、連絡船は十和田丸（2代）
津軽丸1973年7月27日16便（函館2岸19時25分　青森1岸23時15分）総括制御室　推進機関操作盤、後ろ向き設置のため、左右が逆になっている。左翼左から右舷主機1号機～4号機の計器、右翼左から左舷主機1号機～4号機の計器で、右舷2号機と左舷3号機が休止中、上側が各主機の負荷計で、これは各主機の燃料管制軸の偏位量（アクセルの踏み込み具合）を示していた。右舷稼働機の負荷は60％代後半、左舷稼働機は70％前後。下側が各主機の回転数計で、稼働機は何れも750回転。手前卓上は各主機の遠隔操作スイッチ。中央部は上段がプロペラ翼角と舵角で、右舷翼角23度、左舷翼角24度で、舵は2度ほど左へ切られている。中段が主軸馬力計で、右舷3,200馬力、左舷3,400馬力で、中央の時計は22時18分、下段は両舷主軸回転数計で、ともに217.5回転、中央の速力計は18.0ノット、手前卓上のエンジンテレグラフ受信機はRING UPが点灯中。定時では大島22時19分、湯の島22時43分で、湯の島まではこのまま18ノット、湯の島でエンジンテレグラフ受信機はSTAND BYになり、青森入港態勢となる。
津軽丸　総括制御室　発電機操作盤　上の写真の左側にこの発電機操作盤がつながっている。左上が主軸駆動発電機電流計でゼロアンペアを指していて、その下の電圧計は445Vを指している。電圧計の右が周波数計で60サイクルを指している。その上は補助発電機電流計で、こちらもゼロアンペアを指している。下の二つのメーターは主軸駆動発電機と補助発電機共用切換え式で、この時は主軸駆動発電機の電圧と周波数を表示中。主軸駆動発電機は右舷主軸回転中は常に発電はしているが、この時は高速航行中でバウスラスターは運転されておらず、発電された電気は全く使用されていないため電流はゼロとなる。ただ端子間には60Hzの三相交流445Vの電圧がかかっている。このため、主発電機故障時には、自動的にこの主軸駆動発電機に切り替わり、主要推進補機の運転が継続された。その右側が3台の主発電機の電力計（上）と周波数計（下）で右端（上）が母線電圧計、その下が主発電機並列運転同期投入時に用いる同期検定器で、母線と新規投入発電機の周波数と位相のずれを指針の回転方向と回転速度とその位置で示し、周波数が近付くと指針はゆっくり回り、真上に来る直前に投入することで手動同期投入ができた。写真は同期投入操作中ではないため、同期検定器は機能しておらず、この指針表示に意味はない。本来全自動で同期投入可能な津軽丸型には同期検定器は不要で、津軽丸も新造時には設置されておらず、津軽丸型他船でも設置はなかった。津軽丸では就航後に全自動同期投入システムの動作過程の前半にあたる自動揃速装置が使えなくなったため、新規運転発電機始動時は周波数を母線周波数に近付けるため、この写真では視野外となる発電機操作盤前面下部のガバナースイッチから発電機原動機のガバナーを遠隔手動で操作して回転数を上げ、周波数を同期検定器の針がゆっくり時計回りする位まで上げる。母線周波数の急変動を防ぐため自動発停負荷を切り、同期検定器の針が7時位置に来たところでスイッチを投入にすると、12時位置で自動投入、という「半自動同期投入」が行われていた。このときは真夏の多客時（1973年7月27日）で冷房運転中のため2台並列運転中であった。
津軽丸操舵室　手前から第2レーダー指示器、この時期既に使用されていなかった船位自動測定装置（SPレーダー）、通信制御盤、操舵スタンド、プロペラ制御盤、前方の航海士がのぞいているのが第1レーダー指示器、左舷端がプロペラ補助操縦スタンドで、この時期まだこの補助スタンド上の推進用可変ピッチプロペラ（CPP）操縦補助レバーは残されていたが、CPP主レバーとの機械的連結は既に解消されており、補助レバーによるCPP翼角操縦はできなかった。このため高速航行中にもかかわらず、手前のプロペラ制御盤上のCPP主レバーは前傾しているのに対し補助レバーは中立位置であった。また手前のプロペラ制御盤も既に新造時の形ではなく、丸型CPP翼角計と、小型で微動調整可能なCPP主レバー装備の改造型になっていた。バウスラスター（BT）翼角操縦レバーは主・補助とも新造時の形で、これが終航まで維持された。補助スタンド前面窓上には、新造時には無かった両舷CPPの実際翼角計も装備されていた。舵輪ハンドルのちょうど向うに見える、やや前傾した箱型の計器が「国鉄型船舶主軸推力計」の指示器で、これも使用されていなかった。津軽丸のみ操舵室床部分にシヤーが付き、操舵室の床が前上がりで、さらにその床には各船共通の20cmのキャンバーが付き、前壁は7度前傾し、そこへ連続する前面窓の各窓の中心を床面から同一高さにそろえたうえ、全て中央の窓と平行に配置したため、写真のように側方へ行くほど窓が段違いに下がる形になってしまった。1973年7月27日撮影
徳公 (秦)

| 徳公 |
| --- | --- |
 秦
 第6代公
王朝:  秦
在位期間:  前677年 - 前676年
都城:  雍城
諡号:  徳公
生年:  前710年
没年:  前676年
父:  寧公
陵墓:  陽
子:  宣公・成公・穆公
徳公（とくこう、紀元前710年 - 紀元前676年）は、秦の第6代公。寧公の次子。
生涯

憲公6年（前710年）、寧公の次子として生まれる。
武公20年（前678年）、同母兄の武公が死去したため、徳公が秦公となった。このとき33歳であった。
徳公元年（前677年）、雍城の大鄭宮に住み始め、犠牲300牢を供えて鄜畤（ふじ）を祠った。この年、梁伯・芮伯が来朝した。
徳公2年（前676年）、初めて伏の節を行い、狗（いぬ）を殺して蠱（こ：悪い気）をふせいだ。この年に死去し、長子の宣公が立って秦君となった。
子

宣公
成公
穆公
参考資料

『史記』（秦本紀第五）
| 表 話  歴秦の公（前677年 - 前676年） |
| --- | --- |
君:  非子 前900-前858  秦侯 前857-前848  公伯 前847-前845  秦仲 前844-前822  荘公 前821-前778 
公:  襄公 前777-前766  文公 前765-前716  憲公 前715-前704  出子 前703-前698  武公 前697-前678  徳公 前677-前676  宣公 前675-前664  成公 前663-前660  穆公 前659-前621  康公 前620-前609  共公 前608-前604  桓公 前603-前577  景公 前576-前537  哀公 前536-前501  恵公 前500-前491  悼公 前490-前477  厲共公 前476-前443  躁公 前442-前429  懐公 前428-前425  霊公 前424-前415  簡公 前414-前400  恵公 前399-前387  出公 前386-前385  献公 前384-前362  孝公 前361-前338 
王:  恵文王 前337-前311  武王 前310-前307  昭襄王 前306-前251  孝文王 前250  荘襄王 前249-前247  政王 前246-前221 
皇帝:  始皇帝 前221-前210  二世皇帝 前209-前207 
王:  子嬰 前207 
  カテゴリ
メアリー・マーラ

| メアリー・マーラ |
| --- | --- |
 
生誕:  1960年9月21日  シラキュース 
死没:  2022年6月26日  （61歳） Cape Vincent 
出身校:  サンフランシスコ州立大学 Corcoran High School 
職業:  ミュージカル俳優, 映画俳優 

メアリー・T・マーラ（英語: Mary T. Mara、1960年9月21日 - 2022年6月26日）は、アメリカ合衆国の俳優。
『刑事ナッシュ・ブリッジス』のブリン・カーソン役や、『ER緊急救命室』、『ロー&オーダー』、『ミスター・サタデー・ナイト』への出演で知られる。
生涯

サンフランシスコ州立大学卒。セントローレンス川で遊泳中に溺死し、61歳で死去した。
矢神村

| やがみそん 矢神村 |
| --- | --- |
廃止日:  1955年4月1日
廃止理由:  新設合併 矢神村、野馳村 → 哲西町
現在の自治体:  新見市
廃止時点のデータ
国:   日本
地方:  中国地方（山陽地方）
都道府県:  岡山県
郡:  阿哲郡
市町村コード:  なし（導入前に廃止）
矢神村役場
所在地:  岡山県阿哲郡矢神村
座標:  北緯34度55分58秒 東経133度19分53秒﻿ / ﻿北緯34.93275度 東経133.33147度﻿ / 34.93275; 133.33147座標: 北緯34度55分58秒 東経133度19分53秒﻿ / ﻿北緯34.93275度 東経133.33147度﻿ / 34.93275; 133.33147
ウィキプロジェクト
テンプレートを表示
矢神村（やがみそん）は、岡山県阿哲郡にあった村である。旧矢田村と旧上神代村が合併して、矢田の「矢」と上神代の「神」とを合わせて矢神村となった。
歴史

昭和の大合併の際に野馳村と合併して哲西町になった。阿哲郡は阿賀郡と哲多郡が一緒になったもので、その哲多の西部に位置するところから、哲西の名称となった。この時から中学校が哲西中学校に統一され、矢神小学校と野馳小学校の2小学校1中学校制となった。
矢神村は旧備中松山藩、野馳村はかつて幕府の直轄地としての歴史を持つ。上神代村とかつて一緒だった下神代村は同じく昭和の大合併の際に、北部の新郷（にいざと）村と合併し、「神」と「郷」を合わせて神郷（しんごう）町と名付けられた。そののち平成の大合併により、新見市と旧阿哲郡の哲西町、神郷町、哲多町、大佐町が新・新見市となった。これにより阿哲郡は消滅した。初代の市長は旧新見市長の石垣正夫である（2016年11月死去）。その後任には矢田の元市議会議長池田一二三が就任した。
1889年（明治22年）6月1日 - 町村制施行により、哲多郡上神代村と矢田村が合併して矢神村発足。
1900年（明治23年）4月1日 - 郡制の施行により、哲多郡と阿賀郡の一部が阿哲郡となり、当村は阿哲郡の所属となる。
1955年（昭和30年）4月1日 - 野馳村と合併して哲西町が発足。同時に矢神村が廃止される。
名所・名産品

名所旧跡として、矢田の石仏、牛若丸と同道したことで歴史に名が残る金売り吉次の生家跡、矢神駅構内にあって県内でも3本しかないと言われる緑色の花が咲く「御衣黄」、羽場左馬之介頼房が城主であった武坂城跡（月見城）などがある。
名産品としては哲西栗がある。この栗の普及に貢献した羽場鶴三（羽場左馬之介頼房の子孫）が最後の村長である。鶴三は中国栗を日本栗との接ぎ木により栽培に成功し、この地域に広めた。その栗を使った焼酎は、「鶴ぞう」という名前で、地元の三光正宗で製造販売されている。
今浪そな

今浪 そな（いまなみ そな、  1995年12月30日 - ）は、日本のAV女優。ロータスグループ所属。
略歴・人物

神奈川県出身。2015年9月にデビューした華奢で貧乳のロリ系AV女優。
出演作品 > アダルトDVD

神奈川県某有名私立高校卒業生 サッカー部マネージャー AVデビュー 「貧乳って言葉嫌い!小さくても貧しくないもん(>人<;)」（9月11日、FIRST STAR）
小さな胸に劣等感を抱えた可愛い貧乳女子ナンパ（10月10日、ホットエンターテイメント）※「ゆみ」名義　他出演:さとみ、なつみ、ゆま、ゆみ、ちさと、えみか
ロリータ×メス犬×いいなり 貧乳従順ペットちゃんに人生初生中出しして首輪をつけたまま調教しイカせ続けた記録 そな（10月23日、FIRST STAR）
つるぺた娘と近所のおじさんのいけない遊び そなちゃん（11月22日、思春期.com）
連れ子のそなちゃん（12月25日、禁断の果実）
女体観察研究所 〜十人十色の敏感娘たち（1月8日、ホットエンターテイメント）他出演:希咲あや、芦川芽依、HIKARI、茜むぎこ、並木せつな、今井キキ、上杉さち、大見はるか、西口あられ
小さい胸に悩む女性をバストアップと称して乳揉みまくり!!女性ホルモンを刺激しSEXまで持ち込む極悪指圧師にスクープ!!その手口を完全公開!!（2月6日、SCOOP）他出演:大見はるか、葉山めい、紺野ひかる、あおいれな、跡美しゅり
深夜の飲み会帰り酔っぱらい女子をナンパ! 2次会は僕らと盛り上がりませんか!? 4（3月19日、DOC）※「あつこ」名義　共演:めぐ　他出演:ななこ、なつみ、ゆい、みか、じゅん、なお、あい、えみ
Wパイパン超微乳ソープランド（4月1日、MOODYZ）共演:水沢はな
こんな店があってもいいのか!?JKが放課後に集まる! おち●ちん鑑賞カフェ!!（4月1日、MOODYZ）他出演:あおいれな ほか
「お兄ちゃん、早く抜いて!!」 いつものオナニーじゃ満足できず身近なモノでオナニーしたら、想像以上に気持ちよくズッポリ奥まで挿って取れなくなってしまった。恥ずかしながら兄に手伝ってもらうが緊張のせいか抜けない…2人で考えた結果、私を感じさせてマ○コをグチョグチョに濡らして抜くことに!のはずが、私の興奮する事ばかりヤッてもらっていると…（4月1日、DOC）他出演:江奈るり、鳥井真央
お風呂に入ってたら、遊びに来てた従姉妹と妹が「私も一緒に入る!」とやって来て、バスタブはおっぱいとマ○コで超過密、密着チ○コで超気持ちいいから勃起した。（4月21日、SWITCH）共演:あおいれな、阿部乃みく、浜崎真緒
プールに通う夏休み中の少女にいたずら（7月1日、帝都裏映像）他出演:宮崎夏帆 ほか
黒人レイパー少女野外レイプ（7月22日、I.B.WORKS）他出演:初芽里奈 ほか
日焼け跡の残る姪っ子近親相姦（9月23日、TMA）共演:宮沢ゆかり
出演作品 > イメージDVD

Pure Rabbit（2015年8月23日、INTEC Inc）※「柏木遥妃」名義
白老駅

| 白老駅 |
| --- | --- |
 駅舎と自由通路（2020年6月）
  しらおい  Shiraoi  （ウポポイ 民族共生象徴空間前）
 ◄H24 萩野 (5.8 km) (5.5 km) 社台 H22►
 ja
所在地:  北海道白老郡白老町東町一丁目北緯42度33分16.95秒 東経141度21分36.45秒﻿ / ﻿北緯42.5547083度 東経141.3601250度﻿ / 42.5547083; 141.3601250座標: 北緯42度33分16.95秒 東経141度21分36.45秒﻿ / ﻿北緯42.5547083度 東経141.3601250度﻿ / 42.5547083; 141.3601250
駅番号:  ○H23
所属事業者:  北海道旅客鉄道（JR北海道）
所属路線:  ■室蘭本線
キロ程:  113.6 km（長万部起点）
電報略号:  シラ
駅構造:  地上駅
ホーム:  2面3線
乗車人員 -統計年度-:  611人/日（降車客含まず） -2022年-
開業年月日:  1892年（明治25年）8月1日
備考:  業務委託駅 みどりの窓口 有 話せる券売機設置駅
テンプレートを表示
自由通路（南口）（2020年6月）
自由通路（北口）（2020年6月）
白老駅（しらおいえき）は、北海道白老郡白老町末広町2丁目にある、北海道旅客鉄道（JR北海道）室蘭本線の駅である。駅番号はH23、電報略号はシラ、事務管理コードは▲130321。副駅名称は「ウポポイ 民族共生象徴空間前」。
特急「北斗」の一部と「すずらん」全列車の停車駅である。また、当駅から沼ノ端駅までの28.7 kmは日本国内で最も長い鉄道の直線区間になっている。
歴史

1892年（明治25年）8月1日：北海道炭礦鉄道の駅として開業。一般駅。機関庫設置。
1906年（明治39年）
1月25日：白老機関庫廃止。
10月1日：北海道炭礦鉄道の鉄道路線国有化により、官設鉄道に移管。
1917年（大正5年）頃：駅裏から白老川まで砂利岐線敷設。
1934年（昭和9年）12月：駅舎改築。
1969年（昭和44年）11月：跨線橋設置。
1982年（昭和57年）11月15日：貨物取扱い廃止。
1984年（昭和59年）
2月1日：荷物取扱い廃止。
4月1日：業務委託駅化。
1987年（昭和62年）
4月1日：国鉄分割民営化により、北海道旅客鉄道（JR北海道）に継承。
9月1日：駅舎改築。
2003年（平成15年）4月28日：売店営業開始。
2008年（平成20年）：売店リニューアル。
2020年（令和2年）
3月14日：副駅名称が「ウポポイ 民族共生象徴空間前」となる。同日のダイヤ改正により、下り10本・上り9本の特急「北斗」が停車するようになる。また、乗換跨線橋の新設、上りホームの嵩上げ、駅前広場、自由通路の供用開始。駅舎をリニューアル。
4月1日：白老町が駅舎内に観光案内ブースを開設。
改修前の駅舎（2017年9月）
閉鎖された旧跨線橋（2020年6月）
旧跨線橋（2017年9月）
駅構造

混合ホーム2面3線の地上駅。上り貨物列車専用の待避線が1番のりばと2番のりばの間に1本ある。3番のりばは下り列車のみ待避が可能である。跨線橋上に自由通路への出入りができる臨時改札が設けられている。駅舎は白老町の所有であり、北海道ジェイ・アール・サービスネットが駅業務を受託する業務委託駅である。みどりの窓口と話せる券売機が設置されている。改札内にはエレベーターが設置されている。
駅構造 > のりば

（出典：JR北海道:駅の情報検索）
待避列車は3番線から発車する。
改札口（2020年6月）
ホーム（2020年6月）
跨線橋（2020年6月）
自由通路内（2020年6月）
臨時改札、ウポポイの副駅名表示もある（2020年11月）
利用状況

JR北海道によると、ウポポイ（民族共生象徴空間）開業後の2020年（令和2年）7月から翌2021年（令和3年）6月までの乗降人員の推移は以下のとおりである。なお、いずれの月も新型コロナウイルス感染症（COVID-19）の影響を受けた結果となっている。
2020年（令和2年）9 - 10月と翌2021年（令和3年）4月・7月には、修学旅行団体（計9校279人）の利用が生じている。
| 年月 | 年月 | 開業前 （単位：人） | 開業後 （単位：人） | 増減率 | 出典 |
| --- | --- | --- | --- | --- | --- |
| 2020年（令和02年） | 07月 | 1,100 | 1,300 | 117% |  |
| 2020年（令和02年） | 08月 | 1,000 | 1,300 | 122% |  |
| 2020年（令和02年） | 09月 | 1,200 | 1,400 | 117% |  |
| 2020年（令和02年） | 10月 | 1,100 | 1,300 | 122% |  |
| 2020年（令和02年） | 11月 | 1,100 | 1,100 | 99% |  |
| 2020年（令和02年） | 12月 | 1,100 | 1,000 | 97% |  |
| 2021年（令和03年） | 01月 | 1,000 | 900 | 89% |  |
| 2021年（令和03年） | 02月 | 900 | 900 | 98% |  |
| 2021年（令和03年） | 03月 | 500 | 900 | 174% |  |
| 2021年（令和03年） | 04月 | 600 | 1,000 | 177% |  |
| 2021年（令和03年） | 05月 | 500 | 900 | 203% |  |
| 2021年（令和03年） | 06月 | 1,000 | 1,100 | 105% |  |
「白老町統計書」によると、2022年度（令和4年度）の1日平均乗車人員は611人である。2003年度（平成15年度）以降の1日平均乗車人員の推移は以下のとおりである。
| 年度 | 1日平均 乗車人員 | 出典 |
| --- | --- | --- |
| 2003年（平成15年） | 550 |  |
| 2004年（平成16年） | 550 |  |
| 2005年（平成17年） | 510 |  |
| 2006年（平成18年） | 490 |  |
| 2007年（平成19年） | 480 |  |
| 2008年（平成20年） | 520 |  |
| 2009年（平成21年） | 530 |  |
| 2010年（平成22年） | 550 |  |
| 2011年（平成23年） | 590 |  |
| 2012年（平成24年） | 625 |  |
| 2013年（平成25年） | 653 |  |
| 2014年（平成26年） | 631 |  |
| 2015年（平成27年） | 744 |  |
| 2016年（平成28年） | 731 |  |
| 2017年（平成29年） | 713 |  |
| 2018年（平成30年） | 674 |  |
| 2019年（令和元年） | 663 |  |
| 2020年（令和02年） | 589 |  |
| 2021年（令和03年） | 570 |  |
| 2022年（令和04年） | 611 |  |
駅周辺

白老町中心部にある駅であり、ウポポイ（民族共生象徴空間）や仙台藩白老元陣屋資料館（白老仙台藩陣屋跡）、白老町役場や白老町立国民健康保険病院、北海道白老東高等学校や北海道栄高等学校への最寄駅となっている。駅南口には道南バス「白老駅前」停留所がある。また、駅南口から国道36号（白老バイパス）までは北海道道388号白老停車場線が通っている。白老駅北観光商業ゾーン（ポロトミンタラ）には、北海道での運行を最後に姿を消した蒸気機関車（SL）「D51-333」（愛称：SLポロト号）を展示している（10月半ばから4月半ばの冬期はシートで覆われる）。
北口
白老駅北観光インフォメーションセンター
南口
しらおい経済センター
苫小牧信用金庫白老支店
室蘭信用金庫白老支店
北海道銀行白老支店
白老郵便局
白老駅北観光インフォメーションセンター（2020年11月）
D51-333（愛称：SLポロト号）（2012年7月）
その他

ウポポイの開業に合わせ白老駅に停車する特急列車の車内放送では、「ウアイヌコロコタン ウポポイ オルンパイエ クル アナシ シラヲイオッタ ラプ ヤン」（民族共生象徴空間ウポポイへおいでのお客様は白老でお降りください）というアイヌ語によるアナウンスが流れる。
隣の駅

特急「北斗」停車駅（一部列車を除く）
特急「すずらん」停車駅
1976年の白老駅と周囲約750m範囲。左下が東室蘭方面。駅裏室蘭側の斜めの多数の側線は、白老川へ向かっていた砂利線の撤去残りと陸上自衛隊白老弾薬支処専用線。また、駅裏正面の貨物積卸場は木工場に接しており、まだ利用されている。国土交通省 国土地理院 地図・空中写真閲覧サービスの空中写真を基に作成
テリー・エティム

| 基本情報 |
| --- | --- |
本名:  テレンス・リー・エティム (Terence Lee Etim)
国籍:   イギリス
生年月日:   (1986-11-01) 1986年11月1日（37歳）
出身地:   イングランド リヴァプール
所属:  チーム・カオボン/RFT
身長:  185cm
体重:  70kg
リーチ:  190cm
階級:  ライト級
バックボーン:  ムエタイ、ブラジリアン柔術
テンプレートを表示
テリー・エティム（Terry Etim、1986年11月1日 - ）は、イギリスの男性総合格闘家。イングランド・リヴァプール出身。チーム・カオボン/RFT所属。テリー・エティンとも表記される。
来歴

2006年3月18日、WCFCでのディエゴ・ゴンザレス戦では、元プロボクサーのマイク・タイソンがレフェリーを務めた。
来歴 > UFC

2007年4月21日、UFC初参戦となった地元イギリスで5年振りに開催されたUFC 70でマット・グライスにフロントチョークで一本勝ちを収め、サブミッション・オブ・ザ・ナイトを受賞した。9月8日、UFC 75でグレイゾン・チバウに判定負けを喫し、プロ総合格闘技初敗戦を喫した。
2008年5月24日、UFC 84でリッチ・クレメンティに判定負け。10月18日、UFC 89でサム・スタウトに判定勝ち。
2009年2月21日、UFC 95においてブライアン・コッブと対戦、2ラウンド開始早々にハイキックでダウンを奪い、TKO勝利を収める。6月13日、ドイツで行われたUFC 99に出場しジャスティン・バックホルツに一本勝ちを収め、2度目のサブミッション・オブ・ザ・ナイトを受賞した。11月14日、UFC 105でシャノン・グジャーティにギロチンチョークで一本勝ち。3度目のサブミッション・オブ・ザ・ナイトを受賞した。
2010年4月10日、アブダビで開催されたUFC 112でハファエル・ドス・アンジョスと対戦し、2R終了間際に腕ひしぎ十字固めで自身初の一本負けを喫した。
2012年1月14日、ブラジルで開催されたUFC 142でエジソン・バルボーザと対戦し、右バックスピンキックで敗れ、自身初のKO負けを喫した 。ファイト・オブ・ザ・ナイトを受賞した。
2013年2月16日、UFC on Fuel TV 7でレニー・フォートと対戦し、0-3の判定負け。2連敗となりUFCからリリースされた。
来歴 > Bellator

2013年11月22日、Bellator MMA初参戦となったBellator 109でパトリック・セノブルと対戦し、3-0の判定勝ちを収めた。
戦績

| 総合格闘技 戦績 |
| --- | --- | --- | --- | --- | --- | --- |
| 21 試合 | (T)KO | 一本 | 判定 | その他 | 引き分け | 無効試合 |
| 16 勝 | 2 | 12 | 2 | 0 | 0 | 0 |
| 5 敗 | 1 | 1 | 3 | 0 | 0 | 0 |
| 0 | 1 | 2 | 3 | 4 |
| --- | --- | --- | --- | --- |
| 勝敗 | 対戦相手 | 試合結果 | 大会名 | 開催年月日 |
| ○ | パトリック・セノブル | 5分3R終了 判定3-0 | Bellator 109 | 2013年11月22日 |
| × | レニー・フォート | 5分3R終了 判定0-3 | UFC on Fuel TV 7: Barao vs. McDonald | 2013年2月16日 |
| × | エジソン・バルボーザ | 3R 2:02 KO（右バックスピンキック） | UFC 142: Aldo vs. Mendes | 2012年1月14日 |
| ○ | エドワード・ファーロロット | 1R 0:17 ギロチンチョーク | UFC 138: Leben vs. Munoz | 2011年11月5日 |
| × | ハファエル・ドス・アンジョス | 2R 4:40 腕ひしぎ十字固め | UFC 112: Invincible | 2010年4月10日 |
| ○ | シャノン・グジャーティ | 2R 1:24 ギロチンチョーク | UFC 105: Couture vs. Vera | 2009年11月14日 |
| ○ | ジャスティン・バックホルツ | 2R 2:38 アナコンダチョーク | UFC 99: The Comeback | 2009年6月13日 |
| ○ | ブライアン・コッブ | 2R 0:10 TKO（左ハイキック→パウンド） | UFC 95: Sanchez vs. Stevenson | 2009年2月21日 |
| ○ | サム・スタウト | 5分3R終了 判定3-0 | UFC 89: Bisping vs. Leben | 2008年10月18日 |
| × | リッチ・クレメンティ | 5分3R終了 判定0-3 | UFC 84: Ill Will | 2008年5月24日 |
| × | グレイゾン・チバウ | 5分3R終了 判定0-3 | UFC 75: Champion vs. Champion | 2007年9月8日 |
| ○ | マット・グライス | 1R 4:38 ギロチンチョーク | UFC 70: Nations Collide | 2007年4月21日 |
| ○ | サミ・ベリック | 2R 1:24 腕ひしぎ十字固め | Cage Gladiators 3 | 2007年12月3日 |
| ○ | エドガース・ポドニース | 1R 0:46 チョークスリーパー | Road to Tokyo | 2006年10月15日 |
| ○ | グレッグ・ローラン | 2R 2:50 チョークスリーパー | Cage Gladiators 2: The Next Generation | 2006年9月3日 |
| ○ | ダニー・ヴァン・ベルゲン | 1R 0:50 腕ひしぎ十字固め | Cage Gladiators 1 | 2006年5月22日 |
| ○ | ディエゴ・ゴンザレス | 1R 0:59 三角絞め | WCFC: No Guts No Glory | 2006年3月18日 |
| ○ | キャマル・ネイサー | 1R 三角絞め | Cage Fighting Championships 6: Cage Carnage | 2005年12月4日 |
| ○ | アーロン・ブラックウェル | 1R 0:58 ギロチンチョーク | Cage Fighting Championships 5: Cage Carnage | 2005年9月4日 |
| ○ | ニール・バーバー | 2R 1:55 KO（ハイキック） | Cage Fighting Championships 4: Cage Carnage | 2005年7月3日 |
| ○ | クリス・リヴァートン | 1R 三角絞め | Ultimate Ring Fighting | 2005年5月12日 |
表彰

UFC ファイト・オブ・ザ・ナイト（1回）
UFC サブミッション・オブ・ザ・ナイト（4回）
UFC サブミッション・オブ・ザ・イヤー（2009年）
立体文字

| --- | --- |
: この項目では、三次元形式の文字について説明しています。立体活字については「立体活字」、「ローマン体」をご覧ください。
立体文字（りったいもじ）は、文字が手前側に飛び出たようにする文字の書式である。
概要

立体文字とは、主に文書のタイトルに用いられる書式であり、ワープロソフトなどが標準で機能を有している。
アウトラインの白抜き文字の右下側に黒でずらしたような表現がされることが多い。
看板などで文字部分だけを立体的に突出したようなものも立体文字といわれる。
立体文字クイズ

立体文字を使用したクイズがクイズ番組などで用いられたことがある。
テレビ番組で行われたケースが初出であり、マジカル頭脳パワー!!で行われたのは、立体文字を接近した状態から全体への移動を通して早押し形式で行うクイズである。また、回転などをさせておこなうこともある。
オンラインゲームでも行われるようになり、クイズマジックアカデミーでは立体文字が回転したりする形式が使用されていたこともあった。
立体文字を使用したフィクション

Dr.スランプでは、文字を口から吐き出す「んちゃ砲」があった。
ドラえもんでは、コエカタマリンという飲むと声が立体文字になって吐き出される道具が出てきた。
ギャートルズでは石の立体文字が出てくる。
立体文字を使用したゲーム

ワギャンランドでは、恐竜が口から「ワー」などの立体文字を吐き出すことで攻撃を行うゲームである。
移流

移流（いりゅう、英: advection）とは、温度や物質濃度などにばらつきがある空間のある地点において、空間内の物質の移動によって温度や物質濃度の変化が起こる（物理量が空間内で運ばれる）こと。物理学のうち特に流体力学に関係が深い。上記の空間を基点とした考え方はオイラー的な考え方とされ、逆に物質を基点としたラグランジュ的な考え方が以下のように述べられる（連続体力学#連続体の記述方法を参照）。
例として、ある地点の上空に冷たい空気があって、その西に暖かい空気があるとする。ここで、西風によって暖かい空気が運ばれることを移流といい、その地点では気温の上昇が観測される（オイラー記述）。暖かい空気が西側、冷たい空気が東側に存在し、西風によって冷たい空気はある地点から東側へ、暖かい空気は東側のある地点へ移動する（ラグランジュ記述）。
移流方程式

移流を表す偏微分方程式を移流方程式という。物理量 ψ(t, x) が、速度 c で移流することを表す移流方程式は
と表される。ここで、∇は空間微分を表す。
1次元の場合、移流方程式は
となる。
この方程式は解析的に解くことができて、任意の関数 f を用いて
と表される。
慕容倭奴

慕容 倭奴（ぼよう わど、生没年不詳）は、五胡十六国時代の後燕の人物。昌黎郡棘城県の出身。後燕の皇帝慕容垂の子。
生涯

後燕に仕え、魯陽王に封じられていた。
395年11月、皇太子慕容宝は北魏討伐に向かい、慕容倭奴も従軍していた。参合陂で北魏軍の奇襲を受け、後燕軍は壊滅、宗室の桂林王慕容道成・済陰公慕容尹国・北地王慕容精の世子の慕容鍾葵・安定王の世子の慕容羊児らと文武諸官数千人とともに捕らわれた。
これ以後の事績は、史書に記されていない。
慕容兆

慕容 兆（ぼよう ちょう、生没年不詳）は、吐谷渾の首長。
生涯

慕容曦光と太原郡夫人武氏のあいだの子として生まれた。唐の右金吾衛・沁州安楽府果毅都尉となった。738年、慕容曦光が死去すると、慕容兆が後を嗣いだ。739年に叔父の慕容曦輪が烏地野抜勤豆可汗・安楽州都督となっており、この年に慕容兆は死去したとみなす見解も存在する。なお両唐書の慕容兆の条はそれ以後の記述の記述がみられる。吐谷渾の安置されていた安楽州が吐蕃に奪われ、吐谷渾の部衆は東遷して朔方郡と河東郡の境に散在した。これは至徳年間後のこととされる。
参考資料

『旧唐書』西戎伝
『新唐書』西域伝上
大唐故武氏墓誌之銘（慕容曦光妻太原郡夫人武氏墓誌）
唐故中郎将開国伯慕容府君墓誌銘并序（慕容曦輪墓誌）
| 0 | 1 | 2 |
| --- | --- | --- |
| 先代慕容曦光 | 吐谷渾の首長第23代?：738年 - 739年? | 次代慕容曦輪 |
並行論理プログラミング

並行論理プログラミング（へいこうろんり－、英: Concurrent Logic Programming）は、論理プログラミングにおける並列性及び論理プログラミングによる並行処理の記述の研究から生まれた、並行プログラミングのためのパラダイムである。論理プログラミングでは述語論理式をゴール(Goal)の書き換え規則と見なし、ゴールの書き換えによって処理を行う。それに対し、並行論理プログラミングでは各ゴールをプロセスと見なして並行に書き換えを行い、ゴール間で共有する論理変数を通信チャネルとして情報交換や同期を行う。
概要

通常、並行論理プログラミングではホーン節にガードを導入した以下のような形式でプログラムを記述する。
Head :- Guard | Body.
このガード付きホーン節は、エドガー・ダイクストラのガード付きコマンドと同様のものである。ゴール書き換えにはヘッドとガードの条件を満たす規則が使用され、この選択は永続的なものとしてコミットされる。条件を満たす規則が複数ある場合はどれか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はそれぞれ原子論理式である。
Head :- G1, ..., Gn| B1, ..., Bm.  (n,m≧0)
宣言的には、"|"、","は共にANDを表し、通常のホーン節と同様の意味を持つ。
ゴールの書き換え規則として見た場合、HeadとG1, ..., Gnは書き換えのための条件、B1, ..., Bmは書き換え後のゴールを表す。書き換えを繰り返すことで、全てのゴールが何もしないゴール"true"まで書き換えられて実行が終了するとすると、この書き換えは簡約化 (reduction) と解釈できる。複数のゴールは並行に書き換えてよく、書き換え規則の適用に十分な情報がなければ書き換えは中断する。また、各ゴールについて書き換え条件のチェックも複数の節で並行に実行してよく、コミット時にただ1つの節が選択される(コミッティッド・チョイス)。
プログラミング > プロセス

論理プログラミングのプロセス的解釈に従うと、ゴールの原子論理式 p(T1, …, Tk)は、プログラムの状態が p/k (kは引数の数)、データの状態が T1, …, Tk であるプロセスと見なすことができる。
プロセスモデルと並行論理プログラミングの計算モデルとの対応は以下のようになる。
| プロセスモデル | 並行論理プログラミングにおける実装 |
| --- | --- |
プロセス: ゴールの原子論理式
プロセスネットワーク: ゴール集合
プロセス動作の指示: ガード付きホーン節
通信チャネル: 共通論理変数
通信: 制約（情報）の追加と観測（共通論理変数の具体化）
同期: 共通論理変数が判断に必要なだけ具体化するのを待つ
停止: True.
プロセス状態の変更: B.
並行したm個のプロセスの生成: B1, ..., Bm.
プログラミング > 論理変数

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(Max,Primes) :- gen(2,Max,Ns), sift(Ns,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プロセスは変数を介して直列につながれていくため、自然数のストリームから素数のみのストリームを求めることができる。
gen(N0,Max,Ns0) :- N0=<Max | Ns0=[N0|Ns1], N1:=N0+1, gen(N1,Max,Ns1).
gen(N0,Max,Ns0) :- N0 >Max | Ns0=[].

sift([Prime|Xs1],Zs0) :- Zs0=[Prime|Zs1], filter(Prime,Xs1,Ys), sift(Ys,Zs1).
sift([],         Zs0) :- Zs0=[].

filter(Prime,[X|Xs1],Ys0) :- X mod Prime=\=0 | Ys0=[X|Ys1], filter(Prime,Xs1,Ys1).
filter(Prime,[X|Xs1],Ys0) :- X mod Prime=:=0 |              filter(Prime,Xs1,Ys0).
filter(_,    [],     Ys0) :-                   Ys0=[].
他のプログラミングパラダイムとの比較 > 手続型プログラミング

手続型プログラミングでは同じ変数が時々刻々とその値を変えていく。論理変数を用いる並行論理プログラミングでは、値は一度決まってしまえばその後変わることはない。時間と共に変化する計算状態が条件判断に影響を与えることはないので、計算順序についての自由度が大きく上がる。また煩雑でバグが発生しやすい共有変数更新時のクリティカルセクションの問題も意識しなくてよくなる。
他のプログラミングパラダイムとの比較 > 関数型プログラミング

時間変化する計算状態を意識する必要がないという点で、並行論理プログラミングは関数型プログラミングによく似ている。計算の背景となる意味論が明確であるという共通点もある。関数型プログラミングとの違いの1つは、並行論理プログラミングの非決定性である。ガード条件を満たす節が複数ある場合、選択は非決定的に行われる。実行時やコンパイル時の自由度が上がり、より効率的な実行ができる可能性がある。関数型プログラムはどんなハードウェア上でも同じ計算をするが、並行論理プログラミングで複数のプロセッサを用いた計算を行う場合、よりプロセッサ間通信が少なくなる節を優先して選ぶなど、最適化の幅が広がる。
他のプログラミングパラダイムとの比較 > 論理型プログラミング

prologなどの論理型プログラミング言語の考え方は、ホーン節を基本にし宣言的な解釈が可能なこと、項(term)という共通のデータ形式を用いること、論理変数を用いることなど、並行論理プログラミングとよく似ている。シンタックスもほぼ同じである。実際、多くの並行論理プログラミング言語のプロトタイプはprolog上で作成された。しかし論理型プログラミング言語が持つデータの流れ(入出力)の方向性の無さ、探索機能など、大きく違った部分も多い。多くの並行論理プログラミング言語は、並行実行の機能を除けば、一般の論理型プログラミング言語より低レベルな言語と言うこともできる。
プログラミング手法

並行論理プログラミングでの基本的なプログラミング手法を以下に示す。並行論理プログラミングの表現力の大きさは、広範囲の並行プログラミングの手法をサポートしていることにある。
ストリーム通信： 生産者、消費者、変換器、頒布者、併合器
未完成メッセージ
有限長バッファ通信
差分リスト
ショートサーキット
黒板モデル
プログラミング手法 > ストリーム通信

論理変数を内部に含むリストを使い、先頭の要素からインクリメンタルに決まるストリームを構成できる。
1つのストリームで、以下のような様々なストリーム通信のパターンが構成できる。
| 構成 | 内容 | 例 |
| --- | --- | --- |
| 1対1 | 生成プロセスと消費プロセスが直接通信。 | producer1(Stream), consumer1(Stream) |
| 1対N | 複数の消費プロセスへのブロードキャスト。 | producer1(Stream), consumer1(Stream), consumer2(Stream) |
| N対1 | ストリームの異なった部分を生成プロセスが具体化。 | producer1(Stream), producer2(Stream), consumer1(Stream) |
| N対M | 上記の組み合わせ。 |  |
ひとつのプロセスは、複数のストリームを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) :- process1(..,Start,Mid2), process2(..,Mid2,Mid3), ..., processN(..,MidN,End).
process(..,Start,End) 実行時にStart の値として'ok'を入れておけば、process1〜processN が全て終了した時にEnd の値が'ok'に具体化され、全体の終了が検出できる。この手法は、複数のプロセスのグループを逐次的に実行したり、全てのプロセスにストリームのデータが行き渡ったかを確認するなど、グローバルな状態の検出と制御に利用できる。
プログラミング手法 > 黒板モデル

多くの独立したプログラムが黒板と呼ばれる共通のデータ領域で情報のやり取りしながら問題を解決していく黒板モデルの考え方は、人工知能の分野で古くから使われてきた。この考え方は並行論理プログラミングでも有効に活用できる。黒板は1つのプロセスとして表現され、内部に情報を保存し、複数の並行プロセスからの要求に応じアトミックに更新する。他の複数のプロセスからの要求はストリームとしてマージプロセスを介して黒板プロセスに送られ、結果は未完成メッセージを用いて送信元のプロセスに返される。情報の読み取り、更新を1つのプロセス内で行うことで、整合性を保った更新を行うことができる。黒板にあたるプロセスはクライアントサーバモデルでのサーバに当たる役割をするため、サーバプロセスと呼ばれることもある。