並行論理プログラミング - Wikipedia
並行論理プログラミング（へいこうろんり－、英: Concurrent Logic Programming）は、論理プログラミングにおける並列性及び論理プログラミングによる並行処理の記述の研究から生まれた、並行プログラミングのためのパラダイムである。論理プログラミングでは述語論理式をゴール(Goal)の書き換え規則と見なし、ゴールの書き換えによって処理を行う。それに対し、並行論理プログラミングでは各ゴールをプロセスと見なして並行に書き換えを行い、ゴール間で共有する論理変数を通信チャネルとして情報交換や同期を行う。 概要[編集] 通常、並行論理プログラミングではホーン節にガードを導入した以下のような形式でプログラムを記述する。 Head :- Guard | Body. このガード付きホーン節は、エドガー・ダイクストラのガード付きコマンドと同様のものである。ゴール書き換えにはヘッドとガードの条
退職者のメール
会社に来なくなってそのうち辞めた先輩のPCを確認・整理して、リプレースするように言われた。 ふと気になってメーラーの送信トレイをあさってみたら、嫁宛っぽいメールがいくつか出てきた。 「もぉう、限界、まぢむり」 「ああ、つらいけど、１週間がんばるわ……」 「なにが嫌って、息をするのも辛い」 などなど。相当精神的にまいっていたことがわかった。 これ、どうしたものかなー。私的メール禁止だし、上司に言ったほうがいいのかなー、 でも野暮ったいよなぁーとか少し悩んだ。 ふと受信トレイを見ると、嫁っぽい人からもメールが来ていた。 『ほんと、お疲れ様！がんばってね（はぁと』 『今日を乗り越えれば、明日は休みだ！』 『本当に辛い時は、休んでいいんだよ？』 などなど。ええ、奥さんやんって思った。 やはり、上司には「かくかくしかじかのメールがありました（笑）」ぐらいのノリで報告しようとよくみたら、 メールのやり
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
「本が読者に届かない」Amazon商法に公取委が突入で炙り出される出版業界の予後不良(山本一郎) - 個人 - Yahoo!ニュース
