- 単位円盤グラフ上の高速アルゴリズム
- 3-正則グラフ上の行商人問題に対するアルゴリズムの改良
- 各種グラフの平均ストレッチ
- 孤立2部クリークの列挙
- 二種類の商品を扱う正直なオークション
- 古典線型時間時相論理に基づく型付λ計算
- アクセス制御機構をもつオブジェクト指向計算体系
- 証明検証システムCALにおける直観主義命題論理の自動証明の実装
- 局所必然性と局所可能性を扱える様相論理に基づく型付計算体系λ□◇に関する研究
- Union型をもつオブジェクト指向言語FJ∨からJavaへの変換器の設計と実装
- 証明検証システムCALの抽象構文木から文字列への変換
- マルチエージェントインタラクションにおける並行シナリオの協調
- コンテキスト依存な通信によるWebサービスの高速化
- ユーザの操作例を用いたWebサービスの自動連携
- 大規模マルチエージェントシステムにおけるエージェント配置
- 大規模エージェントサーバを用いたマルチエージェントシミュレーションの制御
- 屋内公共空間のための位置依存型誘導システムの開発
- 市場計算モデルを用いた分散エージェントシステムの資源割り当て
- 互いの視点画像に書き込むことによるコミュニケーション支援
- インタラクション・コーパスの閲覧・分析環境の開発
- 非言語情報を用いた会話パターンの抽出
- 実世界会話から映像コンテンツを獲得する聞き手ロボット
- 異文化コミュニケーションの学習支援の為の会話エージェントシステム
- ミーティングにおける非言語的な手がかりに注目した会話量子の自動抽出
- SC言語処理系を用いたコピー方式ごみ集めの実装
- Webアプリケーションのためのブラウザ内Scheme処理系
- 2足歩行ロボットSpeecys用Lisp処理系
- Haskell 処理系に適した Replication ベース Incremental Garbage Collection
- イベント駆動プログラミングモデルに対応したAIBO Lisp
- 多重奏中特定パートの自動採譜のための複数特徴量の重み自動推定
- 擬音語・抑揚・リズムに基づく環境音記述用XMLタグの設計と自動付与
- ICAによる音源分離とミッシングフィーチャマスクの自動生成による同時発話認識
- 音声対話システムにおけるドメイン概念木に基づく動的ヘルプ生成
- アクティブセンシングに基づくロボットによる模倣動作の自律的獲得
- レビューページ例からの属性抽出に基づくレビューページ検索
- Web ページの PageRank 値に基づくローカルコンテンツの品質推定
- Webの構造情報とプロファイル抽出を用いたオブジェクト識別
- ハイパーリンクの参照重要度に基づくWebページの品質評価
- 時系列データに意味的に関連するニューストピックの発見
- 質問キーワードの意味的関連と近接性に着目したウェブ検索の精度改善
- ARM命令セットにおけるパイプラインステージ統合の有効性の調査
- ARMアーキテクチャにおける命令レベル並列処理の評価
- DVI-Dインタフェースによる高速低遅延データ転送
- 共役勾配法による手術シミュレータ計算の高速化
- 派生関係の解析が可能なXMLのバージョンモデルとアクセス制御への応用
- ウェブ地理情報のキーワード共起分析とトピック制御への応用
- 運動法則に基づいた映像からの運動モデル獲得
- 適応的背景変更による食材の領域と色の抽出
- 調理加工に起因する振動音を用いた食材識別
- 音声による調理法教示のための対象食材の呼称の決定
- 講師追跡撮影画像を基準とした講義室の広視野画像合成手法
- 物体形状の知識を利用した視体積における線状部分の欠損の修復
- バーチャルスタジオにおける現実物体を用いた仮想物体の直接操作
- 木文法を用いた圧縮法によって圧縮された半構造化文書に対する反単一化
- 実数のグレイコード表現とモデル推論を利用した実数値関数の学習
- ベイジアンネットワークを表現する制約論理プログラムの帰納論理を用いた導出
- 包摂関係を利用したカーネル関数を計算するアルゴリズムの設計と項データへの適用