Masahiro Sakai

156 Followers

32 SlideShares 156 Followers 195 Folgens

32 SlideShares 156 Followers 195 Folgens

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.

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

Aktivität
Info

LLDN / キミならどう書く Haskell 編 (規定演技)

Vor 16 Jahren • 755 Aufrufe

LLDN / キミならどう書く Haskell 編 (自由演技)

Vor 16 Jahren • 854 Aufrufe

Haskell - LLRing2006 Language Update

Vor 16 Jahren • 909 Aufrufe

非正格関数に対して適用可能な融合変換

Vor 16 Jahren • 1448 Aufrufe

LLW2004 その場でどう書く - Haskell

Vor 16 Jahren • 454 Aufrufe

Ruby-GNOME2におけるGC問題

Vor 14 Jahren • 817 Aufrufe

融合変換による最適化の理論的基盤と正当性 (2006-06-20)

Vor 14 Jahren • 919 Aufrufe

融合変換による最適化の理論的基盤と正当性 (2006-06-27)

Vor 14 Jahren • 1999 Aufrufe

Introduction to Categorical Programming

Vor 14 Jahren • 1698 Aufrufe

Introduction to Categorical Programming (Revised)

Vor 14 Jahren • 6402 Aufrufe

Run-time Code Generation and Modal-ML の紹介@PLDIr#2

Vor 14 Jahren • 997 Aufrufe

Whole Program Paths 等の紹介@PLDIr#3

Vor 14 Jahren • 1385 Aufrufe

自然言語をラムダ式で解釈する体系PTQのHaskell実装

Vor 14 Jahren • 2359 Aufrufe

“Symbolic bounds analysis of pointers, array indices, and accessed memory regions”他の紹介＠PLDIr#4

Vor 14 Jahren • 1290 Aufrufe

Relaxed Dependency Analysis

Vor 13 Jahren • 805 Aufrufe

“Design and Implementation of Generics for the .NET Common Language Runtime”他の紹介＠PLDIr#5

Vor 13 Jahren • 907 Aufrufe

“Adoption and Focus: Practical Linear Types for Imperative Programming”他の紹介＠PLDIr#6

Vor 13 Jahren • 839 Aufrufe

自動定理証明の紹介

Vor 12 Jahren • 8330 Aufrufe

萩野服部研究室スキー合宿 2012 自己紹介(酒井)

Vor 11 Jahren • 1033 Aufrufe

Omega test and beyond

Vor 11 Jahren • 2534 Aufrufe

How a CDCL SAT solver works

Vor 11 Jahren • 25250 Aufrufe

代数的実数とCADの実装紹介

Vor 10 Jahren • 3832 Aufrufe

Aluminum: Principled Scenario Exploration through Minimality

Vor 10 Jahren • 1235 Aufrufe

Introduction to Max-SAT and Max-SAT Evaluation

Vor 9 Jahren • 5369 Aufrufe

SAT/SMTソルバの仕組み

Vor 8 Jahren • 36666 Aufrufe

SAT/SMT solving in Haskell

Vor 7 Jahren • 3393 Aufrufe

ゼロピッチ: MOOC

Vor 7 Jahren • 1124 Aufrufe

RClassify: Classifying Race Conditions in Web Applications via Deterministic Replay

Vor 6 Jahren • 794 Aufrufe

Writing a SAT solver as a hobby project

Vor 6 Jahren • 2025 Aufrufe

関数プログラマから見たPythonと機械学習

Vor 5 Jahren • 31354 Aufrufe

充足可能性問題のいろいろ

Hiroshi Yamashita • Vor 4 Jahren

エンジニア組織づくり5年。見えてきた関西Web界隈のええとこ、あかんとこ - Developers Summit 2019 KANSAI

Yuki Okada • Vor 4 Jahren

error_highlight: User-friendly Error Diagnostics

mametter • Vor 1 Jahr

TRICK 2022 Results

mametter • Vor 1 Jahr

DXとかDevOpsとかのなんかいい感じのやつ　富士通TechLive

Tokoroten Nakayama • Vor 3 Jahren

深層自己符号化器＋混合ガウスモデルによる教師なし異常検知

Chihiro Kusunoki • Vor 5 Jahren

心理的安全性の構造デブサミ2019夏 structure of psychological safety

Tokoroten Nakayama • Vor 4 Jahren

Overcoming Catastrophic Forgetting in Neural Networks読んだ

Yusuke Uchida • Vor 6 Jahren

機械学習で嘘をつく話

Satoshi Hara • Vor 3 Jahren

機械学習で嘘をつく話

Satoshi Hara • Vor 3 Jahren

Deep sets

Tomohiro Takahashi • Vor 5 Jahren

型プロファイラ：抽象解釈に基づくRuby 3の静的解析

mametter • Vor 3 Jahren

Ruby 3 の型解析に向けた計画

mametter • Vor 4 Jahren

ICLR2020の異常検知論文の紹介 (2019/11/23)

ぱんいちすみもと • Vor 4 Jahren

MineRL Competition Tutorial with ChainerRL

Preferred Networks • Vor 4 Jahren

静的型つき組版処理システムSATySFi @第61回プログラミング・シンポジウム

T. Suwa • Vor 3 Jahren

JAWS-UG HPC #17 - Supercomputing'19 参加報告 - PFN 福田圭祐

Preferred Networks • Vor 3 Jahren

明治大学講演資料「機械学習と自動ハイパーパラメタ最適化」佐野正太郎

Preferred Networks • Vor 4 Jahren

Chainerを使ってプロダクション環境上で推論するには

Keisuke Umezawa • Vor 3 Jahren

ChainerX and How to Take Part

Hiroyuki Vincent Yamazaki • Vor 4 Jahren

[DL輪読会]Learning Latent Dynamics for Planning from Pixels

Deep Learning JP • Vor 4 Jahren

[DL輪読会]Understanding Measures of Uncertainty for Adversarial Example Detection

Deep Learning JP • Vor 5 Jahren

Haskell で CLI

Nobutada Matsubara • Vor 5 Jahren

Menoh-Rubyで始めるお手軽簡単なDNN推論アプリ

Preferred Networks • Vor 5 Jahren

[DL輪読会]Graph Convolutional Policy Network for Goal-Directed Molecular Graph Generation (NIPS2018)

Deep Learning JP • Vor 5 Jahren

大企業と技術開発型ベンチャーの連携

Masakazu Masujima • Vor 6 Jahren

Rakuten20181027

Natsutani Minoru • Vor 5 Jahren

20181018 CEATEC 製品不良検査ソフト & Picking Robot ソリューション

Preferred Networks • Vor 5 Jahren

20180728 halide-study

Fixstars Corporation • Vor 5 Jahren

分散システムについて語らせてくれ

Kumazaki Hiroki • Vor 6 Jahren

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.

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