| 氏名 | 湊 真一 |
|---|---|
| ふりがな | みなと しんいち |
| 所属 | 北海道大学 大学院 情報科学研究科 |
| 題目 | 1E2-4 BDD簡約化アルゴリズムの並列化 |
|---|---|
| 著者 | 竹内 聖悟 藤本 武彦 安田 宜仁 湊 真一 |
| 論文 | PDFファイル |
| 題目 | 2E1-2 状態遷移の並列比較によるNFA照合高速化 |
|---|---|
| 著者 | 倉井 龍太郎 安田 宜仁 湊 真一 |
| 論文 | PDFファイル |
| 題目 | 2H4-OS-03a-1 (OS招待講演)BDD/ZDD処理系とSATソルバに関する研究の流れと最近の話題 |
|---|---|
| 著者 | 湊 真一 |
| 論文 | PDFファイル |
| 題目 | 3C4-3 組合せ集合のmeet演算による共通因子抽出 |
|---|---|
| 著者 | 竹内 文登 安田 宜仁 湊 真一 |
| 論文 | PDFファイル |
| 題目 | 4E1-1 オイラー路の高速な列挙索引化アルゴリズム |
|---|---|
| 著者 | ムハマド ホリルロハマン 湊 真一 |
| 論文 | PDFファイル |