近況報告
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
近況
- 9月某日
- 長男の誕生日．早いもので18歳．おめでとう!
- 9月8-10日
- 日本ソフトウェア科学会大会で，修士学生さん2名が研究発表をしました．良い発表でした．
- 7月19日
- そろそろ梅雨も終わりそうですね．夏休みは研究頑張るぞー．
- 4月1日
- 春ですね．研究室に新4年生(第2期生)が3名配属されました．
- 3月27日
- 新型コロナウィルスの影響で，全国高等学校剣道選抜大会が中止となりました．
- 3月某日
- また歳をとってしまった．毎朝起きたらどこがが痛い．アラフィフの悲哀
- 2月某日
- 次男坊の誕生日．おめでとう!
- 1月8日
- 神戸出張．師匠に新年のご挨拶
- 1月1日
- あけましておめでとうございます．令和に入って最初の正月です．
- 大晦日は津山，元日は加古川でのんびり過ごしました〜．食べ過ぎで体重増...
バックナンバー
Date: 2020-09-09 00:35:33 JST