Satou Issei 佐藤一誠

… Alternative Names

SATO Issei 佐藤一誠

Less

Researcher Number	90610155
Other IDs
Affiliation (Current)	2025: 東京大学, 大学院情報理工学系研究科, 教授
Affiliation (based on the past Project Information) *help	2022 – 2024: 東京大学, 大学院情報理工学系研究科, 教授 2020 – 2022: 東京大学, 大学院情報理工学系研究科, 准教授 2017 – 2019: 東京大学, 大学院新領域創成科学研究科, 講師 2015: 東京大学, 新領域創成科学研究科, 講師 2011 – 2014: 東京大学, 情報基盤センター, 助教
Review Section/Research Field	Principal Investigator Medium-sized Section 61:Human informatics and related fields / Basic Section 61030:Intelligent informatics-related / Intelligent informatics / Intelligent informatics Except Principal Investigator Intelligent informatics / Broad Section J / Medical systems / Multimedia database
Keywords	Principal Investigator 機械学習 / 深層学習 / PAC Bayes / 学習理論 / 汎化能力 / 細胞画像 / 医用画像 / 確率予測 / メタ学習 / 少数データ学習 … More / 不確実性 / 不均衡クラス分布 / ロングテールデータ / バイアス / 認知ヒューリスティックス / ショートカット学習 / ランダムプロジェクション / 光学 / 局所期待勾配 / 再パラメータ化 / 深層信念ネットワーク / 離散構造 / 逐次学習 / ベイズニューラルネット / 敵対的学習 / ドメイン適応 / データ拡張 / 表形式 / 学習アルゴリズム / 生成モデル / ノンパラメトリックベイズ / Bayesian Nonparametrics / Dirichlet Process / 量子アニーリング / 周辺化変分ベイズ法 / 確率的潜在変数モデル … More Except Principal Investigator プライバシー保護 / 機械学習 / 個人情報 / 匿名化 / アルゴリズム / データマイニング / 高階不動点論理 / 高階モデル検査 / プログラム検証 / 画素識別処理 / オンライン学習 / 転移学習 / 診断支援システム / 医用画像 / 数理モデル / 主観確率 / 情報基礎 / 属性情報 / 位置情報 / パーソナルデータ / 濡れ衣 / k-匿名化 / プライバシー / 雑音 / 相関 / データベース / 個人情報保護 / ビッグデータ / 差分プライバシー / GPU / 非負行列分解 / テキスト / 曖昧性解消 / クラスタリング / 言語学習 / 曖昧正解消 / 統計 / ネットワークデータ / Web / テキストマイニング / 知識発見 Less

深層学習における認知的ヒューリスティックスの構成的理解Principal Investigator
- Principal Investigator
  
  佐藤一誠
- Project Period (FY)
  2024 – 2028
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Review Section
  
  Medium-sized Section 61:Human informatics and related fields
- Research Institution
  The University of Tokyo
Constructing mathematical foundation in interdisciplinary field of optics and machine learningPrincipal Investigator
- Principal Investigator
  
  佐藤一誠
- Project Period (FY)
  2022 – 2024
- Research Category
  
  Grant-in-Aid for Challenging Research (Exploratory)
- Review Section
  
  Medium-sized Section 61:Human informatics and related fields
- Research Institution
  The University of Tokyo
Program Verification Techniques for the AI Era
- Principal Investigator
  
  小林直樹
- Project Period (FY)
  2020 – 2024
- Research Category
  
  Grant-in-Aid for Scientific Research (S)
- Review Section
  
  Broad Section J
- Research Institution
  The University of Tokyo
Quantifying Prediction Uncertainty in Machine LearningPrincipal Investigator
- Principal Investigator
  
  佐藤一誠
- Project Period (FY)
  2020 – 2024
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 61030:Intelligent informatics-related
- Research Institution
  The University of Tokyo
Learning Algorithm for Advanced Generative ModelsPrincipal Investigator
- Principal Investigator
  
  Sato Issei
- Project Period (FY)
  2017 – 2020
- Research Category
  
  Grant-in-Aid for Young Scientists (A)
- Research Field
  
  Intelligent informatics
- Research Institution
  The University of Tokyo
