Skip to content

Kenshi Miyabe

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

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

Posts

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 23, 2025May 24, 2025

Real closed fields via strong Solovay reducibility

News
23 May 2025, Accepted
26 Apr 2025, New preprint
26 Dec 2024, New Page

Title
Real closed fields via strong Solovay reducibility
Masahiro Kumabe, Kenshi Miyabe, and Toshio Suzuki

Type
Research paper

Journal
Accepted by Computability on 23 May, 2025

Download
preprint

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 April 12, 2025

Quantifier Variations in Solovay Reducibility

News
12 Apr 2025, New Page

Title
Quantifier Variations in Solovay Reducibility
Masahiro Kumabe, Kenshi Miyabe, and Toshio Suzuki

Type
Research paper

Journal
Submitted to a journal

Download
Solovay_variant-20250412-preprint

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 37 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 (133)

Recent Posts

  • Solovay reducibility for computably approximable reals
  • Real closed fields via strong Solovay reducibility
  • Quantifier Variations in Solovay Reducibility
  • Quantifier Variations in Solovay Reducibility
  • How to study mathematics in the era of generative AI

Meta

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

Monthly Archives

Meta

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