Prologの産業応用及び関連する先進的なソフトウェア技術に関して話し合う場として は日本でも有数の場です。
論文発表では、日本では富士通・NTTデータ通信・三菱電機・三菱化学、海外からはボーイング・ボルボ・ブル・エリクソン・シーメンス等の会社、及び先端研究を 行なう大学からの発表者が予定されています。自動車・鉄道・飛行機・電気機器・ 化学・通信・情報処理・インターネット分野の発表から、先端の技術がいかに主流の産業分野に採り入れられているかを知ることができます。
INAPは、産業・学術分野の実務者の聴衆の要求に沿った情報を提供します。同時間一 発表のプログラムで、産業分野の最新の研究・充実したチュートリアル・ Karl Reed氏、Paul Tarau氏の講演が行なわれます。
並行して行なわれる展示会、ポスター&インターネット展示会、発表者への容易に話 かけることができる環境により、焦点を絞った発表者、聴衆間での効果的な交流をは かることができます。
Karl Reed, La Trobe大学、オーストラリア
Towards an Engineering Discipline ...The Nature of Software Engineering, Problems, Futures and Directions
Karl Reed氏は、オーストラリアLa Trobe大学のコンピュータ科及びコンピュータ工 学科の助教授で、数百万ドルレベルのCASEツールとハイパーテキストの研究プログ ラム(AAITP)におけるチーフを務めています。 情報技術分野における32年の経験を持ち、20年間はソフトウェア工学のパイオニアとして学術界にて、また産業界の代弁者として活躍してきました。
氏は、最近Swinbourne技術大学の優れたDistinguished Business Associateに指名さ れました。オーストラリア工学学会会員、オーストラリアコンピュータ協会の名誉会員。
氏はまた、オーストラリアにおけるSE教育のパイオニアで、ICSE、IWCASEの プログラム委員です。IWCASEについては、プログラム委員長、IWCASE長を務めていま す。1986年には、研究休職を利用して、Maryland大学のBasili教授・Dieter Rombach 博士と共にTAMEプロジェクトに関与しました。アジア太平洋ソフトウェア工学会議の 設立者で、推進委員でもあります。1992年にオーストラリアで開催されたICSEでも貢献をしました。
氏は、現在までにMonashコンピュータセンター、RMITで教え、現在は La Trobe大学 にて教育に携わっています。
20年間産業界の代弁者としての経験があり、産業政策のACSスポークスマンをしてき ました。(この分野に関する教育を、Singapore Institute of Managementで行ない、 Melbourne Royal Institute of Technologyで客員となりました。)ACSの技術委員会( コンピュータシステムおよびソフトウェア工学)の理事であり、またComputer Week誌 の相談編集者でもあります。
RMITで工学学士を、Monash University Claytonで研究修士を取得しました。
氏の思惑に満ちた仕事は、従来の工学における研究法をソフトウェア工学の研究法の モデルとして採り入れています。双方の研究法の特徴は同じで、現在のソフトウェア 開発・ソフトウェア工学研究の状態と比較することができるとの主張です。とくに、 設計の規定の必要性、設計実装の方法論の必要性--これは再利用のための制約や性能 ・信頼性・品質などの仕様制約を包括する--、改良された図式化システムの必要性が 挙げられます。より高次元の問題であり従ってより形式的な方法の問題としては、実 際に使用されかつ有益である製品設計の精密性（例えば書類化）が挙げられます。
これは、哲学的な仕事で、該当分野での開発を監視し、それを目標に対してテストし ます。そして、これにより従来の研究テーマへの拡張が示唆されます。
Paul Tarau, Moncton大学, カナダ
Logic Programming and Virtual Worlds
Paul Tarau氏は、Montreal大学で博士号を取得後、カナダのMoncton大学、コンピュ ータ科学の助教授となりました。氏は、high performance continuation passing Prologシステムである、BinPrologの開発者です。論理プログラムのコンパイル、 PrologからCへの翻訳、プログラム変換及び論理文法が氏の業績として挙げられます。 最近では、BinPrologを基礎としたインターネット上での生の交信および協調作業に 使われるバーチャルワードシステムであるLogiMOOシステムを開発しました。
Intelの "Moondo"、Worlds Inc. の "Worlds"、ソニーの "Cyber Passage"は、最新の バーチャルワールド技術に基づいたグループウェアツールです。これらは、単純なメタファを使って組織の構成員の作業の知識を再利用することによ り組織をバーチャル化する自然な方法であるため、産業上の潜在能力は非常に大き いといえます。
論理プログラミングが同様の機能性を提供し、マルチパラダイム環境における特殊化 されたツールと協力的に働くことを証明します。
講演では、インターネット上の協調作業のための高度なカーネルであるLogiMOOの使用 に焦点を絞り、どのようにLindaベースのコーディネーションライブラリを特徴とす る論理プログラミング言語で分散応用を構築するか、また、いかにして洗練されたエ ージェントプログラミングと生の交信を数行のPrologでプログラムするかを説明します。
Netscape 3.0, CGIプログラミングといった標準ツールや,独立して設計されたVRML2.0 を基礎とする3次元世界の使用により、マルチパラダイム/マルチプラットフォームの 枠組の中で、LogiMOOは、論理プログラミングと現実世界のインターネットプログラミングの間のギャップを埋めます。
先端グループウェアであるLogiMOOの使用方法の説明を通じて、産業応用における潜 在能力に焦点を当てます。
INAPのチュートリアルは先端技術とその産業分野での応用に追い付くためのまたとな い機会を提供しています。包括する分野はインターネット・エージェント・先進的な 言語・問題解決・ソフトウェア工学などです。講師は各分野での専門家ですが、先端 ソフトウェア技術の実際的なアプリケーションに興味を持つ一般聴衆にも理解するこ とができるよう平易な説明を行ないます。
Erlang - a survey of the language and its industrial applications Joe Armstrong, Ericsson, SwedenFinite Domain Constraint Solving in Constraint Logic Programming Philippe Codognet, INRIA - Rocquencourt, France
LogicWeb: Enhancing the Web with Logic Programming Andrew Davison, Prince of Songkla University, Thailand
Mercury - a declarative programming language for industrial-strength applications. Fergus Henderson, The University of Melbourne, Australia
April - An Agent Programming Language for the Internet Francis G. McCabe, Fujitsu Laboratories Ltd., Japan
Constraint-Based Reasoning Applied to Engineering Design Niall Murtagh, Mitsubishi Electric, Japan
Application of SRI Open Agent Architecture to Information Retrieval Hiroki "Hammer" Ohama, NTT Data Corporation, Japan
Boosting the quality and maintainability of Prolog applications by new static analysis techniques. Gerd Venzl, Karl Stroetmann, Martin Mueller, Siemens AG Corporate R&D, Germany
属性グラフ文法に基づくPrologの可視化 安達 由洋、今木 孝哲、小林 卓 東洋大学
Constraint Logic Implementation of a Decision Support System for Transportation Planning Cristina Baboescu, The University of Electro-Communications, (Railway Technical Research Institute), Japan
The ECLiPSe HTTP-Library Stephane Bressan, MIT, USA, Philippe Bonnet, Bull, France
Datamining in a vehicle configuration system using Prolog Virginia Dignum, Origin BV, Jan van der Vorst, NedCar BV., Netherlands, Frank Dignum, Eindhoven University of Technology, Netherlands
Economic Modelling using Constraint Logic Programming Nelson Donovon, David Gilbert, City University, United Kingdom
Distributed Support for Integrated Building Design and Construction Robin Drogemuller, James Cook University, Australia, Oskar Bartenstein, IF Computer, Japan
ACE/Controlled English for executable specifications Norbert Fuchs, Rolf Schwitter, University of Zurich, Switzerland
View update by Query Analysis Ryuichi Hoshi, Osamu Yoshie, Science University of Tokyo, Japan
制約論理プログラミングによる木の描画ツール 今木孝哲, 安達由洋, 土田賢省, 夜久竹夫, 東洋大学
Prolog プログラミングの学習を，ひながたと事例データに基づいて支援するシステム 伊藤 紘二, 東京理科大学
Timetabling in Constraint Logic Programming Maria Kambi, David Gilbert, City University, United Kingdom
Learning Biomedical Patterns Gabriella Kokai, University of Erlangen-Nurnberg, Germany, Zoltan Alexin Jozsef Attila University, Tibor Gymothy, Hungarian Academy of Sciences
Proof Planning & Configuration Helen Lowe, Napier University, Scotland, Michal Pechoucek, Alan Bundy, University of Edinburgh, Scotland
Mass Change of On-line Textual Databases using Natural Language Processing Leo Obrst, K. Nanda Jha, Gary Coen, Boeing Helicopters, USA
PROGOLのボトムアップ計算に基づくPrologによる実装 尾崎 知伸, 古川 康一, 慶応大学 Transient Analysis and Synthesis of Linear Circuits using Constraint Logic Programming. Archana Shankar, David Gilbert and Michael Jampel, City University, United Kingdom
作業者スキル制約処理を導入したスケジューリングシステム 高田 真好, 三菱化学株式会社
A WAM Model for a Linear Logic Programming Language Naoyuki Tamura, Yukio Kaneda, Kobe University, Japan
How to Distribute Prolog Knowledge for Car Traffic Simulation Harold Trannois, Jean-Luc Deleage, Thierry Capitaine, Andre Lebrun, CURASI, LITP-IBP, France
Logic Grammar for Electronic Circuits 田中 卓史, 九州工業大学