スポンサーリンク
九州工業大学情報工学部知能情報工学科 | 論文
- スキーママッチングを用いたLK類推証明システムの開発
- スキーママッチングとその計算量
- スキーママッチングにおける計算の複雑さ (計算モデルとアルゴリズム)
- スキーママッチングの計算の複雑さ
- 古典的証明に基づく関数型言語の構築
- 複数文字列照合技法を用いたEFS処理系の実現
- 複数のパーザを利用した統計的部分係り受け解析
- 統計的部分係り受け解析における係り受け確率の利用法 : コーパス中の構文タグ誤りの検出
- 省電力に配慮したスケーラブルな命令ウインドウの提案と評価(省電力アーキテクチャ)
- 省電力に配慮したスケーラブルな命令ウインドウの提案と評価
- TCPを用いた分散環境のための電子黒板システムとその性能評価
- 言語処理系の生成系MYLANGによるNBSG/PDプリコンパイラの試作
- ガーベッジコレクションを必要としない文字列処理機構
- 工学系学生のための情報処理集合教育環境の設計と構築
- ALT'96報告
- テキスト変換システムの学習可能性
- A Translation Procedure for Elementary Formal Systems
- 正規トレース集合を用いた並行分散プロセスの合成
- 仮想人間エージェントによるWWW上でのプレゼンテーション
- プレゼンテーションのための仮想人間エージェント