NII情報学オープンフォーラム 「制約プログラミングの技術とユーザインタフェースへの応用」他

NII情報学オープンフォーラム 「制約プログラミングの技術とユーザインタフェースへの応用」他
第3回：平成16年1月21日（水）14:00〜16:30
千葉滋（東京工業大学 助教授）「プログラム変換を活用したソフトウェア開発」
細部博史（国立情報学研究所 助手）「制約プログラミングの技術とユーザインタフェースへの応用」