酒井 政裕 (SAKAI Masahiro)
ここは酒井政裕(Masahiro Sakai)の個人ページです。
About Me
2007 年 慶應義塾大学大学院政策・メディア研究科修士課程了。 現在、某社の研究部門に勤務。 形式手法、ソフトウェアテストなどのソフトウェア高信頼化の研究に従事。 関数型プログラミングや理論計算機科学にも興味を持つ。 訳書(共訳)に『抽象によるソフトウェア設計−Alloyではじめる形式手法−』、『型システム入門−プログラミング言語と型の理論−』。 (詳細)
Contacts
- E-mail
- sakai ⊗ tom.sfc.keio.ac.jp
- masahiro.sakai ⊗ gmail.com
- Skype ID: masahiro.sakai
- Google+, Twitter, Facebook, LinkedIn, Wantedly
- GitHub
- Blog
Keyword(s):
References:[SideMenu]