世木博久 SEKI Hirohisa

研究者番号	90242908
その他のID
外部サイト
所属 (過去の研究課題情報に基づく) *注記	2012年度 – 2020年度: 名古屋工業大学, 工学(系)研究科(研究院), 教授 2009年度 – 2011年度: 名古屋工業大学, 大学院・工学研究科, 教授 1997年度 – 1998年度: 名古屋工業大学, 工学部, 教授 1997年度: 名古屋工大, 工学部, 助教授 1996年度: 名古屋工業大学, 工学部, 助教授 1996年度: 名古屋工業大学, 工学部・知能情報システム学科, 助教授 1994年度: 名古屋工業大学, 工学部・知能情報システム学科, 助教授
審査区分/研究分野	研究代表者知能情報学 / 知能情報学 / 小区分61030:知能情報学関連 / 知能情報学研究代表者以外知能情報学
キーワード	研究代表者計算論理 / プログラム推論 / 探索・論理・推論アルゴリズム / システム検証 / プログラム変換 / 推論アルゴリズム / 仕様マイニング / ルール発見 / パターンマイニング / 形式概念分析 … もっと見る / パターン発見 / 定理の自動証明 / 様相論理 / マルチエージェント / 最適化 / 問合せ処理 / 論理プログラム … もっと見る研究代表者以外 inductive learning / higher-level reasoning / parallel processing / artificial intelligence(AI) / multimedia / 帰納学習 / 高次推論 / 並列処理 / 人工知能システム / マルチメディア隠す

無限構造を扱うシステムの検証に向けた仕様発見系を持つプログラム推論技術の研究研究代表者
- 研究代表者
  
  世木博久
- 研究期間 (年度)
  2018 – 2020
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分61030:知能情報学関連
- 研究機関
  名古屋工業大学
無限構造を扱うプログラム推論を用いたソフトウェア検証方法の確立研究代表者
- 研究代表者
  
  世木博久
- 研究期間 (年度)
  2015 – 2017
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  知能情報学
- 研究機関
  名古屋工業大学
無限項を扱うプログラム変換を用いたソフトウェア検証方法の研究研究代表者
- 研究代表者
  
  世木博久
- 研究期間 (年度)
  2012 – 2015
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  知能情報学
- 研究機関
  名古屋工業大学
セキュアシステム構築のための計算論理的基盤技術の研究研究代表者
- 研究代表者
  
  世木博久
- 研究期間 (年度)
  2009 – 2011
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  知能情報学
- 研究機関
  名古屋工業大学
マルチエージェント環境のための様相論理に対する推論システムの研究研究代表者
- 研究代表者
  
  世木博久
- 研究期間 (年度)
  1996 – 1998
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  知能情報学
- 研究機関
  名古屋工業大学
人工知能システムにおけるマルチメディア情報の超並列処理の研究
- 研究代表者
  
  伊藤英則
- 研究期間 (年度)
  1996 – 1998
- 研究種目
  
  国際学術研究
- 研究分野
  
  知能情報学
- 研究機関
  名古屋工業大学
論理プログラムの意味論と問合せ処理の最適化技術の研究研究代表者
- 研究代表者
  
  世木博久
- 研究期間 (年度)
  1994
- 研究種目
  
  一般研究(C)
- 研究分野
  
  知能情報学
- 研究機関
  名古屋工業大学

すべて 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009

すべて雑誌論文学会発表図書

[図書] Pre-Proc. of 24th Int'l. Symp. on Logic-Based Program Synthesis and Transformation (LOPSTR2014)2014
- 著者名/発表者名
  M. Proietti, H. Seki
- 総ページ数
  311
- 出版者
  Istituto Di Analisi Dei Sistemi Ed Informatica, CNR
- データソース
  KAKENHI-PROJECT-24500171
[雑誌論文] Using term similarity measures for classifying short document data2021
- 著者名/発表者名
  Hirohisa Seki, Shuhei Toriyama
