Personal Information
Organization / Workplace
Kawasaki, Kanagawa, Japan Japan
Occupation
Software Engineer
Website
msakai.jp/d/
About
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.
Tags
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
See more
Presentations
(32)Likes
(276)充足可能性問題のいろいろ
Hiroshi Yamashita
•
4 years ago
エンジニア組織づくり5年。見えてきた関西Web界隈のええとこ、あかんとこ - Developers Summit 2019 KANSAI
Yuki Okada
•
4 years ago
error_highlight: User-friendly Error Diagnostics
mametter
•
1 year ago
TRICK 2022 Results
mametter
•
1 year ago
DXとかDevOpsとかのなんかいい感じのやつ 富士通TechLive
Tokoroten Nakayama
•
3 years ago
深層自己符号化器+混合ガウスモデルによる教師なし異常検知
Chihiro Kusunoki
•
5 years ago
心理的安全性の構造 デブサミ2019夏 structure of psychological safety
Tokoroten Nakayama
•
4 years ago
Overcoming Catastrophic Forgetting in Neural Networks読んだ
Yusuke Uchida
•
6 years ago
機械学習で嘘をつく話
Satoshi Hara
•
3 years ago
機械学習で嘘をつく話
Satoshi Hara
•
3 years ago
Deep sets
Tomohiro Takahashi
•
5 years ago
型プロファイラ:抽象解釈に基づくRuby 3の静的解析
mametter
•
3 years ago
Ruby 3 の型解析に向けた計画
mametter
•
4 years ago
ICLR2020の異常検知論文の紹介 (2019/11/23)
ぱんいち すみもと
•
4 years ago
MineRL Competition Tutorial with ChainerRL
Preferred Networks
•
4 years ago
静的型つき組版処理システムSATySFi @第61回プログラミング・シンポジウム
T. Suwa
•
3 years ago
JAWS-UG HPC #17 - Supercomputing'19 参加報告 - PFN 福田圭祐
Preferred Networks
•
3 years ago
明治大学講演資料「機械学習と自動ハイパーパラメタ最適化」 佐野正太郎
Preferred Networks
•
4 years ago
Chainerを使ってプロダクション環境上で推論するには
Keisuke Umezawa
•
3 years ago
ChainerX and How to Take Part
Hiroyuki Vincent Yamazaki
•
4 years ago
[DL輪読会]Learning Latent Dynamics for Planning from Pixels
Deep Learning JP
•
4 years ago
[DL輪読会]Understanding Measures of Uncertainty for Adversarial Example Detection
Deep Learning JP
•
5 years ago
Haskell で CLI
Nobutada Matsubara
•
5 years ago
Menoh-Rubyで始めるお手軽簡単なDNN推論アプリ
Preferred Networks
•
5 years ago
[DL輪読会]Graph Convolutional Policy Network for Goal-Directed Molecular Graph Generation (NIPS2018)
Deep Learning JP
•
5 years ago
大企業と技術開発型ベンチャーの連携
Masakazu Masujima
•
6 years ago
Rakuten20181027
Natsutani Minoru
•
5 years ago
20181018 CEATEC 製品不良検査ソフト & Picking Robot ソリューション
Preferred Networks
•
5 years ago
20180728 halide-study
Fixstars Corporation
•
5 years ago
分散システムについて語らせてくれ
Kumazaki Hiroki
•
6 years ago
Personal Information
Organization / Workplace
Kawasaki, Kanagawa, Japan Japan
Occupation
Software Engineer
Website
msakai.jp/d/
About
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.
Tags
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
See more