Rchr
J-GLOBAL ID：201101069926322342
Update date: Oct. 25, 2023
Sakai Masahiro
サカイ マサヒロ | Sakai Masahiro
Affiliation and department：
Job title：
Engineer
Research field (5)：
Software
, Software
, Software
, Software
, Information theory
Research keywords (9)：
モデル検査
, 関数プログラミング
, プログラミングの代数
, プログラム変換
, プログラミング言語
, 数理論理学
, 数理論理学
, 定理証明
, 定理証明
Papers (20)：
MISC (4)：
-
Masahiro Sakai. チャーチ数あれこれ--テクニックから理論から応用まで. WEB+DB PRESS総集編[Vol.1~102]. 2018. 92-97
-
Kohei Maruchi, Hiromasa Shin, Masahiro Sakai. PLC言語向け モデルベーステスト技術. TOSHIBA REVIEW. 2012. 67. 3. 38-38
-
Masahiro Sakai, Takeo Imai, Yoshi Kataoka. C言語プログラム検証フレームワーク. TOSHIBA REVIEW. 2009. 64. 3. 41-41
-
酒井政裕. Haskellによる関数プログラミング入門. 日経ソフトウェア. 2006. 62-69
Patents (11)：
Books (2)：
-
型システム入門 : プログラミング言語と型の理論
Ohmsha, Ltd. 2013 ISBN:9784274069116
-
Software Abstractions (Japanese Translation)
Ohmsha, Ltd. 2011 ISBN:9784274068584
Lectures and oral presentations (6)：
-
BNN verification dataset for Max-SAT Evaluation 2020
(NII Shonan Meeting (No.180) on “The Art of SAT” 2023)
-
Tree-width Prediction using Graph Neural Network
(基盤(S) 離散構造処理系プロジェクト 2019年度 秋のワークショップ 2019)
-
A Decision Table Analyzer for Detecting Variability in Source Code
(Fourth Workshop on Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2013) 2013)
-
説明基盤:組み込みシステムの要求仕様を形式的に分析・検証する一手法
(第19回 ソフトウェア工学の基礎ワークショップ FOSE 2012 2012)
-
仮想的なタグを用いた共用体入りプログラムの事前条件推定
(The 14th JSSST Workshop on Programming and Programming Languages 2012)
ｍore...
Works (2)：
Professional career (1)：
- M.S. in Media and Governance (Keio University)
Work history (4)：
- 2017/05 - 現在 Preferred Networks, Inc. Engineer
- 2007/04 - 2017/04 Toshiba Corporation System Engineering Laboratory, Corporate Research & Development Center, TOSHIBA Corp.
- 2005/04 - 2007/03 慶應義塾大学大学院 政策・メディア研究科 修士課程
- 2001/04 - 2005/03 Keio University Faculty of Policy Management
Awards (3)：
- 2017/04 - Research and Development Center, Toshiba Corporation 業績賞優秀賞
- 2015 - Japan Society for Software Science and Technology 日本ソフトウェア科学会第19回研究論文賞
- 2014/07 - Toshiba Corporation Community Solutions Company 知的財産活動奨励賞
Association Membership(s) (1)：
JAPAN SOCIETY FOR SOFTWARE SCIENCE AND TECHNOLOGY
