基本情報

所属
Preferred Networks, Inc. Engineer
学位
修士(政策・メディア)(慶應義塾大学)

J-GLOBAL ID
201101069926322342

2007年3月慶應義塾大学政策・メディア研究科修士課程修了.2007年4月より,(株)東芝 研究開発センター システム技術ラボラトリー.ソフトウェアの設計・検証技術の研究に従事.訳書(共訳)に『抽象によるソフトウェア設計-Alloyではじめる形式手法-』『型システム入門-プログラミング言語と型の理論-』.

Blog: msakai.jp/d/
Twitter: http://twitter.com/masahiro_sakai
CiteULike: http://www.citeulike.org/users/msakai
Google+: https://plus.google.com/+MasahiroSakai/
Facebook: https://www.facebook.com/masahiro.sakai

論文

  20

MISC

  3

書籍等出版物

  1
  • Daniel Jackson, 中島 震, 今井 健男, 酒井 政裕, 遠藤 侑介, 片岡欣夫(担当:共訳)
    オーム社  2011年7月 (ISBN: 9784274068584) 

講演・口頭発表等

  4

所属学協会

  1

Works(作品等)

  2

産業財産権

  11