Last Update: 2 June, 2023

Constructive Mathematics

Papers in Refereed Journals and Proceedings

• Satoru Yoshida: Generalized functions with pseudobounded support in constructive mathematics, J. Complexity 22 (2006), No. 6, 783-802 .
  Preliminary results in proceedings of 2nd International Conference on Computability and Complexity in Analysis (CCA 2005), 318-340, Kyoto, August 2005.
• Satoru Yoshida: The constructive completion of the space D(R), Mathematical Logic Quart. 51 (2005), No. 1, 77-82.
• Satoru Yoshida: The Banach-Steinhaus theorem for the space D(R) in constructive analysis, Mathematical Logic Quart. 49 (2003), No. 3, 305-315 .
• Hajime Ishihara and Satoru Yoshida: A constructive look at the completeness of the space D(R), J. Symbolic Logic 67 (2002), No. 4, 1511-1519.

Research Reports

• Hitoshi Furusawa and Satoru Yoshida: A note on upper continuity properties of relations, Reports of the Faculty of Science, Kagoshima University, vol. 54(2021), p.1-7.
• Hitoshi Furusawa and Satoru Yoshida: A note on continuity proerties of relations, Reports of the Faculty of Science, Kagoshima University, vol. 52(2019), p.1-6.
• Satoru Yoshida and Hitoshi Furusawa: On a certain discontinuous mapping as a continuous relation, RIMS共同研究（公開型）「証明論と証明活動」, 京都大学数理解析研究所講究禄 2083(2018年8月), 150-155.
• Satoru Yoshida: Sequential continuity and boundedness of generalized functions in constructive mathematics,
  AIST Programming Science Technical Report, CVS/AIST, AIST-PS-2008-017;
  Workshop on Constructivism: Logic and Mathematics, Kanazawa, May 2008;
  第20回代数, 論理, 幾何と情報科学研究集会 (ALGI), 鳥取環境大学, 2009年9月.
• Satoru Yoshida: A note on the weak topology for the constructive completion of the space D(R),
  AIST Programming Science Technical Report, CVS/AIST, AIST-PS-2007-001;
  4th VERITE, JAIST, Mar. 2007;
  The 40th MLG meeting, Yufuin, Dec. 2006.
• Satoru Yoshida: The completion of the space D(R) in constructive analysis,
  京都大学数理解析研究所講究録 1381(2004年6月）, 80-89;
  From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics, San Servolo, Venice, May 2003.
• Satoru Yoshida: A note on nondiscontinuity in constructive mathematics, JAIST Research Report, IS-RR-2002-013.
• Satoru Yoshida: A constructive look at Weierstrass' theorem , JAIST Research Report, IS-RR-2002-012.

Talks

• 吉田聡: 構成的解析学における関係の連続性, 第38回記号論理と情報科学 研究集会, 2021年8月
• 吉田聡: 関係の各点連続性と点列連続性, 第7回山陰基礎論・解析学研究集会, 米子コンベンションセンター, 2020年1月.
• 吉田聡: 構成的数学の体系と実践, 第179回数学文献を読む会, 共立出版社, 2017年6月.
• 吉田聡: 構成的解析学におけるSobolev空間の構成, 数学基礎論若手の会2014, 鳥取市サイクリングターミナル砂丘の家, 2014年11月.
• 吉田聡: 構成的解析学における超関数からなる空間の位相について, SLAGICS 2013: ALGI and SLACS Join Forces, 京都大学数理解析研究所, 2013年9月.
• 吉田聡: 構成的数学の体系とその実践, 数学の形式化に関する研究集会, アクロス福岡, 2013年3月.
• 岡本賢吾, 吉田聡, 西澤弘毅, 細川雄一郎: 連続性と様相-その一般化・非古典化の数理と形而上学-, 科学基礎論学会 2010年度秋の研究例会, 日本大学文理学部, 2010年11月.
• 吉田聡: 一点集合の台を持つ一般関数の表現に関する構成的考察, 第18回代数, 論理, 幾何と情報科学研究集会 (ALGI), 鹿児島大学, 2007年9月.
• Satoru Yoshida: The Banach-Steinhaus theorem for (LF)-spaces in constructive analysis, The 38th MLG meeting, Gamagori, Oct. 2004.
• 吉田聡: 構成的数学とその現状, 東京都立大学人文学部哲学教室, 2003年9月.

PhD Thesis

• Satoru Yoshida: A constructive study of the fundamental theory of distributions, Japan Advanced Institute of Science and Technology, 2003.
  

INDEX page