Masahiro Sakai

156 Followers

32 SlideShares 0 Clipboards 156 Followers 195 Followings

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.

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

15 years ago • 752 Views

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

15 years ago • 850 Views

Haskell - LLRing2006 Language Update

15 years ago • 906 Views

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

15 years ago • 1439 Views

LLW2004 その場でどう書く - Haskell

15 years ago • 454 Views

Ruby-GNOME2におけるGC問題

13 years ago • 805 Views

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

13 years ago • 918 Views

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

13 years ago • 1972 Views

Introduction to Categorical Programming

13 years ago • 1684 Views

Introduction to Categorical Programming (Revised)

13 years ago • 6285 Views

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

13 years ago • 993 Views

Whole Program Paths 等の紹介@PLDIr#3

13 years ago • 1382 Views

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

13 years ago • 2341 Views

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

13 years ago • 1288 Views

Relaxed Dependency Analysis

13 years ago • 804 Views

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

13 years ago • 898 Views

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

12 years ago • 835 Views

自動定理証明の紹介

11 years ago • 8053 Views

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

10 years ago • 1025 Views

Omega test and beyond

10 years ago • 2528 Views

How a CDCL SAT solver works

10 years ago • 25130 Views

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

9 years ago • 3764 Views

Aluminum: Principled Scenario Exploration through Minimality

9 years ago • 1235 Views

Introduction to Max-SAT and Max-SAT Evaluation

8 years ago • 5308 Views

SAT/SMTソルバの仕組み

7 years ago • 35039 Views

SAT/SMT solving in Haskell

6 years ago • 3344 Views

ゼロピッチ: MOOC

6 years ago • 1123 Views

RClassify: Classifying Race Conditions in Web Applications via Deterministic Replay

5 years ago • 793 Views

Writing a SAT solver as a hobby project

5 years ago • 2010 Views

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

4 years ago • 31224 Views

error_highlight: User-friendly Error Diagnostics

mametter • 4 months ago

TRICK 2022 Results

mametter • 5 months ago

ENEOSにおける低炭素技術への挑戦～汎用原子レベルシミュレータMatlantis™の共同開発者とユーザーの視点から～

Matlantis • 9 months ago

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

Tokoroten Nakayama • 2 years ago

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

Chihiro Kusunoki • 4 years ago

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

Tokoroten Nakayama • 3 years ago

Overcoming Catastrophic Forgetting in Neural Networks読んだ

Yusuke Uchida • 5 years ago

機械学習で嘘をつく話

Satoshi Hara • 2 years ago

機械学習で嘘をつく話

Satoshi Hara • 2 years ago

Deep sets

Tomohiro Takahashi • 5 years ago

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

mametter • 2 years ago

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

mametter • 3 years ago

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

ぱんいちすみもと • 3 years ago

MineRL Competition Tutorial with ChainerRL

Preferred Networks • 3 years ago

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

T. Suwa • 3 years ago

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

Preferred Networks • 3 years ago

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

Preferred Networks • 3 years ago

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

Keisuke Umezawa • 3 years ago

ChainerX and How to Take Part

Hiroyuki Vincent Yamazaki • 3 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 • 4 years ago

Haskell で CLI

Nobutada Matsubara • 4 years ago

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

Preferred Networks • 4 years ago

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

Deep Learning JP • 4 years ago

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

Masakazu Masujima • 5 years ago

Rakuten20181027

Natsutani Minoru • 4 years ago

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

Preferred Networks • 4 years ago

20180728 halide-study

Fixstars Corporation • 4 years ago

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

Kumazaki Hiroki • 5 years ago

How to run a big(ger) project as a SWE / Manager

Kinuko Yasuda • 4 years ago

AutoTVM紹介

tomohiro kato • 4 years ago

Ruby 3のキーワード引数について考える

mametter • 4 years ago

変分ベイズ法の説明

Haruka Ozaki • 7 years ago

20180729 Preferred Networksの機械学習クラスタを支える技術

Preferred Networks • 4 years ago

20180723 PFNの研究基盤 / PFN research system infrastructure

Preferred Networks • 4 years ago

Proving Decidability of Intuitionistic Propositional Calculus on Coq

Masaki Hara • 10 years ago

TensorFlow Lite (r1.5) & Android 8.1 Neural Network API

