Kawamoto Yusuke 川本裕輔

Researcher Number	60760006
Other IDs	https://orcid.org/0000-0002-2151-9560
Affiliation (Current)	2026: 国立研究開発法人産業技術総合研究所, 情報・人間工学領域, 研究グループ長
Affiliation (based on the past Project Information) *help	2024: 国立研究開発法人産業技術総合研究所, 情報・人間工学領域, 研究グループ長 2024: 国立研究開発法人産業技術総合研究所, 情報・人間工学領域, 研究チーム付 2019 – 2023: 国立研究開発法人産業技術総合研究所, 情報・人間工学領域, 主任研究員 2017 – 2018: 国立研究開発法人産業技術総合研究所, 情報・人間工学領域, 研究員 2015 – 2016: 国立研究開発法人産業技術総合研究所, 情報技術研究部門, 研究員
Review Section/Research Field	Principal Investigator Software / Basic Section 60050:Software-related Except Principal Investigator Basic Section 61030:Intelligent informatics-related / Basic Section 60070:Information security-related
Keywords	Principal Investigator 形式手法 / プログラム検証 / 定量的情報流解析 / 情報理論 / 情報セキュリティ / 統計 / 仮説検定 / 統計の信頼性 / 自動検証 / 統計手法 … More / ゲーム理論 / 機械学習 / 最適輸送理論 / 確率分布 / 認識論理 / 形式仕様 / 様相論理 / 差分プライバシ / システム検証 / プライバシ / 情報流解析 … More Except Principal Investigator separation logic / 信用 / プログラム検証 / 自動証明 / 形式検証 / 詭弁検証 / 議論進行サポート / 汎用議論モデル / 議論検証 / 半自動検証 / 数理議論 / 人工データ生成法 / トレース / メンバーシップ推定 / 局所型差分プライバシー / 位置情報プライバシー / パーソナルデータ / 位置情報 / グラフ / プライバシー / 安全性指標 / グラフデータ / 時系列データ / 差分プライバシー / 局所型プライバシー Less

Formal verification methods for trustworthy statisticsPrincipal Investigator
- Principal Investigator
  
  川本裕輔
- Project Period (FY)
  2024 – 2026
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  National Institute of Advanced Industrial Science and Technology
Research on Logical Methods for the Formal Verification of Argumentation
- Principal Investigator
  
  Arisaka Ryuta
- Project Period (FY)
  2021 – 2024
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 61030:Intelligent informatics-related
- Research Institution
  Kyoto University
A Study on Locally Private Algorithms for Large-Scale Personal Data
- Principal Investigator
  
  Murakami Takao
- Project Period (FY)
  2019 – 2021
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 60070:Information security-related
- Research Institution
  National Institute of Advanced Industrial Science and Technology
Quantitative Verification of Cyber-Physical Systems by Integrating Statistical and Formal ApproachesPrincipal Investigator
- Principal Investigator
  
  Kawamoto Yusuke
- Project Period (FY)
  2017 – 2019
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Software
- Research Institution
  National Institute of Advanced Industrial Science and Technology
Quantitative Analysis of Information Leakage in Cyber-Physical SystemsPrincipal Investigator
- Principal Investigator
  
  Kawamoto Yusuke
- Project Period (FY)
  2015 – 2016
- Research Category
  
  Grant-in-Aid for Research Activity Start-up
- Research Field
  
  Software
- Research Institution
  National Institute of Advanced Industrial Science and Technology

All 2025 2024 2023 2021 2019 2018 2017 2016 2015

All Journal Article Presentation Patent

[Journal Article] StatWhy: Formal Verification Tool for Statistical Hypothesis Testing Programs2025
- Author(s)
  Yusuke Kawamoto, Kentaro Kobayashi, Kohei Suenaga
- Journal Title
  
  Proc. the 37th International Conference on Computer Aided Verification (CAV 2025)
  
  Volume: -
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24K02924
[Journal Article] Sound and relatively complete belief Hoare logic for statistical hypothesis testing programs2024
- Author(s)
  Kawamoto Yusuke、Sato Tetsuya、Suenaga Kohei
- Journal Title
  
  Artificial Intelligence
  
  Volume: 326 Pages: 104045-104045
