ニュース

2007-07-10 Natural Building Business School

Tokyo School Chikayama, business school for wood building, ...

2007-06-08 Server break-in attacker IP numbers

We are monitoring break-in attempts to our servers from...

2007-03-04 INAP2007

The 17th International Conference on Applications of Declarative Programming...

2006-11-01 Goodbye Fax

Remember Telex? Now it was also time to thank good bye to...

2006-03-06 Language Portal Workshop

We support and participate in the workshop:...

2006-01-10 wadokujt.w3dict.com

IF Computer Japan contributed resources and language processing...

2005-06-01 INAP2005

The 16th International Conference on Applications of Declarative Programming...

2003-09-01 Web上DIYコンサルティング

イフコンピュータジャパンはWeb上で個人的なコンサルティング対話を...

2003-08-08 INAP2004

The 15th International Conference on Applications of Declarative Programming...

2003-07-10 Decorative Items

Sano Kogei Co. Ltd of Osaka, Japan, specialising in interior and...

2003-02-28 MINERVA 2.4 リリース

MINERVA2.4が発売されました。Javaで実装されたPrologコンパイラMINERVAの...

03-03-03 ウェブ知識管理に関する書籍

ドイツの出版社Springerは、"Web Knowledge Management and Decision Support"...

02-04-12 医療情報システム

財団法人　医療情報システム開発センター (MEDIS-DC)...

2002-03-20 MINERVA 2.3 リリース

MINERVA2.3が発売されました。Javaで実装されたPrologコンパイラMINERVAの...

02-02-01 日経コンピュータ情報システム大賞

