所属
大学院情報工学研究院 知能情報工学研究系
職名
准教授
外部リンク
シモゾノ シンイチ
下薗 真一
SHIMOZONO Shinichi
出身学校
-
1989年03月 九州大学 理学部 物理学科 卒業 日本国
出身大学院
-
1991年03月 九州大学 総合理工学研究科 情報システム学 修士課程・博士前期課程 修了 日本国
取得学位
-
九州大学 - 博士（理学） 1996年02月
学内職務経歴
-
2008年04月 - 現在 九州工業大学 大学院情報工学研究院 知能情報工学研究系 准教授
論文
-
Application of Approximate Pattern Matching in Two Dimensional Space to Grid Layout for Biochemical Network Maps 査読有り
Kentaro Inoue, Shinichi Shimozono, Hideaki Yoshida, Hiroyuki Kurata
PLoS ONE 7 ( 6 ) e37739 2012年06月
-
A Space-Saving Approximation Algorithm for Grammar-Based Compression 査読有り
Hiroshi Sakamoto,Shirou Maruyama,Takuya Kida,Shinichi Shimozono
IEICE Trans. on Information and Systems, Vol.E92-D,No.2,pp.158-165 E92-D ( 2 ) 158 - 165 2009年02月
-
Time and Space Efficient Discovery of Maximal Geometric Graphs 査読有り
Hiroki Arimura,Takeaki Uno,Shinichi Shimozono
iscovery Science, 10th International Conference, DS 2007, Proceedings, Lecture Notes in Computer Science 4755 42 - - 55 2007年10月
-
Hardness results on local multiple alignment of biological sequences 査読有り
Tatsuya Akutsu,Hiroki Arimura,Shinichi Shimozono
IPSJ Transactions on Bioinformatics 48 ( SIG5 ) 30 - - 38 2007年04月
-
A space-saving linear-time algorithm for grammar-based compression 査読有り
Hiroshi Sakamoto,Takuya Kida,Shinichi Shimozono
Lecture Notes in Computer Science (SPIRE 2004, The 11th Symposium on String Processing and Information Retrieval) 3246 218 - 229 2004年10月
-
Approximate point set matching on sequences and planes 査読有り
Tomoaki Suga,Shinichi Shimozono
Lecture Notes in Computer Science (CPM 2004, The 15th Annual Symposium on Combinatorial Pattern Matching) 3109 89 - --101 2004年07月
-
Fragmentary Pattern Matching: Complexity, Algorithms and Applications for Analyzing Classic Literary Works 査読有り
Hideaki HORI,Shinichi SHIMOZONO,Masayuki TAKEDA,Ayumi SHINOHARA
International Symposium on Algorithm and Computation 719 - 730 2001年12月
-
Mining Semi-Structured Data by Path Expressions 査読有り
K. TANIGUCHI,H. SAKAMOTO,H. ARIMURA (Kyushu Univ.),Shinichi SHIMOZONO,S. ARIKAWA (Kyushu Univ.)
Proc. the 4th International Conference on Discovery Science (LNAI 2226) 378 - 388 2001年11月
-
A simple and quick approximation algorithm for traveling salesman in the plane 査読有り
Norihiro KUBO (Grad. School of Comput. Sci. and Sys. Eng.; Kyushu Int. of Tech.),Katsuhiro MURAMOTO (Iwashita Engineering),Shinichi SHIMOZONO
Proc. the 11th International Conference on Algorithm and Computation (Lecture Notes in Computer Science 1969) 216 - 227 2000年12月
-
Text Data Mining: Discovery of Important Keywords in the Cyberspace 査読有り
Hiroki ARIMURA,Jun-ichiro ABE,Ryoichi FUJINO,Hiroshi SAKAMOTO (Kyushu Univ.),Shinichi SHIMOZONO,Setsuo ARIKAWA (Kyushu Univ.)
Proc. 2000 Kyoto International Conference on Digital Libraries 121 - 126 2000年11月
-
Constructive Learning of Context-Free Languages with a Subpansive Tree 査読有り
Noriko Sugimoto,Takashi Toyoshima,Shinichi Shimozono,Kouichi Hirata
Proc. of the 5th International Colloquium on Grammatical Inference (Lecture Notes in Artificial Intelligence 1891) 270 - 283 2000年09月
-
On approximation algorithms for local multiple alignment 査読有り
Tatsuya Akutsu (Univ. Tokyo),Hiroki Arimura (Kyushu Univ.),Shinichi Shimozono
Proc. of the 4th Annual International Conference on Computational Molecular Biology (RECOMB 2000) 1 - 7 2000年04月
-
Efficient discoverly of optimal word-association patterns in large text databases 査読有り
Shinichi Shimozono,Hiroki Arimura (Kyushu Univ.),Setsuo Arikawa (Kyushu Univ.)
New Generation Computing 18 ( 1 ) 49 - 61 2000年04月
-
テキストデータからの高速データマイニング－探索的文書ブラウジングとウェブデータへの応用－ 査読有り
安部 潤一郎,藤野 亮一 (九州大学),下薗 真一,有村 博紀,有川 節夫 (九州大学)
人工知能学会誌 15 ( 4 ) 618 - -628 2000年04月
-
Alphabet indexing for approximating features of symbols 査読有り
下薗 真一
Theoretical Computer Science 210 ( 2 ) 245 - 260 1999年04月
-
On the hardness of approximating the minimum consistent acyclic DFA and decision diagram 査読有り
Shinichi Shimozono,Koichi Hirata,Ayumi Shinohara
Information Processing Letters 66 ( 4 ) 165 - -170 1998年04月
-
Finding optimal subgraphs by local search 査読有り
下薗 真一
Theoretical Computer Science 172 265 - 271 1997年04月
-
On the hardness of approximating the minimum consistent OBDD problem 査読有り
未入力
Lecture Notes in Computer Science 1097 112 - 123 1996年04月
-
Complexity of finding alphabet indexing 査読有り
未入力
IEICE Transactions on Information and Systems E78-D ( 1 ) 13 - 18 1995年04月
-
Knowledge acquisition from amino acid sequences by machine learning system BONSAI 査読有り
未入力
Transactions of Information Processing Society of Japan 35 ( 10 ) 2009 - 2018 1994年04月
-
Finding alphabet indexing for decision trees over regular patterns : an approach to bioinformatical knowledge acquisition 査読有り
未入力
Proceedings of the Twenty-Sixth Annual Hawaii leternational Conference on System Sciences, IEEE Computer Society 763 - 772 1993年04月
-
Running Learning Systems in Parallel for Machine Discovery from Sequences 査読有り
未入力
Proceedings Genome Informatics Workshop IV, Universal Academy Press 74-83 1993年04月
-
表面実装ロボットの実装シーケンスの決定への巡回セールスマン問題アルゴリズムの適用
下薗 真一
九州大学大型計算機セミナー計算機科学研究報告 7 1990年04月
口頭発表・ポスター発表等
-
SQLによる評価関数の外部定義が可能な最適時間割作成システム
第一著者
情報処理学会九州支部 火の国情報シンポジウム2007
-
幾何点列近似照合を用いたタンパク質二次構造近似検索の実現
第一著者
情報処理学会九州支部 火の国情報シンポジウム2007
-
省スペースな線形時間文法圧縮アルゴリズム
電子情報通信学会コンピュテーション研究会
-
楽譜検索のための幾何点列の近似パタン照合
菅 智昭（九州工業大学大学院）
電子情報通信学会コンピュテーション研究会
-
平面巡回セールスマン問題の高速な近似アルゴリズム
情報処理学会研究報告２０００－AL-74
-
An efficient tool for discovering simple combinatorial patterns from large text databases
Proc. 1st International Conference on Discovery Science (Lecture Notes in Artificial Intelligence 1532)
-
Maximizing agreement with a classification by bounded or unbounded number of associated words
Proc. 9th Annual International Symposium on Algorithms and Computation (Lecture Notes in Computer Science 1533)
学術関係受賞
-
（社）人工知能学会2000年度論文賞
（社）人工知能学会 2001年05月
安部潤一郎，藤野亮一，下薗真一，有村博紀，有川節夫
-
平成8年度情報処理学会論文賞
情報処理学会 1996年04月01日
未設定
科研費獲得実績
-
情報ネットワークにおける大規模知識処理のための超高速アルゴリズムの研究
研究課題番号：19024001 2007年04月 - 2009年03月 特定領域研究
-
情報ネットワークにおける大規模知識処理のための超高速アルゴリズムの研究
研究課題番号：18049001 2006年04月 - 2007年03月 特定領域研究
-
非明示的表現に対するアルゴリズムの開発
研究課題番号：16092220 2004年04月 - 2008年03月 特定領域研究
-
最適作業時間割問題のカスタマイザブルCADシステム
研究課題番号：16700147 2004年04月 - 2007年03月 若手研究(B)
-
最適パターン発見に基づく大規模半構造データからの知的情報獲得システムの開発
研究課題番号：16016266 2004年04月 - 2005年03月 特定領域研究
-
最適パターン発見に基づく大規模半構造データからの知的情報獲得システムの開発
研究課題番号：15017268 2003年04月 - 2004年03月 特定領域研究
-
最適パターン発見に基づく大規模半構造データからの知的情報獲得システムの開発
研究課題番号：14019070 2002年04月 - 2003年03月 特定領域研究
-
最適パターン発見に基づく大規模半構造データからの知的情報獲得システムの開発
研究課題番号：13224073 2001年04月 - 2002年03月 特定領域研究(C)
-
アナロジーによる学習・類推・発想:ニューラルネットと認知心理による同時研究
研究課題番号：12680390 2000年04月 - 2003年03月 基盤研究(C)
-
データベースから近似的な規則を抽出する高速アルゴリズムの研究
研究課題番号：12780286 2000年04月 - 2002年03月 奨励研究(A)
-
圧縮データ上の高速パタン照合アルゴリズムを用いた知的全文検索システムの開発
研究課題番号：10558047 1998年04月 - 2001年03月 基盤研究(B)
-
二分決定グラフを知識表現に用いたデータマイニングシステムの開発
研究課題番号：09558032 1997年04月 - 2000年03月 基盤研究(B)
-
近似圧縮アルゴリズムによるテキストデ-タ処理の高速化
研究課題番号：08780373 1996年04月 - 1997年03月 奨励研究(A)
-
情報圧縮によるテキストデ-タベ-スの高速化
研究課題番号：07558159 1996年04月 - 1997年03月 基盤研究(A)
-
近似圧縮アルゴリズムによるテキストデ-タ処理の高速化
研究課題番号：07780341 1995年04月 - 1996年03月 奨励研究(A)
-
並列知識獲得システムの開発
研究課題番号：06558047 1994年04月 - 1997年03月 試験研究(B)→基盤研究(A)
-
ウェ-ブレット解析による画像圧縮と連想記憶モデルによる圧縮画像の高速認識
研究課題番号：06808035 1994年04月 - 1995年03月 一般研究(C)
-
ゲノムデ-タ解析用の高速ニュ-ラルネットワ-クの研究
研究課題番号：05254211 1993年04月 - 1994年03月 重点領域研究
-
塩基配列用の高速パタ-ン照合アルゴリズムの研究
研究課題番号：04261210 1992年04月 - 1994年03月 重点領域研究
担当授業科目（学内）
-
2023年度 検索アルゴリズム論MI
-
2023年度 検索アルゴリズム論AI
-
2023年度 検索アルゴリズム論DS
-
2023年度 知能情報工学特別講義
-
2023年度 アルゴリズム設計(A)
-
2023年度 知能情報工学基礎実験
-
2023年度 オートマトンと言語理論
-
2023年度 離散数学Ⅱ
-
2023年度 情報工学基礎実験
-
2022年度 検索アルゴリズム論MI
-
2022年度 検索アルゴリズム論AI
-
2022年度 検索アルゴリズム論DS
-
2022年度 アルゴリズム設計(A)
-
2022年度 オートマトンと言語理論
-
2022年度 離散数学Ⅱ
-
2021年度 計算量理論特論
-
2021年度 アルゴリズム設計(A)
-
2021年度 オートマトンと言語理論
-
2021年度 離散数学Ⅱ
-
2020年度 計算量理論特論
-
2020年度 知能情報工学プロジェクト
-
2020年度 知能情報工学プロジェクト
-
2020年度 知能情報工学実験演習Ⅱ
-
2020年度 知能情報工学実験演習Ⅰ
-
2020年度 アルゴリズム設計(A)
-
2020年度 知能情報工学基礎実験
-
2020年度 離散数学Ⅱ
-
2019年度 計算量理論特論
-
2019年度 計算量理論
-
2019年度 知能情報工学実験演習Ⅰ
-
2019年度 アルゴリズム設計(A)
-
2019年度 離散数学Ⅱ
-
2018年度 計算量理論
-
2018年度 アルゴリズム設計Ａ
-
2018年度 離散数学Ⅱ
-
2018年度 計算量理論特論
-
2017年度 計算量理論特論
-
2017年度 計算量理論
-
2017年度 アルゴリズム設計Ａ
-
2016年度 計算量理論特論
-
2016年度 計算量理論
-
2016年度 アルゴリズム設計Ａ
-
2015年度 計算量理論
-
2015年度 アルゴリズム設計Ａ
-
2014年度 計算量理論
-
2014年度 アルゴリズム設計Ａ
-
2014年度 知能情報工学基礎演習Ⅱ
-
2014年度 知能情報工学入門
-
2013年度 計算量理論特論
-
2013年度 計算量理論
-
2012年度 アルゴリズム設計Ａ
-
2012年度 計算量理論
-
2012年度 知能情報工学基礎演習 II
-
2012年度 知能情報工学基礎演習 I