- 雑誌名
  
  International Journal of Computational Intelligence Studies
  
  巻: -
- 査読あり
- データソース
  KAKENHI-PROJECT-18K11432
[雑誌論文] A Parallel Algorithm for Mining Non-Redundant Recurrent Rules from a Sequence Database2019
- 著者名/発表者名
  S.-Y. Yoon, H. Seki
- 雑誌名
  
  Journal of Advanced Computational Intelligence and Intelligent Informatics
  
  巻: 23 ページ: 956-961
- NAID
  130007709894
- 査読あり
- データソース
  KAKENHI-PROJECT-18K11432
[雑誌論文] Mining Non-Redundant Recurrent Rules from a Sequence Database2018
- 著者名/発表者名
  SeungYong Yoon, H. Seki
- 雑誌名
  
  International Journal of Computational Intelligence Studies
  
  巻: 7 ページ: 253-269
- 査読あり
- データソース
  KAKENHI-PROJECT-18K11432
[雑誌論文] Parallel Algorithms for Enumerating Closed Patterns from Multi-Relational Data2018
- 著者名/発表者名
  Hirohisa Seki, Masahiro Nagao
- 雑誌名
  
  Discrete Applied Mathematics
  
  巻: 印刷中
- 査読あり
- データソース
  KAKENHI-PROJECT-15K00305
[雑誌論文] An FCA Approach to Mining　Quantitative Association Rules from Multi-Relational Data2018
- 著者名/発表者名
  Masahiro Nagao, Hirohisa Seki
- 雑誌名
  
  International Journal of Computational Intelligence Studies
  
  巻: 印刷中
- 査読あり
- データソース
  KAKENHI-PROJECT-15K00305
[雑誌論文] On dual programs in co-logic programming and the Horn mu-calculus2017
- 著者名/発表者名
  Hirohisa Seki
- 雑誌名
  
  Formal Aspects of Computing
  
  巻: 29(3) 号: 3 ページ: 401-421
- DOI
  10.1007/s00165-016-0404-0
- 査読あり / 謝辞記載あり
- データソース
  KAKENHI-PROJECT-15K00305
[雑誌論文] On Dual Programs in Co-logic Programming2016
- 著者名/発表者名
  Hirohisa Seki
- 雑誌名
  
  Lecture Notes in Computer Science
  
  巻: 9527 ページ: 1-15
- 査読あり / 謝辞記載あり
- データソース
  KAKENHI-PROJECT-15K00305
[雑誌論文] Distributed Mining of Closed Patterns from Multi-Relational Data2015
- 著者名/発表者名
  Yohei Kamiya, Hirohisa Seki
- 雑誌名
  
  Journal of Advanced Computational Intelligence and Intelligent Informatics
  
  巻: 19 ページ: 804-809
- NAID
  130007673331
- 査読あり / 謝辞記載あり
- データソース
  KAKENHI-PROJECT-24500171
[雑誌論文] Extending Co-logic Programs for Branching-Time Model Checking2014
- 著者名/発表者名
  Hirohisa Seki
- 雑誌名
  
  Lecture Notes in Computer Science
  
  巻: 8901 ページ: 127-144
- 査読あり / 謝辞記載あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-24500171
[雑誌論文] Proving Properties of Co-logic Programs with Negation by Program Transformations2013
- 著者名/発表者名
  世木博久
- 雑誌名
  
  Lecture Notes in Computer Science
  
  巻: 7844 ページ: 213-227
- 査読あり
- データソース
  KAKENHI-PROJECT-24500171
[雑誌論文] Proving Properties of Co-logic Programs by Unfold/Fold Transformations2012
- 著者名/発表者名
  世木博久
- 雑誌名
  
  Lecture Notes in Computer Science(Springer-Verlag)
  
  巻: 7225(印刷中) ページ: 205-220
