株式会社 proofninja
@proof_ninja
Followers
217
Following
19
Media
10
Statuses
28
プログラムの正しさを証明して、高信頼なソフトウェアを提供します。 Prove the correctness of the software
Japan
Joined June 2019
0
20
42
近所のケーキ屋さんがケーキにしてくれました！
0
5
3
本日セッション12で関数型言語OCamlとスマートコントラクトに関する発表をします。slackでもtwitterでもリアルでもご意見ご質問歓迎です。 #jssst_ppl2025 #OCaml #スマートコントラクト #ブロックチェーン
PPL2025で「OCamlからEVMバイトコードへのコンパイラ」というポスター発表をします。ポスター内容はこちらからもご確認いただけます。 https://t.co/nNDsZCKLCu
#jssst_ppl2025
0
3
9
PPL2025で「OCamlからEVMバイトコードへのコンパイラ」というポスター発表をします。ポスター内容はこちらからもご確認いただけます。 https://t.co/nNDsZCKLCu
#jssst_ppl2025
0
9
15
株式会社proof ninjaでは関数型プログラミングによる開発や検証の仕事を募集しています。 まずはお気軽にご相談ください。 #お仕事募集
0
6
12
株式会社proof ninja 創立4周年です！ #ケーキラボマグネット さんにlambda abstractionのtyping ruleをケーキにしてもらいました。 #proofninja #SystemF
0
9
30
株式会社proof ninja はこの度、京都大学 大学院情報学研究科 通信情報システム専攻 の 池渕未来 助教 が技術顧問に就任したことをお知らせいたします。
0
15
49
0
20
42
0
0
0
We are moving from the 5-year-old incubation centre building of Kyoto university to a traditional Kyoto style house of more than 1 century old.
0
4
12
0
18
50