言語・ミドルウェア開発

AZ-Prolog言語や周辺システムとのインターフェースを開発。また、コンサルティングを大学及び研究機関、企業向けに行っております。これらの開発経験を生かし、システムやミドルウェア・ソフトの高速化なども行っています。

実績

AZ-Prolog Version 8

概要

AZ-Prolog用Eclipseプラグインの提供により、Prologプログラムの開発(ソース作成、ソース管理、デバッグなど)を効率よく、ビジュアルに行うことができます。
また、デバッグ機能が強化されPrologプログラミングの特徴である、再帰・ユニフィケーション・バックトラックなどの振る舞いを容易に理解、習得することができます。

詳細を見る(AZ-Prologサイト内へ移動します)

AZ-Prolog Version 7

概要

世界最高速級の処理速度を実現しています。
さらに、制約論理の基本的な組込述語やソケット系の拡張組込述語を追加したことにより複雑高度なプログラムが効率よく処理でき、ネットワーク時代に対応したプログラミングが可能となりました。

詳細を見る(AZ-Prologサイト内へ移動します)

AZ-Prolog Version 6

概要

本格的な64ビット・マルチコアCPUの時代に、これらに対応したバージョンを提供します。

詳細を見る(AZ-Prologサイト内へ移動します)

AZ-Prolog Ver.5 for Windows 

概要

〔Windows版〕
CGIプログラミング感覚でPrologを活用する事が出来るため、Web上でPrologプログラムの実行・結果を出力する事が可能 です。

詳細を見る(AZ-Prologサイト内へ移動します)

AZ-Prolog Ver.5 for UNIX

概要

〔UNIX版〕 UNIX(x86/Solaris10)プラットホーム上で動作するProlog処理系です。これにより、x86/Solaris10上で、AZ-Prolog(Windows版・Linux版)と同様なプログラミング環境を提供できます。

詳細を見る(AZ-Prologサイト内へ移動します)

AZ-Prolog Server

概要

サーバライセンスはプラットフォーム〔Windows版/Unix版〕に関係なく、サーバにアクセスするユーザー数を無制限で利用することが可能です。

詳細を見る(AZ-Prologサイト内へ移動します)

Lisp(rhzome/pi)

概要

rhizome/pi は R~5RS の仕様を満たすScheme処理系(インタプリタ及びコンパイラ、コンパイラはC言語のプログラムを生成)


MT19937

概要

擬似乱数生成アルゴリズムであるMersenne TwisterをRubyから使用するための拡張ライブラリ



▲ ページのTOPへ戻る