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
充足可能性問題のいろいろ
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 4 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