Dynamic performance improvement in computer-assisted detection system for diagnostic imaging by combined application of online learning and transfer learning
- Principal Investigator
  
  Nomura Yukihiro
- Project Period (FY)
  2015 – 2017
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Medical systems
- Research Institution
  The University of Tokyo
Preventing A False Light Caused by k-anonymity with Mathematical Modling and Optimization
- Principal Investigator
  
  NAKAGAWA Hiroshi
- Project Period (FY)
  2014 – 2015
- Research Category
  
  Grant-in-Aid for Challenging Exploratory Research
- Research Field
  
  Multimedia database
- Research Institution
  The University of Tokyo
A Study on Differential Privacy for Data Base with Correlation
- Principal Investigator
  
  NAKAGAWA Hiroshi
- Project Period (FY)
  2012 – 2013
- Research Category
  
  Grant-in-Aid for Challenging Exploratory Research
- Research Field
  
  Intelligent informatics
- Research Institution
  The University of Tokyo
Distributed and Integrated Learning Algorithm for Probabilistic Latent Variable ModelPrincipal Investigator
- Principal Investigator
  
  SATO Issei
- Project Period (FY)
  2012 – 2013
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Intelligent informatics
- Research Institution
  The University of Tokyo
A STUDY OF RESOLVING LONG TAIL PHENOMENA BY MACHINE LEARNING
- Principal Investigator
  
  NAKAGAWA Hiroshi
- Project Period (FY)
  2009 – 2012
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Research Field
  
  Intelligent informatics
- Research Institution
  The University of Tokyo

All 2024 2023 2022 2021 2020 2019 2018 2017 2016 2013 2012 2011 2010 2009

All Journal Article Presentation

[Journal Article] HFL(Z) Validity Checking for Automated Program Verification2023
- Author(s)
  Naoki Kobayashi, Kento Tanahashi, Ryosuke Sato, and Takeshi Tsukada
- Journal Title
  
  Proceedings of the ACM on Programming Languages, Issue POPL, ACM
  
  Volume: 7 Issue: POPL Pages: 154-184
- DOI
  10.1145/3571199
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-20H05703
[Journal Article] Gradual Tensor Shape Checking2023
- Author(s)
  Momoko Hattori, Naoki Kobayashi, Ryosuke Sato
- Journal Title
  
  Proceedings of ESOP 2023, Springer LNCS
  
  Volume: 13990 Pages: 197-224
- DOI
  10.1007/978-3-031-30044-8_8
- ISBN
  9783031300431, 9783031300448
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-20H05703
[Journal Article] Parameterized Recursive Refinement Types for Automated Program Verification2022
- Author(s)
  Ryoya Mukai, Naoki Kobayashi, Ryosuke Sato
- Journal Title
  
  Proceedings of SAS 2022, Springer LNCS
  
  Volume: 13790 Pages: 397-421
- DOI
  10.1007/978-3-031-22308-2_18
- ISBN
  9783031223075, 9783031223082
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20H05703
[Journal Article] Asynchronous Unfold/Fold Transformation for Fixpoint Logic2022
- Author(s)
  Mahmudul Faisal Al Ameen, Naoki Kobayashi, Ryosuke Sato
- Journal Title
  
  Proceedings of FLOPS 2022, Springer LNCS
  
  Volume: 13215 Pages: 39-56
- DOI
  10.1007/978-3-030-99461-7_3
- ISBN
  9783030994600, 9783030994617
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20H05703
[Journal Article] Termination Analysis for the $$\pi $$-Calculus by Reduction to Sequential Program Termination2021
- Author(s)
  Shoshi Tsubasa、Ishikawa Takuma、Kobayashi Naoki、Sakayori Ken、Sato Ryosuke、Tsukada Takeshi
- Journal Title
  
  Proceedings of APLAS 2021, Springer LNCS
  
  Volume: 13008 Pages: 265-284
- DOI
  10.1007/978-3-030-89051-3_15
- ISBN
  9783030890506, 9783030890513
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20H05703
[Journal Article] Symbolic Automatic Relations and Their Applications to SMT and CHC Solving2021
- Author(s)
  Shimoda Takumi、Kobayashi Naoki、Sakayori Ken、Sato Ryosuke
