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