平成９年度 知的ソフトウェア研究討論会（成果報告会） ご案内
AITECは、平成７年度から「第五世代コンピュータプロジェクト」の成果で
ある IFS（ICOTフリーソフトウェア）を普及する事業の一環として、IFSを改
良・拡張したソフトウェアや新たな知的ソフトウェアを作成・公開して、IFS
の拡大・再生産を図ろうという「委託研究」を実施しています。
研究成果の報告会も今年で３年目となります。
開催日時、場所、プログラム等は、以下の通りです。
参加ご希望の方は、事前にE-mailにて
茂呂(moro@icot.or.jp)まで
御連絡下さるか、当日、直接、会場にいらしてください。もちろん、参加費は無料
です。
なお、この研究討論会についてもっと詳細を知りたいという方も、上記アドレス
までお問い合わせ下さい。
皆様のご参加をお待ちしております。
１ 会期： 平成１０年３月１２日（木）〜１３日（金）
（両日とも、午前９時より受付開始）
２ 会場： 芝マイプラザ ２階 エトワール（昨年度と同一会場）
〒105-0011 東京都港区芝公園２ー６ー８
TEL: 03-3434-1121 FAX: 03-3434-5767
交通手段：JR 浜松町駅北口より徒歩８分
都営三田線 芝公園駅 A3 出口より徒歩２分
都営浅草線 大門駅 A3 出口より徒歩５分
３ プログラム：
＜３月１２日 (木)＞
＊ オープニング・セッション
10:10 - 10:20 開会挨拶 渕 一博 審査委員長
10:20 - 10:30 趣旨説明 内田 俊一 先端情報技術研究所長
＊ Session - 1 (10:30 - 12:00)
(1) 10:30 - 11:00 「階層連立1次方程式のための効率的解消系の開発」
松岡 聡 （東京工業大学）
(2) 11:00 - 11:30 「GUIdeLA: A Constraint Language and System for
Constructing Graphical User Interfaces」
周 能法 （九州工業大学）
(3) 11:30 - 12:00 「パターンに基づくビジュアル並列プログラミング環境」
柴山 悦哉 （東京工業大学）
12:00 〜 13:00 昼 食
＊ Session - 2 (13:00 - 14:30)
(4) 13:00 - 13:30 「MGTPにおける推論制御と探索問題への適用」
井上 克已 （神戸大学）
(5) 13:30 - 14:00 「汎用並列マシン上のMGTPと高度推論機構の開発」
長谷川 隆三 （九州大学）
(6) 14:00 - 14:30 「帰納論理プログラミングによるデータマイニング
エンジンDatagolの研究開発」
古川 康一 （慶應義塾大学）
14:30 - 15:00 Coffee Break
＊ Session - 3 (15:00 - 16:30)
(7) 15:00 - 15:30 「動的に変化する状況における法的推論システムの
研究開発」
新田 克己 （東京工業大学）
(8) 15:30 - 16:00 「学習機構内蔵型プログラミングシステムの開発」
佐藤 泰介 （東京工業大学）
(9) 16:00 - 16:30 「移動ロボットの並列協調制御ソフトウェアの研究開発」
溝口 文雄 （東京理科大学）
17:00 〜 20:00 懇 親 会 （全員ご招待）
＜３月１３日 (金)＞
＊ Session - 4 (10:00 - 11:30)
(10) 10:00 - 10:30 「要求駆動スケジューリングによるKL1実装方式の研究」
近山 隆 （東京大学）
(11) 10:30 - 11:00 「KL1プログラム静的解析系」
上田 和紀 （早稲田大学）
(12) 11:00 - 11:30 「KL1のスレッド実行の高速化」
中島 浩 （豊橋技術科学大学）
11:30 - 13:00 昼 食
＊ Session - 5 (13:00 - 15:00)
(13) 13:00 - 13:30 「IFS日本語(形態素)解析パッケージ・配布プロジェクト」
佐野 洋 （東京外国語大学）
(14) 13:30 - 14:00 「制約処理系を利用した図形描画システム」
五十嵐 健夫 （東京大学 田中英彦研究室）
(15) 14:00 - 14:30 「KlicとJavaのメッセージインタフェースに関する研究」
田中 二郎 （筑波大学）
(16) 14:30 - 15:00 「並列アクティブデータベースにおけるI/O処理の高速化」
横田 治夫 （北陸先端科学技術大学院大学）
＊ クロージング・セッション
15:00 - 15:10 閉会挨拶 山次 和男 先端情報技術研究所
第五世代普及振興部長
|