stanford-oval/wikipedia huggingface dataset:
EN 15227
車両設計への影響

従来、電車や気動車といった鉄道車両の運転台を含む先頭部分は車体部分と同一の構体を用いることを前提に設計されていたが、EN 15227に対応した車両では基準に即したクラッシャブルゾーンの確保を始めとした要因から車体部分とは別の構体を用い、製造過程で結合する形に改められた。更に連結器周辺の構造についても車体の乗り上げを防止する緩衝器（アンチクライマー）の設置が必要となった事から、多くの企業において従来の車両から先頭部の設計が大幅に変更された。以下、その事例を示す。
FLIRT（シュタッドラー・レール）
対応前
（FLIRT）
対応後
（FLIRT 3）
タレント（ボンバルディア・トランスポーテーション→アルストム）
対応前
（タレント）
対応後
（タレント2）
デジロ（シーメンス）
対応前
（デジロ）
対応後
（デジロML）
コラディア（アルストム）
対応前
（コラディア・コンチネンタル）
対応後
（コラディア・コンチネンタル）
参考資料

Günter Löffler (16 July 2008). DIN EN 15227 „Anforderungen für die Kollisionssicherheit von Schienenfahrzeugkästen“ - Empfehlungen für Hersteller und Betreiber (PDF) (Report). Technische Universität Dresden. 2016年1月12日時点のオリジナル (PDF)よりアーカイブ。2024年8月31日閲覧。
High1アイスホッケーチーム

| High1アイスホッケーチーム |
| --- | --- |
原語表記:  하이원 아이스하키단
創設年:  2004年
所属リーグ:  アジアリーグアイスホッケー
本拠地:   大韓民国 江原特別自治道春川市
公式サイト:  [ 公式サイト]
■Template（■ノート ■解説）
| High1> 各種表記 |
| --- | --- |
ハングル：:  하이원 아이스하키단
発音：:  ハイワン
日本語読み：:  はいわん
ローマ字：:  High1 ice Hockey Team
テンプレートを表示
チームマスコット
High1アイスホッケーチームは、かつて韓国に存在した男子アイスホッケーチーム。本拠地は大韓民国江原特別自治道春川市。ホームリンクは、衣岩（ウィアム）アイスリンク。旧称はカンウォンランド（江原-、강원랜드）。アジアリーグアイスホッケーに参加していた。
江原特別自治道において、カジノやリゾート産業の経営をするカンウォンランド（강원랜드）が、チームを運営している。またカンウォンランドはスキーチームも所有している。チーム名のHigh1はカンウォンランドが所有する統合型リゾート（IR）施設などの統一ブランド名。
歴史

2004年9月 - チーム創設（韓国5番目の実業団アイスホッケー部）初年度は韓国リーグへ参加し3位。
2005年 - アジアリーグアイスホッケーに参加。
2007年 - High1アイスホッケーチームに改称。
2008年 - レギュラーリーグ2位と健闘するも王子製紙（現王子イーグルス）に敗れ4位に終わる
2009年 - レギュラーリーグ5位でプレーオフ進出するも日本製紙クレインズに敗れ5位に終わる
2011-12年シーズン、マイケル・スウィフトがリーグトップの44得点、46アシスト、合計90ポイントをあげて最優秀選手に選ばれた。アジアリーグタイ記録となる23試合連続ポイントをあげ、ハットトリックも4回記録した。
2018-2019年シーズンを持って、アジアリーグアイスホッケーから脱退した
その後、韓国内の報道において、チーム自体は韓国内のみの活動で存続をする意向が示された
戦績 > アジアリーグ

順位()内はリーグ参加チーム数。
| 年度 | レギュラーリーグ> 試合 | レギュラーリーグ> 勝利 | レギュラーリーグ> 延長勝 | レギュラーリーグ> GWS勝 | レギュラーリーグ> 引分 | レギュラーリーグ> GWS負 | レギュラーリーグ> 延長負 | レギュラーリーグ> 敗戦 | レギュラーリーグ> 得点 | レギュラーリーグ> 失点 | レギュラーリーグ> 勝点 | レギュラーリーグ> 順位 | プレイオフ |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 2005–06 | 38 | 7 | 2 | -- | 2 | -- | 1 | 26 | 96 | 143 | 28 | 7位(9) | --- |
| 2006–07 | 34 | 18 | 3 | -- | 1 | -- | 1 | 11 | 153 | 110 | 62 | 4位(8) | 準決勝敗退 |
| 2007–08 | 30 | 17 | 2 | -- | 1 | -- | 2 | 8 | 118 | 89 | 58 | 2位(7) | 準決勝敗退 |
| 2008–09 | 36 | 13 | 0 | 1 | -- | 3 | 2 | 17 | 97 | 112 | 46 | 5位(7) | 1回戦敗退 |
| 2009–10 | 36 | 17 | 2 | 0 | -- | 2 | 3 | 12 | 150 | 130 | 60 | 4位(7) | 準決勝敗退 |
| 2010–11 | 36 | 15 | 1 | 1 | -- | 0 | 2 | 17 | 131 | 112 | 51 | 5位(7) | --- |
| 2011–12 | 36 | 16 | 3 | 0 | -- | 1 | 2 | 14 | 150 | 126 | 57 | 5位(7) | --- |
| 2012–13 | 42 | 13 | 2 | 0 | -- | 3 | 2 | 22 | 164 | 140 | 48 | 6位(7) | --- |
| 2013–14 | 42 | 18 | 1 | 1 | -- | 5 | 4 | 13 | 152 | 134 | 67 | 4位(8) | 準決勝敗退 |
| 2014–15 | 48 | 22 | 1 | 1 | -- | 5 | 1 | 18 | 164 | 154 | 76 | 5位(9) | 準決勝敗退 |
| 2015–16 | 48 | 12 | 2 | 0 | -- | 2 | 3 | 29 | 121 | 170 | 45 | 7位(9) | --- |
リュブノ

リュブノ（Ljubno, ドイツ語：Laufen in Steiermark）は、スロベニアの市。
Fwrite

fwriteは、C言語の標準入出力ヘッダー <stdio.h> で宣言されている関数である。
主に、バイナリ形式のファイル出力に使われる。
形式