Mr. Vengineer • 4 years ago

Notes from Coursera Deep Learning courses by Andrew Ng

Tess Ferrandez • 4 years ago

DLLab 異常検知ナイト資料 20180214

Kosuke Nakago • 4 years ago

Deep Learning Lab 異常検知入門

Shohei Hido • 4 years ago

JUIZ DLK 組込み向けDeep Learningコンパイラ

LeapMind Inc • 5 years ago

大規模グラフアルゴリズムの最先端

Takuya Akiba • 11 years ago

ディープラーニングの産業応用とそれを支える技術

Shohei Hido • 5 years ago

KDD'17読み会：Anomaly Detection with Robust Deep Autoencoders

Satoshi Hara • 5 years ago

シリコンバレーの「何が」凄いのか

Atsushi Nakada • 5 years ago

なにわTech20170218(tpu) tfug

Natsutani Minoru • 5 years ago

バイナリニューラルネットとハードウェアの関係

Kento Tajiri • 5 years ago

モデルアーキテクチャ観点からのDeep Neural Network高速化

Yusuke Uchida • 5 years ago

Using Raspberry Pi GPU for DNN

notogawa • 5 years ago

数理モデリングからはじめるPython数理最適化 PyData.Tokyo 2017/6/28 Retty Inc. Iwanaga Jiro

Jiro Iwanaga • 5 years ago

20130716 はじパタ３章前半ベイズの識別規則

koba cky • 9 years ago

Proof summit 2017 for slideshare

Keisuke Yahata • 5 years ago

CVPR2017 参加報告速報版本会議 2日目

Atsushi Hashimoto • 5 years ago

CVPR2017 参加報告速報版本会議 1日目

Atsushi Hashimoto • 5 years ago

Wasserstein GAN Tfug2017 07-12

Yuta Kashino • 5 years ago

「深層学習」第６章畳込みニューラルネット

Ken'ichi Matsui • 7 years ago

db analytics showcase sapporo 2017 発表資料

Kunihiko Miyoshi • 5 years ago

スパースモデリング、スパースコーディングとその数理(第11回WBA若手の会)

narumikanno0918 • 7 years ago

Semi-Supervised Classification with Graph Convolutional Networks @ICLR2017読み会

Eiji Sekiya • 5 years ago

産総研AIクラウドでChainerMN

Hitoshi Sato • 5 years ago

医療データ解析界隈から見たICLR2017

RIKEN, Medical Sciences Innovation Hub Program (MIH) • 5 years ago

言葉のもつ広がりを、モデルの学習に活かそう -one-hot to distribution in language modeling-

Takahiro Kubo • 5 years ago

170614 iclr reading-public

Katsuhiko Ishiguro • 5 years ago

[ICLR2017 Reading Meeting@DeNA] Introduction of ICLR2017

Takeru Miyato • 5 years ago

ICLR2017読み会 Data Noising as Smoothing in Neural Network Language Models @Dena

Takanori Nakai • 5 years ago

Q prop

Reiji Hatsugai • 5 years ago

ICLR読み会奥村純 20170617

Jun Okumura • 5 years ago

[ICLR2017読み会 @ DeNA] ICLR2017紹介

Takeru Miyato • 5 years ago

Memory Interoperability in Analytics and Machine Learning

Wes McKinney • 5 years ago

The Columnar Era: Leveraging Parquet, Arrow and Kudu for High-Performance Analytics

DataWorks Summit/Hadoop Summit • 6 years ago

スケールアウト・インメモリ分析の標準フォーマットを目指す Apache Arrow と Value Vectors - Tokyo Apache Drill Meetup 2016/03/22

MapR Technologies Japan • 6 years ago

Proof summit2014mizar

Alcor80UMa • 8 years ago

