Skip to content

Kenshi Miyabe

宮部賢志(ミヤベケンシ)

  • Contact
  • CV
  • Publications
  • Talks
  • Language: English
    • English English
    • 日本語 日本語

Category: Talks

Posted on August 26, 2025August 31, 2025

Solovay reducibility for computably approximable reals

News
26 Aug, 2025: New page

Title
Solovay reducibility for computably approximable reals

Type
Workshop on Logic and Computation
28-31 Aug, 2025 @ Beijing Institute of Mathematical Sciences and Applications
webpage1
webpage2

Download
Almost the same as the talk at the last June at Bordeaux.

Video on BISMA website

Posted on August 26, 2025August 26, 2025

Can AI be a mathematician?

News
26 Aug, 2025: New page

Title
Can AI be a mathematician?

Type
Summer seminar organized by the School of Science and Technology, Meiji University, for Meiji University affiliated schools.
Monday, August 25, 2025 @ Meiji University Ikuta Campus

Download
summer2-small

Posted on June 14, 2025

Solovay reducibility for computably approximable reals

News
14 June, 2025: New page

Title
Solovay reducibility for computably approximable reals

Type
CCR 2025 : Computability, Complexity and Randomness & Journées Calculabilités
16-20 Jun 2025 Bordeaux (France)
invited talk

Download
ccr2025-summary
ccr2025-slide

Posted on May 2, 2025May 5, 2025

Quantifier Variations in Solovay Reducibility

News
2 May, 2025: New page

Title
Quantifier Variations in Solovay Reducibility

Type
American Mathematical Society 2025 Spring Western Sectional Meeting
San Luis Obispo, CA – California Polytechnic, San Luis Obispo, CA
May 3-4, 2025 (Saturday – Sunday)
Special Session on Logic and Analysis, III

Download
abstract
slide

Posted on March 25, 2025

How to study mathematics in the era of generative AI

News
25 Mar, 2025: The slide file was uploaded

Title
How to study mathematics in the era of generative AI

Type
Meiji University Affiliated Junior High School Collaborative Event
25 Mar, 2025
In Japanese

Download
slide

Posts navigation

Page 1 Page 2 … Page 27 Next page

ここは研究者としての宮部賢志のウェブサイトです.教育に関する情報は宮部研究室ウェブサイトを御覧ください.

The website of Miyabe Lab contains information about teaching in Japanese.

Language:

  • English
  • 日本語

Contents

  • Contact
  • CV
  • Research Interest
  • Publications
  • Talks
  • Picture&Video
  • Links

Categories

  • Diary (10)
  • Publication (43)
  • Talks (135)

Recent Posts

  • Solovay reducibility for computably approximable reals
  • Can AI be a mathematician?
  • Solovay reducibility for computably approximable reals
  • Real closed fields via strong Solovay reducibility
  • Quantifier Variations in Solovay Reducibility

Meta

  • Log in
  • Entries feed
  • Comments feed
  • WordPress.org

Monthly Archives

Meta

  • Log in
  • Entries feed
  • Comments feed
  • WordPress.org
Proudly powered by WordPress