- Journal Title
  
  Proceedings of SAS 2021, Springer LNCS
  
  Volume: 12913 Pages: 405-428
- DOI
  10.1007/978-3-030-88806-0_20
- ISBN
  9783030888053, 9783030888060
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20H05703
[Journal Article] Inside-Outside Algorithm for Macro Grammars2021
- Author(s)
  Ryuta Kambe, Naoki Kobayashi, Ryosuke Sato, Ayumi Shinohara, Ryo Yoshinaka
- Journal Title
  
  Proceedings of Machine Learning Research
  
  Volume: 153 Pages: 32-46
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-20H05703
[Journal Article] Toward Neural-Network-Guided Program Synthesis and Verification2021
- Author(s)
  Kobayashi Naoki、Sekiyama Taro、Sato Issei、Unno Hiroshi
- Journal Title
  
  Lecture Notes in Computer Science (SAS)
  
  Volume: 12913 Pages: 236-260
- DOI
  10.1007/978-3-030-88806-0_12
- ISBN
  9783030888053, 9783030888060
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19K20247, KAKENHI-PROJECT-20H05703, KAKENHI-PROJECT-23K20380
[Journal Article] Decision Tree Learning in CEGIS-Based Termination Analysis2021
- Author(s)
  Kura Satoshi、Unno Hiroshi、Hasuo Ichiro
- Journal Title
  
  Proceedings of CAV 2021, Springer LNCS
  
  Volume: 12760 Pages: 75-98
- DOI
  10.1007/978-3-030-81688-9_4
- ISBN
  9783030816872, 9783030816889
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-20H05703, KAKENHI-PROJECT-23K20380
[Journal Article] Normalized Flat Minima: Exploring Scale Invariant Definition of Flat Minima for Neural Networks Using PAC-Bayesian Analysis2020
- Author(s)
  Yusuke Tsuzuku, Issei Sato, Masashi Sugiyama
- Journal Title
  
  Proceedings of the 37th International Conference on Machine Learning
  
  Volume: 119 Pages: 9636-9647
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-23K20385
[Journal Article] Few-shot Domain Adaptation by Causal Mechanism Transfer2020
- Author(s)
  Takeshi Teshima, Issei Sato, Masashi Sugiyama
- Journal Title
  
  Proceedings of Thirty-seventh International Conference on Machine Learning
  
  Volume: -
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17H04693
[Journal Article] オンライン学習および転移学習の併用による画像診断支援システムの動的高性能化2017
- Author(s)
  吉川健啓、野村行弘、佐藤一誠、林直人、花岡昇平、三木聡一郎、阿部修
- Journal Title
  
  臨床放射線
  
  Volume: 62 Pages: 1237-1243
- Data Source
  KAKENHI-PROJECT-15K01325
[Journal Article] Evaluating the Variance of Likelihood-Ratio Gradient Estimators2017
- Author(s)
  Seiya Tokui and Issei Sato
- Journal Title
  
  Proceedings of the 34th International Conference on Machine Learning
  
  Volume: 70 Pages: 3414-3423
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17H04693
[Journal Article] Quantum annealing for Dirichlet process mixture models with applications to network clustering2013
- Author(s)
  Issei Sato, Shu Tanaka, Kenichi Kurihara, Seiji Miyashita, and Hiroshi Nakagawa
- Journal Title
  
  Neurocomputing
  
  Volume: 121 Pages: 523-531
- DOI
  10.1016/j.neucom.2013.05.019
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-11J07601, KAKENHI-PROJECT-24700135
[Journal Article] ロックアップ期間による制約を考慮した確率的バンディット問題2013
- Author(s)
  小宮山純平 , 佐藤一誠 , 中川裕志
- Journal Title
  
  情報処理学会論文誌数理モデル化と応用（TOM）
  
  Volume: 6(3) Pages: 11-22
- NAID
  110009550158
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24650064
[Journal Article] ロックアップ期間による制約を考慮した確率的バンディット問題2013
- Author(s)
  小宮山純平, 佐藤一誠, 中川裕志
- Journal Title
  
  報処理学会論文誌数理モデル化と応用(TOM)
  
  Volume: 6(3) Pages: 11-22
- NAID
  110009550158
- Data Source
  KAKENHI-PROJECT-24650064
