IF/Prologベースの応用

IF/Prologの応用を順不同で紹介します。 ここで紹介した事例の選択基準は、我々が知っている事例、興味部かいと感じたもの、紹介を許されている範囲の内容です。このページに適した事例で、ここで挙げられていないものがあれば、どうか電子メール、お電話などで御連絡下さい。URLを教えて頂けると、尚幸いです。

健康診断管理システム

1. 健康管理支援システム...

オンライン時間割

ドイツAalen高等専門学校のオンライン時間割...

ネットワークワイド管理

Siemens Nixdorfは、TransViewで、複雑なネットワークにおいて利用できる便利な...

ヒトゲノムマップ

東京大学医科学研究所ヒトゲノム解析センター(高木 利久教授)では、　　...

El-AI航空機機体配置

イスラエルのEl-AIエアラインでは、航空機機体を最適の駐機場へ配置するためのスケジューリングシステムを使用しています。...

ネットワーク管理

AT&Tは、通信ネットワーク設備とスイッチの不具合を早急に検知し修理を行う大規模な包括ネットワーク管理システム（TNM)を開発しました。...

ノキア移動電話構築

ノキア携帯電話はヨーロッパで最大、世界では２番目最も大きい携帯電話メーカーです。...

空港環境制御

Honeywell Regelsysteme社は、空港環境を総合的に制御するシステムを開発しました。...

形鋼装置フロー

川崎重工株式会社は、フィールドオペレーションにおける制約ベースの知識処理システムを使用して、形鋼装置用のスケジューリングシステムを作りました。...

年金計算評価

イギリスのWoodrow MilliamグループのBacon and Woodrow (PFA ...

顧客用書類作成支援

弊社の製品IF/Prologは70社600以上のマシンに対応しています。 ...

ポリマー設計

三菱総合研究所は、ポリマー設計エキスパートシステム(EXPOD)を開発しました。...

タービン振動診断

ドイツVerein Deutscher Ingenieure社は、タービン振動診断エキスパートシステムを開発しました。...

分散型DBの整合性管理

会社などの組織では、遠距離にある複数の場所で、同内容のデータ...

油田調査危険予知

Nordic Offshore System社は、海底沖油田掘削プラットフォーム上での調査掘...

編目生成

豊田自動車と豊田中央研究所は、有限要素シミュレーション(例えば、鍛造用シミュレーション等)用の網目生成システムを開発しました。...

注文処理システム

ヒューレット・パッカードでは、多く業務分野で Prologの技術を使用することに成功していますが。一つの例は、顧客注文処理システム（OCEX)です。...

メガネデザイン

メガネ専門店三城には、数十万のレンズ、フレームが存在し...

泥水加圧シールド集中管理

戸田建設株式会社泥水加圧シールド集中管理システムを開発しました。...

COBOL保守波及分析

EDPコンサルティング会社であるコンピュータアプリケーション株式会社は、COBOLコードの変更および品質管理のための...

電話器販売支援

ドイツの電話取扱店では、顧客が最新の電話設備の機能、構成、料...

駅制御

ドイツのシーメンス株式会社の研究開発部はドイツ国鉄と協力し、AIを使用して、鉄道駅のスケジューリングシステムのプロトタイプを開発しました。...

株式評価

東京のある会計事務所の情報システム部では、日本の税法の一部を機械で読みとり・...

巻紙切断

材料の最適な利用 - ここでは、大きな巻き物状の材料から様々な形状を、材料の無駄を減らしコスト削減を測りながら行ないます。...

電力供給運用診断システム

大韓民国電力 (KEPCO)では、1988年、給電システムにおける荷重 ...

業務プロセスの最適化

ドイツのPromatis Informatik社の製品INCOMEは、業務 ...

設計計算

DSPおよびそのプログラミング環境は5年以上にも渡ってカメラ設計・コピー機設計・建築設計・またプラントエレメント設計などの...

ガソリン卸売

有限会社形像は、顧客である全国のガソリンスタンドへの卸売りをしている石油卸会社の為に、販売その他の財務データを処理する目的でメインフレーム上でCOBOLのバッチプログラムを作動させていました。...

デジタル回路検証ツール

ドイツ・シーメンス中央研究所では、従来のシミュレータとは異なる新しいコンセプトに基づいた回路検証ツールCVEを作りました。...