- 査読あり
- データソース
  KAKENHI-PROJECT-21500136
[雑誌論文] Proving Properties of Co-logic Programs by Unfold/Fold Transformations2012
- 著者名/発表者名
  世木博久
- 雑誌名
  
  Lecture Notes in Computer Science
  
  巻: 7225 ページ: 205-220
- 査読あり
- データソース
  KAKENHI-PROJECT-24500171
[雑誌論文] Proving Properties of Co-ogic Programs by Unfold/Fold Transformations2012
- 著者名/発表者名
  H. Seki
- 雑誌名
  
  Revised Selected Papers, Lecture Notes in Computer Science
  
  巻: LNCS 7225(印刷中) ページ: 205-220
- 査読あり
- データソース
  KAKENHI-PROJECT-21500136
[雑誌論文] On Inductive Proofs by Extended Unfold/fold Transformation Rules2011
- 著者名/発表者名
  H. Seki
- 雑誌名
  
  Revised Selected Papers, Lecture Notes in Computer Science
  
  巻: LNCS 6564 ページ: 117-132
- 査読あり
- データソース
  KAKENHI-PROJECT-21500136
[雑誌論文] On Inductive Proofs by Extended Unfold/fold Transformation Rules2011
- 著者名/発表者名
  世木博久
- 雑誌名
  
  Lecture Notes in Computer Science, Springer-Verlag
  
  巻: 6564(印刷中) ページ: 117-132
- 査読あり
- データソース
  KAKENHI-PROJECT-21500136
[雑誌論文] On Inductive and Coinductive Proofs via Unfold/fold Transformations2010
- 著者名/発表者名
  H. Seki
- 雑誌名
  
  Revised Selected Papers, Lecture Notes in Computer Science
  
  巻: LNCS 6037 ページ: 82-96
- 査読あり
- データソース
  KAKENHI-PROJECT-21500136
[雑誌論文] On Inductive and Coinductive Proofs via Unfold/fold Transformations2010
- 著者名/発表者名
  世木博久
- 雑誌名
  
  Lecture Notes in Computer Science, Springer-Verlag 6037(印刷中)
  
  ページ: 82-96
- 査読あり
- データソース
  KAKENHI-PROJECT-21500136
[雑誌論文] On Negative Unfolding in the Answer Set Semantics2009
- 著者名/発表者名
  H. Seki
- 雑誌名
  
  Revised Selected Papers, Lecture Notes in Computer Science
  
  巻: LNCS 5438 ページ: 168-184
- 査読あり
- データソース
  KAKENHI-PROJECT-21500136
[学会発表] 単語拡張によるテキスト分類精度の改善と評価2021
- 著者名/発表者名
  鳥山修平, 世木博久,
- 学会等名
  情報処理学会第83回全国大会
- データソース
  KAKENHI-PROJECT-18K11432
[学会発表] 単語拡張によるテキスト分類精度の改善と評価2020
- 著者名/発表者名
  鳥山修平, 世木博久,
- 学会等名
  第18回情報学ワークショップ（WiNF2020）
- データソース
  KAKENHI-PROJECT-18K11432
[学会発表] A CbO-based Algorithm for Mining Class Relevant Patterns2020
- 著者名/発表者名
  Hirohisa Seki, Taiki Yamada
- 学会等名
  15th Int'l. Conf. on Concept Lattices and Their Applications (CLA 2020)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18K11432
[学会発表] On Term Similarity Measures for Short Text Classification2019
- 著者名/発表者名
  H. Seki, S. Toriyama
- 学会等名
  2019 IEEE Int'l. Workshop on Computational Intelligence and Applications (IWCIA2019)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18K11432
[学会発表] テキスト分類のための文書拡張法の評価2019
- 著者名/発表者名
  鳥山修平世木博久
- 学会等名
  情報処理学会第81回全国大会
- データソース
  KAKENHI-PROJECT-18K11432
