氏名 | 岩沼 宏治 |
---|---|
ふりがな | いわぬま こうじ |
所属 | 山梨大学大学院医学工学総合研究部コンピュータ・メディア工学専攻担当 |
題目 | 1E3-OS-4-6 効率的なSMTソルバの実現を目指した等号組み合わせの削減 |
---|---|
著者 | 福田 寿志 岩沼 宏治 山本 泰生 |
論文 | PDFファイル |
題目 | 1E3-OS-4-7 高速充足可能性判定器を用いた命題論理の結論発見器の実装 |
---|---|
著者 | 村松 匠 鈴木 健士郎 鍋島 英知 岩沼 宏治 |
論文 | PDFファイル |
題目 | 1E3-OS-4-5 時系列信号処理に基づくSAT解法:Wave-SATソルバの実現に向けて |
---|---|
著者 | 宮城 智輝 山本 泰生 岩沼 宏治 |
論文 | PDFファイル |
題目 | 2B1-R-3-2 負の相関ルールの完全かつ効率的な抽出法 |
---|---|
著者 | 井出 典子 岩沼 宏治 山本 泰生 |
論文 | PDFファイル |