[Journal Article] Rethinking Collapsed Variational Bayes Inference for LDA2012
- Author(s)
  Issei Sato, Hiroshi Nakagaw
- Journal Title
  
  Proceedings of the 29th International Conference on Machine Learning
  
  Volume: 2 Pages: 999-1006
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24700135
[Journal Article] Practical Collapsed Variational Bayes Inference for Hierarchical Dirichlet Process2012
- Author(s)
  Issei Sato, Ken-ich Kurihara, Hiroshi Nakagawa
- Journal Title
  
  Proceedings of the 16th ACM International Conference on Knowledge Discovery and Data Mining
  
  Volume: 1 Pages: 105-113
- DOI
  10.1145/2339530.2339550
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24700135
[Journal Article] 統合したグラフのプライバシ保護リンク解析2011
- Author(s)
  森井正覚, 佐久間淳, 佐藤一誠, 中川裕志
- Journal Title
  
  情報処理学会論文誌
  
  Volume: 50 TOD 4 Pages: 52-60
- NAID
  40019597872
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21240011
[Journal Article] Probabilistic Matrix Factorization Leveraging Contexts for Unsupervised Relation Extraction2011
- Author(s)
  Shingo Takamatsu,Issei Sato,Hiroshi Nakagawa
- Journal Title
  
  PAKDD2011, Springer Lecture Notes Artificial Intelligence (LNAI)6634,Part I.
  
  Pages: 87-99
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21240011
[Journal Article] 統合したグラフのプライバシ保護リンク解析2011
- Author(s)
  森井正覚,佐久間淳,佐藤一誠,中川裕志
- Journal Title
  
  情報処理学会論文誌
  
  Volume: Vol.50 TOD4(2) Pages: 52-60
- NAID
  40019597872
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21240011
[Journal Article] 二段階クラスタリングを単語重み付与に応用した人名曖昧性解消2010
- Author(s)
  吉田稔、池田雅紀、小野真吾、佐藤一誠、中川裕志
- Journal Title
  
  日本データベース学会論文誌
  
  Volume: 9(2) Pages: 19-24
- NAID
  40017420150
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21240011
[Journal Article] Succinct Semi-structured Data Mining Based on FREQT2010
- Author(s)
  佐藤一誠、中川裕志
- Journal Title
  
  日本データベース学会論文誌
  
  Volume: Vol.9,No.1 Pages: 76-81
- NAID
  130000337146
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21240011
[Journal Article] PAアルゴリズムにおけるラベルなしデータからの学習2010
- Author(s)
  松島慎、佐藤一誠、二宮崇、中川裕志
- Journal Title
  
  日本データベース学会論文誌
  
  Volume: Vol.9,No.1 Pages: 82-87
- NAID
  40017216480
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21240011
[Presentation] Exploring Weight Balancing on Long-Tailed Recognition Problem2024
- Author(s)
  Naoya Hasegawa, Issei Sato
- Organizer
  12th International Conference on Learning Representations
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K20385
[Presentation] A Closer Look at Prototype Classifier for Few-shot Image Classification2022
- Author(s)
  Mingcheng Hou, Issei Sato
- Organizer
  hirty-sixth Annual Conference on Neural Information Processing Systems (NeurIPS2022)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K20385
[Presentation] Diagnostic Uncertainty Calibration: Towards Reliable Machine Predictions in Medical Domain2021
- Author(s)
  Takahiro Mimori , Keiko Sasada , Hirotaka Matsui , Issei Sato
- Organizer
  International Conference on Artificial Intelligence and Statistics
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K20385
[Presentation] A Diffusion Theory For Deep Learning Dynamics: Stochastic Gradient Descent Exponentially Favors Flat Minima2021
- Author(s)
  Zeke Xie, Issei Sato, Masashi Sugiyama
- Organizer
  International Conference on Learning Representations
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K20385
[Presentation] Bayesian posterior approximation via greedy particle optimization2019
- Author(s)
  Futami, F., Cui, Z., Sato, I., & Sugiyama, M.
- Organizer
  Thirty-Third AAAI Conference on Artificial Intelligence (AAAI2019)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H04693