ISO/IEC 9899:1999 では、以下のように定義されている。
#include <stdio.h>
size_t fwrite(const void * restrict ptr, size_t size, size_t nmemb, FILE * restrict stream);
ISO/IEC 9899:2018 でも同様である。
テキストモード

streamがテキストモードで開かれていた場合、改行コードLFは書き込みの際にCR+LFで置換される処理系もある。詳細は各処理系のリファレンスを参照のこと。
コード例

ユーザーの入力を受け取り、バイナリモードで sample.dat に書き込んだ後、読み込んで表示する。
#include <stdio.h>
#include <string.h>

static void printDoubleAsBigEndianHexBytes(double x) {
    unsigned char buf[sizeof(double)];
    size_t i;
    memcpy(buf, &x, sizeof(double));
    printf("0x");
    for (i = 0; i < sizeof(double); ++i) {
        printf("%02x", buf[i]);
    }
    puts("");
}

int main(void) {
    const char* const fileName = "sample.dat";
    FILE* fp;
    double v;
    size_t len;

    puts("Input a real number:");
    if (scanf("%lf", &v) != 1) {
        fprintf(stderr, "Failed to read a number from stdin.\n");
        return -1;
    }
    printDoubleAsBigEndianHexBytes(v);

    /* ファイルへの書き込み */
    fp = fopen(fileName, "wb");
    if (fp == NULL) {
        fprintf(stderr, "Cannot open \"%s\" in write mode.\n", fileName);
        return -1;
    }
    len = fwrite(&v, sizeof(double), 1, fp); 
    if (len != 1) {
        fclose(fp);
        fprintf(stderr, "Failed to write to \"%s\".\n", fileName);
        return -1;
    }
    fclose(fp);

    /* ファイルからの読み込み */
    fp = fopen(fileName, "rb");
    if (fp == NULL) {
        fprintf(stderr, "Cannot open \"%s\" in read mode.\n", fileName);
        return -1;
    }
    len = fread(&v, sizeof(double), 1, fp);
    if (len != 1) {
        fclose(fp);
        fprintf(stderr, "Failed to read from \"%s\".\n", fileName);
        return -1;
    }
    fclose(fp);
    printf("Read value: %f\n", v);
    printDoubleAsBigEndianHexBytes(v);

    return 0;
}
なお、標準Cの言語仕様では、sizeof(double)の結果は規定されていない。doubleの値がIEEE 754準拠の倍精度浮動小数点数表現であることも規定されておらず、エンディアンも規定されていない。そのため、上記のコードによって生成されたバイナリファイルが、異なるプラットフォームでも同じように読み込めるとは限らない。
Foolhardy

Foolhardy（フールハーディー）は、2008年12月にグラフィックデザイナー、シンガーとして活動する時雨を中心に立ち上げられた日本のアパレルブランド。
名称

Foolhardyというブランドネームは無鉄砲の意。
コンセプト

自然と透明感をブランドコンセプトとし、デザイン、アパレル、音楽と言う3つのツールを機軸にしている。
その他

上記コンセプトの通り、Foolhardyのアパレルラインの他に、デザイナー時雨のソロワークス、楽曲制作プロデュースも行っている。
EVANESCENT

『EVANESCENT』（エヴァネッセント）は、日本のロックユニット、VAMPSの3枚目のシングル。2009年5月13日発売。発売元は主宰レーベル、VAMPROSE。
解説

前作「I GOTTA KICK START NOW」から約2ヶ月ぶりとなるシングルで、1stアルバム『VAMPS』の先行シングルとなっている。
本作の表題曲「EVANESCENT」は、ひと夏の儚さをテーマに制作されたロックバラードナンバーとなっている。作詞・作曲を担当したHYDEは、この曲のイメージについて「踊り狂う感じじゃなくとも、精神的昂揚がある」「（この曲を歌うと）自分の感情が高まるのがわかるの。そういう意味では（HYDE名義で2006年に発表した）「JESUS CHRIST」に似てるのかな」と語っている。また、K.A.Zはこの曲の印象について「（HYDEとは）意外と好きなものや作りたいテイストが凄く近い部分があるんですよね。変な言い方をしたら、VAMPSはその共通部分としてあるとも言える」と述べている。ちなみに、前2作のシングル表題曲にのせられたリリックはほぼすべてが英語詞だったが、今回の表題曲のリリックは全て日本語で書かれている。なお、HYDEは今回日本語詞で書くことにした経緯について「自然にそうなった」と当時述べている。
カップリングには、VAMPSの2人が学生時代に愛聴していたイギリスのシンガーソングライター、デヴィッド・ボウイの楽曲「ライフ・オン・マーズ」のカバー音源が収録されている。
本作は、初回生産盤（CD＋DVD）と通常盤（CD）の2形態でリリースされている。初回盤には表題曲のミュージック・ビデオとメイキング映像を収録したDVDが付属している。
収録曲

| # | タイトル | 作詞 | 作曲 | 編曲 | 時間 |
| --- | --- | --- | --- | --- | --- |
| 1. | 「EVANESCENT」 | HYDE | HYDE | VAMPS | 4:26 |
| 2. | 「Life On Mars?」 | David Bowie | David Bowie | VAMPS | 3:59 |
初回生産盤付属DVD

EVANESCENT
ディレクター：真壁成尚、東市篤憲
EVANESCENT -MAKING-
タイアップ

EVANESCENT
日本テレビ系ドラマ『Dr.HOUSE』シーズン1エンディングテーマ
参加ミュージシャン

HYDE：Vocal
K.A.Z：Guitar, Programming
Chirolyn：Bass
Arimatsu：Drums
収録アルバム

