Masahiro Sakai
157
Abonné
Personal Information
Entreprise/Lieu de travail
Kawasaki, Kanagawa, Japan Japan
Profession
Software Engineer
Site Web
msakai.jp/d/
À propos
Masahiro Sakai is a researcher in the field of theoretical computer science. He is working as a software engineer at Preferred Networks, Inc. He received a master degree in “Media and Governance” with “Cyber Informatics” concentration at Keio university. He translated “Software Abstractions” and “Types and Programming Languages” into Japanese with his colleagues.
His interest includes Programming Language Theory, Functional Programming, Software Engineering, Category Theory, Constraint Solving, SAT/SMT Solvers, Machine Learning, Mathematical Optimization, Computer Security.
Mots-clés
haskell
satisfiability
sat
machine learning
smt
satisfiability modulo theories
deep learning
solver
cdcl
dpll
quantifier elimination
optimization
compiler
category theory
categorical programming
fusion
llw
testing
software testing
coverage
adversarial example
formal verification
smt solver
sat solver
neural network
type system
python
web applicaiton
javascript
race condition
concurrency
icse2017
icse
coursera
mooc
theory combination
pbo
pseudo boolean
pbs
max-sat
model finding
software engineering
alloy
cad
decidacility
computer algebra
real closed field
algorithm
presburger
coq
omega
arithmetic
theorem proving
proofsummit
jit
type-state
linear types
vault
matlab
model checking
clr
generics
net
parametric polymorphism
haskell2010
verification
pointer-analysis
montague grammar
ptq
ml
code generation
modal logic
gobject
gtk
ruby
gc
gnome
llring
Tout plus
- Présentations
- Documents
- Infographies
色彩センスのいらない配色講座
Mariko Yamaguchi
•
il y a 12 ans
Notes from Coursera Deep Learning courses by Andrew Ng
Tess Ferrandez
•
il y a 6 ans
5分でわかるブロックチェーンの基本的な仕組み
Ryo Shimamura
•
il y a 8 ans
シリコンバレーの「何が」凄いのか
Atsushi Nakada
•
il y a 6 ans
セールスアニマルになろう スタートアップ初期の営業戦略
Takaaki Umada
•
il y a 8 ans
あなたのチームの「いい人」は機能していますか?
Minoru Yokomichi
•
il y a 8 ans
心理的安全性の構造 デブサミ2019夏 structure of psychological safety
Tokoroten Nakayama
•
il y a 4 ans
How to Be Happy at Work - 10 Simple Tips That Work
D B
•
il y a 8 ans
SQLアンチパターン 幻の第26章「とりあえず削除フラグ」
Takuto Wada
•
il y a 8 ans
デキるプログラマだけが知っているコードレビュー7つの秘訣
Masahiro Nishimi
•
il y a 9 ans
Interactive Recommender Systems with Netflix and Spotify
Chris Johnson
•
il y a 8 ans
魔法使いと黒猫のウィズ ガチャ問題
allyouneediskill
•
il y a 9 ans
ソーシャルゲームのためのデータベース設計
Yoshinori Matsunobu
•
il y a 13 ans
分散システムについて語らせてくれ
Kumazaki Hiroki
•
il y a 6 ans
MySQL 5.7の罠があなたを狙っている
yoku0825
•
il y a 8 ans
DXとかDevOpsとかのなんかいい感じのやつ 富士通TechLive
Tokoroten Nakayama
•
il y a 4 ans
グラフィカルモデル入門
Kawamoto_Kazuhiko
•
il y a 9 ans
目grep入門 +解説
murachue
•
il y a 12 ans
マルコフ連鎖モンテカルロ法入門-1
Nagi Teramo
•
il y a 13 ans
新規事業・起業を妨げる「ビジネスモデル症候群」とは
Lean Startup Japan LLC
•
il y a 8 ans