目次: イフコンピュータ

• ニュース 2009/1/10
  • 2009-01-08 Server Downsizing 2009/1/5
  • 2008-08-18 Email Entry Points New 2008/8/28
  • 2007-07-10 Natural Building Business School 2007/7/11
  • 2007-06-08 Server break-in attacker IP numbers 2009/1/10
  • ....他 92 項目 ....
• MINERVA 2009/1/17
  • 概要 2006/8/21
    • MINERVAとは? 2001/9/21
    • 応用分野 2006/8/21
      • 税金アドバイス 1996/12/19
      • 生命保険 1998/8/11
      • 遠隔教育 1996/12/16
      • 知的フォーム 1996/12/19
      • ....他 3 項目 ....
    • Java Prolog 1998/12/1
    • 標準 2004/2/5
    • ....他 4 項目 ....
  • ショーケース 2003/7/8
    • お客様の声 2003/7/8
      • ArthurAndersen 1999/1/11
      • Brightest 2001/9/4
      • Edutella 2002/11/11
      • JVC 1999/1/11
      • ....他 3 項目 ....
    • ソリューション 2002/3/28
      • 生命保険必要保険額計算 2001/9/27
      • チェーンストア管理 2002/1/15
      • ウェブサイト生成・管理 2002/3/28
  • ライセンス形態 2006/3/16
    • MINERVA評価用ライセンス 1997/7/15
    • MINERVAインターネットサイトライセンス 1997/7/15
    • MINERVAイントラネットサイトライセンス 1997/7/15
    • MINERVAスタンドアローンライセンス 1997/7/15
    • ....他 2 項目 ....
  • ダウンロード 2009/1/17
  • ....他 4 項目 ....
• DialogEngines 2003/8/15
• WeaveWeb 2005/6/13
• FranchiseEngine 2004/2/17
• ISOengines 2003/8/14
• IF/Prolog 2009/1/17
  • 仕様 2001/6/26
    • IF/Prolog V5.x概要 2001/6/26
    • IF/Prolog V5.x (UNIX版) 2001/5/25
    • IF/Prolog V5.x (Windows版) 2001/6/13
  • 制約処理パッケージ 2001/5/28
    • 制約処理パッケージ仕様 2001/5/28
    • 応用分野 1996/12/9
    • 例題プログラム 2001/3/21
      • 工場での作業スケジューリングその１ 2001/3/21
      • 工場作業スケジューリングその２ 2001/3/21
      • 農地管理 1996/12/10
      • スミス氏パズル 1996/12/10
      • ....他 3 項目 ....
  • IF/Prologベースの応用 2001/10/24
    • 健康診断管理システム 2001/10/24
    • オンライン時間割 2001/10/24
    • ネットワークワイド管理 1999/3/25
    • ヒトゲノムマップ 1999/3/25
    • ....他 25 項目 ....
  • 国内外のProlog関連の組織 1997/6/11
  • マニュアル 2002/4/3
    • IF/Prolog V5.3 マニュアル 2002/4/3
      • Windows版での日本語の使用 2001/6/25
    • IF/Prolog V5.2 マニュアル 2002/4/3
      • 日本語の使用 2000/9/1
    • IF/Prolog V5.1 Manual 2000/9/1
      • 日本語の使用 2000/9/1
    • IF/Prolog V5.0 マニュアル 1997/7/23
      • インストールガイド 1997/7/23
        • Unix版インストール方法 1997/3/17
          • メモリ要件 1997/3/17
          • ソフトウェア要件 1997/3/12
          • インストール 1997/3/17
            • ローカルテープドライブから 1997/3/17
            • リモートホストからネットワークを介して 1997/3/17
            • コンプレスファイルのインストール 1997/3/17
            • 詳しい説明 1997/3/17
          • エラーメッセージ 1997/3/17
          • ライセンス 1997/3/12
        • Windows版インストール方法 1997/7/23
          • ライセンスキー 1997/3/17
          • Windows 3.xのためにWin32Sをインストールする 1997/3/17
      • 日本語の使用 1997/4/1
    • IF/Prolog V4.1 マニュアル 2001/3/21
      • イントロダクション 1995/11/7
        • IF/Prolog マニュアル 1995/10/13
        • IF/Prolog 4.1 レリースノート 1995/11/7
        • IF/Prolog 4.0のレリースノート 1995/11/7
          • 構文 1995/10/13
          • 新しいIF/Prologコンパイラ 1994/7/21
          • ガーベジ・コレクション 1994/7/21
          • 信号処理 1994/7/21
          • ....他 7 項目 ....
        • IF/Prologソフトウェア/マニュアル 問題レポート 1994/7/21
      • インストールガイド 2001/3/21
        • UNIXにおけるIF/Prolog 1995/11/7
          • UNIXにIF/Prologをインストールする。(UNIX上でのユーザの方のみお読み下さい。) 1994/7/20
          • ベンチマークテストの実行 1995/11/7
        • VAX/VMS上のIF/Prolog 4.1 2001/3/21
          • VAX/VMSにIF/Prologをインストールする。 1994/7/21
          • 例題: ベンチマークテストの実行 2001/3/21
          • UNIX上の標準IF/Prologとの相違点 1994/8/30
      • ユーザーズ・ガイド 1995/11/7
        • IF/Prologとは... 1995/11/7
        • Prologの概念、言語、アプリケーションの範囲 1995/11/7
        • 初めてのPrologのセッションのための準備 1995/11/7
          • IF/Prologの起動 1994/7/26
          • データの読み込み 1994/7/26
            • 編集したPrologのファイルをコンサルトする 1994/7/26
            • 節のコンサルト 1994/7/26
            • 対話的プログラミング 1994/7/26
          • データベースのリスティング 1994/7/26
          • データの削除 1995/11/7
            • ファイルのリコンサルト 1994/7/26
            • 対話のリコンサルト 1994/7/26
            • 節の削除 1995/11/7
          • ....他 5 項目 ....
        • IF/Prologコンパイラの使用 1995/11/7
          • 述語のコンパイル方法 1994/7/26
          • コンパイルされた述語の使用 1994/8/30
          • コンパイルされる述語について 1994/7/26
          • コンパイルのためのファイル準備 1994/7/26
          • ....他 2 項目 ....
        • ....他 3 項目 ....
      • IF/PrologのX開発環境 2001/3/21
        • イントロダクション 1994/9/5
        • 要求と開始 1994/9/5
        • コマンドウィンドウ 2001/3/21
          • 質問の入力 1994/9/5
          • バックトラッキング 1994/9/5
          • IF/Prologの出力先 1995/11/7
          • メッセージ・ウィンドウ 1994/9/5
          • ....他 6 項目 ....
        • IF/Prologウインドウ・デバッガ 2001/3/21
          • 実行コントロール 1995/10/31
          • ポート停止トグル 1994/9/5
          • 表示コントロール 1995/10/31
          • ズーミング機能 1995/10/31
          • ....他 3 項目 ....
        • ....他 4 項目 ....
      • ....他 2 項目 ....
• Consulting 2007/6/25
  • Services 2004/4/1
  • Technology 2005/6/13
  • ProjectExamples 2007/6/25
  • Clients 2004/2/13
  • ....他 2 項目 ....
• 会社概要 2006/9/1
  • Management 2005/6/13
  • 企業データ 2006/2/20
  • パートナー 2006/9/1
  • Clients 2006/2/20