- DOI
  10.1016/j.artint.2023.104045
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-20K19775, KAKENHI-PROJECT-21K12028, KAKENHI-PROJECT-19H04084
[Journal Article] Theme Aspect Argumentation Model for Handling Fallacies2023
- Author(s)
  Ryuta Arisaka and Ryoma Nakai and Yusuke Kawamoto and Takayuki Ito
- Journal Title
  
  arXiv
  
  Volume: - Pages: 1-71
- Open Access
- Data Source
  KAKENHI-PROJECT-21K12028
[Journal Article] Privacy-Preserving Multiple Tensor Factorization for Synthesizing Large-Scale Location Traces with Cluster-Specific Features2021
- Author(s)
  Takao Murakami, Koki Hamada, Yusuke Kawamoto, Takuma Hatano
- Journal Title
  
  Proceedings on Privacy Enhancing Technologies (PoPETs)
  
  Volume: 2 Pages: 5-26
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-19H04113
[Journal Article] Local Distribution Obfuscation via Probability Coupling2019
- Author(s)
  Yusuke Kawamoto and Takao Murakami
- Journal Title
  
  Proc. of the 57th Annual Allerton Conference on Communication, Control, and Computing (Allerton 2019)
  
  Volume: - Pages: 718-725
- DOI
  10.1109/allerton.2019.8919803
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17K12667
[Journal Article] Local Obfuscation Mechanisms for Hiding Probability Distributions2019
- Author(s)
  Yusuke Kawamoto and Takao Murakami
- Journal Title
  
  Proc. of the 24th European Symposium on Research in Computer Security (ESORICS 2019), Part I, Lecture Notes in Computer Science
  
  Volume: 11735 Pages: 128-148
- DOI
  10.1007/978-3-030-29959-0_7
- ISBN
  9783030299583, 9783030299590
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17K12667
[Journal Article] Utility-Optimized Local Differential Privacy Mechanisms for Distribution Estimation2019
- Author(s)
  Takao Murakami and Yusuke Kawamoto
- Journal Title
  
  Proc. of the 28th USENIX Security Symposium (USENIX Security 2019)
  
  Volume: - Pages: 1877-1894
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17K12667
[Journal Article] Towards Logical Specification of Statistical Machine Learning2019
- Author(s)
  Yusuke Kawamoto
- Journal Title
  
  Proc. of the 17th International Conference on Software Engineering and Formal Methods (SEFM 2019), Lecture Notes in Computer Science
  
  Volume: 11724 Pages: 293-311
- DOI
  10.1007/978-3-030-30446-1_16
- ISBN
  9783030304454, 9783030304461
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17K12667
[Journal Article] Statistical Epistemic Logic2019
- Author(s)
  Yusuke Kawamoto
- Journal Title
  
  The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, Lecture Notes in Computer Science
  
  Volume: 11760 Pages: 344-362
- DOI
  10.1007/978-3-030-31175-9_20
- ISBN
  9783030311742, 9783030311759
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17K12667
[Journal Article] Hybrid Statistical Estimation of Mutual Information and its Application to Information Flow2019
- Author(s)
  Fabrizio Biondi, Yusuke Kawamoto, Axel Legay, and Louis-Marie Traonouez
- Journal Title
  
  Formal Aspects of Computing
  
  Volume: 31(2) Issue: 2 Pages: 165-206
- DOI
  10.1007/s00165-018-0469-z
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K12667
[Journal Article] Leakage and Protocol Composition in a Game-Theoretic Perspective2018
- Author(s)
  Mario S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, and Catuscia Palamidessi
- Journal Title
  
  Proc. of the 7th International Conference on Principles of Security and Trust (POST 2018), Lecture Notes in Computer Science
  
  Volume: 10804 Pages: 134-159
- DOI
  10.1007/978-3-319-89722-6_6
- ISBN
  9783319897219, 9783319897226
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K12667
[Journal Article] On the Anonymization of Differentially Private Location Obfuscation2018
- Author(s)
  Yusuke Kawamoto and Takao Murakami
- Journal Title
  
  Proc. of the 2018 International Symposium on Information Theory and Its Applications (ISITA 2018)
  
  Volume: - Pages: 159-163
