スポンサーリンク
一般社団法人日本ソフトウェア科学会 | 論文
- 特集「インターネット技術」の編集にあたって(●インターネット技術)
- 浮動小数点演算構造と実数体 : 四捨五入で演算を定義した場合
- 利便性の向上と省力化を目的としたネットワークの性能管理システム ipsh (インターネット技術)
- GUIを対象とした線形計算による制約階層解消系の高速化
- ユーザーインターフェースにおける制約解消法の研究動向
- ユーザインタフェースのための線形等式・不等式制約解消系(ソフトウェアシステム)
- ソフトウェアの戦略的進歩と戦術的進歩の協調
- パッドベースシステムによるビジュアルプログラミングシステムの構成
- オブジェクト指向計算モデルにおける例外処理機能の型付
- 「巻頭言」について
- 産総研システム検証研究センター紹介
- 特集「システム検証の科学技術」の編集にあたって
- 特集「続・システム検証の科学技術」の編集にあたって(サイバー増大号)
- 並行オブジェクト指向言語ABCL/c+によるオペレーティングシステム核の記述
- PAD講演, 中国の旅より
- 型理論I (関数型プログラミングと計算の基礎)
- 型理論II
- 型理論III
- 型理論IV
- 抽象データ型の代数的仕様の直接実現系Cdimple (関数型プログラミング)