研究者
J-GLOBAL ID：200901002584449013   更新日: 2022年09月03日

世木 博久

セキ ヒロヒサ | hirohisa seki
ホームページURL (1件)： http://sekilab.web.nitech.ac.jp/
研究分野 (2件)： 知能情報学 ,  情報学基礎論
研究キーワード (5件)： 関係データマイニング ,  計算論理 プログラムに関する推論 ,  relational data mining ,  reasoning about programs ,  computational logic
競争的資金等の研究課題 (4件)：
  • 2009 - 2012 計算論理に関する研究
  • 2009 - 2012 Study on Computational Logic
  • 2007 - 2007 関係データマイニングに関する研究
  • 2007 - 2007 Study on Relational Data Mining
MISC (140件)：
もっと見る
書籍 (4件)：
  • エージェントアプローチ人工知能(翻訳)
    共立出版 1997
  • Artificial Intelligence:A Modern Approach
    Kyoritsu Syuppan 1997
  • 自動プログラミングハンドブック(翻訳)
    オーム社 1989
  • Handbook of Automated Programming
    Ohm-sha 1989
講演・口頭発表等 (24件)：
  • 分散関係データベースからの飽和パターンマイニングにおけるマージ演算の効率化
    (情報処理学会第76回全国大会 2014)
  • On Closed Pattern Mining from Distributed Relational Databases
    (the 76th National Convention of IPSJ 2014)
  • Extending Co-logic Programs for Branching-Time Model Checking
    (23rd International Symposium on Logic-Based Program Synthesis and Transformation 2013)
  • 分散関係データベースにおける飽和パターンマイニング
    (電子情報通信学会2013年総合大会 2013)
  • Extending Co-logic Programs for Branching-Time Model Checking
    (23rd International Symposium on Logic-Based Program Synthesis and Transformation 2013)
もっと見る
学歴 (4件)：
  • - 1981 東京大学 工学系研究科 計数工学
  • - 1981 東京大学
  • - 1979 東京大学 工学部 計数工学
  • - 1979 東京大学
学位 (2件)：
  • 工学修士 (東京大学)
  • 工学博士 (東京大学)
経歴 (7件)：
  • 1992/04 - 現在 名古屋工業大学 教授
  • 1992/04 - 現在 Professor,Nagoya Institute of Technology
  • 1989/04 - 1992/03 三菱電機株式会社中央研究所 -
  • 1985/04 - 1989/03 財団法人新世代コンピューター技術開発機構 研究員
  • 1985/04 - 1989/03 Researcher,Institute of New Generation Computer Technology
全件表示
所属学会 (13件)：
日本ソフトウェア科学会 ,  電子情報通信学会 ,  人工知能学会 ,  情報処理学会 ,  応用数理学会 ,  ACM ,  Japan Society for Software Science and Technology ,  Information and Communication Engineers ,  The Institute of Electronics ,  Japanese Society for Artificial Intelligence ,  Information Processing Society of Japan ,  the Japan Society for Industrial and Applied Mathematics ,  Association for Computing Machinery
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM