スポンサーリンク
日本ソフトウェア科学会 | 論文
- 脳科学者と計算機科学者の対話
- 構成管理機能に基づいた統合環境構築基盤 : LifeLine (ソフトウェア生産環境)
- データ型に着目した形式仕様記述からの状態遷移系の抽出(サイバー増大ページ論文概要,新しいソフトウェアの実現,サイバー増大号)
- 理論と実際
- 端末やサービスに依存しないWebアプリケーション記述モデル
- 遺伝的アルゴリズムと機械学習
- 自然言語の形式的意味論
- 分散・並列処理システムの性能評価国際会議
- Concurrent IntelligentPadとアクティブ・パッドの応用
- Foundations of Disjunctive Logic Programming, J. Lobo, J. Minker, and A. Rajasekar, The MIT Press, 1992, 307 pages
- プログラミング言語ML
- クヌース・ベンディクスの代りに米田 : モノイドの場合
- シンセティック・メディアシステム:IntelligentPad
- Real-Time Machオペレーティングシステム開発の経験
- 分散計算のための局所時間性に基づく形式系
- コラム「計算機科学とインターネット」の開設にあたって
- 社会的エージェントにおける義務と権利
- CastingNet : 情報の組織化と可視化ブラウジングのためのハイパーメディアシステム ( 情報の可視化)
- 第7回ロジックプログラミング国際会議に出席して
- 一般化したunfold/fold技法を用いた論理プログラムの変換合成 (プログラム合成/変換)