Chainer と Microsoft Azure 広がる応用 (Chainer Meetup #5)

Hirono Jumpei • 5 years ago

Chainer v2 and future dev plan

Seiya Tokui • 5 years ago

ChainerMNについて

Shuji Suzuki • 5 years ago

Digdagによる大規模データ処理の自動化とエラー処理

Sadayuki Furuhashi • 5 years ago

Overview of tree algorithms from decision tree to xgboost

Takami Sato • 6 years ago

ストリーム処理とSensorBee

Daisuke Tanaka • 6 years ago

NLP2017 NMT Tutorial

Toshiaki Nakazawa • 5 years ago

Infer.NETを使ってLDAを実装してみた

正志坪坂 • 11 years ago

スタディサプリを支えるデータ分析基盤～設計の勘所と利活用事例～

Tetsuo Yamabe • 5 years ago

まとめと展望

Tamiya Onodera • 6 years ago

20160906 pplss ishizaki public

Kazuaki Ishizaki • 6 years ago

Java仮想マシンの実装技術

Kiyokuni Kawachiya • 6 years ago

Javaの登場と発展

Tamiya Onodera • 6 years ago

野良ビッグデータへのお誘い

Masanori Takano • 6 years ago

Value iteration networks

Fujimoto Keisuke • 6 years ago

Machine Duping 101: Pwning Deep Learning Systems

Clarence Chio • 6 years ago

証券取引所の高速化による情報技術の導入スパークス・アセット・マネジメント株式会社水田孝信先端的データベースとWeb技術動向講演会第26回（2016/10/29）

Takanobu Mizuta • 6 years ago

CODE BLUE 2016 - 機械学習でWebアプリケーションの脆弱性を見つける方法

Isao Takaesu • 6 years ago

機械学習モデルフォーマットの話：さようならPMML、こんにちはPFA

Shohei Hido • 6 years ago

RStanとShinyStanによるベイズ統計モデリング入門

Masaki Tsuda • 7 years ago

正規表現に潜む対称性　〜等式公理による等価性判定〜

Ryoma Sin'ya • 6 years ago

PoisoningAttackSVM (ICMLreading2012)

Hidekazu Oiwa • 10 years ago

Battista Biggio @ ICML2012: "Poisoning attacks against support vector machines"

Pluribus One • 10 years ago

機械学習ビジネス研究会第01回

Yuta Kashino • 6 years ago

ヒューレットパッカード社の社員の離職リスク予測第一回機械学習ビジネス研究会 #ml_business

Tokoroten Nakayama • 6 years ago

Ruby で高速なプログラムを書く

mametter • 6 years ago

Enterprise Intelligence

Daniel Tunkelang • 6 years ago

Learning Convolutional Neural Networks for Graphs

Takuya Akiba • 6 years ago

Ibis: すごい pandas ⼤規模データ分析もらっくらく #summerDS

Cloudera Japan • 6 years ago

Sparkを活用したレコメンドエンジンのパフォーマンスチューニング＆自動化

Nagato Kasaki • 6 years ago

DigdagはなぜYAMLなのか？

Sadayuki Furuhashi • 6 years ago

Hive on Spark を活用した高速データ分析 - Hadoop / Spark Conference Japan 2016

Nagato Kasaki • 7 years ago

Too Long; Didn’t Watch! Extracting Relevant Fragments from Software Development Video Tutorials

Luca Ponzanelli • 6 years ago

差分プライバシーとは何か？（定義 & 解釈編）

Kentaro Minami • 6 years ago

３分でわかる多項分布とディリクレ分布

Junya Saito • 9 years ago

Our challenge for Bulkload reliability improvement

Satoshi Akama • 6 years ago

「人工知能」をあなたのビジネスで活用するには

Takahiro Kubo • 6 years ago

一般的なチートの手法と対策について

優介黒河 • 6 years ago

ウィキペディアとは何か

Takashi Ota • 6 years ago

Anomaly detection in deep learning

Adam Gibson • 6 years ago

Quantum Computing and D-Wave

Recruit Communications Co., Ltd. • 6 years ago

Kichijoji pm7[talk2]技術的負債だらけのチームで技術マネージメントしてみた

YASUKAZU NAGATOMI • 6 years ago

米国政府主導のInnovationそしてIoT

Hiroshi Yagi • 6 years ago

xtsパッケージで時系列解析

Nagi Teramo • 11 years ago

Introduction to behavior based recommendation system

Kimikazu Kato • 6 years ago

Time series anomaly discovery with grammar-based compression

Pavel Senin • 7 years ago

超要約 Stan Reference

Hiroki Mizukami • 8 years ago

楕円曲線入門トーラスと楕円曲線のつながり

MITSUNARI Shigeo • 6 years ago

FPGA design with CλaSH

Conrad Parker • 6 years ago