社会保障カードの実証結果公表 年金・医療データを1枚に集約--全国7地域で実施--厚労省
スポンサーリンク
概要
- 論文の詳細を見る
- 2010-10-21
論文 | ランダム
- 論理プログラムの新しい完備化と論理式の置換に基づく計算手続きについて
- 糖尿病患者における慢性腎臓病と左室重量との関連
- 等号公理下での論理式の標準形とその一階言語への応用 (数式処理における理論と応用の研究)
- 論理プログラムの完備化と論理式の展開による証明手続きについて (プログラム変換と記号・数式処理)
- 最小汎化の組合せ探索による帰納推論