基本情報

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

J-GLOBAL ID
201101069926322342

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

Blog: https://msakai.jp/d/
Twitter: http://twitter.com/masahiro_sakai
Facebook: https://www.facebook.com/masahiro.sakai


論文

  20

MISC

  4

書籍等出版物

  2

講演・口頭発表等

  5

所属学協会

  1

Works(作品等)

  2

産業財産権

  11