[Presentation] Lipschitz-margin training: Scalable certification of perturbation invariance for deep neural networks.2018
- Author(s)
  Tsuzuku, Y., Sato, I., & Sugiyama, M.
- Organizer
  Advances in Neural Information Processing Systems 31
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H04693
[Presentation] オンライン転移学習を用いた脳動脈瘤検出ソフトウェアの性能改善2017
- Author(s)
  野村行弘、佐藤一誠、花岡昇平、三木聡一郎、吉川健啓、林直人、阿部修、増谷佳孝
- Organizer
  電子情報通信学会医用画像研究会
- Data Source
  KAKENHI-PROJECT-15K01325
[Presentation] Building an integrated CAD development environment in clinical settings (the 9th report): new web-based image database system for CAD development2016
- Author(s)
  Nomura Y, Miki S, Sato I, et al.
- Organizer
  第75回日本医学放射線学会総会
- Place of Presentation
  パシフィコ横浜（神奈川県横浜市）
- Year and Date
  2016-04-14
- Data Source
  KAKENHI-PROJECT-15K01325
[Presentation] オンライン転移学習と医用画像読影支援への応用2016
- Author(s)
  佐藤一誠、野村行弘、林直人
- Organizer
  日本応用数理学会2016年度年会
- Place of Presentation
  北九州国際会議場（福岡県北九州市）
- Year and Date
  2016-09-12
- Data Source
  KAKENHI-PROJECT-15K01325
[Presentation] Privacy-Preserving EM Algorithm for Clustering on Social Network.2013
- Author(s)
  Bing Yang,Issei Sato,Hiroshi Nakagawa
- Organizer
  The 16th Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD2012)
- Place of Presentation
  Kuala Lumpur,Malaysia
- Data Source
  KAKENHI-PROJECT-21240011
[Presentation] Reducing Wrong Labels in Distant Supervision for Relation Extraction2012
- Author(s)
  Shingo Takamatsu, Issei Sato, Hiroshi Nakagawa
- Organizer
  50th annual meeting of the Association for Computational Linguistics (ACL)
- Place of Presentation
  Jeju, Korea
- Data Source
  KAKENHI-PROJECT-21240011
[Presentation] Mining words in the minds of second language learners:learner-specific word difficulty2012
- Author(s)
  Yo Ehara,Issei Sato,Hidekazu Oiwa,and Hiroshi Nakagawa
- Organizer
  25th International Conference on Computational Linguistics (COLING 2012)
- Place of Presentation
  Mumbai, India
- Data Source
  KAKENHI-PROJECT-21240011
[Presentation] ソーシャルメディアを用いた風邪薬販売量の予測2012
- Author(s)
  谷田和章,荒牧英治,佐藤一誠,吉田稔,中川裕志
- Organizer
  言語処理学会第18回年次大会,広島
- Data Source
  KAKENHI-PROJECT-21240011
[Presentation] ソーシャルメディアによる風邪流行の予測2012
- Author(s)
  谷田和章,荒牧英治,佐藤一誠,吉田稔,中川裕志
- Organizer
  言語処理学会第18回年次大会
- Data Source
  KAKENHI-PROJECT-21240011
[Presentation] Rethinking Collapsed Variational Bayes Inference for LDA2012
- Author(s)
  Issei Sato
- Organizer
  International Conference on Machine Learning
- Place of Presentation
  Scotland, Edinburgh
- Data Source
  KAKENHI-PROJECT-24700135
[Presentation] Practical Collapsed Variational Bayes Inference for Hierarchical Dirichlet Process.2012
- Author(s)
  Issei Sato,Ken-ich Kurihara,Hiroshi Nakagawa
- Organizer
  18th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, (KDD 2012)
- Place of Presentation
  Beijing,China
- Data Source
  KAKENHI-PROJECT-21240011
[Presentation] Reducing Wrong Labels in Distant Supervision for Relation Extraction.2012
- Author(s)
  Shingo Takamatsu,Issei Sato,Hiroshi Nakagawa
- Organizer
  ACL 2012
- Place of Presentation
  Jeju,Korea on
- Data Source
  KAKENHI-PROJECT-21240011
[Presentation] ブートストラップ法のための能動学習2012
- Author(s)
  江原遥,佐藤一誠,中川裕志
