ブログ紹介

消費者金融へ



消費者金融の紹介をしているホームページです

消費者金融（しょうひしゃきんゆう）とは、消費者信用のうち、個人への金銭の貸付け（小口融資）のこと。 また、貸金業業者、特に一般の個人に対する無担保での融資事業を中心とする貸金業の業態を指すことがある。日本人の10人に1人に当たる約1300万人が利用していると言われる。

数理論理学を基礎にしたプログラミングパラダイム、または数理論理学のコンピュータプログラミングへの応用である。形式論理の論理式をソースコードの書式に投影することが基本になる。プログラミングに適用するための幅広い解釈が加えられており、研究対象としての論理プログラミングは非常に多様である。

論理プログラミングにおける並列性及び論理プログラミングによる並行処理の記述の研究から生まれた、並行プログラミングのためのパラダイムである。