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
充足可能性問題のいろいろ
Hiroshi Yamashita
•
Há 4 anos
エンジニア組織づくり5年。見えてきた関西Web界隈のええとこ、あかんとこ - Developers Summit 2019 KANSAI
Yuki Okada
•
Há 4 anos
error_highlight: User-friendly Error Diagnostics
mametter
•
Há 1 ano
TRICK 2022 Results
mametter
•
Há 1 ano
ENEOSにおける低炭素技術への挑戦~汎用原子レベルシミュレータMatlantis™の共同開発者とユーザーの視点から~
Matlantis
•
Há 2 anos
DXとかDevOpsとかのなんかいい感じのやつ 富士通TechLive
Tokoroten Nakayama
•
Há 4 anos
深層自己符号化器+混合ガウスモデルによる教師なし異常検知
Chihiro Kusunoki
•
Há 5 anos
心理的安全性の構造 デブサミ2019夏 structure of psychological safety
Tokoroten Nakayama
•
Há 4 anos
Overcoming Catastrophic Forgetting in Neural Networks読んだ
Yusuke Uchida
•
Há 7 anos
機械学習で嘘をつく話
Satoshi Hara
•
Há 3 anos
機械学習で嘘をつく話
Satoshi Hara
•
Há 3 anos
Deep sets
Tomohiro Takahashi
•
Há 6 anos
型プロファイラ:抽象解釈に基づくRuby 3の静的解析
mametter
•
Há 4 anos
Ruby 3 の型解析に向けた計画
mametter
•
Há 4 anos
ICLR2020の異常検知論文の紹介 (2019/11/23)
ぱんいち すみもと
•
Há 4 anos
MineRL Competition Tutorial with ChainerRL
Preferred Networks
•
Há 4 anos
静的型つき組版処理システムSATySFi @第61回プログラミング・シンポジウム
T. Suwa
•
Há 4 anos
JAWS-UG HPC #17 - Supercomputing'19 参加報告 - PFN 福田圭祐
Preferred Networks
•
Há 4 anos
明治大学講演資料「機械学習と自動ハイパーパラメタ最適化」 佐野正太郎
Preferred Networks
•
Há 4 anos
Chainerを使ってプロダクション環境上で推論するには
Keisuke Umezawa
•
Há 4 anos