- 古典シークエント計算のCPS変換のモナディック変換による分解
- 存在型を備えたCurry流型付きラムダ計算のサブジェクトリダクション
- ジェネリクスにおける型制約の一般化と型分岐の導入
- 形式体系定義言語から導出検査/生成器への変換プログラムのMetaOCamlによる実装
- 回帰分析に基づく量的成分抽出を用いたロボットへの指示パターンの獲得
- 没入型環境における言語・非言語統合指示による複数エージェントインタラクション
- 多地点からの全周画像に基づくHAI用没入型仮想空間の構築
- 継続的な知識構築を支援する知識構造化システムの開発とその利用
- 多人数会話における発話の引き取りに伴うジェスチャの分析
- 博物館展示説明における身体配置の影響
- 符号化ダイバージェンスを用いたクラス分類のためのオンラインアルゴリズム
- 係り受け構造を用いた応答発話規則の帰納的学習
- 分散データベースからのプライバシー保護頻出飽和パターン発見手法の提案
- ギター奏者と合奏する音楽ロボットのためのパーティクルフィルタを用いた視聴覚統合ビートトラッキング
- isFAを用いた時間周波数領域における実音声信号のブラインド音源分離
- 神経力学モデルによる予測可能性を用いた視野内動領域からの身体識別及び身体図式獲得
- 現実物体を介した形状の異なる仮想物体の操作
- プライバシ保護顔画像検索システムの暗号鍵に適した顔特徴の量子化法
- キッチン構成に不変な調理者の位置情報に基づく調理動作の推定
- 項目反応理論に基づく理解度と振る舞いの関係性
- 確信度を用いた特徴選択によるカメラ間人物対応付け
- キーワード検索における検索結果の増分的拡張
- 投稿日時とユーザの広がりに基づくマイクロブログ記事の分類手法薦
- ニュース記事の内容と構造特徴を考慮した因果関係マイニング
- ユーザ体験指向のマイクロブログの組織化と検索に関する研究
- リンク解析に基づくWebページの理解容易性評価
- ユーザの視線情報を利用した検索意図推定とそれに基づく情報探索支援
- モバイル協調検索のための閲覧情報および検索結果の共有
- 画像に関する時間情報の推定と画像検索への適用
- Webからの類似事象の抽出
- 複数文書間の意味的関係の抽出と提示による文書ナビゲーション
- Webページ中のノード間の等位関係の発見
- 評判情報に基づく言語サービスの選択
- サービス指向デザインにおける並行プロトタイピング
- 逐次参加型投票メカニズムの分析
- 経済合理性の観点からの評判データ集約法の分析
- 境界のある直線上および格子上の量子ウォーク
- 直線上4点3サーバ問題に対する乱択アルゴリズム
- 入札ベクトルの段数を用いたオークションの性能評価
- 希望リスト調整による男性最良安定マッチングの改善可能性判定
- ナップサック問題に対する定数時間近似アルゴリズム
- ハラリィの一般化三並べの変種‐共喰い動物ゲーム
- 2ビットBoothを適用した4-2加算木乗算器のテスト容易化
- 偶奇ブロックテスト法による故障検査容易な桁上げ飛び越し加算器
- 単一磁束量子回路を用いたビットスライス乗算器
- 論理回路の高位合成における動作記述内の条件分岐での資源共有
- Dalvik VMにおけるBiBoPアロケータの実装と評価
- アンビエント計算に基づく低水準言語のJavaScriptによる実装
- 並列言語Tascellの通信機能強化と多体問題への応用