Successfully reported this slideshow.
Your SlideShare is downloading. ×

萩野服部研究室 スキー合宿 2012 自己紹介(酒井)

Ad
Ad
Ad
Ad
Ad
Ad
Ad
Ad
Ad
Ad
Ad
Upcoming SlideShare
Perl motion
Perl motion
Loading in …3
×

Check these out next

1 of 7 Ad
Advertisement

More Related Content

More from Masahiro Sakai (20)

Advertisement

萩野服部研究室 スキー合宿 2012 自己紹介(酒井)

  1. 1. 萩野服部研 スキー合宿 LT
  2. 2. ⾃⼰紹介 酒井 政裕 • tom: sakai • twitter: @masahiro_sakai • blog: ヒビルテ • Haskeller • 最近、Alloyの本を翻訳(共訳)
  3. 3. 経歴 • 総合政策 2001‐2005 (12期⽣) – 卒論出しませんでした。ごめんなさい。 • 修⼠ 2005‐2007 • 東芝 2007‐現在 – (株) 東芝 研究開発センター システム技術ラボ ラトリー – 形式⼿法、ソフトウェアテストなど ソフトウェア⾼信頼化の研究らしい
  4. 4. いろいろ • Linux/98 • CPL – GNU parted の PC‐98  – 萩野先⽣の Ph.D. thesis パーティションテーブ “Categorical  ル対応とか Programming Language” • Ruby‐GNOME2 の⾔語を再実装 • Gimp‐Ruby • Rena – Jenaの真似してRuby向 • gtk2 on cygwin けにRDFライブラリを – gtk2とGNOME2関係の 書こうとして挫折 パッケージのCygwin向 けビルド • Haskell
  5. 5. 最近: Alloy本 『抽象によるソフトウェア設計 Alloyではじめる形式⼿法』 • オーム社より 好評発売中! 買って〜
  6. 6. 最近: ⾊々な決定⼿続きの実装 • Presburger Arithmetics • SAT (satisfiability of  – Omega Test propositional formula) – Cooper’s Algorithm – DPLL, CDCL • Linear Real Arithmetics • MaxSAT – Fourier‐Motzkin variable  • Pseudo Boolean (PB) elimination – Simplex (単体法) • 今後実装したい • Mixed Integer  Programming (MIP) – CAD (Cylindrical Algebraic  Decomposition) – Branch‐and‐bound (分枝限定法) – Gröbner basis  (Buchberger) – Gomory’s Cut  – Congruence Closure github.com/msakai/toysolver

×