近況報告
International Conferences
- SAT: International Conference on Theory and Applications of Satisfiability Testing
- CP: International Conference on Principles and Practice of Constraint Programming
[ CP19 | CP18 | CP17 | CP16 | CP15 | CP14 | CP13 | CP12 | CP11 | CP10 | CP09 | CPAI09 | CP08 | CPAI08 ] - ICLP: International Conference on Logic Programming
[ ICLP19 | ICLP18 | ICLP17 | ICLP16 | ICLP15 | ICLP14 | ICLP13 | ICLP12 | ICLP11 | ICLP10 | ICLP09 | ICLP08 ] - LPNMR: International Conferences on Logic Programming and Nonmonotonic Reasoning
[ LPNMR19 | LPNMR17 | LPNMR15 | LPNMR13 ] - PATAT: International Conference on the Practice and Theory of Automated Timetabling
近況
- 12月15日
- 明和高校剣道部 神戸大学高校招待試合男子団体第2位．おめでとう．
- 12月4日
- 早いもので12月．子供達はウキウキワクワク．あの頃に戻りたい〜．
- 神戸に出張したついでに，恩師と食事．やっぱり先生とお話しするのは楽しいです，はい．
- 11月24日
- (祝) 明和高校剣道部 全国選抜大会出場．
- 次男は小牧で試合．予選リーグ敗退．しっかり稽古しましょう．
- 10月3日
- 娘の誕生日．大きくなるのはゆっくりでいいよ〜．
- 9月30日-10月1日
- 共同研究の打ち合わせで山梨大学に出張．
- 9月27日
- SAT/ASP を使った車両設計に関する研究打合せで神戸大学に出張．
- 9月17-19日
- 北大で開催されたSATとBDDに関する短期セミナーに参加．研究は楽しい．
- 9月14日
- 長男の誕生日．文武両道で頑張ってくださいよ〜．
- 9月7日
- 夏期ゼミ旅行に行ってきました．神戸，淡路島，香川を回って，美味しいものを沢山食べてきました． 丸亀市にある「純手打うどん よしや」の讃岐もち豚の肉ぶっかけが美味しかった〜
- 8月28-29日
- CSPSAT講演会に参加するため神戸大学に出張．今回はB4学生の2名も参加． 講演はぜんぶ英語やでぇ，しっかり勉強してやぁ〜．
- 8月26日(月)
- 名古屋大学に異動してから約11ヶ月，やっと Webサーバ を立ち上げました．
バックナンバー
Date: 2019-12-16 00:35:33 JST