Skip to content

Kenshi Miyabe

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

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

Category: Talks

Posted on July 9, 2024July 11, 2024

Algorithmic randomness theory and learnability

News
9 July, 2024: The slide file was uploaded

Title
Algorithmic randomness theory and learnability

Type
Talk on SMAL 2024
In Japanese

Download
rims-01
rims-02
rims-03

Posted on March 12, 2024

Strong Solovay reducibility

News
12 Mar, 2024: The slide was uploaded

Title
Strong Solovay reducibility

Type
Talk on CCR2024

Download
ccr

Posted on December 12, 2023

Strong Solovay reducibility

News
12 Dec, 2023: The slide was uploaded

Title
Strong Solovay reducibility

Type
Talk on Proof theory workshop@RIMS

Download
rims

Posted on November 6, 2023

Computable prediction

News
6 Nov, 2023: The slide was uploaded

Title
Computable prediction

Type
Talk on Mini-Workshop on Computability in Tokyo in English

Download
mini-workshop

Posted on September 27, 2023

Computability of reals

News
27 Sep, 2023: The slide was uploaded

Title
Computability of reals

Type
Lectures on Summer School on mathematical foundations in Japanese

Download
You can download the slide files on the website.

Posts pagination

Previous page Page 1 Page 2 Page 3 Page 4 … Page 28 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 (136)

Recent Posts

  • Variation of weakly computable reals in Solovay reducibility
  • Solovay reducibility for computably approximable reals
  • Can AI be a mathematician?
  • Solovay reducibility for computably approximable reals
  • Real closed fields via strong 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