- DOI
  10.23919/isita.2018.8664351
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17K12667
[Journal Article] A Game-Theoretic Approach to Information-Flow Control via Protocol Composition2018
- Author(s)
  Mario S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, and Catuscia Palamidessi
- Journal Title
  
  Entropy
  
  Volume: 20(5:382) Issue: 5 Pages: 1-43
- DOI
  10.3390/e20050382
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K12667
[Journal Article] On the Compositionality of Quantitative Information Flow2017
- Author(s)
  Yusuke Kawamoto, Konstantinos Chatzikokolakis, and Catuscia Palamidessi
- Journal Title
  
  Logical Methods in Computer Science
  
  Volume: 13 Pages: 1-31
- DOI
  10.23638/lmcs-13(3:11)2017
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K12667
[Journal Article] Information Leakage Games2017
- Author(s)
  Mario S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, and Catuscia Palamidessi
- Journal Title
  
  Proc. of the 8th International Conference on Decision and Game Theory for Security (GameSec 2017), Lecture Notes in Computer Science
  
  Volume: 10575 Pages: 437-457
- DOI
  10.1007/978-3-319-68711-7_23
- ISBN
  9783319687100, 9783319687117
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K12667
[Journal Article] HyLeak: Hybrid Analysis Tool for Information Leakage2017
- Author(s)
  Fabrizio Biondi, Yusuke Kawamoto, Axel Legay, and Louis-Marie Traonouez
- Journal Title
  
  Proc. of the 15th International Symposium on Automated Technology for Verification and Analysis (ATVA 2017), Lecture Notes in Computer Science
  
  Volume: 10482 Pages: 156-163
- DOI
  10.1007/978-3-319-68167-2_11
- ISBN
  9783319681665, 9783319681672
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K12667
[Journal Article] Hybrid Statistical Estimation of Mutual Information for Quantifying Information Flow2016
- Author(s)
  Yusuke Kawamoto, Fabrizio Biondi and Axel Legay
- Journal Title
  
  Proc. of the 21st International Symposium on Formal Methods (FM 2016), Lecture Notes in Computer Science
  
  Volume: 9995 Pages: 406-425
- DOI
  10.1007/978-3-319-48989-6_25
- ISBN
  9783319489889, 9783319489896
- Peer Reviewed / Acknowledgement Compliant / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H06886
[Journal Article] Verification of Cryptosystems - from Introduction to Computer-Aided Security Proofs2016
- Author(s)
  川本裕輔
- Journal Title
  
  Computer Software
  
  Volume: 33 Issue: 4 Pages: 4_67-4_83
- DOI
  10.11309/jssst.33.4_67
- NAID
  130005290611
- ISSN
  0289-6540
- Language
  Japanese
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-15H06886
[Journal Article] Quantitative Information Flow for Scheduler-Dependent Systems2015
- Author(s)
  Yusuke Kawamoto and Thomas Given-Wilson
- Journal Title
  
  Electronic Proceedings in Theoretical Computer Science
  
  Volume: 194 Pages: 4862-4862
- DOI
  10.4204/eptcs.194.4
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H06886
[Patent] タイミング攻撃に対抗するための情報処理方法、システム及びプログラム2018
- Inventor(s)
  川本裕輔，村上隆夫
- Industrial Property Rights Holder
  産業技術総合研究所
- Industrial Property Rights Type
  特許
- Industrial Property Number
  2018-153830
- Filing Date
  2018
- Data Source
  KAKENHI-PROJECT-17K12667
[Presentation] 仮説検定プログラムのための形式検証ツールStatWhy2025
- Author(s)
  川本裕輔, 小林賢太朗, 末永幸平
- Organizer
  第27回プログラミングおよびプログラミング言語ワークショップ（PPL 2025）
- Data Source
  KAKENHI-PROJECT-24K02924
[Presentation] 前件強化による後件変更:デフォルト論理と状態変化2024
- Author(s)
  竹内泉, 川本裕輔
- Organizer
  日本科学哲学会第57回年次大会
- Data Source
  KAKENHI-PROJECT-24K02924
