スポンサーリンク
一般社団法人日本ソフトウェア科学会 | 論文
- 計算過程の部分評価 : コンパイラ・コンパイラの一方法
- 「インターネット技術」の編集にあたって (インターネット技術)
- コンピュータプログラムの保護
- ラムダ計算のカテゴリー論的モデルに基づいた計算体系 (関数型プログラミング)
- ラムダ計算
- 認知的負荷の少ないインタラクティブ描画方式の提案 (インタラクティブソフトウェア)
- 等式付き書換え系における多ソート不変性
- 関数型プログラムにおける遅延型を用いたストリクトネス解析アルゴリズムの正当性と停止性
- 「インターネットコンファレンス 97」報告
- ソフトウェア科学の発展を期待して
- さきがけ「機能と構成」領域研究報告
- 特集「ディペンダブルソフトウェア」の編集にあたって
- 項書換え系としての論理プログラム
- Σモノイド : メタ変数と明示的環境を持つ高階構文(サイバー増大ページ論文概要,サイバー増大号)
- 高階書換え系の停止性のための代数モデル(サイバー増大ページ論文概要,新しいソフトウェアの実現,サイバー増大号)
- 対話型照明支援ツールPVSの紹介(続・システム検証の科学技術,サイバー増大号)
- PVSを用いた遷移系簡約化の検証(サイバー増大ページ論文概要,サイバー増大号)
- カテゴリー理論とプログラミング : カルテシアン閉カテゴリー (関数型プログラミングと計算の基礎)
- 関数型プログラミングと計算の基礎について (関数型プログラミングと計算の基礎)
- コンビネータによる言語処理系