View Qiita Tech Festa 2026
search
LoginSignup
search
  1. Trend
  2. Stock List
  3. Question
  4. Qiita Tech Festa
  5. Official Event
  6. Official Columnopen_in_new
  7. Organization
  8. Qiita Careersopen_in_new
  9. AI x Dev x Teamopen_in_new

株式会社proof ninja

ソフトウェアを数学的に証明する会社です。

  • notePosts41posts
  • favoriteLikes143likes
  • personFollowers3followers

For those interested in this Organization

languagerss_feed
HomeArticlesMembersProfile
trending_up
Popular articles
yoshihiro503

@yoshihiro503Team Coffee

2014-04-24

なぜCoqが重要か

  • Coq
34
yoshihiro503

@yoshihiro503Team Coffee

2015-06-09

Coqコーディング規約

  • Coq
12
yoshihiro503

@yoshihiro503Team Coffee

2018-12-14

Erlangの型検査ツールDialyzerの実装を読む

  • Erlang
  • OTP
  • dialyzer
9
yoshihiro503

@yoshihiro503Team Coffee

2015-08-10

coqdocで日本語を含むPDFを生成する

  • Coq
  • ProofCafe
  • pLaTeX
  • coqdoc
8
yoshihiro503

@yoshihiro503Team Coffee

2015-08-13

Coqでもあのニンジャパターンマッチが使えるぜ

  • Coq
  • let
  • NinjaPatternMatch
8
military_tech
Contributors
business_center
Frequently used tags
CoqOCamlProofCafeErlangssreflectTezosrocqopamScaladialyzer
list
New articles
yoshihiro503

@yoshihiro503Team Coffee

2026-07-10

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

  • OCaml
  • rocq
1
yoshihiro503

@yoshihiro503Team Coffee

2026-07-02

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

  • OCaml
  • opam
  • rocq
1
yoshihiro503

@yoshihiro503Team Coffee

2026-03-21

かんたんABC記法

  • OCaml
  • abc
0
yoshihiro503

@yoshihiro503Team Coffee

2026-02-13

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

  • Coq
  • rocq
1
yoshihiro503

@yoshihiro503Team Coffee

2025-04-11

Coqの自作コードをopamに登録する方法

  • Coq
  • opam
  • rocq
0

How developers code is here.

Qiita Tech Festa 2026 will be held!: 6/1(Mon) - 7/25(Sat)
© 2011-2026Qiita Inc.

Guide & Help

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

Contents

  • Release Note
  • Official Event
  • Official Column
  • 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