おかげさまで proof ninja 創立記念7年周年を迎えました。
千葉県の #パティスリはぐみ さんにホーアトリプルのケーキを作っていただきました!
#HoareLogic #AntonyHoare #ProofNinja
株式会社 proofninja retweeted
> 弊社では毎年創立日に数式などをお菓子にして記念しています。今年はアントニーホーアさんが他界したことを偲んで、ホーア論理をテーマにしたケーキを作ろうと思います。次の画像を優しい水彩画のような雰囲気のカラーイラストにして、下部に数式「{P} c {Q}」を大きく太い文字で入れてください。
本日セッション12で関数型言語OCamlとスマートコントラクトに関する発表をします。slackでもtwitterでもリアルでもご意見ご質問歓迎です。
#jssst_ppl2025 #OCaml #スマートコントラクト #ブロックチェーン
PPL2025で「OCamlからEVMバイトコードへのコンパイラ」というポスター発表をします。ポスター内容はこちらからもご確認いただけます。
proof-ninja.co.jp/slides/ppl…
#jssst_ppl2025
PPL2025で「OCamlからEVMバイトコードへのコンパイラ」というポスター発表をします。ポスター内容はこちらからもご確認いただけます。
proof-ninja.co.jp/slides/ppl…
#jssst_ppl2025
株式会社proof ninjaでは関数型プログラミングによる開発や検証の仕事を募集しています。
まずはお気軽にご相談ください。
#お仕事募集
株式会社proof ninja 創立4周年です!
#ケーキラボマグネット さんにlambda abstractionのtyping ruleをケーキにしてもらいました。
#proofninja #SystemF
株式会社 proofninja retweeted
???「STLCがやられたようだな…」
???「ククク…奴はLambda Cubeの中で最弱…」
???「???ごときに倒されるとはラムダ計算の面汚しよ…」
というのを考えたので誰か【???】を埋めてください
株式会社 proofninja retweeted
OCaml PPX の資料を書きました。来週話します。 dailambda.jp/slides/2021-04-…















