近況報告
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月31日
- 早いもので今日で2021年が終わる．大晦日は家族五人水いらず?!
- 6月28日
- 〆切の嵐がひと段落ついたので，久々にプログラムを書くぞー!
- 4月1日
- 次男はガンプラとカードゲームに夢中．長女は工作が大好き．次男はお小遣いをすぐ使い切る．長女は貯金．うーむ...
- 3月9日
- 長男が大学に合格．親子そろって同じ大学．剣道続けるのかな〜？
- 3月某日
- また歳をとってしまった．なんと50歳の大台．その次の日，奥様の誕生日．おめでとうございます．
- 2月某日
- 次男坊の誕生日．おめでとう!
バックナンバー
Date: 2020-09-09 00:35:33 JST