スポンサーリンク
日本ソフトウェア科学会 | 論文
- 「結合子による高階単一化」再考
- 標数2のある体上の代数方程式の求解
- マルチバージョン並行オブジェクト
- 束縛関係に基づく認証プロトコルの検証(セキュアコンピューティング)
- BDDを用いた2方向CTL論理式充足可能性決定手続きの実装(サイバー増大ページ論文概要,サイバー増大号)
- 動的環境下での進化学習システムの特徴と適応のメカニズム
- 音声補完 : 音声入力インタフェースへの新しいモダリティの導入(インタラクティブシステムとソフトウェア)
- 対話型ソフトウェア構築のためのマルチエージェント
- テキストエディタにおける能動的ヘルプシステム
- 引用文献の同定
- 分類と階層化に基づく情報提供エージェントの実現
- 項書換えを用いた安全性検証の組織化(ソフトウェア工学の基礎)
- 再帰的プログラムの意味論とトレース付きモノイダルカテゴリ
- COMPSAC '90に参加して
- FORTRAN用並列処理解析プログラム Parafrase
- Knuth-Bendixの完備化手続きとその応用
- Workshop on Languages and Constraintsの報告
- 第15回ソフトウェア工学国際会議(ICSE 15)
- 大会発表論文の掲載について
- 特集「新世紀フォーラム」について(特集・新世紀フォーラム)