- Organizer
  言語処理学会第18回年次大会
- Data Source
  KAKENHI-PROJECT-21240011
[Presentation] Practical Collapsed Variational Bayes Inference for Hierarchical Dirichlet Process2012
- Author(s)
  Issei Sato
- Organizer
  ACM International Conference on Knowledge Discovery and Data Mining
- Place of Presentation
  China, Beijing
- Data Source
  KAKENHI-PROJECT-24700135
[Presentation] Rethinking Collapsed Variational Bayes Inference for LDA.2012
- Author(s)
  Issei Sato,Hiroshi Nakagawa
- Organizer
  29th International Conference on Machine Learning (ICML 2012)
- Place of Presentation
  Edinburgh,Scotland
- Data Source
  KAKENHI-PROJECT-21240011
[Presentation] Secure Clustering in Private Networks2012
- Author(s)
  楊斌, 佐藤一誠, 中川裕志
- Organizer
  第26回人工知能学会全国大会オーガナイズドセッション「プライバシー保護データマイニング」
- Place of Presentation
  山口県教育会館.山口県,山口市 (OS-20-2)
- Year and Date
  2012-06-13
- Data Source
  KAKENHI-PROJECT-24650064
[Presentation] Rethinking Collapsed Variational Bayes Inference for LDA2012
- Author(s)
  Issei Sato, Hiroshi Nakagawa
- Organizer
  29th International Conference on Machine Learning (ICML 2012).
- Place of Presentation
  Beijing/China(pp. 999-1006)
- Data Source
  KAKENHI-PROJECT-24700135
[Presentation] Practical Collapsed Variational Bayes Inference for Hierarchical Dirichlet Process2012
- Author(s)
  Issei Sato, Kenichi Kurihara, Hiroshi Nakagawa
- Organizer
  16th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining,(KDD 2012).
- Place of Presentation
  Edinburgh/Scotland(pp. 105-113)
- Data Source
  KAKENHI-PROJECT-24700135
[Presentation] Twitterによる風邪流行の推測2011
- Author(s)
  谷田和章,荒牧英治,佐藤一誠,吉田稔,中川裕志
- Organizer
  人工知能学会情報編纂研究会第6回研究会,東京
- Data Source
  KAKENHI-PROJECT-21240011
[Presentation] Probabilistic Matrix Factorization Leveraging Contexts for Unsupervised Relation Extraction2011
- Author(s)
  Shingo Takamatsu, Issei Sato, Hiroshi Nakagawa
- Organizer
  PAKDD2011
- Place of Presentation
  Shenzhen, China
- Year and Date
  2011-05-24
- Data Source
  KAKENHI-PROJECT-21240011
[Presentation] Secure Clustering in Private Networks.2011
- Author(s)
  Bing Yang,Issei Sato,Hiroshi Nakagawa
- Organizer
  11th IEEE International Conference on Data Mining(ICDM)
- Place of Presentation
  Vancouver,Canada
- Data Source
  KAKENHI-PROJECT-21240011
[Presentation] Topic Models with Power-Law Using Pitman-Yor Process2010
- Author(s)
  Issei Sato, Hiroshi Nakagawa
- Organizer
  16th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining
- Place of Presentation
  Washington, DC, USA
- Year and Date
  2010-07-26
- Data Source
  KAKENHI-PROJECT-21240011
[Presentation] Deterministic Single-Pass Algorithm for LDA.2010
- Author(s)
  Issei Sato,Kenich Kurihara,Hiroshi Nakagawa
- Organizer
  Neural Information Processing Systems Conference (NIPS2010)
- Data Source
  KAKENHI-PROJECT-21240011
[Presentation] Person Name Disambiguation by Bootstrapping2010
- Author(s)
  Minoru Yoshida,Masaki Ikeda,Shingo Ono,Issei Sato,Hiroshi Nakagawa
- Organizer
  The 33rd Annual ACM SIGIR Conference.
- Data Source
  KAKENHI-PROJECT-21240011
[Presentation] Collusion-Resistant Privacy-Preserving Data Mining2010
- Author(s)
  Bin Yang,Hiroshi Nakagawa,Issei Sato,Jun Sakuma
