酒井 政裕 (SAKAI Masahiro)
ここは酒井政裕(Masahiro Sakai)の個人ページです。
About Me
2007 年 慶應義塾大学大学院政策・メディア研究科修士課程了。 現在、某社の研究部門に勤務。 形式手法、ソフトウェアテストなどのソフトウェア高信頼化の研究に従事。 関数型プログラミングや理論計算機科学にも興味を持つ。 最近、『抽象によるソフトウェア設計』という本を翻訳・出版しました。
- E-mail
- sakai ⊗ tom.sfc.keio.ac.jp
- masahiro.sakai ⊗ gmail.com
- Blog
- github
- detailed profile...
Keyword(s):
References:[SideMenu]