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