研究内容
現在進行中の主な研究・開発プロジェクト
- 相関的推論とその論理基礎
- 自動定理発見と自動問題提示
- 科学的発見のための認識的プログラミング
- 自律進化情報システムの構成原理と実現技術
- 先行推論反応システムの構成原理と実現技術
- 永続コンピューティング
- ソフトシステムバス技術
- グリッド・コンピューティングによる自動定理発見
- 汎用前向き推論エンジンFreeEnCalの開発と応用
- 電子秘書システムPIPの開発と応用
- 論理学教授・学習システムHILBERTの開発と応用
- 認識的プログラミング言語EPLASの実現と応用
- 情報セキュリティ工学環境ISEEの開発と応用
- 汎用電子アンケートサーバENQUETE-BAISEの開発と応用
- イベントスケジュール自動調整サーバPathfinderの開発と応用
- 人の集まりを支援するツールQWikSの開発と応用
- カードゲームサーバWildCardの開発と応用
過去の主な研究・開発プロジェクト
- 先行推論反応システムの構成原理と実現技術
（文部科学省科学研究費補助金基盤研究(B)，
カシオ科学振興財団研究助成，
財団法人テレコム先端技術研究支援センター研究助成，
財団法人栢森情報科学振興財団研究助成）
- 科学的発見のための認識的プログラミングシステムの構築
（文部省科学研究費補助金萌芽研究,
文部科学省科学研究費補助金基盤研究(B)）
- ソフトウェア従属性解析理論に基づく既存ソフトウェアの適応的発展方法論
（文部省科学研究費補助金特定領域研究「ソフトウェア発展」）
- 並行型プログラム従属性理論に基づく統合的ソフトウェア開発支援環境の構築と応用
（ＥＡＧＬ事業推進機構, 電気通信普及財団,
文部省科学研究費補助金試験研究(B),
文部省科学研究費補助金基盤研究(B)）
- 命令型・宣言型並行プログラムにおける従属性に関する一般的理論の構築と応用
（文部省科学研究費補助金一般研究(C), 文部省科学研究費補助金一般研究(B),
文部省科学研究費補助金重点領域研究「高度ソフトウェア」）
- 発見的・自己革新的知識処理を基礎付ける論理体系の構築
（文部省科学研究費補助金重点領域研究「知識科学」）