株式会社三城のメガネの提案システムmimir(ミーミル）は、第6回「情報システム大賞」で、グランプリを受賞しました。...

02-01-17 Inference for the Semantic Web

The Semantic Web community portal SemanticWeb.org intoduces...

02-01-17 BotSpot

BotSpot (tm) of the internet information portal internet.com,...

2001-10-15 JADEエージェントの駆動

NTTコミュニケーション科学基礎研究所は、知的分散型エージェントの研究の...

2001-10-01 業務用ビデオクリップの販売

NTT Dataは、業務用ビデオクリップを販売するためのオンラインシステムの構築の...

2001-06-26 IF/Prolog V5.3（Windows版）リリース

IF/Prolog V5.3 （Windows版）がリリースされました。...

2001-05-07 PDF形式のMINERVA2.2マニュアル

PDF形式のMINERVA2.2マニュアルができました。...

2001-05-08 INAP2001

The 14th International Conference on Applications of Prolog...

2001-03-05 MINERVA 2.2 リリース

MINERVA2.2が発売されました。Javaで実装されたPrologコンパイラMINERVAの...

2000-11-13 オンラインショップ

イフコンピュータの主なソフトウェア製品を、当サイトから注文できるようになりました。...

2000-04-30 inap2k

The 13th International Conference on Applications of Prolog...

00-04-16 inap@ifcomputer.co.jp

INAPとINAPと共同開催されるワークショップに関連して、タイムリーな情報交換をするために、メーリングリストinap@ifcomputer.co.jpを公開します。...

99-12-16 自然言語対話システム

日本電気株式会社C&Cメディア研究所からの発注に応じて、イフコンピュータは、...

99-12-01 基幹システムのIF/Prologへの移植

松下精工株式会社は、イフコンピュータに、エアハンドリングユニット設計システムのIF/Prologへの移植を発注しました。...

99-10-24 IF/Prolog V5.2A for Windows released

IF/Prolog V5.2A for Windowsがリリースされました。...

99-10-28 MINERVA 2.1 リリース

MINERVA2.1が発売されました。Javaで実装されたPrologコンパイラMINERVAの...

99-10-28 MasterPiece

じゅうたん業界での最適化ツールMasterPieceが、イフコンピュータの製品ラインアップに...

99-09-03 INAP'99

Prolog応用国際会議、...

99-07-31 IJCAI'99

The 16th International Joint Conference on Artificial Intelligence ...

99-04-07 オンライン時間割

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

99-04-23 眼鏡デザイン

2. メガネデザイン提案システム...

99-04-23 健康診断管理システム

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

99-04-19 PA Expo '99

Practical Application Expo99: ...

99-04-09 MINERVA 2.0 リリース

MINERVA2.0が発売されました。Javaで実装されたPrologコンパイラMINERVAの...

99-02-01 El-AI航空機機体配置

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

99-02-01 IF Computer Asia goes online

To better serve our customers and product resellers,...

99-02-01 IF/Prolog V5.1 released

IF/Prolog V5.1が、リリースされました。 メンテナンス契約に入っていらっしゃるお客様は、バージョンアップできますので、お知らせ下さい。...

98-12-15 INAP98論文集

INAP98(The 11th International Conference on Applications of Prolog)...

98-10-01 MINERVA 1.3 リリース

MINERVA1.3が発売されました。Javaで実装されたPrologコンパイラMINERVAの...

98-03-23 PAP,PACT,PAAM, PAAD'98

International Conference on the Practical Prolog, Constraint Technology,...

98-02-01 ヒトゲノムマップ

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

98-02-01 インターネットコースウェア

1997年12月よりPractical Standard Prolog Courseware Initiativeが開始...

98-02-01 MINERVA 1.1リリース

MINERVA1.1が発売されました。昨年4月にJavaで実装されたPrologコンパイラとして発表して以来、多くの企業・学校・研究所で使って頂いています。...

97-12-25 知的CAD

1997年12月25日、九州工業大学の長澤 勲教授が主導する知識工学とCAD専門委員会...

97-11-17 Sunセミナーでの講演

1997年11月13日、東京ヒルトンホテルにて行なわれた第1回Internet Associate ...

97-10-29 CP'97

Third International Conference on Principles...

97-10-07 INAP'97

Exhibition and Symposium on Industrial Applications of Prolog...

97-08-26 IJCAI'97,

Nagoya International Conference Hall, ...

97-07-08 ICLP'97

International Conference on Logic Programming...

97-05-01 MINERVA

``MINERVA capabilities closely track those that are being studied and aquired...

96-12-19 Logic Programming and the Internet Opportunities and Challenges A Compulog Net Workshop

London, England....

96-12-16 Expert Systems '96

Cambridge, England. ...

96-11-01 ネットワークワイド管理

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

96-11-01 Search & Solveプロモーション

ついに、Search & Solveプロモーションの期限が、今年末までと近付きました。...

96-11-01 97年IF/Tutorials

1997年前期には、以下のような講座が開催されます。(ミュンヘンのみ)...

96-10-16 INAP論文募集

1995年の第8回PROLOG産業応用シンポジウム・展示会 (INAP'95)は例年に ...

96-09-04 SOR96

Symposium on Operations Research ...

96-09-02 JICSLP96

Joint International Conference ...

96-08-01 設計計算

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

96-08-01 FE網目生成システム

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

96-07-25 人工知能学会大会

東京、早稲田大学 ...

96-06-04 IEA/AIE-96

第9回人工知能とエキスパートシステムの産業と工学応用の国際会議 ...

96-05-21 Intelligent Systems and Applied AI'96

フランス、モンペリエ...

96-05-10 第7回IF/Prolog User Day

ドイツのIF Computer GmbHおよびジーメンス・ニックッスドルフは、 ...

96-05-09 ASTAPセミナー: 運輸

ASTAP (Advanced Software Technology Awareness Program)は、1996年 ...

96-05-01 PAP/PACT/PAAM 96論文集

第四回Prolog・制約・知的エージェント・マルチエージェント技術に関する国際会議450人の参加者、129の論文、イフコンピュータを含む先端技術ベンダーによる展示が行なわれ、成功を収めました。...

96-05-01 IF/Prolog V5.0B for UNIX

IF/Prolog V5.0B for UNIX is now released. V5.0 fully complies with the ISO Prolog standard....

96-05-01 IF/Prolog V5.0用MIKE

知識工学マイクロインタプリタMIKE2がIF/Prolog上で作動するようになりました...

96-05-01 ノキア:移動電話ソフトウェア構築

ノキア移動電話は、ヨーロッパ最大かつ世界第２の移動電話製造メーカーです。...

96-05-01 IF/Prolog V5.0用Logtalk

LogtalkはProlog言語のオブジェクト指向的な拡張です。Logtalkという名前は、Prol...

96-04-22 PAP'96

International Conference on the Practical Application of Prolog ...

96-02-01 IBM SP-2上のIF/Prolog

1996年1月、東京都立大学は、従来のSun、HP、DECに加え、IBM SP-2並列コンピュータ上のIF/Prologをインストールしました。...

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

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

96-01-01 業務プロセスの最適化

今日、業務プロセスの最適化が、市場競争において重要と見なされ ...

96-01-01 インターネット上でのシステム紹介

昨年オープンしたインターネット上のイフコンピュータのホームペ ...

96-01-01 第9回INAP論文募集

1995年の第8回PROLOG産業応用シンポジウム・展示会 (INAP'95)は例年に ...

95-12-06 UNIX Fair'95

神奈川県、パシフィコ横浜 ...

95-10-19 第8回INAP プログラム決定

第8回PROLOG産業応用シンポジウム・展示会 (INAP)のプログラムが決定しました。...

95-10-19 INAP'95

第8回PROLOG産業応用シンポジウム ...

95-10-01 製品注文前処理: HP

ヒューレット・パッカード (HP)は、1988年より顧客からの不正確な注文を前処理する...

95-10-01 デジタル回路検証ツール

今日VLSI技術は発展は非常に速く、各開発メーカーとも、複雑なデジタル回路をより...

95-10-01 自律エージェントの研究

電子技術総合研究所・協調アーキテクチャ計画室の大澤一郎氏、中島 秀之氏は...

95-10-01 IF/Prolog 4.1マニュアル (HTML)

IF/Prolog 4.1日本語オンライン・ハイパーテキスト・マニュアルが完成しました。HTML2.0で書かれ、約4100ファイルと8万以上のリンクよりなり、章・節間を簡単に移動できます。...

95-10-01 NEW: フリーウェアライセンス

IF Computerでは、IF/Prolog無償フリーウェア配布用ライセンス制度を設けました。...

95-10-01 IF Computer on the Net

11月1日よりIF ComputerのWWWサーバーがスタートします。最新のIF/Prolog 資料・IF Computer・Prolog関連ニュースを ...

95-09-13 SOR'95

Symposium on Operations Research 1995 ...

95-06-08 ICLP'95

12th International Conference on Logic Programming ...

95-06-01 Network Management

トータルネットワーク管理システム (TNM)は、アメリカのAT&Tが...

95-06-01 年金計算および評価

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

95-05-01 PAP'95 論文集

PAP'95 (the Third International Conference on the Practical ...