Rchr
J-GLOBAL ID:201101069926322342   Update date: May. 05, 2020

Sakai Masahiro

サカイ マサヒロ | Sakai Masahiro
Affiliation and department:
Job title: Engineer
Research field  (5): Software ,  Software ,  Software ,  Software ,  Information theory
Research keywords  (9): モデル検査 ,  関数プログラミング ,  プログラミングの代数 ,  プログラム変換 ,  プログラミング言語 ,  定理証明 ,  定理証明 ,  数理論理学 ,  数理論理学
Papers (20):
more...
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):
more...
Books (2):
  • 型システム入門 : プログラミング言語と型の理論
    Ohmsha, Ltd. 2013 ISBN:9784274069116
  • Software Abstractions (Japanese Translation)
    Ohmsha, Ltd. 2011 ISBN:9784274068584
Lectures and oral presentations  (5):
  • 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)
  • Eacov: extracting a relation between specifications and programs by using important word analysis
    (IPSJ/SIGSE Software Engineering Symposium (SES2011) 2011)
Works (2):
  • Ruby-GNOME2
  • Ruby-GNOME2
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
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page