プログラムの正しさを証明して、高信頼なソフトウェアを提供します。 Prove the correctness of the software

Japan
Joined June 2019
Coqのコードを共有するためのWebサービス #Coqban をつくりました! proof-ninja.github.io/coqban… #Coq #jscoq
おかげさまで proof ninja 創立記念7年周年を迎えました。 千葉県の #パティスリはぐみ さんにホーアトリプルのケーキを作っていただきました! #HoareLogic #AntonyHoare #ProofNinja
6
2
11
1,817
株式会社 proofninja retweeted
> 弊社では毎年創立日に数式などをお菓子にして記念しています。今年はアントニーホーアさんが他界したことを偲んで、ホーア論理をテーマにしたケーキを作ろうと思います。次の画像を優しい水彩画のような雰囲気のカラーイラストにして、下部に数式「{P} c {Q}」を大きく太い文字で入れてください。
1
2
12
656
近所のケーキ屋さんがケーキにしてくれました!
創業6年を記念してマッチ棒クイズを作りました! #マッチ棒クイズ #Rocq #Coq #proofninja
5
3
1,041
創業6年を記念してマッチ棒クイズを作りました! #マッチ棒クイズ #Rocq #Coq #proofninja
8
1
7
2,229
本日セッション12で関数型言語OCamlとスマートコントラクトに関する発表をします。slackでもtwitterでもリアルでもご意見ご質問歓迎です。 #jssst_ppl2025 #OCaml #スマートコントラクト #ブロックチェーン
PPL2025で「OCamlからEVMバイトコードへのコンパイラ」というポスター発表をします。ポスター内容はこちらからもご確認いただけます。 proof-ninja.co.jp/slides/ppl… #jssst_ppl2025
3
9
956
PPL2025で「OCamlからEVMバイトコードへのコンパイラ」というポスター発表をします。ポスター内容はこちらからもご確認いただけます。 proof-ninja.co.jp/slides/ppl… #jssst_ppl2025
9
1
14
2,217
株式会社proof ninjaでは関数型プログラミングによる開発や検証の仕事を募集しています。 まずはお気軽にご相談ください。 #お仕事募集
6
13
1,196
株式会社proof ninja はおかげさまで5周年を迎えました。文の菓(ふみのか)さんによるカステラを焼いてもらいました。 #proofninja #プログラミング #証明
13
1
33
2,958
株式会社proof ninja 創立4周年です! #ケーキラボマグネット さんにlambda abstractionのtyping ruleをケーキにしてもらいました。 #proofninja #SystemF
9
2
30
7,411
株式会社proof ninja はこの度、京都大学 大学院情報学研究科 通信情報システム専攻 の 池渕未来 助教 が技術顧問に就任したことをお知らせいたします。
15
1
49
7,122
3周年です。ありがとうございます。
6
1
26
株式会社 proofninja retweeted
Coqのコードを共有するためのWebサービス #Coqban をつくりました! proof-ninja.github.io/coqban… #Coq #jscoq
株式会社 proofninja retweeted
???「STLCがやられたようだな…」 ???「ククク…奴はLambda Cubeの中で最弱…」 ???「???ごときに倒されるとはラムダ計算の面汚しよ…」 というのを考えたので誰か【???】を埋めてください
4
3
おかげさまで2周年を迎えました。 #proofninja #LambdaCube
株式会社 proofninja retweeted
OCaml PPX の資料を書きました。来週話します。 dailambda.jp/slides/2021-04-…
10
20