[学会発表] A New Algorithm for Mining Recurrent Rules from a Sequence Database2019
- 著者名/発表者名
  H. Seki, S.-Y. Yoon
- 学会等名
  2019 IEEE Int'l. Conf. on Systems, Man and Cybernetics (SMC 2019)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18K11432
[学会発表] Mining Correlated Association Rules from Multi-Relational Data using Interval Patterns2018
- 著者名/発表者名
  H. Seki , M. Nagao
- 学会等名
  14th Int'l. Conf. on Concept Lattices and Their Applications (CLA 2018)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18K11432
[学会発表] Efficient Mining of Recurrent Rules from a Sequence Database Using Multi-Core Processors2018
- 著者名/発表者名
  S.-Y. Yoon , H. Seki
- 学会等名
  Joint 10th Int’l. Conf. on Soft Computing and Intelligent Systems and 19th Int’l Symp. on Advanced Intelligent Systems (SCIS&ISIS 2016)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18K11432
[学会発表] Towards Efficient Mining of Non-Redundant Recurrent Rules from a Sequence Database2017
- 著者名/発表者名
  SeungYong Yoon, H. Seki
- 学会等名
  2017 IEEE Int'l. Workshop on Computational Intelligence and Applications (IWCIA2017)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15K00305
[学会発表] Parallel Mining of Non-Redundant Recurrent Rules from a Sequence Database2017
- 著者名/発表者名
  SeungYong Yoon, H. Seki
- 学会等名
  18th Int'l. Symp. on Advanced Intelligent Systems (ISIS 2017)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15K00305
[学会発表] 形式概念の並列計算における負荷分散方式の検討2017
- 著者名/発表者名
  戸崎友斗, 長尾雅弘, 世木博久
- 学会等名
  情報処理学会第79回全国大会
- 発表場所
  名古屋大学 (名古屋市)
- データソース
  KAKENHI-PROJECT-15K00305
[学会発表] An Efficient Java Implementation of a GA-based Miner for Relational Association Rules with Numerical Attributes2017
- 著者名/発表者名
  H. Seki, M. Nagao
- 学会等名
  2017 IEEE Int'l. Conf. on Systems, Man and Cybernetics (SMC 2017)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15K00305
[学会発表] On Mining Quantitative Association Rules from Multi-Relational Data with FCA2016
- 著者名/発表者名
  M. Nagao, H. Seki
- 学会等名
  2016 IEEE 9th Int'l. Workshop on Computational Intelligence and Applications
- 発表場所
  江田島コミュニティセンター(江田島市)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15K00305
[学会発表] Mining Correlated Association Rules from Multi-Relational Data Using FCA2016
- 著者名/発表者名
  M. Nagao, H. Seki
- 学会等名
  Joint 8th Int’l. Conf. on Soft Computing and Intelligent Systems and 17th Int’l Symp. on Advanced Intelligent Systems
- 発表場所
  北海学園大学 (札幌市)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15K00305
[学会発表] Towards Parallel Mining of Closed Patterns from Multi-Relational Data2015
- 著者名/発表者名
  Masahiro Nagao, Hirohisa Seki
- 学会等名
  2015 IEEE Int'l. Workshop on Computational Intelligence and Applications (IWCIA)
- 発表場所
  広島市立大学 (広島県・広島市)
- 年月日
  2015-11-06
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15K00305
[学会発表] 関係データからの飽和パターンマイニングにおける並列化のための負荷分散方式2015
- 著者名/発表者名
  長尾雅弘世木博久
- 学会等名
  電気・電子・情報関係学会東海支部連合大会
- 発表場所
  名古屋工業大学
- 年月日
  2015-09-28
- データソース
  KAKENHI-PROJECT-24500171
[学会発表] Towards Efficient Mining of Closed Patterns from Multi-Relational Data2015
- 著者名/発表者名
  Masahiro Nagao, Hirohisa Seki