[Presentation] TransMIA: Membership Inference Attacks Using Transfer Shadow Training2021
- Author(s)
  Seira Hidano, Takao Murakami, Yusuke Kawamoto
- Organizer
  Proceedings of the 2021 International Joint Conference on Neural Networks (IJCNN 2021)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19H04113
[Presentation] Locality Sensitive Hashing with Extended Differential Privacy2021
- Author(s)
  Natasha Fernandes*, Yusuke Kawamoto*, Takao Murakami* (*: equal contribution)
- Organizer
  Proceedings of the 26th European Symposium on Research in Computer Security (ESORICS 2021)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19H04113
[Presentation] Local Distribution Obfuscation via Probability Coupling2019
- Author(s)
  Yusuke Kawamoto
- Organizer
  57th Annual Allerton Conference on Communication, Control, and Computing (Allerton 2019)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K12667
[Presentation] 情報量を利得とするゲームとプライバシー定量化への応用2019
- Author(s)
  川本裕輔
- Organizer
  ゲーム理論ワークショップ2019
- Data Source
  KAKENHI-PROJECT-17K12667
[Presentation] Local Obfuscation Mechanisms for Hiding Probability Distributions2019
- Author(s)
  Yusuke Kawamoto
- Organizer
  24th European Symposium on Research in Computer Security (ESORICS 2019)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K12667
[Presentation] Epistemic logic for expressing the statistical security of machine learning2019
- Author(s)
  Yusuke Kawamoto
- Organizer
  5th France-Japan Cybersecurity Workshop
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K12667
[Presentation] Privacy-Preserving Multiple Tensor Factorization for Synthesizing Large-Scale Location Traces2019
- Author(s)
  Takao Murakami, Koki Hamada, Yusuke Kawamoto, Takuma Hatano
- Organizer
  arXiv:1911.04226
- Data Source
  KAKENHI-PROJECT-19H04113
[Presentation] Towards Logical Specification of Statistical Machine Learning2019
- Author(s)
  Yusuke Kawamoto
- Organizer
  17th International Conference on Software Engineering and Formal Methods (SEFM 2019)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K12667
[Presentation] Statistical Epistemic Logic2019
- Author(s)
  Yusuke Kawamoto
- Organizer
  The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K12667
[Presentation] Leakage and Protocol Composition in a Game-Theoretic Perspective2018
- Author(s)
  Mario S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, and Catuscia Palamidessi
- Organizer
  7th International Conference on Principles of Security and Trust (POST 2018)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K12667
[Presentation] On the Anonymization of Differentially Private Location Obfuscation2018
- Author(s)
  Yusuke Kawamoto and Takao Murakami
- Organizer
  2018 International Symposium on Information Theory and Its Applications (ISITA 2018)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K12667
[Presentation] Extension of Differential Privacy to Distribution Obfuscation2018
- Author(s)
  Yusuke Kawamoto
- Organizer
  NII Shonan Meeting Seminar 116
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K12667
[Presentation] Obfuscation Mechanisms with Distribution Privacy2018
- Author(s)
  Yusuke Kawamoto
- Organizer
  4th Franco-Japanese Cybersecurity Workshop
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K12667
[Presentation] プライバシの定量的モデルと保護メカニズム2017
- Author(s)
  川本裕輔
- Organizer
  日本応用数理学会2017年度年会「数理的技法による情報セキュリティ」研究部会
- Invited
- Data Source
  KAKENHI-PROJECT-17K12667
[Presentation] HyLeak: Hybrid Analysis Tool for Information Leakage2017
- Author(s)
  Fabrizio Biondi, Yusuke Kawamoto, Axel Legay, and Louis-Marie Traonouez
- Organizer
  15th International Symposium on Automated Technology for Verification and Analysis (ATVA 2017)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K12667
[Presentation] Information Leakage Games2017
- Author(s)
  Mario S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, and Catuscia Palamidessi
- Organizer
  8th International Conference on Decision and Game Theory for Security (GameSec 2017)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K12667
[Presentation] Modeling and Analysis of Information Leakage2017
- Author(s)
  Yusuke Kawamoto
- Organizer
  Third French Japanese Meeting on Cybersecurity
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K12667
[Presentation] プログラム解析と統計手法の融合による定量的情報流解析2017
- Author(s)
  Yusuke Kawamoto, Fabrizio Biondi and Axel Legay
