400万人が利用する会社訪問アプリ
株式会社Preferred Networks / Engineer
2007 年 慶應義塾大学大学院政策・メディア研究科修士課程了。 電機メーカの研究部門にて 形式手法、ソフトウェアテストなどのソフトウェア高信頼化の研究に従事した後、現在は Preferred Networks, Inc. にてエンジニアとして働く。 関数型プログラミングや理論計算機科学に興味を持つ。 訳書(共訳)に『抽象によるソフトウェア設計−Alloyではじめる形式手法−』、『型システム入門−プログラミング言語と型の理論−』。
/assets/images/205019/original/cfcc0bd3-653f-487d-ba38-277c11d87431.gif?1485762022){kind=avatar}
I worked as a researcher for System Engineering Laboratory, Toshiba Research and Development Center. I have worked in software dependability team to develop technology based on formal methods, program analysis, automatic test-case generation to achieve more dependable systems. I have also worked in cities infrastructure solutions team and
Masahiro Sakaiさん
のプロフィールをすべて閲覧
Wantedlyユーザー もしくは つながりユーザーのみ閲覧できる項目があります
過去の投稿を確認する
共通の知り合いを確認する
Masahiro Sakaiさんのプロフィールをすべて見る
数理計画
有賀 康顕、Takeo Imaiが+1
Alloy
Takeo Imaiが+1
継続的統合
今原 修一郎が+1
Continuous Integration
今原 修一郎が+1
Haskell
Takeo Imaiが+1
東芝 / 研究者
Solver implementation of various problems including SAT, Max-SAT, PBS (Pseudo Boolean Satisfaction), PBO (Pseudo Boolean Optimization), MILP (Mixed Integer Linear Programming) and non-linear real arithmetic. In particular It contains a moderately-fast pure-Haskell SAT solver 'toysat'. I submitted it to solver competitions (Pseudo Boolean Competition and Max-SAT Evaluations) and ranked high in some competition categories.
ieeexplore.ieee.org
