利用費は個々の施設により異なるが、家族負担、生活保護費などが充てられる場合が多い。
リハビリプログラムの期間は、個人差があり本人の回復の早さにより変動する。
信頼できる仲間と安心できる居場所が、回復をサポートする。さらに、回復が進む過程で、援助される側から援助する側としての役割を持つようになり、過去の経験が意味をなして支援する立場になった自分を肯定的に受け入れられるようになる。
歴史.
日本ダルク.
設立の動機としては、アルコール依存に特化するあまり、薬物依存に取り組まない組織への反発があった。また「DARC」が英語読みの「ダーク」だと暗いイメージになるため、フランス語を意識して「ダルク」とした。
問題点.
日本ダルク.
薬物依存の回復支援は、先進国の中でもとりわけ日本は少ない。理由は日本が類いまれなる一次予防の成功国であり、予防できなかった者の支援に重きを置いていないからである。近年、厚生労働省の障害者総合支援法や法務省の自立準備ホームなどが回復支援費として使われる様になったが、人件費の不足はなかなか埋められていないのが実情である。
遼中区
地理.
遼中区は遼寧省中部、遼河中流域に位置する。
歴史.
行政区画.
佐々木亜紀
佐々木亜紀（ささき あき）
シークエント
定義.
シークエントは次の形式を持つ。
直観的な意味.
しかし、以上の解釈は単に教育的な意味しかない。形式的証明は純粋に統語的であるため、シークエントの意味は実際の推論規則を提供する計算法の属性として与えられるものである。
例.
典型的なシークエントは、次のように記述される。
特性.
規則.
多くの証明系は、あるシークエントから別のシークエントを導く方法を提供している。そのための規則は、シークエントのリストを水平な線の上と下に記述した形式で示される。この規則は、線の上にあるシークエントが全て真であれば、線の下にあるシークエントも全て真であることを意味する。
規則の典型例は次の通り。
派生.
多くの場合、論理式の並びではなく、多重集合や集合からなるものもシークエントと考えられる。この場合、論理式の個数も順序も重視されない。古典的な命題論理では、前提群から結論を導き出すのに、順序や個数は関係しない。しかし、部分構造論理では、順序や個数が非常に重要となる。
歴史.
ダルク
ダルク
財政破綻