教員総覧 - 永山　忍 | 広島市立大学

ナガヤマ　シノブ Nagayama Shinobu
永山　忍

所属広島市立大学大学院情報科学研究科情報工学専攻

広島市立大学情報科学部情報工学科

職種教授

著書・論文歴
論文	Functional Decomposition of Symmetric Multiple-Valued Functions and Their Compact Representation in Decision Diagrams IEICE Transactions on Information and Systems E107-D (8) (共著) 2024/08/01
論文	On Representation of Maximally Asymmetric Functions Based on Decision Diagrams Journal of Applied Logics 10 (6),1105-1130頁 (共著) 2023/12/01
論文	Feature Vectors Based on Wire Width and Distance for Lithography Hotspot Detection IPSJ Transactions on System LSI Design Methodology 16,2-11頁 (共著) 2023/02/01
論文	A Fast Method for Exactly Optimum Linear Decomposition of Index Generation Functions Journal of Multiple-Valued Logic and Soft Computing 38 (3-4),387-405頁 (共著) 2022/06/01
論文	An exact optimization method using ZDDs for linear decomposition of symmetric index generation functions International Federation of Computational Logic Journal of Logic and Their Applications 5 (9),1849-1866頁 (共著) 2018/12/01
論文	A balanced decision tree based heuristic for linear decomposition of index generation functions IEICE Transactions on Information and Systems E100-D (8),1583-1591頁 (共著) 2017/08/01
論文	多状態システムの高速な解析のための枝重みつきMDDの最適化について IEICE Transactions on Information and Systems E97-D (9),2234-2242頁 (共著) 2014/09/01
論文	An Area Efficient Regular Expression Matching Engine Using Partial Reconfiguration for Quick Pattern Updating IPSJ Transactions on System LSI Design Methodology (7),110-118頁 (共著) 2014/08/04
論文	初等関数の区分的算術式と数値計算回路の設計への応用 Journal of Multiple-Valued Logic and Soft Computing 23 (3-4),293-313頁 (共著) 2014/06/01
論文	Simple Hybrid Scaling-Free CORDIC Solution for FPGAs International Journal of Reconfigurable Computing 2014,4pages (共著) 2014/04/25
論文	EVMDDに基づく多状態システムの解析法と診断法 Journal of Multiple-Valued Logic and Soft Computing 22 (1-2),59-78頁 (共著) 2014/02/01
論文	シストリックアルゴリズムとNFAに基づくパターン非依存正規表現マッチングハードウェア電子情報通信学会論文誌情報・システムソサエティ J96-D (10),2139-2149頁 (共著) 2013/10/01
論文	近似正規表現マッチングのためのシストリックアルゴリズムとそのFPGA実装電子情報通信学会論文誌情報・システムソサエティ J94-D (6),935-944頁 (共著) 2011/06/01
論文	多値決定グラフを用いた二変数数学関数回路のシステマチックな設計法 IEICE Transactions on Information and Systems E93-D (8),2059-2067頁 (共著) 2010/08/01
論文	Programmable architectures and design methods for two-variable numeric function generators IPSJ Transactions on System LSI Design Methodology 3 (0),118-129頁 (共著) 2010/02/01
論文	パターン非依存型正規表現ストリングマッチングマシンとそのFPGA実装電子情報通信学会論文誌情報・システムソサエティ J92-D (12),2159-2167頁 (共著) 2009/12/01
論文	初等関数のグラフ表現の複雑さ IEEE Transactions on Computers 58 (1),106-119頁 (共著) 2009/01/01
論文	再帰的分割法とEVBDDを用いた数値計算回路の設計法 IEICE Transactions on Fundamentals of Electronics E90-A (12),2752-2761頁 (共著) 2007/12/01
論文	LUTカスケードを用いた数値計算回路 IEEE Transactions on Computers 56 (6),826-838頁 (共著) 2007/06/01
論文	二次近似法に基づくコンパクトな数値計算回路の構成とその合成法 IEICE Transactions on Fundamentals of Electronics E89-A (12),3510-3518頁 (共著) 2006/12/01
論文	ヘテロジニアスMDDの最適化について IEEE Transactions on CAD 24 (11),1645-1659頁 (共著) 2005/11/01
論文	決定グラフにおける平均パス長の最小化アルゴリズムと発見的手法 Journal of Multiple-Valued Logic and Soft Computing 11 (5-6),437-465頁 (共著) 2005/08/01
論文	LUTリングによる多出力関数の実現 IEICE Transactions on Fundamentals of Electronics E87-A (12),3141-3150頁 (共著) 2004/12/01
論文	多値決定グラフの面積時間複雑度 IEICE Transactions on Fundamentals of Electronics E87-A (5),1020-1028頁 (共著) 2004/05/01
論文	ヘテロジニアスMDDを用いた論理関数のコンパクトな表現法 IEICE Transactions on Fundamentals of Electronics E86-A (12),3168-3175頁 (共著) 2003/12/01
著書	Fast Network Intrusion Detection Systems (共著) 2016/05/01
著書	Applications of Zero-Suppressed Decision Diagrams (共著) 2014/11/01
著書	2010年度論文賞の受賞論文紹介：柔軟な専用回路の開発を目指して (単著) 2011/08/01
論文	対称関数の Sensitivity による列挙 Reed-Muller 2023 Workshop (共著) 2023/05/24
論文	対称多値関数の関数分解に基づく表現法 IEEE International Symposium on Multiple-Valued Logic (共著) 2023/05/22
論文	多値決定木を用いたハイパースペクトル画像内の異常検出に関する実験的評価 32nd International Workshop on Post-Binary ULSI Systems,8-8頁 (共著) 2023/05/21
論文	最大非対称関数の決定グラフについて IEEE International Symposium on Multiple-Valued Logic,164-169頁 (共著) 2022/05/21
論文	行シフト分解に基づくインデックス生成関数の同値類の一提案 31st International Workshop on Post-Binary ULSI Systems,9-9頁 (共著) 2022/05/18
論文	インデックス生成関数の発見的線形分解法の解の質向上 IEEE International Symposium on Multiple-Valued Logic,13-18頁 (共著) 2021/05/25
論文	最大非対称関数のベンチマーク生成法について 29th International Workshop on Post-Binary ULSI Systems,36-41頁 (共著) 2020/11/11
論文	対称インデックス生成関数の最適な線形分解について IEEE International Symposium on Multiple-Valued Logic,130-136頁 (共著) 2020/05/20
論文	多値分割関数の性質 IEEE International Symposium on Multiple-Valued Logic,82-87頁 (共著) 2020/05/20
論文	インデックス生成関数の最適な線形分解のための動的計画法 IEEE International Symposium on Multiple-Valued Logic,144-149頁 (共著) 2019/05/21
論文	A Nearest Neighbor Search Engine Using Distance-based Hashing International Conference on Field Programmable Technology,153-160頁 (共著) 2018/12/13
論文	An Approximate Nearest Neighbor Search Algorithm Using Distance-based Hashing International Conference on Database and Expert Systems Applications,203-213頁 (共著) 2018/09/03
論文	Novel Feature Vectors Considering Distances between Wires for Lithography Hotspot Detection EUROMICRO Conference on Digital System Design Architectures, Methods, and Tools,85-90頁 (共著) 2018/08/29
論文	ZDDを用いたインデックス生成関数の線形分解のための厳密最適化手法 IEEE International Symposium on Multiple-Valued Logic,144-149頁 (共著) 2018/05/17
論文	An FPGA-based Nearest Neighbor Search Engine Using Distance-Based Hashing for High-Dimensional Data Workshop on Synthesis And System Integration of Mixed Information technologies,347-352頁 (共著) 2018/03/27
論文	ランダムフォレストを用いたネットワーク不正侵入検知のためのベクトル化EVBDDに基づくプログラマブルアーキテクチャ International Symposium on Nonlinear Theory and Its Applications,132-135頁 (共著) 2017/12/06
論文	Table Reference-Based Acceleration of a Lithography Hotspot Detection Method Based on Approximate String Search International Conference on Advances in Circuits, Electronics and Micro-electronics,8-14頁 (共著) 2017/09/10
論文	インデックス生成関数の線形分解のための厳密最適化アルゴリズム IEEE International Symposium on Multiple-Valued Logic,161-166頁 (共著) 2017/05/23
論文	An efficient FPGA implementation of Mahalanobis distance-based outlier detection for streaming data International Conference on Field Programmable Technology,253-256頁 (共著) 2016/12/09
論文	多バイト遷移NFAに基づく高速かつ書換え可能なネットワーク侵入検知システム International Conference on Advances in Circuits, Electronics and Micro-electronics,45-51頁 (共著) 2016/07/29
論文	近似文字列探索に基づくホットスポット検出手法 International Conference on Advances in Circuits, Electronics and Micro-electronics,6-12頁 (共著) 2016/07/25
論文	インデックス生成関数の線形分解のための効率的な発見的手法 IEEE International Symposium on Multiple-Valued Logic,96-101頁 (共著) 2016/05/20
論文	An Improved Methodology for System Threat Analysis Using Multiple-Valued Logic and Conditional Probabilities The SDPS 20th International Conference on Transformative Science & Engineering, Business and Social Innovation,1-5頁 (共著) 2015/11/01
論文	多状態システムの解析の高速化のためのEVMDDの枝削減 IEEE International Symposium on Multiple-Valued Logic,170-175頁 (共著) 2015/05/20
論文	On Regular Expression Matching Methods for Fast Network Intrusion Detection Systems with High Maintainability 11th International Workshop on Boolean Problems (IWSBP 2014),171-188頁 (共著) 2014/09/19
論文	Fast Regular Expression Matching Based On Dual Glushkov NFA The Prague Stringology Conference 2014,3-16頁 (共著) 2014/09/01
論文	An ILP-based Optimal Circuit Mapping Method for PLDs IEEE 28th International Parallel & Distributed Processing Symposium Workshops,251-256頁 (共著) 2014/05/20
論文	System Probability Distribution Modeling using MDDs IEEE International Symposium on Multiple-Valued Logic,196-201頁 (共著) 2014/05/19
論文	部分的に依存関係のある部品を持つ多状態システムの多値決定グラフを用いた解析法 IEEE International Symposium on Multiple-Valued Logic,190-195頁 (共著) 2014/05/19
論文	An NFA-based programmable regular expression matching engine highly suitable for FPGA implementation Workshop on Synthesis And System Integration of Mixed Information technologies,231-236頁 (共著) 2013/10/22
論文	重複配線領域を許したマルチスレッド並列グローバル配線手法 EUROMICRO Conference on Digital System Design Architectures, Methods, and Tools,591-597頁 (共著) 2013/09/05
論文	FPGAの部分再構成を用いた柔軟かつコンパクトな正規表現マッチングエンジン EUROMICRO Conference on Digital System Design Architectures, Methods, and Tools,293-296頁 (共著) 2013/09/04
論文	ZBDDを用いた効率的な正規表現マッチング手法 Reed-Muller Workshop 2013,48-54頁 (単著) 2013/05/25
論文	多状態システムの高速な解析のための変数グループ化によるEVMDDの枝数最小化手法 IEEE International Symposium on Multiple-Valued Logic,284-289頁 (共著) 2013/05/24
論文	A GPGPU Implementation of Approximate String Matching with Regular Expression Operators and Comparison with Its FPGA Implementation International Conference on Parallel & Distributed Processing Techniques & Applications,644-650頁 (共著) 2012/07/17
論文	GPGPU implementation of tabu search for the quadratic assignment problem The 27th International Technical Conference on Circuits/Systems, Computers and Communications,F-M2-06 (共著) 2012/07/16
論文	EVMDDを用いた多状態システムの解析 IEEE International Symposium on Multiple-Valued Logic,122-127頁 (共著) 2012/05/14
論文	A Matching Method for Look-ahead Assertion on Pattern Independent Regular Expression Matching Engine Workshop on Synthesis And System Integration of Mixed Information technologies,361-366頁 (共著) 2012/03/09
論文	An efficient hardware matching engine for regular expression with nested kleene operators International Conference on Field Programmable Logic and Applications,157-161頁 (共著) 2011/09/05
論文	スプライン補間とバイリニア補間を用いた書換え可能な2変数離散関数の設計法 EUROMICRO Conference on Digital System Design Architectures, Methods, and Tools,701-707頁 (共著) 2011/09/01
論文	区分的算術式に基づく数学関数回路 IEEE International Symposium on Multiple-Valued Logic,16-21頁 (共著) 2011/05/23
論文	An FPGA-based text search engine for approximate regular expression matching International Conference on Field Programmable Technology,184-191頁 (共著) 2010/12/09
論文	An extension of systolic regular expression matching hardware for handling iteration of strings using quantifiers Workshop on Synthesis And System Integration of Mixed Information technologies,412-417頁 (共著) 2010/10/19
論文	区分的EVMDDに基づく浮動小数点数学関数回路 IEEE International Symposium on Multiple-Valued Logic,223-228頁 (共著) 2010/05/27
論文	A systolic string matching algorithm for high-speed recognition of a restricted regular set International Conference on Engineering of Reconfigurable Systems and Algorithms,151-157頁 (共著) 2009/07/13
論文	A parallel simulated annealing algorithm for LSI floorplanning running on multicore processors The 24th International Technical Conference on Circuits/Systems, Computers and Communications,851-854頁 (共著) 2009/07/05
論文	Design and FPGA implementation of efficient discrete function generators using piecewise polynomial The 24th International Technical Conference on Circuits/Systems, Computers and Communications,1016-1019頁 (共著) 2009/07/05
論文	EVMDDを用いた単調初等関数の浮動小数点回路 IEEE International Symposium on Multiple-Valued Logic,349-355頁 (共著) 2009/05/21
論文	離散関数のための決定グラフを用いた数値計算回路 18th International Workshop on Post-Binary ULSI Systems,36-41頁 (共著) 2009/05/20
論文	A fast regular expression matching engine for an FPGA-based network intrusion detection system Workshop on Synthesis And System Integration of Mixed Information technologies,88-93頁 (共著) 2009/03/09
論文	シストリック正規表現パターンマッチングエンジンとそのネットワーク侵入検知への応用 International Conference on Field Programmable Technology,297-300頁 (共著) 2008/12/07
論文	バイリニア補間法を用いた数値計算回路 International Conference on Field Programmable Logic and Applications,463-466頁 (共著) 2008/09/08
論文	二変数関数の再構成可能な数値計算回路 EUROMICRO Conference on Digital System Design Architectures, Methods, and Tools,891-898頁 (共著) 2008/09/03
論文	Efficient FPGA-based hardware algorithms for approximate string matching The 23rd International Technical Conference on Circuits/Systems, Computers and Communications,201-204頁 (共著) 2008/07/06
論文	EVMDDを用いた二変数初等関数の表現法と数値計算回路への応用 IEEE International Symposium on Multiple-Valued Logic (共著) 2008/05/22
論文	二次割当問題のためのシストリックアルゴリズムとそのFPGA実装 International Conference on Field Programmable Technology,261-264頁 (共著) 2007/12/12
論文	Design and FPGA implementation of a high-speed string matching engine Workshop on Synthesis And System Integration of Mixed Information technologies,122-129頁 (共著) 2007/10/15
論文	FPGA実装に適した多項式近似に基づく数値計算回路の設計法 EUROMICRO Conference on Digital System Design Architectures, Methods, and Tools,280-287頁 (共著) 2007/08/29
論文	A parallel multistage metaheuristic algorithm for VLSI floorplanning International Conference on Parallel & Distributed Processing Techniques & Applications (2),801-807頁 (共著) 2007/06/25
論文	EVMDDを用いた初等関数の表現法 IEEE International Symposium on Multiple-Valued Logic (共著) 2007/05/14
論文	重みつき二分決定グラフを用いた数値計算回路アジア太平洋設計自動化会議,535-540頁 (共著) 2007/01/23
論文	二次割当問題に対するタブー探索法のFPGA実装 International Conference on Field Programmable Technology,269-272頁 (共著) 2006/12/13
論文	BMDを用いた初等関数の表現法 IEEE International Symposium on Multiple-Valued Logic (共著) 2006/05/17
論文	A parallel implementation of a genetic algorithm-based floorplanning method on PC clusters Workshop on Synthesis And System Integration of Mixed Information technologies,404-411頁 (共著) 2006/04/03
論文	二次近似法に基づくプログラマブル数値計算回路の構成とその合成法 Asia and South Pacific Design Automation Conference,378-383頁 (共著) 2006/01/24
論文	プログラマブル数値計算回路のアーキテクチャとその合成法 International Conference on Field Programmable Logic and Applications,118-123頁 (共著) 2005/08/24
論文	信号線値を正当化するための最小キューブの抽出について Informal digest of papers for IEEE European Test Symposium,79-84頁 (共著) 2005/05/23
論文	与えられた入力ベクトルからの最小リテラルを持ったキューブの抽出について Workshop on RTL and High Level Testing,71-76頁 (共著) 2004/11/11
論文	決定グラフにおける最長パス長の最小化について International Workshop on Logic and Synthesis,28-35頁 (共著) 2004/06/02
論文	ヘテロジニアスMDDにおける平均パス長の最小化について IEEE International Symposium on Multiple-Valued Logic,216-222頁 (共著) 2004/05/19
論文	ヘテロジニアスMDDのメモリ量最小化 Asia and South Pacific Design Automation Conference,872-875頁 (共著) 2004/01/27
論文	変数順序の変更によるBDDにおける平均パス長の最小化 International Workshop on Logic and Synthesis,207-213頁 (共著) 2003/05/28
論文	ヘテロジニアスMDDを用いた論理関数のコンパクトな表現法 IEEE International Symposium on Multiple-Valued Logic,247-255頁 (共著) 2003/05/16
論文	ヘテロジニアスMDDを用いた組み込みシステム用のコード生成 Workshop on Synthesis And System Integration of Mixed Information technologies,258-264頁 (共著) 2003/04/03
論文	QRMDDを用いた論理関数の表現法 IEEE International Symposium on Multiple-Valued Logic,261-267頁 (共著) 2002/05/15
論文	BDDを用いた多出力関数のコンパクトな表現法と組み込みシステムへの応用 IFIP VLSI-SOC'01,406-411頁 (共著) 2001/12/03
論文	最大非対称関数の同値類に基づくベンチマーク生成の一考察電子情報通信学会多値論理とその応用研究会技術研究報告 MVL-37 (1),50-57頁 (共著) 2024/01/07
論文	最大非対称関数の同値類の提案多値論理研究会　多値論理研究ノート 46 (1),1-1-1-6頁 (共著) 2023/09/23
論文	リソグラフィホットスポット検出のための光学系の特性を考慮した特徴量電子情報通信学会　技術研究報告 122 (402),VLD2022-81, 49-54頁 (共著) 2023/03/01
論文	対称インデックス生成関数における行シフト分解可能性について多値論理研究会　多値論理研究ノート 45 (10),10-1-10-6頁 (共著) 2022/09/18
論文	多値決定木に基づく Hyper Spectral 画像内の異常検出に関する一検討多値論理研究会　多値論理研究ノート 45 (5),5-1-5-8頁 (共著) 2022/09/17
論文	ナンバーリンク問題例の効率的な⾃動⽣成⼿法について多値論理研究会　多値論理研究ノート 44 (9),9-1-9-7頁 (共著) 2021/09/12
論文	最大非対称関数の判定法と生成法の提案多値論理研究会　多値論理研究ノート 43 (4),4-1-4-8頁 (共著) 2020/09/05
論文	最大非対称関数の特徴分析とその生成について電子情報通信学会　技術研究報告 120 (66),VLD2020-7, 35-40頁 (共著) 2020/06/18
論文	Isolation Forestによる異常検知の効率化に関する検討電子情報通信学会　技術研究報告 119 (443),VLD2019-125, 179-184頁 (共著) 2020/03/06
論文	リソグラフィホットスポット検出のための画像スペクトルに基づく特徴量についての一検討電子情報通信学会　技術研究報告 119 (443),VLD2019-108, 83-88頁 (共著) 2020/03/04
論文	リソグラフィホットスポット検出用既存訓練データの修正による訓練データの追加生成電子情報通信学会　技術研究報告 119 (443),VLD2019-107, 77-82頁 (共著) 2020/03/04
論文	EVBDDに基づく初等関数回路の設計検証電子情報通信学会　技術研究報告 119 (443),VLD2019-96, 13-18頁 (共著) 2020/03/04
論文	インデックス生成関数の行シフト分解における分解可能性判定法電子情報通信学会　技術研究報告 119 (443),VLD2019-94, 1-6頁 (共著) 2020/03/04
論文	行シフト分解に基づくインデックス生成関数の同値類について電子情報通信学会多値論理とその応用研究会技術研究報告 MVL-33 (1),24-29頁 (共著) 2020/01/11
論文	配線幅および配線間距離を考慮した特徴量によるリソグラフィホットスポット検出電子情報通信学会　技術研究報告 119 (282),VLD2019-51, 185-190頁 (共著) 2019/11/15
論文	インデックス生成関数の行シフト分解における分解可能性について多値論理研究会　多値論理研究ノート 42,No. 13, 1-6頁 (共著) 2019/09/15
論文	Isolation Forest の多値化に関する検討多値論理研究会　多値論理研究ノート 42,No. 12, 1-8頁 (共著) 2019/09/15
論文	Flexible Distance-based Hashingに基づく大規模多次元データ集合に対する近似最近傍探索手法の改良第11回データ工学と情報マネジメントに関するフォーラム A7 (1) (共著) 2019/03/06
論文	最適ハイパーパラメータ下での機械学習に基づくリソグラフィホットスポット検出手法の比較検討電子情報通信学会　技術研究報告 118 (334),VLD2018-71, 215-220頁 (共著) 2018/12/07
論文	モンテカルロ木探索とギブスサンプリング法を用いたモチーフ抽出問題のハイブリッド解法電子情報通信学会　技術研究報告 118 (334),VLD2018-61, 149-154頁 (共著) 2018/12/06
論文	モチーフ抽出問題におけるモンテカルロ木探索に基づく良質な初期解の生成手法の提案多値論理研究会　多値論理研究ノート 41,No. 2, 1-6頁 (単著) 2018/09/15
論文	組み込みシステム技術とネットワーク技術を教育するための学生実験用ロボット教材と実験カリキュラムの開発情報処理学会第80回全国大会講演論文集 4,373-374頁 (共著) 2018/03/13
論文	モンテカルロ木探索を用いたモチーフ抽出法の提案と実験的評価電子情報通信学会　技術研究報告 117 (455),VLD2017-108, 115-120頁 (共著) 2018/03/01
論文	配線間距離を考慮した特徴量に基づくリソグラフィホットスポット検出手法の検討電子情報通信学会　技術研究報告 117 (455),VLD2017-105, 97-105頁 (共著) 2018/03/01
論文	高次元データに対するLSH法を用いたk近傍探索ハードウェア電子情報通信学会　技術研究報告 117 (455),VLD2017-91, 13-18頁 (共著) 2018/02/28
論文	ランダムフォレストに基づく書き換え可能なネットワーク侵入検知ハードウェアのメモリ量削減について電子情報通信学会　技術研究報告 117 (455),VLD2017-90, 7-12頁 (共著) 2018/02/28
論文	FPGA実装によるRBF近似関数の高速計算について電子情報通信学会　技術研究報告 117 (455),VLD2017-89, 1-6頁 (共著) 2018/02/28
論文	インデックス生成関数の最適な線形分解のための厳密解法多値論理研究会　多値論理研究ノート 40,No. 24, 1-8頁 (単著) 2017/09/17
論文	ランダムフォレストに基づく再構成可能なネットワーク侵入検知システムの一実装法電子情報通信学会　技術研究報告 117 (97),VLD2017-10, 37-42頁 (共著) 2017/06/19
論文	勾配法を用いた自動車エンジン制御パラメータの最適化手法電子情報通信学会　技術研究報告 117 (97),VLD2017-9, 31-36頁 (共著) 2017/06/19
論文	LSIマスクパターンに対する近似文字列照合に基づくホットスポット検出手法の高速化電子情報通信学会　技術研究報告 116 (478),VLD2016-112, 61-66頁 (共著) 2017/03/02
論文	ネットワーク侵入検知のためのスクリーニング回路に対する最適スクリーニングパターン生成について電子情報通信学会　技術研究報告 116 (478),VLD2016-108, 37-42頁 (共著) 2017/03/02
論文	ストリームデータに対するマハラノビス距離に基づく外れ値検出手法のFPGA実装電子情報通信学会　技術研究報告 116 (417),RECONF2016-72, 141-146頁 (共著) 2017/01/16
論文	高速ネットワークにおける侵入検知に対するスクリーニング回路とFPGA実装電子情報通信学会　技術研究報告 115 (465),VLD2015-119, 49-54頁 (共著) 2016/03/01
論文	数値流体力学におけるMacCormack 法を実現する並列アルゴリズムとそのFPGA実装電子情報通信学会　技術研究報告 115 (400),RECONF2015-75, 137-142頁 (共著) 2016/01/20
論文	外れ値検出に対するMSD法のGPU実装と実験的評価電子情報通信学会　技術研究報告 115 (399),CPSY2015-115, 37-42頁 (共著) 2016/01/19
論文	インデックス生成関数の高速な線形分解法について電子情報通信学会多値論理とその応用研究会技術研究報告 MVL-16 (1),1-8頁 (共著) 2016/01/09
論文	保守性の高い高速なネットワーク侵入検知のための正規表現マッチング手法について電子情報通信学会　第57回機能集積情報システム研究会　技術報告 15 (402),1-1頁 (共著) 2015/06/26
論文	数値流体力学におけるLax-Friedrichsスキームを実現する並列アルゴリズムとそのFPGA実装電子情報通信学会　技術研究報告 114 (476),VLD2014-180, 153-158頁 (共著) 2015/03/04
論文	GPUにおける疎行列ベクトル積の実装と共役勾配法への適用電子情報通信学会　技術研究報告 114 (427),CPSY2014-150, 181-186頁 (共著) 2015/01/30
論文	高速ネットワークにおける多バイト遷移非決定性有限オートマトンによる侵入検知電子情報通信学会　技術研究報告 114 (428),RECONF2014-66, 133-138頁 (共著) 2015/01/30
論文	EVMDDの新しい簡単化規則による多状態システム解析の高速化電子情報通信学会多値論理とその応用研究会技術研究報告 MVL-15 (1),1-8頁 (共著) 2015/01/10
論文	連立一次方程式に対する共役勾配法のGPU実装と実験的評価 DAシンポジウム 2014,227-232頁 (共著) 2014/08/29
論文	連立一次方程式に対する共役勾配法のFPGA実装と実験的評価第27回回路とシステムワークショップ,80-85頁 (共著) 2014/08/04
論文	Dual Glushkov NFA を用いた正規表現マッチングの高速化 2014年度夏のLAシンポジウム (共著) 2014/07/17
論文	Fast Regular Expression Matching Using Dual Glushkov NFA Hokkaido University, Division of Computer Science, TCS Technical Reports TCS-TR-A-14-73 (共著) 2014/05/26
論文	分子生物学におけるモチーフ抽出問題に対する並列タブー探索法とGPU実装電子情報通信学会　技術研究報告 113 (454),VLD2013-144, 61-66頁 (共著) 2014/03/04
論文	大規模な正規表現パタンを扱う高速テキスト検索手法 2013年度冬のLAシンポジウム(京都大学RIMS講究録),14.1-14.4頁 (共著) 2014/01/30
論文	大規模グラフの最大クリーク問題に対するソフトウェア・再構成可能ハードウェア協調解法電子情報通信学会　技術研究報告 113 (418),RECONF2013-57, 7-12頁 (共著) 2014/01/28
論文	一部の部品間の従属事象を考慮した多状態システムの解析法電子情報通信学会多値論理とその応用研究会技術研究報告 MVL-14 (1),MVL14-10, 70-77頁 (共著) 2014/01/12
論文	クリティカルパス長最小化を目的とした整数計画法に基づくPLD配置配線手法電子情報通信学会　技術研究報告 113 (325),RECONF2013-49, 57-62頁 (共著) 2013/11/28
論文	多状態システムの高速な解析のためのEVMDDの新しい最適化について多値論理研究会　多値論理研究ノート 36,No. 5, 1-8頁 (共著) 2013/09/14
論文	高速なパターン更新のためのFPGAの部分再構成を利用したコンパクトな正規表現マッチングハードウェア第26回回路とシステムワークショップ,191-196頁 (共著) 2013/07/29
論文	マルチコアプロセッサのための配線領域共有並列概略配線手法電子情報通信学会　技術研究報告 112 (451),VLD2012-150, 83-88頁 (共著) 2013/03/05
論文	EVMDDを用いた多状態システムの診断法電子情報通信学会多値論理とその応用研究会技術研究報告 MVL-13 (1),MVL13-13, 70-77頁 (共著) 2013/01/13
論文	大規模グラフの最大クリーク問題に対する部分再構成可能FPGAを用いたハードウェア解法電子情報通信学会　技術研究報告 112 (325),RECONF2012-53, 33-38頁 (共著) 2012/11/28
論文	プログラマブル論理デバイスを対象とした配置配線問題の整数計画法に基づく定式化電子情報通信学会　技術研究報告 112 (320),VLD2012-75, 93-98頁 (共著) 2012/11/27
論文	EVMDDに基づく多状態システムの解析法多値論理研究会　多値論理研究ノート 35,No. 22, 1-8頁 (共著) 2012/09/16
論文	近似正規表現マッチングアルゴリズムのGPGPU実装およびFPGA実装と比較電子情報通信学会　技術研究報告 111 (450),VLD2011-139, 115-120頁 (共著) 2012/03/07
論文	パターン非依存正規表現マッチングエンジンに対する先読み演算の実現電子情報通信学会　技術研究報告 111 (450),VLD2011-136, 97-102頁 (共著) 2012/03/07
論文	ネットワーク侵入検知のためのパターン非依存NFAとシストリックアルゴリズムを組み合わせた正規表現マッチングエンジン第10回情報科学技術フォーラム 1-C (RC-006),95-201頁 (共著) 2011/09/09
論文	区分的算術変換に基づく初等関数回路電子情報通信学会多値論理とその応用研究会技術研究報告 MVL-11 (1),MVL11-12, 66-72頁 (共著) 2011/01/09
論文	スプライン補間とバイリニア補間を用いた２変数離散関数の設計法電子情報通信学会多値論理とその応用研究会技術研究報告 MVL-11 (1),MVL11-10, 54-61頁 (共著) 2011/01/09
論文	１次元シストリックアルゴリズムを用いたあるクラスの近似文字列照合問題の解法について電子情報通信学会多値論理とその応用研究会技術研究報告 MVL-11 (1),MVL11-7, 31-37頁 (共著) 2011/01/08
論文	区分的多値決定グラフを用いた浮動小数点数学関数回路多値論理研究会　多値論理研究ノート 33,No. 3, 1-9頁 (共著) 2010/09/11
論文	クリーネ演算のネストに対応した効率的な正規表現マッチングハードウェア多値論理研究会　多値論理研究ノート 33,No. 2, 1-9頁 (共著) 2010/09/11
論文	近似文字列照合問題の高速な解法に関する研究とそのFPGA実装多値論理研究会　多値論理研究ノート 33,No. 1, 1-9頁 (共著) 2010/09/11
論文	高速なテキスト検索のための近似正規表現マッチングアルゴリズムとそのFPGA実装第9回情報科学技術フォーラム 1-C (RC-003),69-74頁 (共著) 2010/09/08
論文	量指定子による文字列の繰り返しに対応した正規表現マッチング専用ハードウェア電子情報通信学会　技術研究報告 109 (395),RECONF2009-76, 137-142頁 (共著) 2010/01/27
論文	マルチコアプロセッサに適した並列シミュレーティドアニーリングに基づくLSIフロアプランニング手法情報処理学会シンポジウムシリーズ 2009 (7),61-66頁 (共著) 2009/08/26
論文	NIDS専用正規表現マッチングマシンの構成とそのFPGA実装電子情報通信学会　技術研究報告 108 (414),RECONF2008-87, 189-194頁 (共著) 2009/01/29
論文	多値決定グラフを用いた単調初等関数の浮動小数点表現電子情報通信学会多値論理とその応用研究会技術研究報告 MVL-09 (1),MVL09-14, 76-85頁 (共著) 2009/01/10
論文	書換え可能な二変数関数の数値計算回路について電子情報通信学会　技術研究報告 108 (300),RECONF2008-49, 57-62頁 (共著) 2008/11/17
論文	EVMDDに基づく二変数数学関数の表現法と数値計算回路への応用多値論理研究会　多値論理研究ノート 31,No. 10, 1-9頁 (共著) 2008/09/11
論文	ストリングマッチングマシンのFPGAによる実現とネットワーク侵入検知システムへの応用情報処理学会シンポジウムシリーズ 2008 (7),91-96頁 (共著) 2008/08/26
論文	パターンを実行時に設定可能な正規表現ストリングマッチングマシンとFPGAによる実現電子情報通信学会　技術研究報告 107 (418),RECONF2007-61, 61-66頁 (共著) 2008/01/16
論文	2次割当問題に対するシストリックアルゴリズムに基づくハードウェア解法電子情報通信学会　技術研究報告 107 (418),RECONF2007-60, 55-60頁 (共著) 2008/01/16
論文	LSIフロアプランニングに対する遺伝的アルゴリズムとタブー探索に基づく並列アルゴリズムとそのPCクラスタ上での実現電子情報通信学会　技術研究報告 106 (453),VLD2006-90, 31-36頁 (共著) 2007/01/17
論文	2次割当問題に対するタブー探索法に基づくFPGAを用いたハードウェア解法電子情報通信学会　技術研究報告 106 (457),RECONF2006-62, 37-42頁 (共著) 2007/01/17
論文	EVBDDを用いた数値計算回路の構成電子情報通信学会　技術研究報告 106 (394),RECONF2006-48, 25-30頁 (共著) 2006/11/28
論文	FPGA実装に適した多項式近似に基づく数値計算回路電子情報通信学会　技術研究報告 106 (247),RECONF2006-29, 13-18頁 (共著) 2006/09/14
論文	BMDを用いた初等関数の表現法と数値計算回路への応用多値論理研究会　多値論理研究ノート 29,No. 10, 1-6頁 (共著) 2006/08/21
論文	二次近似法に基づくプログラマブル数値計算回路の構成とその合成法電子情報通信学会　技術研究報告 105 (513),VLD2005-91, 25-30頁 (共著) 2006/01/17
論文	プログラマブル数値計算回路のアーキテクチャとその合成法電子情報通信学会　技術研究報告 105 (288),RECONF2005-41, 1-6頁 (共著) 2005/09/15
論文	入力ベクトルからの信号値を正当化する最小キューブ抽出電子情報通信学会　技術研究報告 104 (478),VLD2004-77, 97-102頁 (共著) 2004/12/01
論文	Realization of multiple-output functions by sequential Look-Up Table cascades 電子情報通信学会　技術研究報告 103 (579),VLD2003-127, 13-18頁 (共著) 2004/01/22
論文	ヘテロジニアスMDDにおける平均パス長の最小化法について電子情報通信学会　技術研究報告 103 (476),VLD2003-107, 223-228頁 (共著) 2003/11/27
論文	ヘテロジニアスMDDを用いた論理関数の表現法電子情報通信学会　技術研究報告 102 (476),VLD2002-98, 97-102頁 (共著) 2002/11/27
論文	QRMDDを用いた論理関数の表現法について電子情報通信学会　技術研究報告 101 (577),VLD2001-142, 77-84頁 (共著) 2002/01/23
論文	多出力関数のBDDによる表現法とその最適化法電子情報通信学会　技術研究報告 101 (474),VLD2001-100, 67-72頁 (共著) 2001/11/28