Masahiro Sakai
157
Seguidores
Personal Information
Organización/Lugar de trabajo
Kawasaki, Kanagawa, Japan Japan
Ocupación
Software Engineer
Sitio web
msakai.jp/d/
Acerca de
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.
Etiquetas
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
Ver más
- Presentaciones
- Documentos
- Infografías
色彩センスのいらない配色講座
Mariko Yamaguchi
•
Hace 12 años
Notes from Coursera Deep Learning courses by Andrew Ng
Tess Ferrandez
•
Hace 6 años
5分でわかるブロックチェーンの基本的な仕組み
Ryo Shimamura
•
Hace 8 años
シリコンバレーの「何が」凄いのか
Atsushi Nakada
•
Hace 6 años
セールスアニマルになろう スタートアップ初期の営業戦略
Takaaki Umada
•
Hace 8 años
あなたのチームの「いい人」は機能していますか?
Minoru Yokomichi
•
Hace 8 años
心理的安全性の構造 デブサミ2019夏 structure of psychological safety
Tokoroten Nakayama
•
Hace 4 años
How to Be Happy at Work - 10 Simple Tips That Work
D B
•
Hace 8 años
SQLアンチパターン 幻の第26章「とりあえず削除フラグ」
Takuto Wada
•
Hace 8 años
デキるプログラマだけが知っているコードレビュー7つの秘訣
Masahiro Nishimi
•
Hace 9 años
Interactive Recommender Systems with Netflix and Spotify
Chris Johnson
•
Hace 8 años
魔法使いと黒猫のウィズ ガチャ問題
allyouneediskill
•
Hace 9 años
ソーシャルゲームのためのデータベース設計
Yoshinori Matsunobu
•
Hace 13 años
分散システムについて語らせてくれ
Kumazaki Hiroki
•
Hace 6 años
MySQL 5.7の罠があなたを狙っている
yoku0825
•
Hace 8 años
DXとかDevOpsとかのなんかいい感じのやつ 富士通TechLive
Tokoroten Nakayama
•
Hace 4 años
グラフィカルモデル入門
Kawamoto_Kazuhiko
•
Hace 9 años
目grep入門 +解説
murachue
•
Hace 12 años
マルコフ連鎖モンテカルロ法入門-1
Nagi Teramo
•
Hace 13 años
新規事業・起業を妨げる「ビジネスモデル症候群」とは
Lean Startup Japan LLC
•
Hace 8 años