『VAMPS』 (#1)
『SEX BLOOD ROCK N' ROLL』 (#2,再録バージョン)
アントニオ・ザンキ

| アントニオ・ザンキ Antonio Zanchi |
| --- | --- |
 Pietro Antonio Pazziによる肖像画
生誕:  1631年12月6日 エステ
死没:  1722年4月12日 ヴェネツィア
テンプレートを表示
アントニオ・ザンキ（Antonio Zanchi、1631年12月6日 - 1722年4月12日）はイタリアの画家である。
略歴

現在のヴェネト州パドヴァ県のエステに生まれた。
Giacomo Pedrali , Matteo Ponzoneといった画家に学んだ後、ヴェネツィアの画家、フランチェスコ・ルスキ(Francesco Ruschi : 1610-c.1661)に学んだ。
ルカ・ジョルダーノやジョヴァン・バティスタ・ランゲッティの作品から影響を受け、光と闇のコントラストを強調する「テネブリズム(Tenebrism)」や「キアロスクーロ(Chiaroscuro)」と呼ばれる技巧を用いるヴェネツィアの代表的画家になった。1687年にヴェネツィアの画家組合（Fraglia dei Pittori)の会員になった。
宗教や神話をモチーフにして、劇的な印象を与える絵画を描いた。人物画では病人や犯罪者も描いた。
弟子にはフランチェスコ・トレヴィザーニ(Francesco Trevisani:1656-1746)、ピエトロ・ネグリ(Pietro Negri: 1628-1679、アントーニオ・モリナーリ(Antonio Molinari: 1655-1704)がいる。 息子のジュゼッペ・ザンキ(Giuseppe Zanchi)も画家になった。
作品

井戸の奇跡、Scuola Grande dei Carmini(蔵)
マドンナの奇跡、病人の癒し
純粋な愛の寓意画
カ・レッツォーニコ蔵
ホロフェルネスの首を持つユディト
時間の寓意
ヨセフはパン焼き人と献酌人の夢を解き明かす
エジプト人に占星術を教えるアブラハム
アンチノック性

アンチノック性（アンチノックせい、英語: antiknock）とは、エンジンの燃焼室での異常燃焼（ノッキング）、自己着火性の起こし難さ（耐ノック性・耐爆性）。
ガソリンはオクタン価でアンチノック性を表し、数値が高いほどアンチノック性も高い。オクタン価の表示には RON（リサーチオクタン価）と MON（モーターオクタン価）があり、日本では RON が用いられる。
アンチノック剤として、オクタン価を高めるためにガソリンに加える添加剤としては、テトラエチル鉛などのテトラアルキル鉛が代表的であるが、鉛公害の原因となるため、現在はベンゼン、トルエンなどの芳香族炭化水素を使う。アンチノック性の高いハイオクガソリン基材の代表として、アルキレート・リフォーメート等がある。
FidoNet

FidoNet とは、世界的な電子掲示板同士の通信に使われているコンピュータネットワーク。1990年代初め、インターネットへの接続が容易になる前に最も盛んに使われた。現在も存在しているが、草の根BBS自体の減少に伴ってその規模は縮小している。
起源

1984年、カリフォルニア州サンフランシスコの Tom Jennings が非商用ネットワークとして開始したのが起源である。Jennings の開発したソフトウェアを使って複数のBBSの間を結ぶネットワークとして始まった。その後、他のBBS用ソフトウェアも追加されていき、FidoNet としての通信プロトコルが整備され、趣味のコンピュータユーザーの通信手段として人気を集めていった。
FidoNetの構造

FidoNet は階層構造になっており、各階層にコーディネータが配置され、メンバー間の論争解決を行うようになっていた。各コーディネータは担当範囲の個々のノードの管理責任を負う（通常、市単位）。その上位のコーディネータは配下のコーディネータの管理責任を負う（通常、州または小さな国単位）。さらにその上にゾーンコーディネータと呼ばれる管理責任者がいる。全世界を6つのゾーン（北アメリカ、ヨーロッパ、オーストラリア、ラテンアメリカ、アフリカ、アジア）に分割しており、ゾーン・コーディネータのうちの1人が国際コーディネータに選ばれる。
技術

FidoNet は BBS 間のダイヤルアップ接続向けに設計されたため、その目的に沿ってポリシーや構造が決められている。
FidoNet は本来 Netmail の転送機能だけを指す。Netmail は、BBSユーザー間のメッセージのやり取りのためのプロトコル標準である。Netmail メッセージには、送信者の名前、受信者の名前、それぞれをFidoNetでのアドレスが記されている。FidoNet はこれらの情報を元にメッセージがあるユーザーから（別のノードの）ある特定のユーザーだけに送られるように働く。元々が趣味のネットワークであるため、このプライバシー保持は純粋に各ノード管理者の善意に頼ったものであった。ただし、各ノードの管理者は必要に応じて転送すべきメールの内容を調べる権利を有している。
Netmail のメッセージには1つのファイルを貼付することができる。これをファイルの配布やBBSをまたいだゲームのデータ転送に使った。例えば、この機能を使った Echomail という機能がある。これはネットニュースによく似た議論の場を提供する機能である。ある話題に関するBBS内のローカルなメッセージをまとめてZIPなどで圧縮し、Netmailのメッセージに貼付して送るのである。受信した側ではそれを解凍してローカルなBBSの同じ話題の場所に挿入する。Echomail は非常に一般的となり、ある意味で Echomail が FidoNet だったと言っても過言ではない。個人間の Netmail のやり取りはほとんどなされなかった。
なお、技術仕様は FTS-0001 として文書化されている。これには以下のものが定義されている。
ハンドシェイク - メーラーソフトウェアで相手を特定しセッションのメタ情報を交換するためのプロトコル
転送プロトコル（XMODEM） - メールを含むファイルを転送するプロトコル
メッセージ形式 - システム間でやり取りされるメッセージの形式
Echomail についての仕様は別に定義されている。
ノードを構成するソフトウェア

FidoNet では、1つのパッケージに必要な機能を全て盛り込むのではなく、モジュール式の設計がなされている。典型的な方式では、共有ファイル（およびディレクトリ）を使って通信するアプリケーションをいくつか動作させ、シェルスクリプトやバッチファイルでそれらの切り替えを行う。
当初のソフトウェアは最近のシステム上では動作しない。原因は2000年問題などいくつかある。また、オープンソースでなかったために作成者がコミュニティを離れたと同時に保守されなくなったことも多い。いずれにしても、同等機能の新たなソフトウェアが提供されることでFidoNetは機能し続けている。
現状

1990年代中ごろに比較すると FidoNet の利用は激減したが、ロシアなどでは今もよく使われている。インターネット接続に切り換えたBBSでも、FidoNet でのメール配信（netmail および echomail）も続行しているところもある。
FidoNet の echomail 会議はゲートウェイを経由してUSENETのニュースに組み込まれている。FidoNet とインターネット間のメールゲートも存在する。インターネット側からのスパム等によりFidoNetのゲートウェイが機能不全に陥ることもある。
FRI&Associates

FRI&Associatesは、特定非営利活動法人（NPO法人）の一つ。代表理事は清水知輝。理事は川下太郎、豊川貴。会員数は約50名 (弁護士、投資銀行、経営コンサル、ベンチャー社長などの肩書きを持つスタッフが構成員）。所在地は東京都品川区荏原4丁目
概要

2000年に創立者河合拓によって設立。当時は河合の前身である住金物産株式会社東京ニット原糸課での経験を元に、ファッションを研究し世の中に発信してゆくことを理念にFashion Research Instituteの頭文字をとってFRIとなづけられた。「業種業界を超えた生産性の高いぶつかり合い」が創業理念であり、現在でもその価値観は組織の中に浸透している。また、設立者の河合は、活動が特定の業種、職種に偏ることを極端に嫌がっていたのは有名な話である。
渋谷の貸会議室で学生4名を集め経営戦略論などの勉強会を続けているうちに、口コミで組織は拡大し、現在に至る。2004年にNPO法人化、現代表は清水知輝。
歴史 > 創設期

設立当初は、政策学校一新塾などと組み、社会人向けの合宿形式の勉強会などを開催していた。また、河合拓の専門分野である繊維業界構造改革プランなど、自民党に政策立案を行ったり、大手総合商社と私立大学を提携し、新ファッションブランドの開発など、当時外資系コンサルタントだった河合拓の斬新なプロジェクトを次々と成功させ、メディアの露出度も増えていった。
歴史 > 拡大期（第一期）

2002年頃から始めた大学生向け就職支援プロジェクトが当時の大学生に好評で、東京大学、早稲田大学、慶應義塾大学などでFRIの名前が口コミで広がり活動が拡大。2003年から開催したWinter Campでは、日本全国から大学生を100人規模で集め、ハイレベルなビジネスコンテストを開催するに至っている。現在ではSummer Camp、Autumn Campなど活動は拡大し、同法人の主要な事業の一つにまで発展している。。
歴史 > 転換期

2005年、FRIの顔であった河合拓が理事長を辞任し、シニアアドバイザーとなる。「FRIを本当の社会活動にするため、活動を次世代に譲った」と語る。
2006年度より、理事長を創設期からのメンバーであった清水知輝、そして、川下太郎、豊川貴を理事とする体制に変わったが、特徴は、更なる活動の拡大を目指すために、各理事がそれぞれ何らかの担当を持つ形とし、リーダーとしてその担当領域に責任を持つ事にした点にあろう。それについて、「FRI＝河合、を脱却し、FRIを一つの組織として生まれ変わらすためにも欠かせなかった」と清水は語る。
社会人向けセミナーのプロ道や関西での活動を本格化させたのも、このタイミングからである。
歴史 > 拡大期（第二期）

2006年度からの活動の特徴は、「次世代リーダー育成」を掲げ、内部人材の育成にも力を入れるためにも、会員の拡大と会員向けの活動を強化した点にもある。その結果、会員数と比例し、活動も活発化、共に倍増し、組織力の増強がはかられている。
外部リンク・参考資料

特定非営利活動法人FRI&Associates
Concurrent Prolog

| --- | --- |
パラダイム:  並行論理プログラミング
登場時期:  1983年
設計者:  Ehud Y. Shapiro
型付け:  動的型付け
主な処理系:  Logix
影響を受けた言語:  Relational Language
影響を与えた言語:  PARLOG、Guarded Horn Clauses、KL1、Strand、Oz、CHR、Janus、AKL
テンプレートを表示
他のプログラミング言語
■カテゴリ / ■テンプレート
Concurrent Prologは、1983年に発表された並行論理プログラミング言語である。イスラエルWeizmann研究所のEhud Shapiroにより設計された。それ以前に開発されたRelational Languageをより単純化し、制限を緩めた言語で、その後の並行論理プログラミング言語に大きな影響を与えた。また、並行論理プログラミングでの様々なプログラミング手法がConcurrent Prolog上で開発された。
概要

Concurrent PrologはPrologから派生した並行プログラミングと並列実行のためのプログラミング言語で、論理変数を介して通信を行う複数の軽量プロセスのネットワークとしてプログラムを記述する。多くの並行プログラミング言語が逐次処理言語に並行実行の機能を追加したものであるのに対して、Concurrent Prologは並行実行が基本で、並行処理を素直に記述できる。
Concurrent Prologの派生言語として、組み込み述語のみをガード部に記述できるように制限してより単純化した Flat Concurrent Prolog（FCP）がある。1983年の発表以降、Shapiroにより様々なFCPのバリエーションが提案され、分析されている。
Concurrent Prologではホーン節にガードを導入した以下のような規則(Clause)の集まりでプログラムを記述する。"|"はコミット演算子と呼ばれる。G はガード部、B はボディ部と呼ばれる。Head、G、Bはそれぞれ原子論理式である。ガード部の条件がない場合、ガード部とコミット演算子は省略できる。
Head :- G1, ..., Gn| B1, ..., Bm.  (n,m≧0)
Headとガード部はプロセス書き換えのための条件、ボディ部は書き換え後のプロセスを表す。生成されたプロセスは全て並行に実行される。また、各プロセスごとの書き換え条件のチェックも複数の節で並行に実行してよく、コミット時にただ1つの節が選択される（コミッティッド・チョイス）。Prologと異なりバックトラックの機能はない。
プロセス間の通信にはプロセス間で共有する論理変数を使用する。多くの場合、プロセス間の通信には論理変数を含んだリストで表現されたストリームを用いる。ストリームは [<メッセージ>|<変数>] のようなリストで実現する。
論理変数を共有するプロセスの数に制限はないため、ストリーム通信は1対1だけではなく1対Nのブロードキャストなど、様々な形態が可能である。
簡単なプログラム例を以下に示す。2本のストリームをマージして1本のストリームにするプログラムで、Prologと同様、A や Xs など英大文字や"_"で始まる項は変数を表す。mergeの最初の2引数が入力ストリーム、最後が出力ストリームである。
merge([A|Xs],Ys,[A|Zs]) :- true | merge(Xs?,Ys,Zs).
merge(Xs,[A|Ys],[A|Zs]) :- true | merge(Xs,Ys?,Zs).
merge([],Ys,Ys) :- true | true.
merge(Xs,[],Xs) :- true | true.
Concurrent Prologでは、プロセス間の同期のための中断のメカニズムとして読み出し専用標記 (Read Only Annotation)を用いる。読み出し専用標記は"?"で表され、任意の変数に付与することができる。読み出し専用標記が付加された変数へのアクセスは入力モードだけが許され、読み出し専用変数を変数以外の項に具体化しようとする試みは中断させられる。つまり、これにより変数が具体化されるまで待つという同期と、変数毎のデータ入出力の方向性の指定とができる。例えば、上記プログラムの最初の節では、最初の引数が[A|Xs]のようなリストの形になっていない場合は中断し、他のプロセスにより[A|Xs]の形に具体化された(具体的に値が決まった)場合に実行を再開する。この時点でXs自体は具体化されていなくても構わないため、リストの先頭からインクリメンタルに具体化されるストリームを素直に処理できる。
また、ガードの実行(ヘッドとガード部の実行)で行われた変数への書き込みは、その後の失敗により変更される可能性があるため、どれか1つの節がコミットされるまで他のプロセスに公開されない。例えば、上記マージプログラムの最初の節での [A|Zs] と2番目の節での [A|Zs] とは値が異なる可能性がある。Concurrent Prologでは、ガード実行時に節ごとで変数の値が異なる多重環境を管理する必要があり、全ての節の並行実行を行う際に管理が複雑になる。
プログラム例

以下にConcurrent Prologのプログラム例を示す。
プログラム例 > 待ち行列

FIFOの待ち行列を管理するプログラムの例を以下に示す。ストリームSに enqueue(X) のメッセージを送るとXの内容が待ち行列の最後に追加され、dequeue(X) のメッセージを送ると待ち行列の先頭要素がXに返される。待ち行列の表現には、2つのリストの差分で１つのデータの並びを表現する差分リストのテクニックが使用されている。
queue(S) :- queue(S, Z, Z).

queue([dequeue(X)|S], [X|NewHead], Tail) :- queue(S?, NewHead, Tail).
queue([enqueue(X)|S], Head, [X|NewTail]) :- queue(S?, Head, NewTail).
queue([], _, _).
前出のマージプロセスと組み合わせることで、複数のプロセスからの dequeue/enqueue のメッセージを処理することができ、クライアントサーバモデルでのサーバプロセスのように使うことができる。
プログラム例 > 素数生成

エラストテネスのふるいを使い素数生成を行うプログラム例を示す。
gen_primes(Max,Primes) :- integers(2,Max,Ns), sift(Ns?,Primes).
gen_primes/2を実行すると、integers/3とsift/2の2つのプロセスが生成される。integers/3はMaxまでの自然数のストリームを生成し、sift/2はそれをふるいにかけ素数のストリームをPrimesに返す。integers/3とsift/2とはそれぞれ並行して動き、integers/3で生成された自然数のストリームは変数Nsを介して順次sift/2に渡される。読み出し専用標記により変数Nsによるintegers/3からsift/2へのデータフローの方向が表現され、プロセス間の同期はストリームの各要素が具体化されるまで待つという形で自然に表現される。
integers/3、sift/2の各プログラムはそれぞれ以下のようになる。integers/3は、自然数のストリームを順次生成しMaxを超えたら終了する。sift/2は、2,3,5,7,..などの各素数の倍数をストリームから取り除くfilterプロセス（ふるい）を順に生成しながら、求まった素数を順次ストリームの要素として返す。各filterプロセスは変数を介して直列につながれていくため、自然数のストリームから素数のみのストリームを求めることができる。
integers(N0,Max,[N0|Ns1]) :- N0=<Max, N1 is N0+1 | gen(N1,Max,Ns1).
integers(N0,Max,[]      ) :- N0 >Max             | true.

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

filter(Prime,[X|Xs1],[X|Ys1]) :- 0 is X mod Prime | filter(Prime,Xs1?,Ys1).
filter(Prime,[X|Xs1],Ys0    ) :- otherwise        | filter(Prime,Xs1?,Ys0).
filter(_,    [],     []).
応用 > Logix

Flat Concurrent Prolog（FCP）の開発環境として、UNIXのシェル風の機能とコンパイラ、デバッガを組み合わせたLogixと呼ばれるシステムが作成された。Logix自身もFCPを使って記述され、C言語で作成されたエミュレータ上で動作する。Logixで使用できる言語は、 FCP(:,?) と呼ばれるFCPの中で最も表現力の高いバリエーションに、プログラムを見やすくするための糖衣構文を付加したものである。また、Guarded Horn Clausesのフラット版である Flat GHC のエミュレーション機能も含む。
レヨガーヌ郡

| --- | --- |
国:  ハイチ
県: 西県
郡庁所在地: レオガン
公用語: ハイチ語、フランス語
面積 : 1,015.9 km² （7位）
人口  - 2015年推定 : 2位 509,280 人
コミーン数: 3
レヨガーヌ郡（レヨガーヌぐん、ハイチ語: Leyogàn）またはレオガン郡（フランス語: Léogâne）はハイチ南東部、西県西部の郡。東にポトプランス郡、南東に南東県ジャクメル郡、南にベネ郡、南西にニップ県ミラグワーヌ郡と接し、北の沖合にはラゴナーヴ島（ラゴナーヴ郡）が浮かぶ。
東からレヨガーヌ（レオガン）、グラングワーヴ（グランゴアーヴ（フランス語版））、チグワーヴ（プチゴアーヴ（フランス語版））の3つのコミーンが置かれている。郵便番号は62から始まる。
脚註

1 2  “Haiti: administrative units, extended”.   GeoHive.com. 2016年10月5日時点のオリジナルよりアーカイブ。2021年8月10日閲覧。
↑  “POPULATION TOTALE, POPULATION DE 18 ANS ET PLUS MÉNAGES ET DENSITÉS ESTIMÉS EN 2015” (pdf).   Institut Haïtien de Statistique et d’Informatique (IHSI). pp. 16 - 17 (2015年3月). 2021年8月10日閲覧。
| 表 話  歴 ハイチの郡 |
| --- | --- |
北西県:  ポードペー郡  サン・ルウィ・ディノー郡  モール・サン・ニコラ郡 
北県:  カプ・アイシアン郡  アキル・ディノー郡  グランヌ・リヴィエ・ディノー郡  サン・ラファイェル郡  オボイ郡  ランベ郡  プレザンス郡 
北東県:  フォーリベーテ郡  ワナマント郡  トゥウ・ディノー郡  ヴァリエ郡 
アルティボニット県:  ゴナイーヴ郡  グウォ・モーン郡  サン・マーク郡  デサリーヌ郡  マムラード郡 
中央県:  セカ・ラスース郡  アンシュ郡  ミバレ郡  ラスカウォバス郡 
西県:  ポトプランス郡  レヨガーヌ郡  クワデブーケ郡  ラカイエ郡  ラゴナーヴ郡 
グランダンス県:  ジェレミー郡  アンスデノー郡  コライユ郡 
ニップ県:  ミラグワーヌ郡  アンサヴォー郡  バラデー郡 
南県:  オカイ郡  ポーサリー郡  アカン郡  コトー郡  シャドニエ郡 
南東県:  ジャクメル郡  ベネ郡  ベランス郡 
関連項目:  ハイチの行政区画 県  郡
ロイシン-2,3-アミノムターゼ

ロイシン-2,3-アミノムターゼ(Leucine 2,3-aminomutase、EC 5.4.3.7)は、以下の化学反応を触媒する酵素である。
従って、この酵素の基質は(2S)-α-ロイシンのみ、生成物は(3R)-β-ロイシンのみである。
この酵素は異性化酵素、特にアミノ基を転移する分子内転移酵素に分類される。系統名は、(2S)-α-ロイシン 2,3-アミノムターゼ((2S)-alpha-leucine 2,3-aminomutase)である。この酵素は、バリン、ロイシン、イソロイシンの分解に関与する。補因子として、コバミドを必要とする。
レンカ・シェニグロヴァー

レンカ・シェニグロヴァー（チェコ語: Lenka Seniglova、1984年1月26日 - ）は、チェコ、ブルノ出身のフィギュアスケート選手（女子シングル）。2001年世界選手権チェコ代表。
主な戦績

| 大会/年 | 1999-00 | 2000-01 | 2001-02 | 2002-03 |
| --- | --- | --- | --- | --- |
| 世界選手権 |  | 33 |  |  |
| 欧州選手権 |  | 20 |  |  |
| チェコ選手権 | 2 | 2 | 3 | 7 |
| ゴールデンスピン |  | 10 |  |  |
| ネーベルホルン杯 |  |  | 17 |  |
| グランプリSNP | 6 J |  |  |  |

J - ジュニアクラス
ルベン・ヴェソ

ルベン・ミゲル・ヌエス・ヴェソ（Rúben Miguel Nunes Vezo , 1994年4月25日 - ）は、ポルトガル共和国セトゥーバル県セトゥーバル出身のプロサッカー選手。ギリシャ・スーパーリーグのオリンピアコスFCに所属している。ポジションはDF。
来歴

1994年にカーボベルデ出身の父とポルトガル人との間にセトゥーバルで生まれる。2005年に地元のヴィトーリアFCのユースチームに入団。2013-14シーズンにトップチームに昇格し、2013年8月16日のFCポルト戦でプロデビューを果たした。
11月4日、スペイン・プリメーラ・ディビシオンのバレンシアCFへの移籍で合意。翌2014年1月に正式にバレンシアに移籍。2月8日のレアル・ベティス戦で、リーガ初出場。23日のグラナダCF戦では、移籍後初のスタメン出場を、試合終了間際の初ゴールで勝利した。
2016-17シーズンはグラナダCFでローン移籍でプレー。同シーズン終了後にバレンシアに復帰した。
2019年1月29日、レバンテUDへシーズン終了までのレンタル移籍。
2019年7月1日、レバンテUDへ完全移籍し、2024年までの契約を締結した。
2024年2月1日、オリンピアコスFCに移籍した。
代表歴

2013年から2年間、ユース世代のポルトガル代表に選出され、中心選手として活躍したが、まだフル代表招集までには至っていない。
Ftune/Ptune

FtuneあるいはPtuneとは、カシオ計算機から発売されている関数電卓をオーバークロックするソフトウェアである。
概要

電卓も広義にはコンピュータであるため、CPUやメモリが存在する。通常の電卓であれば十分な速度を持つためオーバークロックの必要性は薄い。
カシオの電卓は機能を追加すると同時にCPUやメモリも強化していったが、fx-9860Gシリーズ、fx-CG20/50など（以下、当該電卓）は省電力などの観点から性能をフルに出さず、制限をかけていた。そのためプログラムやグラフの描画などが遅く、ユーザーの不満となっていた。その制限を解除しクロック周波数を引き上げ、プログラムや演算の実行速度を向上させるのがFtune/Ptuneである。これは当該電卓のアドインアプリケーションという任意のソフトウェアを実行できる仕組みで実行される。このソフトウェアは有志により開発されたものであり、製品の本来の使用方法から外れるものであるため、使用が発覚すると保証対象外となる。
種類

機種によって使用するソフトウェアが異なり、間違えるとオーバークロックできないばかりか故障の原因となることもある。
Ftune: CPU に SH3 を搭載した fx-9860G シリーズ、fx-9860GII POWER USB GRAPHIC（末尾に 2 が付かない）が対象
Ftune2: CPU に SH4A を搭載した fx-9860GII USB POWER GRAPHIC 2 が対象
Ftune3: fx-9860GIII、fx-9750GIII、フランス専用機 Graph35+E II が対象
Ptune2: fx-CG20 / fx-CG10 が対象
Ptune3: fx-CG50 が対象
上記に記載のない機種はオーバークロックを行うことができない。
注意点

オーバークロックはメーカーの想定外の行為であるため、行う場合は自己責任で行うこと。
無理にクロックを上げない。画面表示に異常（通常では見られない線が出る、SYSTEM ERRORなどの表示が出る）などあった場合は、それはROMやRAMのアクセスに異常が出ている証拠であり、それ以上オーバークロックするとシステム領域が上書きされ再起不能に陥るおそれがある。その場合は電卓を買い換えるしかない。
オーバークロックする前に必ずメモリテストを行い、クロックの限界を調べておき、それを大きく超える（10Mhz程度以上）クロックに設定しない。
CPUクロックばかり上げても性能の向上にはつながらない。バスクロックなども同時に上げなければ性能は上がらない。
電卓ごとに個体差があるため、必ずしもインターネットなどに書かれているクロックと同じになるとは限らない。
仕組み

カシオの当該電卓のクロックの仕組みは簡単に言うと次のようになっている。
FLL:すべてのクロックの基準となる。水晶発振子の32.768kHzを逓倍してクロックを生成する。ノーマルでは900倍される。最大で1000倍以上はオーバークロックできるようである。
PLL:FLLのクロックを更に逓倍し各種クロックの元になるクロックを生成する。ノーマルでは16倍。fx-CG50では32倍、それ以外では40倍以上にできる。
IFC:CPUのクロックを生成する。ノーマルのfx-CG50では1/2倍、ノーマルのCG10/20では1/4倍になっている。
SFC:PLLのクロックを逓倍しSuperHywayバスに供給する。160Mhz以下が安全。
BFC:メモリに供給するクロックを生成する。100Mhzを超えると高確率でエラーや画面崩壊に繋がる。
PFC:I/Oに供給するクロックを生成する。デフォルトでは1/8に設定されている。fx-CG50では比較的クロックを高くしても動作するが、そこまで性能には影響しない。
各クロックはIFC >= SFC >= BFC >= PFCの関係を保たなければ危険である。そのためPtune/Ftuneでは正常に動作するよう自動調整される。
手順

基本的に以下のような手順でオーバークロックは行われる。
ソフトウェアをダウンロードし、電卓のメモリにUSBで転送する。
ソフトを起動し、まず最初にメモリチェックでどこまでクロックを上げても良いかテストする。
メモリチェックによるエラーを避けるため、電卓を再起動する。
電卓が故障しない程度にクロックの上限設定をする。これはFtune/Ptuneに設けられた安全設計の一つであり、設定したクロックを超える場合は倍率が上がらないようになっている。
上限設定を終えたら、IFC,SFC,BFC,PFCの倍率を設定する。順番に1/2 , 1/4 , 1/4 , 1/8 がバランスが取れており無難であるとされている。
PLLの倍率を徐々に上げていき、異常が出たら止める。
FLLの倍率をPLL同様に上げる。
メモリのレイテンシを調整し、メモリの読み書きを高速化する。
設定をメモリに保存して完了。
Growing growing

| growing growing |
| --- | --- |
メンバー:  本橋朋也 鈴木公美子
解散年:  2015年
事務所:  よしもとクリエイティブ・エージェンシー
出身:  NSC東京校14期
現在の活動状況:  解散（鈴木はピンで活動）
ネタ作成者:  本橋朋也
同期:  ダイタク、あわよくば、山添寛（相席スタート）、ざしきわらし、0.03秒、ゆきち先生、THE GREATEST HITS、なめたらいかんぜよ。MARI、アンチエイジ徳泉、井上虫歯二本、廣瀬優、親方、ウメボシエンジン、塩見フリーダム、ダブルリーチ、ソドム、マンキンタン（解散）、ベイビーギャング（解散）、山脇充（ザ☆忍者）、ネルソンズ、等
テンプレートを表示
growing growingは、かつてよしもとクリエイティブ・エージェンシーに所属していた男女お笑いコンビ。2015年解散。
東京NSC14期生だが、それ以前にはよしもとNSCジュニアコースにも通っていた。
メンバー

鈴木 公美子（すずき くみこ、1990年6月21日 - ）
神奈川県出身。O型。
作画担当。
解散後は、東京NSC20期生のジョン・スミスとコンビ「コバルトイエロー」として活動。
その後、東京NSC17期生のあべじゅりあ（元ほっとライス）とコンビ「ブルーアンカー」として活動した。
現在はピン芸人「くみねぇ」として活動中。
本橋 朋也（もとはし ともや、1990年3月15日 - ）
茨城県出身。O型。
脚本担当。
2013年頃に結婚。
引退後、現在は郵便配達員。
略歴

よしもとNSCジュニアコースで出会い、結成。
2015年5月頃、本橋の結婚引退により解散。
芸風

プリップを使った紙芝居を中心に行う。「桃太郎の主人公が女の子だったら」「マッチ売りの少女が超絶美人だったら」など昔話に登場する人物のキャラクターデザインを大幅に変更し、それに伴ってストーリーが変わるという内容。
出演

よしもとNSCジュニアライブ
よしもとお笑いライブ～こわっぱ～
オクセンマン
渋谷シアターD
よしもと無限大ホール
よしもとプリンスシアター「未来サイボーグVS七人の妖怪」
神保町花月「ボクノカラダ」
QVCマリンフィールド「ロッテカーペット」
ロストエンジェルス

| --- | --- |
: 「LOST ANGELS」はこの項目へ転送されています。GACKTのシングルについては「LOST ANGELS (GACKTの曲)」をご覧ください。
『ロストエンジェルス』は、ドールーメーカーのボークスから発売されているドールブランド。またはそのドールが活躍する物語のこと。
商品内容

22〜27cmサイズの完成品ドールが数多くラインナップされている。ペイント・ヘアカット済みのヘッドやオリジナルの衣装があらかじめ組み合わせられており、ドールを自作できない人でもすぐに楽しむことが出来る。
新作の入手にはドールズパーティーやショールームで行われるアフターイベントで、発売済みの品に関してはショールームやボークスの通販で入手できる。そのほかオークションなどでも新旧問わず数多く出品されている。
商品内容 > 使用素体

ドールには以下の素体が使用されている。
エクセレントボディ(旧・NEW)
NEO-EB(通常・ティーンズ)
EB-Beauty
EB-BeautyMidi
EB-Mini
エレガント素体
ドルフィードリーム素体
物語

地球に舞い降りた光側の迷子天使と闇側の堕天使が戦いを繰り広げる。一方 人間側も、ガンギと呼ばれる企業が人工天使を生み出し、天使と堕天使に対抗する。根幹を成すストーリーはシリアスだが、ギャグストーリーも多様多彩でファンにウケている。
小説はコンセプトノート（No.1～No.4まで）、公式サイト（外伝が中心）などに掲載され、発売商品には各キャラクターについての詳細が書かれたインストカードが添付されている。
キャラクター > 迷子天使

如(キサラ)
志野(しの)
茜理(あかり)
眠麗(みんれい)
アマンダ
ベッキィ
マリア
クラウディア
ソフィア
サンジー
マーガレット
キャラクター > 堕天使

闇姫
ララ
ギュンナ
ザーラ
ドラ
ダリアン
ダークメア
ギル
マリム
マーヤ
メイメイ
ロウラ
ゾルーディア
キャラクター > 人工天使(パラディーヌ)

カタリナ＝L＝ケーニヒ
フェイ
プレアデス
シリウス
シグナス
アルフェッカ
レグレス
イリス
キャラクター > ショールームエンジェル(SRA)

祥子(しょうこ)
純子(じゅんこ)
秋(あき)
陽子
しのぶ
みや
綺羅(次女)
明(あきら・三女)
珠(たま)
夕海(ゆみ)
伊与(いよ)
渚
美里
麗(れい)
麗華(れいか)
静
名濃(なの)
京子
緑
千里(ちさと)
汐音(しおね)
和(かず)
薔薇の君
千明(ちあき)
小梅
ソーニャ
キャラクター > 守護精霊

ティカ
キャラクター > 使い魔(ダークサイド)

サイプレス
アラクネ
メルジーヌ
ベルサリア
ミミコットン
ニャルルゥ
レサト
キャラクター > 邪神少女

クスル
ハス
イータ
キャラクター > 人間

梶幸子
グレン(グレナディア)
ラリィ(ローライル)
フローレンス
黒田国義
伊達圭一
伊達ゆり
十和せつな
アルベール
ルーニ・スプレイグス
ティート・ソマーヴィル
ピレーゼ・クロティール
エルフリーデ・ミューレイ
カール・ハイネケン
ミルクローテ・レアティ
エナ
キャラクター > その他 人間以外

RIO（リオ）
アルテミス
ンシンガ・ウジュー

| ンシンガ・ウジュー |
| --- | --- |

第13代ザイール共和国国家第一委員
任期 000000001981-04-23-00001981年4月23日 – 000000001982-11-05-00001982年11月5日
大統領: モブツ・セセ・セコ
前任者: ジャン・ングザ・カール＝イ＝ボンド
後任者: レオン・ケンゴ
 
個人情報
生誕: ジョセフ・ンシンガ  (1934-09-29) 1934年9月29日 ベルギー領コンゴ バンドゥンドゥ
死没: 2021年2月24日(2021-02-24)（86歳没）
ジョセフ・ンシンガ・ウジュー・オングワベキ・ウントゥブウェ（フランス語: Joseph N'Singa Udjuu Ongwabeki Untubwe、1934年9月29日 - 2021年2月24日）は、コンゴの政治家。
第13代ザイール共和国国家第一委員。1981年4月23日から1982年11月5日までザイールの第一国家委員を務めた。そのほか、1966年から1969年までは法務大臣も務めた。
レイク郡区 (アイオワ州クレイ郡)

| レイク郡区 |
| --- | --- |
 郡区
 クレイ郡内での位置
 座標：北緯43度12分19秒 西経094度58分36秒﻿ / ﻿北緯43.20528度 西経94.97667度﻿ / 43.20528; -94.97667座標: 北緯43度12分19秒 西経094度58分36秒﻿ / ﻿北緯43.20528度 西経94.97667度﻿ / 43.20528; -94.97667
国:   アメリカ合衆国
州:   アイオワ州
郡:  クレイ郡
面積
 • 合計:  35.95 mi2 (93.12 km2)
 • 陸地:  33.36 mi2 (86.41 km2)
 • 水域:  2.59 mi2 (6.71 km2)  7.21%
標高:  1,352 ft (412 m)
人口（2000）
 • 合計:  240人
 • 密度:  7.2人/mi2 (2.8人/km2)
GNIS 要素 ID:  0468179
レイク郡区 (Lake Township) は、アメリカ合衆国アイオワ州クレイ郡の郡区。2000年国勢調査では、人口は240人。
歴史

レイク郡区は、1882年に創設された。郡区内に多数の湖があることから名付けられた。
地理

レイク郡区は35.95平方マイル (93.1 km2) で、組み込まれた自治体 (incorporated settlements) はない。
ダン・グリーン・スルー、マッド湖、ラウンド湖、トランブル湖がこの郡区内にある。
イズヒメエイ

イズヒメエイ(学名: Hemitrygon izuensis )は、トビエイ目アカエイ科に属する海水魚。伊豆半島で得られた標本をもとに1988年に新種として記載され、現在までのところ生息が確認されているのは日本沿岸のみである。成熟個体の体盤幅は70 cmに達し、アカエイなどの近縁種に似るが、尾がやや短いといった種々の特徴から識別される。採捕例が少ない稀種であり、その生態には未解明の点が多い。
分類

イズヒメエイはトビエイ目のアカエイ科アカエイ属Hemitrygonに分類される。
本種は1988年に北海道大学の西田清徳と仲谷一宏によって、日本魚類学会の発行する『魚類学雑誌』において新種として記載された。本種の和名、および学名の種小名izuensis は、タイプ標本が得られた伊豆半島に由来する。この時は8個体の標本に基づいて記載が行なわれ、そのうちホロタイプ（正基準標本）は体盤幅42 cmの成熟したオスの個体であった。