Janusは、GHCなどの並行論理プログラミング言語の影響を受けてSaraswatが開発した分散処理向け制約プログラミング言語で、多重集合と配列の書換えに基づく制約処理モデルを持つ。Janusの多重集合と配列とは循環を含んでよく、多重集合は無限の「超多重集合」を表現でき、配列は論理プログラミング言語での項（term）を拡張した、有限幅の無限木を表現できる。さらに、ローマ神話のヤーヌスの二つの顔のように、実行時に現れる同じ変数は2回(入力側と出力側)以下という構文的な制限があり、実行時に失敗することがない特性を持っている。Janusは並行論理プログラミング言語と同じく、ストリームに基づいたデータフロー型のプログラムを素直にプログラムできる。また、Janusの機能を制限したLucyと呼ばれる言語でアクターモデルが自然に表現できるため、KahnとSaraswatはアクターモデルが並行制約プログラミングの特別なケースだと主張した 。
Relational Language、Concurrent Prolog、Guarded Horn Clauses (GHC)とGHCの拡張であるKL1、PARLOG、Strandなどの並行論理プログラミング言語は、並行制約プログラミング言語の一種としてとらえることができる。 多くの言語はホーン節にガードを導入した形式でプログラムを記述するが、それらのガード部は制約の観測を行うask部と制約の追加を行うtell部の組み合わせとして一般化できる。
LMNtal（Linked Multisets of Nodes transformation language、エレメンタル）はGHCの設計者である上田らによって開発された多重集合の書換えに基づく分散処理向け制約処理の言語モデルで、計算を階層的なグラフ構造の書き換えであるとした点に特徴がある。 プロセスやルールは膜によってグループ化され、計算の局所化とグラフの階層化に利用される。循環構造や密に結合したデータ構造を容易に扱うことができ、またチャネルモビリティとプロセスモビリティの両方を備えている。JavaやC言語による言語処理系が開発されている。
線形並行制約プログラミング（Linear Concurrent Constraint Programming）は並行制約プログラミングを線形論理（Linear Logic）と呼ばれる論理体系に応用したものである。Vijay Saraswatにより1993年頃に可能性が指摘され、 Francois Fagesらにより理論的にまとめられた。
時間並行制約プログラミング（Timed Concurrent Constraint Programming）は、並行制約プログラミングを制約の離散的な変化に応用したものである。プロセス計算（process calculi）上では、並行制約プログラミングに否定情報を扱うための機能を追加したデフォルト並行制約プログラミングに、プロセスを単位時間後に起動するオペレータ("Unit Delay")を追加したものと見なすことができる。
並行制約プログラミングのプロセス計算（process calculi）を応用したものとして、時間並行制約プログラミング、ハイブリッド並行制約プログラミング、線形並行制約プログラミングなどがある。また、並行制約プログラミングの様々な要素を並行プログラミングではなく制約充足系（constraint solver）の記述に用いたものとしてConstraint Handling Rules（CHR）がある。
並行制約プログラミング（へいこうせいやくプログラミング、英: Concurrent Constraint Programming）は、制約論理プログラミングの研究と並行論理プログラミングの研究とから生まれた、並行プログラミングのためのパラダイムである。並行制約プログラミングでは並行論理プログラミングをより一般化し、制約の出力(追加, tell)と入力(観測, ask)を行う複数のプロセス（エージェント）でプログラミングを行う。
1982年のヨーロッパ選手権61kg級で3位になると、世界選手権では銅メダルを獲得した。1983年からヨーロッパ選手権では計3度2位になった。1984年から福岡国際では計3度優勝を果たした。1989年には世界選手権で2度目の銅メダルを獲得した。
父親は神奈川県民ホール寄席を主催するごらく茶屋席亭の濱永廣生。神奈川県立汲沢高等学校を経て町田デザイン専門学校を卒業。2000年5月、落語立川流・立川志の輔門下に入門、兄弟子の志の吉（現・晴の輔）に続く二番弟子となる。前座名は志の八。2009年2月、二つ目に昇進。高座名も引き続き「志の八」を名乗る。2017年、真打に昇進。2011年3月、第10回さがみはら若手落語家選手権において優勝。2012年9月、第4回前橋若手落語家選手権において優勝。
東京都町田市出身。身長175cm。慶應義塾湘南藤沢高等部、慶應義塾大学法学部政治学科卒業後、2017年テレビ朝日へ入社。同期入社は林美桜・三谷紬。学生時代は高校まで12年間サッカーを続け、大学では体育会水上スキー部に所属し主将を務めたほか、テレビ朝日アスクに通っていた。
1285年、イングランドのオッカム村に生まれる。オックスフォード大学で学ぶ。30歳を過ぎても命題集講師の職にとどまっていた。と言うのは、ボナヴェントゥーラ系フランシスコ会士として、トミスト（トマス・アクィナスの継承者）の立場をとる学長、ジョン・ラットレルと対立していたからである。フランシスコ会の会則の解釈をめぐり、いわゆる清貧派の立場をとる。普遍論争では急進的な唯名論の立場に立つ。1323年、ジョン・ラットレルから異端だとして当時アヴィニョンにあった教皇庁に訴えられる。ローマ教皇・ヨハネス22世と対立、1324年、異端審問のためアヴィニョンの教皇庁へ召還される。1326年、教皇は、オッカムの学説を異端として破門を宣告する。このときマイスター・エックハルトも異端の容疑で告発され、オッカムはエックハルトと会ったことを書き残している。オッカムはフランシスコ会総長チェーザナのミカエルとともにアヴィニョンからミュンヘンへ逃亡し、聖職叙任権などをめぐり教皇と対立していた神聖ローマ帝国皇帝ルートヴィヒ4世の保護を受けた。その後ミュンヘンに居住したオッカムは、同地でペストによって没し、市城壁外のペスト死亡者用墓地に葬られた。