| 氏名 | 山本 泰生 |
|---|---|
| ふりがな | やまもと よしたか |
| 所属 | 山梨大学大学院医学工学総合研究部 |
| 題目 | 1E3-OS-4-6 効率的なSMTソルバの実現を目指した等号組み合わせの削減 |
|---|---|
| 著者 | 福田 寿志 岩沼 宏治 山本 泰生 |
| 論文 | PDFファイル |
| 題目 | 1E3-OS-4-5 時系列信号処理に基づくSAT解法:Wave-SATソルバの実現に向けて |
|---|---|
| 著者 | 宮城 智輝 山本 泰生 岩沼 宏治 |
| 論文 | PDFファイル |
| 題目 | 2B1-R-3-2 負の相関ルールの完全かつ効率的な抽出法 |
|---|---|
| 著者 | 井出 典子 岩沼 宏治 山本 泰生 |
| 論文 | PDFファイル |