Conferences

• CP: International Conference on Principles and Practice of Constraint Programming [ CP 2011 | CP 2010 | CP 2009 | CPAI 2009 | CP 2008 | CPAI 2008 ]
• CPAIOR: International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
• ECAI: European Conference on Artificial Intelligence
• ERCIM Working Group on Constraints [ CSCLP 2009 | CSCLP 2008 ]
• FLOPS: International Symposium on Functional and Logic Programming [ FLOPS 2012 | FLOPS 2010 | FLOPS 2008 ]
• ICLP: International Conference on Logic Programming [ ICLP 2010 | ICLP 2009 | ICLP 2008 | CICLOPS 2008 ]
• JELIA: European Conference on Logics in Artificial Intelligence [ JELIA 2010 ]
• LPAR: International Conference on Logic for Programming Artificial Intelligence and Reasoning [ LPAR-17 ]
• PADL: International Symposium on Practical Aspects of Declarative Languages
• PPDP: International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming
• SAT: International Conference on Theory and Applications of Satisfiability Testing

会議

• 日本ソフトウェア科学会 大会・研究会 [ 第27回大会 | 第26回大会 | 第25回大会 ]
• PPL: プログラミングおよびプログラミング言語ワークショップ [ PPL2011 | PPL2010 | PPL2009 ]
• 情報処理学会・プログラミング研究会

近況

2010年12月21日(火)--23(木)

第8回CSPSAT研究会のため博多へ出張．

2010年11月29日(月)

田村ラボの中間発表会(その後，忘年会)

2010年11月23日(火)

液晶テレビを購入．家族は大喜び．さっそく長男とハリーポッターの映画を見た． テレビを見るのは久しぶりである...

2010年11月20日(日)

次男坊はすくすく成長している．非常に愛想のいい男で，いろんな人に笑顔をふりまいている． 可愛すぎる！ まったく親バカである...

子供が寝静まったあと，奥様とボジョレー・ヌーボーを飲む． なかなか美味しい．ミーハー(死語?)である...

2010年11月7日(月)--8(日)

第2回CSPSAT講演会＠神戸を開催．ゲストはPavel Surynek先生．

2010年10月10日(日)--17(日)

LPAR-17に参加するためにインドネシアのジョグジャカルタに出張．

2010年9月13日(月)--15(水)

日本ソフトウェア科学会第27回大会(津田塾大)に参加．

2010年7月26日(月)--28(水)

第7回CSPSAT研究会＠蓼科で， 「SAT技術を用いた組合せテストケース生成」について発表

2010年7月26日(月)

LPAR-17 に投稿した論文が accept された．

2010年7月19日(月)

学生のT君の論文が，ModRef2010国際ワークショップに採録された．おめでとう！

2010年7月9日(金)--17(土)

FLoC 2010に参加するため Edinburgh に出張

2010年7月1日(木)

所属部署が「学術情報基盤センター」から，「情報基盤センター」に改組．

2010年6月29日(火)

サーバのHDDが変な音を立てはじめたので，慌てて，昨年度購入していた Mac Pro に移行．快適である． と思っていたら，長年使っていたプリンター LP-8700PS3 が動かなくなった... とほほ...

2010年6月20日(日)

学生のT君が，CP2010 のワークショップ ModRef2010 に論文を投稿．通るといいね．

2010年6月8日(火)

LPAR-17 に論文を投稿．

2010年6月3日(水)

次男が生まれて4ヶ月．すくすく育っているぅ．可愛くてたまらない．親バカである．

2010年5月31日(月)

引き続き，研究室は段ボールの山．夏休みまでこの状態の予定．ウゲェ！

正直，3月〜5月の年度末・年度始めの仕事の疲れが出ている． この程度で疲れていると言うと，カッコわるいので，ここにそっと書いておくことにする．

2010年5月11日(火)

研究室の引っ越し．段ボールの山に埋もれています...

2010年5月3日(月)

GWなのに仕事...

2010年4月21日(水)

東北大学で開催されたFLOPS2010に参加．T先生は招待講演．

2010年3月28日(日)--30(火)

第６回CSPSAT研究会＠鹿児島に参加．楽しかったぁ〜．

2010年3月11日(木)

奥様の誕生日．おめでとう！

2010年3月10日(水)

39回目の誕生日．すっかりオッチャンです．

2010年2月3日(水)

第２子誕生．名前は嘉斗(よしと)．

2010年1月26日(火)

父上，お誕生日おめでとうございます．

2010年1月2日(土)

母上，お誕生日おめでとうございます．

2010年1月1日(金)

新年あけましておめでとうございます． 今年のテーマは，おちつき． はい，そこぉー！ 無理ィって言わない!