View the Qiita 15th anniversary article
search
LoginSignup
search
  1. Trend
  2. Stock List
  3. Question
  4. Qiita Conference
  5. Official Event
  6. Qiita Zineopen_in_new
  7. Organization
  8. Qiita Careersopen_in_new
  9. AI x Dev x Teamopen_in_new

@yoshihiro503

rss_feed
239Contributions
43
Posts153
Followees87
Followers

A proof developer and functional programmer on Tezos, CEO of proof ninja, Inc.

publicSite/Bloghttp://proofcafe.org/~yoshihiro503/
location_onLocation

Japan

workOrganization

株式会社proof ninja, 名古屋大学

Participating Organizations(1)

proofninja

Following Organizations(1)See all

proofninja

Following tags(36)See all

scamlTezos層圏トポスLaTeXTaPLSoftwarefoundationsProofCafecoqdocNinjaPatternMatch数学関数型言語関数型プログラミングモナドssreflectRaspberryPijs_of_ocamlProofGeneralSML#QuickCheckyesod

Contributions

posted an article

OCamlのtoplevelで Error: Reference to undefined compilation unit `Digestif' というエラーが出たとき

article is Liked

証明済みのJane StreetのBaseライブラリを作った話

posted an article

証明済みのJane StreetのBaseライブラリを作った話

article is Liked

opam環境をディレクトリにリンクするよ

posted an article

opam環境をディレクトリにリンクするよ

posted an article

かんたんABC記法

article is Stocked

なぜCoqが重要か

article is Liked

なぜCoqが重要か

article is Liked

RocqのInductiveで相互帰納型を作ったときの帰納法

posted an article

RocqのInductiveで相互帰納型を作ったときの帰納法
…
1 / 28Page 1 of 28

How developers code is here.

Qiita Conference 2026 Autumn will be held!: 10/27(Tue) - 10/29(Thu)
© 2011-2026Qiita Inc.

Guide & Help

  • About
  • Terms
  • Privacy
  • Guideline
  • Media Kit
  • Feedback/Requests
  • Help
  • Advertisement

Contents

  • Release Note
  • Official Event
  • Advent Calendar
  • Qiita Tech Festa
  • Qiita Award
  • Engineer White Paper
  • API

Official Accounts

  • @Qiita
  • @qiita_milestone
  • @qiitapoi
  • Facebook
  • YouTube
  • Podcast

Our service

  • Qiita Team
  • Qiita Zine
  • Official Shop

Company

  • About Us
  • Careers
  • Qiita Blog
  • News Release