大島芳樹のカリフォルニア日記

2004 | 02 | 03 | 04 | 05 | 06 | 07 | 08 | 09 | 10 | 11 | 12 |
2005 | 01 | 02 | 03 | 04 | 05 | 06 | 07 | 08 | 09 | 10 | 11 | 12 |
2006 | 01 | 02 | 03 | 04 | 05 | 06 | 07 | 08 | 09 | 10 | 11 | 12 |
2007 | 01 | 02 | 03 | 04 | 05 | 06 | 07 | 08 | 09 | 10 | 11 | 12 |
2008 | 01 | 02 | 03 | 04 | 05 | 06 | 07 | 08 | 09 | 10 | 11 | 12 |
2009 | 01 | 02 | 03 | 04 | 05 | 06 | 07 | 08 | 09 |
2010 | 01 | 02 | 03 | 05 | 09 | 10 | 11 | 12 |
2011 | 10 | 11 | 12 |
2012 | 01 | 02 | 05 | 08 | 10 |
2013 | 01 | 02 | 03 | 04 | 05 | 06 | 07 | 08 | 09 | 10 | 11 | 12 |
2014 | 02 | 03 | 04 | 07 | 08 | 11 |
2015 | 01 | 03 | 05 | 10 |
2016 | 01 | 02 | 05 |
 | 

2013-12-03

[] Emina Torlak来訪  Emina Torlak来訪を含むブックマーク

Eminaさんは、KodkodというSATソルバーを作ったり、ソルバーを使ったDSLを作るためのフレームワークRosetteというものを作ったりししている研究者の人です。Onward 2013!で発表が前後したりした関係で(同僚のHesamは前からDagstuhlセミナーに一緒に参加したりしていたので既知でしたし)、Viewpointsに一度来て話をしてもらうということになりました。

Alanの斜め上から質問にも動じずに、かつ分からないことは分からない、ということもはっきりと言える落ち着いた人でした。

トラックバック - http://d.hatena.ne.jp/squeaker/20131203
 | 

最近のコメント

1. 05/12 squeaker
2. 05/12 shiro
3. 11/10 squeaker
4. 11/28 squeaker
5. 11/10 kwakita
6. 11/28 (わ)
7. 11/10 squeaker
8. 11/10 abee2
9. 03/27 squeaker
10. 03/27 加藤正臣
11. 12/10 nomisuke
12. 12/12 squeaker
1147273