スポンサーリンク
一般社団法人日本ソフトウェア科学会 | 論文
- クラス定義の発展と自己反映計算によるその対処
- オブジェクト指向コンピューティング特集の編集にあたって (オブジェクト指向コンピューティング)
- Introduction to Logic Programming, Christopher John Hogger, Academic Press, 1984.
- ラムダ計算とそのモデル「カルテシアン閉カテゴリ」によるCOMMON LISPの解釈と新しい処理系 (関数型プログラミング)
- 人工知能の哲学
- FAQモバイルエージェント(特集・新世紀フォーラム)
- モバイルエージェント
- 英才教育と博士課程の充実を
- WOOC'89に参加して
- 数学研究への計算機の応用 : 数式処理を中心として
- ICFP/PEPM '97会議報告
- ソフトウェアでアメリカを追い越す日
- GPSS処理系の比較
- 文法推論に基づいた翻訳文法の学習方式
- ソフテクノアメニティ社会への道
- 項書換え系の解析・検証・変換のための視覚的支援手法 (ソフトウェア工学の基礎)
- P2P技術がネットワークインフラに及ぼす影響と課題(サイバー増大号)
- PT関数の逆関数を定義するTRSの生成
- 右辺のみに現れる変数を持つ項書換え系の計算モデル
- 右辺のみに現れる変数を持つ線形構成子項書換え系の計算の効率化