Skip to content

Kenshi Miyabe

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

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

Category: Talks

Posted on October 27, 2022

Subclasses of the weakly computable reals

News

Title
Subclasses of the weakly computable reals

Type
Tokyo model theory seminar
26 Oct, 2022

Download

Posted on September 15, 2022

Subclasses of weakly computable reals that form real closed

News
15 Sep, 2022: The slide file was uploaded.

Title
Subclasses of weakly computable reals that form real closed

Type
The mathematical society of Japan

Download
mathsoc

Posted on June 9, 2022

Subclasses of weakly computable reals

News
9 June, 2022: The slide file was uploaded.

Title
Subclasses of weakly computable reals

Type
International conference on computability, complexity and randomness 2022

Download
CCR

Posted on June 1, 2022June 9, 2022

Generality of computable measures

News
1 June, 2022: The slide file was uploaded.

Title
Generality of computable measures

Type
Leeds Computability Days 2022

Download
LCD

Posted on December 18, 2021

The rate of convergence of computable predictions

News
18 Dec, 2021: The slide file was uploaded.

Title
The rate of convergence of computable predictions

Type
RIMS workshop: Theory and application of Proof and computation

Download
rims

Posts navigation

Page 1 Page 2 … Page 24 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 (38)
  • Talks (118)

Recent Posts

  • Subclasses of the weakly computable reals
  • Subclasses of weakly computable reals that form real closed
  • Rational sequences converging to left-c.e. reals of positive effective Hausdorff dimension
  • Subclasses of weakly computable reals
  • Generality of computable measures

Meta

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

Monthly Archives

Meta

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