並行論理プログラミング - Wikipedia
並行論理プログラミング（へいこうろんり－、英: Concurrent Logic Programming）は、論理プログラミングにおける並列性及び論理プログラミングによる並行処理の記述の研究から生まれた、並行プログラミングのためのパラダイムである。論理プログラミングでは述語論理式をゴール(Goal)の書き換え規則と見なし、ゴールの書き換えによって処理を行う。それに対し、並行論理プログラミングでは各ゴールをプロセスと見なして並行に書き換えを行い、ゴール間で共有する論理変数を通信チャネルとして情報交換や同期を行う。 通常、並行論理プログラミングではホーン節にガードを導入した以下のような形式でプログラムを記述する。 Head :- Guard | Body. このガード付きホーン節は、エドガー・ダイクストラのガード付きコマンドと同様のものである。ゴール書き換えにはヘッドとガードの条件を満たす規則
)
ガード (プログラミング) - Wikipedia
ガード (Guard) とは、コンピュータ・プログラミング言語において、条件式ないし条件分岐のような意味を持つもので、ある分岐で処理を続けるために真 (true) と評価されなければならない[1]式である。偽の場合は残りの処理のほうに進む。パターンマッチングのある言語の、パターンマッチングの能力をより強化したものと見ることもできる。すなわち、パターンマッチングとして構造がマッチしていても、その構造の中身の値を評価した結果によってはスキップさせることが可能なパターンのようなもの、である。
The Pure Programming Language
The Pure Programming Language http://pure-lang.sourceforge.net/ Pure is a functional programming language based on term rewriting. It has a modern syntax featuring curried function applications, lexical closures and equational definitions with pattern matching, and thus is somewhat similar to languages of the Haskell and ML variety. But Pure is also a very dynamic and reflective language, and is m
Aqsis Renderer
It’s been a while since I last posted here, so I thought I’d post an update. I’m sure people are interested in the new core, but unfortunately real life (ie., desperately trying to finish my PhD) has got in the way so I have had limited time in the last several months. In the last few weeks I’ve been working on getting motion blur and depth of field rendering working in the new aqsis-2.0 rendering
JF 文書文体ガイド
早川 仁, <cz8cb01@linux.or.jp> v0.14 Aug 29, 1999 このガイドは JF-ML ( http://www.linux.or.jp/JF) で流れた校正の結果を元に、文書作成及び校正作業の効率化の為に示すものであり、JF プロジェクトという組織としてなんら強要するものではありません。基本的には過去の JF 文書の文体を踏襲したものですが、自然な文章を作成するための一助となることを願っています。 参考とした文献は 参考文献にまとめてあります。 1. SGML のすすめ 2. 文章を読みやすくするためのガイド 3. 誤りやすい用字・用語 4. 参考文献 5. この文書について 1. SGML のすすめ JF Project では、SGML と呼ばれるマークアップ言語で文書を作成・管理しています。SGML を利用すると、文章の論理構造にしたがってタグと呼ばれ
カスパー・ハウザー - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "カスパー・ハウザー" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2020年11月) カスパー・ハウザーの肖像画（1828～29年頃） カスパー・ハウザー（Kaspar Hauser、1812年4月30日? - 1833年12月17日）は、ドイツの孤児。16歳頃に保護されるまで長期にわたり地下の牢獄（座敷牢）に閉じ込められていたとされ、その生い立ちからしばしば野生児に分類される。 発見後に教育を施され言葉を話せるようになり自らの過去などを少しずつ語り出すようになったが、詳細が明らかになる前に何者かによって暗殺されたため、その正体と出
Hisakazu Hirabayashi * Official Blog - FC2 BLOG パスワード認証
ブログ パスワード認証 閲覧するには管理人が設定した パスワードの入力が必要です。 管理人からのメッセージ 現在旧ブログの公開を休止しております。 閲覧パスワード Copyright © since 1999 FC2 inc. All Rights Reserved.
OpenSolaris 日本ポータル
Oracle offers the highest-performing cloud services at the lowest cost. That's why so many of the world's biggest technology companies use OCI. OCI Tech Customers AMD, ByteDance, Meta, NVIDIA, OpenAI, Temu, TikTok, Uber, xAI The demand for cloud infrastructure for AI training and inferencing greatly exceeds supply. In response to this shortage, Oracle is building AI cloud capacity as quickly as we
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
iPhoneで東方
Twitter / Kentaro Hamada: 友人の防衛省某局長とさっきまで電話で四方山話。ソマリ ...