JIPDEC AITEC NEWS
News on FGCS Technology and related activities by
Research Institute for Advanced Information Technology(AITEC),
the successor of ICOT |
March 1, 1999 |
| Issue #22 |
目次
AITECは、平成７年度から「第五世代コンピュータプロジェクト」の成果である
IFS（ICOTフリーソフトウェア）を普及する事業の一環として、IFSを改良・拡張
したソフトウェアや新たな知的ソフトウェアを作成・公開して、IFSの拡大・再生
産を図るため、委託研究を実施してきました。この成果の発表会も今年で４回目を
数えます。しかし、今年度末の第五世代技術普及振興事業の終了に伴い、「委託研
究成果報告会」もいよいよ今回が最後となります。
今年度の委託研究ではIFSや拡大IFSの中から、知識処理・並列記号処理などの分
野でツールとして、また研究・教育素材として高い利用が見込まれるものを対象に
ソフトウェアのブラッシュアップを重視しました。成果報告会では、昨年度からの
２年計画の委託研究６件および新規１３件の併せて１９件の研究成果が報告されま
す。また、昨年度から研究委託先を海外にも広げていますが、今回は海外の研究者
の皆さんも成果報告のため、来日が決定しており、これまでにも増して活発な研究
交流が期待されます。
開催日程、場所は以下の通りです（詳細は記事をご覧下さい）。
**** 委託研究成果報告会 *****
会期： 平成１１年３月１１日（木）〜１２日（金）
会場： 芝パークホテル本館
（発表会場：3F 牡丹の間、懇親会場：2F 桜の間）
参加ご希望の方は下記の参加申込書にご記入の上、３月５日（金）までに、
moro@icot.or.jp, ayako@icot.or.jp 宛に
お送りください。
また、第五世代コンピュータ技術の一つであるKLICの保守・改良のほか、KL1や
KLICの利用者と開発者の交流の場として、新たに「KLIC協会」が設立されることに
なり、このほど、設立総会開催の運びとなりました。なるべく多くの皆様にご参加
いただけるよう、委託研究成果報告会と日程を合わせ、
**** 「KLIC協会」設立総会 ****
日時： ３月１２日（金）１７：００より
場所： 芝パークホテル別館２階 アイリスの間
にて開催致します。
成果報告会、KLIC協会設立総会ともに皆様のご参加をお待ちしております。
（佐藤 真紀子）
---------------------------- cut here ---------------------------------
平成１０年度「委託研究成果報告会」 参加申込書
参加者：参加者の氏名、所属、役職、E-mailアドレスを記入してください。
［参加者１］
［参加者２］
［参加者３］
（多数のご参加の場合にはコピーして追加してください。）
参加日：該当日にマークしてください。
３月１１日（木） （ ） ３月１２日（金） （ ）
コメント：
----------------------------- cut here --------------------------------
平成１０年度 委託研究成果報告会 ご案内
１ 会期： 平成１１年３月１１日（木）〜１２日（金）
（両日とも、午前９時２０分より受付開始）
２ 会場： 芝パークホテル本館（発表会場：3F 牡丹の間、懇親会場：2F 桜の間）
〒105-0011 東京都港区芝公園１−５−１０
TEL 03-3433-4141（大代表） FAX 03-5470-7529
交通手段： JR 浜松町駅北口より徒歩８分
都営三田線 御成門駅より徒歩２分
都営浅草線 大門駅より徒歩４分
３ プログラム：
＜３月１１日（木）＞
＊ オープニング・セッション
10:00 - 10:10 開会挨拶 渕 一博（委託研究審査委員長）
10:10 - 10:20 趣旨説明 内田 俊一（先端情報技術研究所長）
＊ セッション１ (10:20 - 11:35)
(1) 10:20-10:45 階層連立1次方程式のための効率的制約解消系HiRiseの改良と移植
松岡 聡（東京工業大学）
(2) 10:45-11:10 並列ビジュアルプログラミング環境KLIEGの使用性の向上
柴山 悦哉（東京工業大学）
(3) 11:10-11:35 klicの視覚的インターフェース(klitcl) ／
klicとJavaのメッセージインターフェース
田中 二郎（筑波大学）
11:35-13:00 昼 食
＊ セッション２ (13:00 - 14:40)
(4) 13:00-13:25 最尤法を用いた分子進化系統樹作成プログラムDeepforest
斎藤 成也（国立遺伝学研究所）
(5) 13:25-13:50 IFS日本語(形態素)解析パッケージ・配布プロジェクト
佐野 洋（東京外語大学）
(6) 13:50-14:15 ゴールに依存した抽象化を用いた法的推論システムの開発
角田 篤泰（北海道大学）
(7) 14:15-14:40 協調ロボットプログラミング言語／システムおよび
移動ロボットの並列協調制御ソフトウェア
溝口 文雄（東京理科大学）
14:40-15:00 コーヒーブレイク
＊ セッション３ (15:00 - 16:15)
(8) 15:00-15:25 Distributed Constraint Solving for Functional Logic
Programming
Bruno Buchberger（RISC Linz(オーストリア)）
(9) 15:25-15:50 WEB-KLIC: A Concurrent Logic-based Unified Framework
for Internet Programming
Enrico Pontelli（New Mexico State University (U.S.A.)）
(10) 15:50-16:15 Applying Constraint Logic Programming Languages for
Modelling Multi-objective Decision Making under Uncertainty
John Darlington（Imperial College (英)）
17:00-19:30 懇親会
（挨拶：渕 一博 委託研究審査委員長、
市川 隆（財）日本情報処理開発協会 常務理事）
＜３月１２日（金）＞
＊ セッション４ (10:20 - 11:35)
(11) 10:20-10:45 DJ: Javaに基づく制約言語とシステム
周 能法（九州工業大学）
(12) 10:45-11:10 集合制約ソルバー
佐藤 洋祐（立命館大学）
(13) 11:10-11:35 Java-MGTPと高度推論機構の開発
長谷川 隆三（九州大学）
11:35-13:00 昼 食
＊ セッション５ (13:00 - 14:40)
(14) 13:00-13:25 ＫＬ１のスレッド実行の高速化
中島 浩（豊橋技術科学大学）
(15) 13:25-13:50 帰納論理プログラミングによるデータマイニングエンジン
Datagolの研究開発
古川 康一（慶應義塾大学）
(16) 13:50-14:15 学習機構内蔵型プログラミングシステム PRISM
佐藤 泰介（東京工業大学）
(17) 14:15-14:40 制約処理系を利用した図形描画システム
五十嵐 健夫（東京大学）
14:40-15:00 コーヒーブレイク
＊ セッション６ (15:00 - 15:50)
(18) 15:00-15:25 ＫＬ１プログラム静的解析系
上田 和紀（早稲田大学）
(19) 15:25-15:50 KLIC 第３版：KLICへの世代方式ガーベジコレクタの導入
近山 隆（東京大学）
＊ クロージング・セッション
15:50-16:10 第五世代デジタル・アーカイブについて
相場 亮（先端情報技術研究所）
16:10-16:20 閉会挨拶 - 第五世代普及振興事業の終了に当って -
内田 俊一（先端情報技術研究所長）
今回は「平成１０年度委託研究成果報告会」のご案内をさせていただきました。
年１回の恒例行事として定着しつつあったのに、今回で終りというのはたいへん
さびしいのですが、一方で「KLIC協会」のように新たな研究交流の場も発足します。
年度末のお忙しい時期ではありますが、是非、皆さん、足をお運び下さい。
成果報告会の会場で、多くの方々にお会いできることを楽しみにしております。
☆*********************************************************************☆
ＡＩＴＥＣ ＮＥＷＳ Ｉｓｓｕｅ ＃２２
編集・配布 ＡＩＴＥＣ ＮＥＷＳ編集グループ
佐藤真紀子 高橋千恵 相場 亮 河西和美
武田 浩一 鳥居良春 佐藤 博 内田俊一
発行 1999年3月1日
財団法人 日本情報処理開発協会 先端情報技術研究所
東京都港区芝2丁目3番3号 芝東京海上ビル2F
TEL :03-3456-3191 FAX :03-3455-4877
e-mail: aitec-news@icot.or.jp
URL : http://www.icot.or.jp
☆*********************************************************************☆
www-admin@icot.or.jp