酒井 政裕
サカイ マサヒロ (Masahiro Sakai)
更新日: 2023/10/25
基本情報
- 所属
- Preferred Networks, Inc. Engineer
- 学位
-
修士(政策・メディア)(慶應義塾大学)
- ORCID ID
https://orcid.org/0000-0003-4908-683X- J-GLOBAL ID
- 201101069926322342
- researchmap会員ID
- B000001018
2007年3月慶應義塾大学政策・メディア研究科修士課程修了．(株)東芝 研究開発センター システム技術ラボラトリーでソフトウェアの設計・検証技術の研究に従事後，現職の Preferred Networks にて深層学習の応用に従事．訳書(共訳)に『抽象によるソフトウェア設計－Alloyではじめる形式手法－』『型システム入門－プログラミング言語と型の理論－』．
Blog: https://msakai.jp/d/
Twitter: http://twitter.com/masahiro_sakai
Facebook: https://www.facebook.com/masahiro.sakai
研究分野
5経歴
4-
2017年5月 - 現在
-
2007年4月 - 2017年4月
-
2005年4月 - 2007年3月
-
2001年4月 - 2005年3月
受賞
3-
2017年4月
論文
20-
コンピュータソフトウェア 34(1) 62-66 2017年2月
-
コンピュータソフトウェア 32(4) 161-175 2015年11月 査読有り
-
第 14 回情報科学技術フォーラム 2 303-306 2015年9月
-
コンピュータソフトウェア 32(1) 103-119 2015年2月 査読有り
-
In 第21回ソフトウェア工学の基礎ワークショップ (FOSE 2014) (December 2014), pp. 93-102 Key: citeulike:13461498 32(4) 93-102 2014年12月 査読有り
-
2014 SEVENTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW 2014) 253-259 2014年 査読有り
-
東芝レビュー 68(8) 35-38 2013年8月
-
コンピュータソフトウェア 30(2) 207-226 2013年5月 査読有り
-
情報処理学会 第179回ソフトウェア工学研究発表会 2013(17) 1-8 2013年3月
-
東芝レビュー 67(12) 35-38 2012年12月
-
ソフトウェアエンジニアリングシンポジウム2012論文集 (August 2012) 2012年8月 査読有り
-
2012 19TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC), VOL 1 174-183 2012年 査読有り
-
ウィンターワークショップ２０１２・イン・琵琶湖 75-76 2012年1月
-
第18回 ソフトウェア工学の基礎ワークショップ (FOSE 2011) 187-196 2011年11月 査読有り
-
2011年ソサイエティ大会論文集 2011年9月
-
東芝レビュー 64(8) 20-23 2009年8月
-
第11回プログラミングおよびプログラミング言語ワークショップ(PPL2009) 118-132 2009年3月 査読有り
-
第10回プログラミングおよびプログラミング言語ワークショップ (PPL2008) 82-85 2008年3月 査読有り
-
2007年1月
MISC
4-
WEB+DB PRESS総集編［Vol.1～102］ 92-97 2018年4月 筆頭著者
-
東芝レビュー 67(3) 38-38 2012年3月
-
東芝レビュー 64(3) 41-41 2009年3月
-
日経ソフトウェア 62-69 2006年6月
書籍等出版物
2-
オーム社 2013年 (ISBN: 9784274069116)
-
オーム社 2011年7月 (ISBN: 9784274068584)
講演・口頭発表等
6-
NII Shonan Meeting (No.180) on “The Art of SAT” 2023年10月3日 招待有り
-
基盤(S) 離散構造処理系プロジェクト 2019年度 秋のワークショップ 2019年11月5日
-
Fourth Workshop on Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2013) 2013年8月27日
-
第19回 ソフトウェア工学の基礎ワークショップ FOSE 2012 2012年12月
-
In 第14回プログラミングおよびプログラミング言語ワークショップ 2012年3月 日本ソフトウェア科学会 プログラミング論研究会
-
ソフトウェアエンジニアリングシンポジウム2011 2011年9月
所属学協会
1Works(作品等)
2-
コンピュータソフト
-
コンピュータソフト