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