- Organizer
  第19回プログラミングおよびプログラミング言語ワークショップ（PPL2017）
- Place of Presentation
  華やぎの章慶山（山梨県笛吹市）
- Year and Date
  2017-03-09
- Data Source
  KAKENHI-PROJECT-15H06886
[Presentation] Hybrid Statistical Estimation of Mutual Information for Quantifying Information Flow2016
- Author(s)
  Yusuke Kawamoto, Fabrizio Biondi and Axel Legay
- Organizer
  The 21st International Symposium on Formal Methods (FM 2016)
- Place of Presentation
  St. Raphael Resort, Limassol (Cyprus)
- Year and Date
  2016-11-11
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H06886
[Presentation] 統計的手法によるプログラムの定量的情報流解析2015
- Author(s)
  Tom Chothia, Yusuke Kawamoto and Chris Novakovic
- Organizer
  日本応用数理学会2015年度年会
- Place of Presentation
  金沢大学、石川県
- Year and Date
  2015-09-11
- Data Source
  KAKENHI-PROJECT-15H06886
[Presentation] Combining Static and Statistical Approaches to Quantitative Information Flow2015
- Author(s)
  Yusuke Kawamoto
- Organizer
  NII Shonan Meeting Seminar 069
- Place of Presentation
  Shonan, Japan
- Year and Date
  2015-10-26
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H06886
[Presentation] Formal and Statistical Approach to Quantitative Information Flow of Programs2015
- Author(s)
  Yusuke Kawamoto
- Organizer
  Workshop on Formalization of Applied Mathematical Systems
- Place of Presentation
  Hawaii, USA
- Year and Date
  2015-10-01
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H06886

1. Murakami Takao (80587981)

# of Collaborated Projects: 1 results

# of Collaborated Products: 4 results
2. Arisaka Ryuta (00774580)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
3. 日野英逸 (10580079)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
4. 清雄一 (20700157)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
5. 松田隆宏 (60709492)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
6. 伊藤孝行 (50333555)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
7. 末永幸平 (70633692)

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results
8. 佐藤哲也 (40761797)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
9. 田中哲 (10357452)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
10. Biondi Fabrizio

# of Collaborated Projects: 1 results

# of Collaborated Products: 3 results
11. Given-Wilson Thomas

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
12. Traonouez Louis-Marie

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

Kawamoto Yusuke 川本 裕輔

Research Projects

Research Products

Co-Researchers

Formal verification methods for trustworthy statisticsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Research on Logical Methods for the Formal Verification of Argumentation

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

A Study on Locally Private Algorithms for Large-Scale Personal Data

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Quantitative Verification of Cyber-Physical Systems by Integrating Statistical and Formal ApproachesPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Quantitative Analysis of Information Leakage in Cyber-Physical SystemsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] StatWhy: Formal Verification Tool for Statistical Hypothesis Testing Programs2025

Author(s)

Journal Title

Data Source

[Journal Article] Sound and relatively complete belief Hoare logic for statistical hypothesis testing programs2024

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Theme Aspect Argumentation Model for Handling Fallacies2023

Author(s)

Journal Title

Data Source

[Journal Article] Privacy-Preserving Multiple Tensor Factorization for Synthesizing Large-Scale Location Traces with Cluster-Specific Features2021

Author(s)

Journal Title

Data Source

[Journal Article] Local Distribution Obfuscation via Probability Coupling2019

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Local Obfuscation Mechanisms for Hiding Probability Distributions2019

Author(s)

Journal Title

DOI

ISBN

Data Source

[Journal Article] Utility-Optimized Local Differential Privacy Mechanisms for Distribution Estimation2019

Author(s)

Journal Title

Data Source

[Journal Article] Towards Logical Specification of Statistical Machine Learning2019

Author(s)

Journal Title

DOI

ISBN

Data Source

[Journal Article] Statistical Epistemic Logic2019

Author(s)

Journal Title

DOI

ISBN

Data Source

[Journal Article] Hybrid Statistical Estimation of Mutual Information and its Application to Information Flow2019

Author(s)

Kawamoto Yusuke 川本裕輔