400万人が利用する会社訪問アプリ
ウォンテッドリー株式会社 / エンジニア
ログインユーザーのみに公開
MLのサブセット(λ計算をletと参照で拡張したもので,let多相と単純な値制約をサポートする静的型付き言語)の型安全性と,その型推論器の健全性・完全性の,Coqを用いた形式的検証
三年次編入学
Mizuno Masayukiさん
のプロフィールをすべて閲覧
Wantedlyユーザー もしくは つながりユーザーのみ閲覧できる項目があります
過去の投稿を確認する
共通の知り合いを確認する
Mizuno Masayukiさんのプロフィールをすべて見る