佐藤泰介

サトウタイスケ | TAISUKE SATO

所属機関・部署：
職名：特任研究員

研究分野 (1件)：知能情報学

研究キーワード (30件)：機械学習 , アブダクション , 知識発見 , 人工知能 , 変分ベイズ , 高速パターンマッチング , 帰納推論 , 統計数学 , 学習と知識獲得 , EMアルゴリズム , 決定木 , データマイニングアルゴリズム , 発見 , ILP , PROSM , 確率的モデリング言語 , 記号的統計モデリング , BDD , H-map , 確率計算 , 脳機能画像 , 統計的記号モデリング , 拡張アブダクション , 遺伝 , BDD-EMアルゴリズム , 抽象値 , PRISM , 学習 , 情報システム , 一般化内側・外側確率アルゴリズム

競争的資金等の研究課題 (15件)：

2011 - 2014 統計的アブダクションによる不確定性情報処理の研究
2008 - 2011 推論による仮説発見とシステム生物学への応用
2008 - 2010 確率知識モデルによる不確定性推論の研究
2005 - 2007 不確実情報からの知識合成
2001 - 2004 データマイニングにおけるデータ収集過程の見習い獲得手法

全件表示

論文 (74件)：

Taisuke Sato, Katsumi Inoue. Differentiable learning of matricized DNFs and its application to Boolean networks. Machine Learning. 2023
Taisuke Sato, Akihiro Takemura, Katsumi Inoue. Towards end-to-end ASP computation. CoRR. 2023. abs/2306.06821
Hien D. Nguyen, Chiaki Sakama, Taisuke Sato, Katsumi Inoue. An Efficient Reasoning Method on Logic Programming Using Partial Evaluation in Vector Spaces. Journal of Logic and Computation. 2021. 31. 5. 1298-1316
Chiaki Sakama, Katsumi Inoue, Taisuke Sato. Logic programming in tensor spaces. Annals of Mathematics and Artificial Intelligence. 2021. 89. 12. 1133-1153
Taisuke Sato, Chiaki Sakama, Katsumi Inoue. From 3-valued semantics to supported model computation for logic programs in vector spaces. In: Proceedings of the 12th International Conference on Agents and Artificial Intelligence (ICAART 2020; Valletta, Malta, 22-24 February 2020). 2020. to appear

MISC (46件)：

井上克巳, 坂間千秋, 佐藤泰介. レクチャーシリーズ:「人工知能の今」〔第4 回〕推論とAI プログラミング. 人工知能. 2019. 34
井上克巳, 坂間千秋, 佐藤泰介. 推論とAI プログラミング. 人工知能学会誌. 2019. 34. 5. 703-713
佐藤泰介. 論理計算の線形代数化について (特集「人工知能・機械学習技術の他分野への応用」および一般). 人工知能基本問題研究会. 2016. 101. 15-20
石畠正和, 佐藤泰介. モンテカルロ木探索を利用した制約付き分布からの効率的なサンプリング法. 人工知能学会人工知能基本問題研究会資料. 2013. 88th. 125-131
佐藤泰介. 論理に基づいた確率モデルに於ける一般的MCMC法によるベイズ推論について (特集「ベイジアンネットワークとその応用」および一般). 人工知能基本問題研究会. 2011. 83. 21-26

書籍 (2件)：

情報基礎数学
昭晃堂 2007 ISBN:9784785631604
Statistical abduction with tabulation in Computational Logic: From Logic Programming into the Future
Springer 2002

講演・口頭発表等 (18件)：

GNN-MatSat: グラフニューラルネットワークによる初期化に基づく微分可能なSATソルバー
(2022年度人工知能学会全国大会(第36回) 2022)
実ネットワークに対する、各種リンク予測手法の適正について
(2009年度人工知能学会全国大会(第23回)論文集 2009)
Evaluating abductive hypotheses using an EM algorithm on BDDs
(The 21st International Joint Conference on Artificial Intelligence (IJCAI-2009) 2009)
Generative modeling by PRISM
(The 25th International Conference on Logic Programming (ICLP-2009), 2009)
Evaluating abductive hypotheses using an EM algorithm on BDDs
(The 21st International Joint Conference on Artificial Intelligence (IJCAI-2009) 2009)

学歴 (2件)：

- 1975 東京工業大学大学院理工学研究科電気
- 1973 東京工業大学工学部電子物理

学位 (1件)：

Doctor of Engineering

経歴 (2件)：

1995/04 - 2015/03 東京工業大学大学院情報理工学研究科計算工学専攻大学院情報理工学研究科計算工学専攻教授
1988 - 1995 :電子技術総合研究所室長

委員歴 (1件)：

1996 - 1997 人工知能学会理事

受賞 (7件)：

2013 - 人工知能学会論文賞
2012 - Distinguished Research Award, Association for Logic Programming
2001 - 言語処理学会論文賞
1995 - Best Paper Restropective Award, Association for Logic Programming
1995 - Best Paper Restropective Award, Association for Logic Programming

全件表示

所属学会 (5件)：

日本ソフトウェア科学会 , AAAI , 情報処理学会 , 人工知能学会 , EATCS

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

前のページに戻る

佐藤 泰介

佐藤泰介