株式会社 proofninja

28 posts

株式会社 proofninja banner
株式会社 proofninja

株式会社 proofninja

@proof_ninja

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

Japan 가입일 Haziran 2019
132 팔로잉216 팔로워
株式会社 proofninja
株式会社 proofninja@proof_ninja·
本日セッション12で関数型言語OCamlとスマートコントラクトに関する発表をします。slackでもtwitterでもリアルでもご意見ご質問歓迎です。 #jssst_ppl2025 #OCaml #スマートコントラクト #ブロックチェーン
株式会社 proofninja tweet media
株式会社 proofninja@proof_ninja

PPL2025で「OCamlからEVMバイトコードへのコンパイラ」というポスター発表をします。ポスター内容はこちらからもご確認いただけます。 proof-ninja.co.jp/slides/ppl2025… #jssst_ppl2025

日本語
0
3
9
914
株式会社 proofninja
株式会社 proofninja@proof_ninja·
株式会社proof ninjaでは関数型プログラミングによる開発や検証の仕事を募集しています。 まずはお気軽にご相談ください。 #お仕事募集
日本語
0
6
12
1.2K
株式会社 proofninja
株式会社 proofninja@proof_ninja·
株式会社proof ninja はおかげさまで5周年を迎えました。文の菓(ふみのか)さんによるカステラを焼いてもらいました。 #proofninja #プログラミング #証明
株式会社 proofninja tweet media
日本語
0
13
34
2.9K
株式会社 proofninja
株式会社 proofninja@proof_ninja·
株式会社proof ninja 創立4周年です！ #ケーキラボマグネット さんにlambda abstractionのtyping ruleをケーキにしてもらいました。 #proofninja #SystemF
株式会社 proofninja tweet media株式会社 proofninja tweet media
日本語
0
9
30
7.4K
株式会社 proofninja
株式会社 proofninja@proof_ninja·
株式会社proof ninja はこの度、京都大学 大学院情報学研究科 通信情報システム専攻 の 池渕未来 助教 が技術顧問に就任したことをお知らせいたします。
日本語
0
15
49
7K
株式会社 proofninja 리트윗함
mod_poppo
mod_poppo@mod_poppo·
？？？「STLCがやられたようだな…」 ？？？「ククク…奴はLambda Cubeの中で最弱…」 ？？？「？？？ごときに倒されるとはラムダ計算の面汚しよ…」 というのを考えたので誰か【？？？】を埋めてください
日本語
0
4
3
0

탐색

@masahiro_sakai @yoshihiro503 @elonmusk @BarackObama @taylorswift13 @cristiano @BillGates @NASA