ミュージカル／舞台音楽／映像音楽に本格的に取り組むためのワークショップであり、LIVES（ =LIFEの複数形）という、「生きる」ことに対するメッセージを、音楽を通して伝えていくライヴでもある。
麻山事件
事件経過.
戦後.
制約論理プログラミング
制約論理プログラミング（せいやくろんりプログラミング、）は制約プログラミングの一種で、制約という問題表現・解決の考え方を導入することによって論理プログラミングを拡張したプログラミングパラダイムである。論理プログラミングの持っている宣言的な表現力に制約の考え方を導入し、より一般化したものとも言うことができる。
概要.
制約論理プログラミングの応用分野は、スケジューリング、要員計画・輸送・資源割り当て、アナログ回路設計、トレーディングなどさまざまなものがある。
歴史.
領域.
木（tree）.
制約論理プログラミング言語のProlog Ⅲは無限木の等号制約と不等号制約を扱うことができる。
有限領域.
有限領域では、制約の一貫性チェックにより各変数の取りえる領域が変化した場合、その変化を制約伝播により他の関連する変数の領域に反映し、解の範囲を順次狭めていくことで最終的な解を求めることが多い。全体の一貫性が取れなくなった場合はバックトラックを行い途中からやり直す。
算術領域.
以下はプログラムの実行例で、具体的な値が求まればその値が、そうでなければ各値の方程式が結果として返る。
 *** Yes
 *** Yes
ブール領域.
セマンティック.
操作的意味.
状態遷移システムの遷移は以下のように表現できる。
処理系.
以下に制約論理プログラミング言語の例を挙げる:
並行制約プログラミング.
独立した言語としてではなく既存言語の拡張機能として、主にPrologなどのホスト言語上に実装されたライブラリとして提供される。
渡辺涼子
人物.
藤本涼子
藤本 涼子
四次元アドベンチャー
概要.
「呼吸」に続く本作は配信限定シングルを除くとバンド初となる先行シングル曲無しのアルバム。水戸華之介、つじあやの、山田将司がゲスト・コーラスとして参加。
収録曲.
全作詞・作曲：小西透太
ダッチ
ダッチ ()
三宅輝幸
経歴.
畠山陽輔
北宗