- Organizer
  <16>^ ACM SIGKDD International Conference on Knowledge Discovery and Data Mining,(KDD2010)
- Data Source
  KAKENHI-PROJECT-21240011
[Presentation] Topic Models with Power-Law Using Pitman-Yor Process.2010
- Author(s)
  Issei Sato,Hiroshi Nakagawa
- Organizer
  <16>^ ACM SIGKDD International Conference on Knowledge Discovery and Data Mining,(KDD2010)
- Data Source
  KAKENHI-PROJECT-21240011
[Presentation] Quantum Annealing for Variational Bayes Inference2009
- Author(s)
  Issei Sato,Kenichi Kurihara,Shu Tanaka,Seiji Miyashita and Hiroshi Nakagawa
- Organizer
  The <25>^ Conference on Uncertainty in Artificial Intelligence (UAI2009)
- URL
  http://www.cs.mcgill.ca/~uai2009/proceedings.html
- Data Source
  KAKENHI-PROJECT-21240011
[Presentation] Person Name Disambiguation on the Web by TwoStage Clustering.2nd Web People Search Evaluation Workshop (WePS 2009)2009
- Author(s)
  Masaki Ikeda,Shingo Ono,Issei Sato,Minoru Yoshida and Hiroshi Nakagawa
- Organizer
  18th WWW Conference
- Place of Presentation
  Madrid, Spain
- Year and Date
  2009-04-21
- Data Source
  KAKENHI-PROJECT-21240011
[Presentation] Latent Dirichlet Allocation における決定論的オンラインベイズ学習2009
- Author(s)
  佐藤一誠, 中川裕志
- Organizer
  情報処理学会自然言語処理研究会
- Data Source
  KAKENHI-PROJECT-21240011

1. NAKAGAWA Hiroshi (20134893)

# of Collaborated Projects: 3 results

# of Collaborated Products: 29 results
2. 三森隆広 (40760161)

# of Collaborated Projects: 2 results

# of Collaborated Products: 1 results
3. YOSHIDA Minoru (40361688)

# of Collaborated Projects: 1 results

# of Collaborated Products: 6 results
4. KIYOTA Youji (10401316)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
5. NINOMIYA Takashi (20444094)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
6. Nomura Yukihiro (60436491)

# of Collaborated Projects: 1 results

# of Collaborated Products: 4 results
7. MIKI Soichiro (30707766)

# of Collaborated Projects: 1 results

# of Collaborated Products: 3 results
8. 小林直樹 (00262155)

# of Collaborated Projects: 1 results

# of Collaborated Products: 7 results
9. 五十嵐淳 (40323456)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
10. 塚田武志 (50758951)

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results
11. 吉仲亮 (80466424)

# of Collaborated Projects: 1 results

# of Collaborated Products: 7 results
12. 海野広志 (80569575)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
13. 関山太朗 (80828476)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
14. 佐藤亮介 (10804677)

# of Collaborated Projects: 1 results

# of Collaborated Products: 8 results
15. 河崎史子 (40822911)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

Satou Issei 佐藤 一誠

SATO Issei 佐藤 一誠

Research Projects

Research Products

Co-Researchers

深層学習における認知的ヒューリスティックスの構成的理解Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Constructing mathematical foundation in interdisciplinary field of optics and machine learningPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Program Verification Techniques for the AI Era

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Quantifying Prediction Uncertainty in Machine LearningPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Learning Algorithm for Advanced Generative ModelsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Dynamic performance improvement in computer-assisted detection system for diagnostic imaging by combined application of online learning and transfer learning

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Preventing A False Light Caused by k-anonymity with Mathematical Modling and Optimization

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

A Study on Differential Privacy for Data Base with Correlation

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Distributed and Integrated Learning Algorithm for Probabilistic Latent Variable ModelPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

A STUDY OF RESOLVING LONG TAIL PHENOMENA BY MACHINE LEARNING

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] HFL(Z) Validity Checking for Automated Program Verification2023

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Gradual Tensor Shape Checking2023

Author(s)

Journal Title

DOI

ISBN

Data Source

[Journal Article] Parameterized Recursive Refinement Types for Automated Program Verification2022

Author(s)

Journal Title

DOI

Satou Issei 佐藤一誠

SATO Issei 佐藤一誠