Masahiro Sakai

J-GLOBAL         Last updated: Nov 6, 2018 at 19:17
 
Avatar
Name
Masahiro Sakai
Affiliation
TOSHIBA Corp
Job title
Researcher
Degree
M.S. in Media and Governance(Keio University)
Twitter ID
masahiro_sakai

Research Interests

 
 

Research Areas

 
 

Academic & Professional Experience

 
May 2017
 - 
Today
Engineer, Preferred Networks, Inc.
 
Apr 2007
 - 
Today
System Engineering Laboratory, Corporate Research & Development Center, TOSHIBA Corp.
 
Apr 2007
 - 
Apr 2017
System Engineering Laboratory, Research and Development Center, z, Toshiba Corporation
 

Awards & Honors

 
Apr 2017
業績賞優秀賞, Research and Development Center, Toshiba Corporation
 
2015
日本ソフトウェア科学会第19回研究論文賞, Japan Society for Software Science and Technology
Winner: Takeo Imai, Masahiro Sakai, Masami Hagiya
 
Jul 2014
知的財産活動奨励賞, Toshiba Corporation Community Solutions Company
 

Published Papers

 
Mitsuru Kusumoto, Keisuke Yahata, Masahiro Sakai
   Nov 2018
The problem-solving in automated theorem proving (ATP) can be interpreted as a search problem where the prover constructs a proof tree step by step. In this paper, we propose a deep reinforcement learning algorithm for proof search in intuitionist...
Report on ICFP 2016
Masahiro Sakai
Computer Software   34(1) 62-66   Feb 2017
Takeo Imai, Masahiro Sakai, Masami Hagiya
Computer Software   32(4) 161-175   Nov 2015   [Refereed]
Brick-and-Mortar Shops/Goods Recommendation on Smart-Phone for Regional Promotion
Masahiro Sakai, Myungsook Ko, Takahiro Nishizawa, Mamiko Abe
Forum on Information Technology 2015   2 303-306   Sep 2015
川崎市と東芝は,コミュニティ内の商業施設全体を活性化すると共に,消費者であるコミュニティ住民の生活を豊かで楽しくすることを目指し,川崎駅周辺の複数商業施設をクラウド上で仮想的に連携させ,ユーザの嗜好に応じた情報をスマートフォンアプリ上に配信し,購買行動などの検証を行う実証実験「川崎グランシティモールTM」を行った.本稿では,当実証実験の一環として行った,利用者のアンケート回答および店舗・商品に対する評価履歴の情報に基づいた実店舗および商品の情報の推薦について,用いた推薦アルゴリズム,得られ...
Masahiro Sakai, Takeo Imai
Computer Software   32(1) 103-119   Feb 2015   [Refereed]
Boolean SATisfiability problem (hereafter SAT) is the problem of deciding whether there exists an assignment to variables in a given propositional formula that makes the formula true. SAT is a computationally difficult problem as it is a classical...

Misc

 
PLC言語向け モデルベーステスト技術
Kohei Maruchi, Hiromasa Shin, Masahiro Sakai
TOSHIBA REVIEW   67(3) 38-38   Mar 2012
C言語プログラム検証フレームワーク
Masahiro Sakai, Takeo Imai, Yoshi Kataoka
TOSHIBA REVIEW   64(3) 41-41   Mar 2009

Books etc

 
Software Abstractions (Japanese Translation)
Daniel Jackson, Shin Nakajima, Takeo Imai, Masahiro Sakai, Yusuke Endoh, Yoshio Kataoka (Part:Joint Translation)
Ohmsha, Ltd.   Jul 2011   ISBN:978-4-274-06858-4
Japanese Translation of "Software Abstractions"

Conference Activities & Talks

 
A Decision Table Analyzer for Detecting Variability in Source Code
Masahiro Sakai, Takeo Imai, Mikito Iwamasa, Takeshi Nagaoka and Mari Inoki
Fourth Workshop on Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2013)   27 Aug 2013   
説明基盤:組み込みシステムの要求仕様を形式的に分析・検証する一手法
Takeo Imai, Mikito Iwamasa, Yusuke Endoh, Masahiro Sakai, Kentaro Torii
第19回 ソフトウェア工学の基礎ワークショップ FOSE 2012   Dec 2012   
本発表では、組み込みシステムの要求仕様を分析するための、半形式的なドキュメント「説明基盤」の概念を新たに導入する。その上で、日本語の要求仕様から自然言語処理技術を介して説明基盤を求め、形式手法の技術を使って解析することにより、元の要求仕様の妥当性を検証する方法論、および、その機械的支援手法を提案する。今回は解析に仕様記述言語Alloyとその解析器Alloy Analyzerを援用し、専用のイディオムも併せて提案する。
仮想的なタグを用いた共用体入りプログラムの事前条件推定
Takeo Imai, Masahiro Sakai, Yusuke Endoh, Masami Hagiya
The 14th JSSST Workshop on Programming and Programming Languages   Mar 2012   
Yusuke Endoh, Masahiro Sakai, Takeo Imai, Mikito Iwamasa
IPSJ/SIGSE Software Engineering Symposium (SES2011)   Sep 2011   
It is important for maintenance to ensure correspondence between each feature in specifications and program modules implementing them. However, customizing software after deployment or revising software in derivative development often breaks the c...

Works

 
Software   

Patents

 
Masahiro Sakai, Myungsook Ko, Eiichi Sunagawa, Takahiro Nishizawa, Tetsuya Gotou
Yusuke Endoh, Hiromasa Shin, Mikito Iwamasa, Kohei Maruchi, Masahiro Sakai
Kohei Maruchi, Masahiro Sakai, Hiromasa Shin, Susumu Yoshizawa, Hirotaka Sakai, Yoshiyuki Nitta, Yukitaka Yoshida, Norihiro Umemura, Kanako Hattori