- 学会等名
  11th Int'l. Conf. on Knowledge Managemengt (ICKM)
- 発表場所
  大阪府立大学 (大阪府・大阪市)
- 年月日
  2015-11-04
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15K00305
[学会発表] On Dual Programs in Co-logic Programming2015
- 著者名/発表者名
  Hirohisa Seki
- 学会等名
  25th Int'l. Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2015)
- 発表場所
  シエナ (イタリア)
- 年月日
  2015-07-13
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15K00305
[学会発表] 分散関係データベースからの飽和パターンマイニングにおけるマージ演算の効率化2014
- 著者名/発表者名
  谷本　翔一, 神谷　洋平, 世木　博久
- 学会等名
  情報処理学会・第76回全国大会
- 発表場所
  東京都
- データソース
  KAKENHI-PROJECT-24500171
[学会発表] Towards Efficient Closed Pattern Mining from Distributed Multi-Relational Data2014
- 著者名/発表者名
  Yohei Kamiya, Hirohisa Seki
- 学会等名
  Joint 7th Int’l. Conf. on Soft Computing and Intelligent Systems and 15th Int’l Symp. on Advanced Intelligent Systems (SCIS&ISIS 2014)
- 発表場所
  北九州国際会議場 (福岡県・北九州市)
- 年月日
  2014-12-05
- データソース
  KAKENHI-PROJECT-24500171
[学会発表] Merging Closed Pattern Sets in Distributed Multi-Relational Data2014
- 著者名/発表者名
  Hirohisa Seki, Yohei Kamiya
- 学会等名
  11th Int'l. Conf. on Concept Lattices and Their Applications (CLA 2014)
- 発表場所
  Kosice　（Slovakia）
- 年月日
  2014-10-10
- データソース
  KAKENHI-PROJECT-24500171
[学会発表] Extending Co-logic Programs for Branching-Time Model Checking2013
- 著者名/発表者名
  世木博久
- 学会等名
  23rd International Symposium on Logic-Based Program Synthesis and Transformation
- 発表場所
  Madrid, Spain
- データソース
  KAKENHI-PROJECT-24500171
[学会発表] Proving Properties of Co-logic Programs with Negation by Program Transformations2012
- 著者名/発表者名
  世木博久
- 学会等名
  22nd Int'l. Symp. on Logic-Based Program Synthesis and Transformation (LOPSTR2012)
- 発表場所
  Leuven, Belgium
- データソース
  KAKENHI-PROJECT-24500171
[学会発表] Distributed Closed Pattern Mining in Multi-Relational Data based on Iceberg Query Lattices: Some Preliminary Results2012
- 著者名/発表者名
  世木博久，谷本翔一
- 学会等名
  9th Int'l. Conf. on Concept Lattices and Their Applications (CLA 2012)
- 発表場所
  Fuengirola, Spain
- データソース
  KAKENHI-PROJECT-24500171
[学会発表] Proving Properties of Co-logic Programs by Unfold/fold Transformations2011
- 著者名/発表者名
  H. Seki
- 学会等名
  Pre-Proc. of 21st Int' l. Symp. on Logic-Based Program Synthesis and Transformation(LOPSTR2011)
- 発表場所
  Univ. of Southern Denmark
- 年月日
  2011-07-19
- データソース
  KAKENHI-PROJECT-21500136
[学会発表] Proving Properties of Co-logic Programs by Unfold/Fold Transformations2011
- 著者名/発表者名
  世木博久
- 学会等名
  21st Int.Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2011)
- 発表場所
  Odense(デンマーク)
- 年月日
  2011-07-19
- データソース
  KAKENHI-PROJECT-21500136
[学会発表] On Inductive Proofs by Extended Unfold/fold Transformation Rules2010
- 著者名/発表者名
  H. Seki
