近況報告
International Conferences
- SAT: International Conference on Theory and Applications of Satisfiability Testing
- CP: International Conference on Principles and Practice of Constraint Programming [ CP15 | CP14 | CP13 | CP12 | CP11 | CP10 | CP09 | CPAI09 | CP08 | CPAI08 ]
- CPAIOR: International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
- ICLP: International Conference on Logic Programming [ ICLP15 | ICLP14 | ICLP13 | ICLP12 | ICLP11 | ICLP10 | ICLP09 | ICLP08 ]
- LPNMR: International Conferences on Logic Programming and Nonmonotonic Reasoning [ LPNMR15 | LPNMR13 ]
- FLOPS: International Symposium on Functional and Logic Programming [ FLOPS14 | FLOPS12 | FLOPS10 | FLOPS08 ]
- LPAR: International Conference on Logic for Programming Artificial Intelligence and Reasoning [ LPAR-19 | LPAR-18 | LPAR-17 ]
- JELIA: European Conference on Logics in Artificial Intelligence [ JELIA14 | JELIA12 | JELIA10 ]
- ECAI: European Conference on Artificial Intelligence
国内会議
- 日本ソフトウェア科学会 大会・研究会 [ 第31回 | 第30回 | 第29回 | 第28回 | 第27回 | 第26回 | 第25回 ]
- PPL: プログラミングおよびプログラミング言語ワークショップ [ PPL15 | PPL14 | PPL13 | PPL12 | PPL11 | PPL10 | PPL09 ]
- 情報処理学会・プログラミング研究会
- 人工知能学会 [ JSAI15 | JSAI14 | JSAI13 | JSAI12 | JSAI11 ]
近況
- 2014年12月24日(水)
- 本年も残すところあと僅か，皆様良いお年をお迎えください．
- 2014年12月17日(水)
- ゼミの忘年会．
- 2014年12月14日(日)
- 関西学連剣友剣道記念大会(関西学連のOB戦)を見学しに舞洲アリーナへ． 寒かった．
- 2014年12月12日(金)
- どうにかこうにか外部研究費の申請書を提出．S先生お手伝いありがとう． 来週は忘年会が5つ．もう「無ぅ理ぃ〜」．
- 2014年12月10日(水)
- 師走に突入して早10日．3歳になる娘の口癖は「無ぅ理ぃ〜」．
- 2014年11月20日(木)
- 長い間放置していたWebサーバの移行がようやく完了．
- 2014年9月6日(土)
- 長男が剣道を習い始めました．
- 2014年9月1日(月)
- 1年間のドイツでの研究滞在を終え，7月末に帰国しました．
バックナンバー
Date: 2014-12-23 21:35:33 JST