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