- 学会等名
  Pre-Proc. of the 20th Int' l. Symp. on Logic-Based Program Synthesis and Transformation(LOPSTR2010)
- 発表場所
  RISC-Linz, Report Series
- 年月日
  2010-07-25
- データソース
  KAKENHI-PROJECT-21500136
[学会発表] On Inductive Proofs by Extended Unfold/fold Transformation Rules2010
- 著者名/発表者名
  世木博久
- 学会等名
  20th Int.Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2010)
- 発表場所
  オーストリア
- 年月日
  2010-07-25
- データソース
  KAKENHI-PROJECT-21500136
[学会発表] On Inductive and Coinductive Proofs via Unfold/fold Transformations2009
- 著者名/発表者名
  世木博久
- 学会等名
  19th Int. Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2009)
- 発表場所
  ポルトガル
- 年月日
  2009-09-10
- データソース
  KAKENHI-PROJECT-21500136
[学会発表] On Inductive and Coinductive Proofs via Unfold/fold Transformations2009
- 著者名/発表者名
  H. Seki
- 学会等名
  Pre-Proc. of 19th Int' l. Symp. on Logic-Based Program Synthesis and Transformation(LOPSTR2009)
- 発表場所
  Univ. of Coimbra
- 年月日
  2009-09-10
- データソース
  KAKENHI-PROJECT-21500136

1. 伊藤英則 (80213073)

共同の研究課題数: 1件

共同の研究成果数: 0件
2. 犬塚信博 (10221780)

共同の研究課題数: 1件

共同の研究成果数: 0件
3. 鈴木〓雄 (10023152)

共同の研究課題数: 1件

共同の研究成果数: 0件
4. WALLACE Mark

共同の研究課題数: 1件

共同の研究成果数: 0件
5. RICHARDS Bar

共同の研究課題数: 1件

共同の研究成果数: 0件
6. MARK G. Wall

共同の研究課題数: 1件

共同の研究成果数: 0件
7. BARRY Richar

共同の研究課題数: 1件

共同の研究成果数: 0件

世木 博久 SEKI Hirohisa

研究課題

研究成果

共同研究者

無限構造を扱うシステムの検証に向けた仕様発見系を持つプログラム推論技術の研究研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

無限構造を扱うプログラム推論を用いたソフトウェア検証方法の確立研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

無限項を扱うプログラム変換を用いたソフトウェア検証方法の研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

セキュアシステム構築のための計算論理的基盤技術の研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

マルチエージェント環境のための様相論理に対する推論システムの研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

人工知能システムにおけるマルチメディア情報の超並列処理の研究

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

論理プログラムの意味論と問合せ処理の最適化技術の研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

[図書] Pre-Proc. of 24th Int'l. Symp. on Logic-Based Program Synthesis and Transformation (LOPSTR2014)2014

著者名/発表者名

総ページ数

出版者

データソース

[雑誌論文] Using term similarity measures for classifying short document data2021

著者名/発表者名

雑誌名

データソース

[雑誌論文] A Parallel Algorithm for Mining Non-Redundant Recurrent Rules from a Sequence Database2019

著者名/発表者名

雑誌名

NAID

データソース

[雑誌論文] Mining Non-Redundant Recurrent Rules from a Sequence Database2018

著者名/発表者名

雑誌名

データソース

[雑誌論文] Parallel Algorithms for Enumerating Closed Patterns from Multi-Relational Data2018

著者名/発表者名

雑誌名

データソース

[雑誌論文] An FCA Approach to Mining Quantitative Association Rules from Multi-Relational Data2018

著者名/発表者名

雑誌名

データソース

[雑誌論文] On dual programs in co-logic programming and the Horn mu-calculus2017

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] On Dual Programs in Co-logic Programming2016

著者名/発表者名

雑誌名

世木博久 SEKI Hirohisa

[雑誌論文] An FCA Approach to Mining　Quantitative Association Rules from Multi-Relational Data2018