コンピュータソフトウェア = Computer software

• 資料種別: 雑誌
• タイトル: コンピュータソフトウェア
• タイトルよみ: コンピュータ ソフトウェア
• 巻次・部編番号: 17(1)-17(6) 20000100-20001100
• 著者・編者: 日本ソフトウェア科学会 編
• 著者標目: 日本ソフトウェア科学会 ニホン ソフトウェア カガッカイ ( 00258002 )典拠
• 出版事項: 東京 : 日本ソフトウェア科学会; 東京 : 岩波書店 (発売)
• 出版年月日等: 2000
• 出版年（W3CDTF）: 2000
• 出版表示等に関する注記: 1巻1号から2巻2号までの出版者: 岩波書店
• 刊行巻次・年月次: 1巻1号 (Apr. 1984)-
• 大きさ: 26cm
• 並列タイトル等: Computer software Computer software; Computer software
• ISSN（掲載誌）: 0289-6540
• ISSN-L（掲載誌）: 0289-6540
• 出版地（国名コード）: JP
• 本文の言語コード: jpn
• NDLC: ZM13
• 一般注記: 本タイトル等は最新号による; 刊行頻度の変更あり; 20巻1号以降の並列タイトル: Computer software
• 所蔵機関: 国立国会図書館
• 請求記号: Z14-1033
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 000000040374; http://id.ndl.go.jp/bib/000000040374
• 目録規則: 国立国会図書館逐次刊行物目録規則

目次

対話 免疫科学者と計算機科学者の対話

特集 新世紀フォーラム

大晦日の草稿 (特集 新世紀フォーラム)

プログラム運算による並列プログラミング (特集 新世紀フォーラム)

21世紀のコンピュータゲーム研究 (特集 新世紀フォーラム)

電子商取引における一般化Vickreyオークションの問題点:架空名義入札に対する頑健性

イベントとプロパティの区別を導入した型階層論理

GUIを対象とした線形計算による制約階層解消系の高速化

マジカルデバイス:実世界ナビゲーションシステムを手軽に構築できる小型デバイス

クラス定義の発展と自己反映計算によるその対処

特集 プログラミング及びプログラミング言語

グラフの探索関数の再帰的定義と変換 (特集 プログラミング及びプログラミング言語)

静的かつ動的な式を許すような部分評価器のための束縛時解析 (特集 プログラミング及びプログラミング言語)

Online Type-Directed Partial Evaluation for Dynamically-Typed Languages (特集 プログラミング及びプログラミング言語)

オブジェクト指向プログラムに対するMessage Not Understoodフォールト検知のための型検査アルゴリズム

特集 インターネット

移動エージェントAgletsのセキュリティ・モデル (特集 インターネット)

REDの安全弁機構の設計と実装 (特集 インターネット)

IPルータによる帯域占有度の高いフロー検出制御機構の実装と評価 (特集 インターネット)

分散型キャッシュシステムにおける通信の定量的分析 (特集 インターネット)

特集 社会・経済におけるマルチエージェント

対話 経済学者と計算機科学者の対話 (特集 社会・経済におけるマルチエージェント)

フォーラム 社会科学におけるエージェントベースアプローチ--その現状と課題 (特集 社会・経済におけるマルチエージェント)

フォーラム ロボカップレスキュープロジェクト--マルチエージェントシステム研究の大規模災害救助への応用を目指して (特集 社会・経済におけるマルチエージェント)

経済学的効用モデルに基づく買い手選好情報の獲得と利用手法の提案 (特集 社会・経済におけるマルチエージェント)

潜在帰納法と書換え帰納法の比較

ポゼッションウェア:「間に合わせ」手法によるアプリケーション構成ツールキット

動的環境下での進化学習システムの特徴と適応のメカニズム

認証プロトコルの検証ツール

メタ項書換え計算における規則中に規則を含む直交メタ項の合流性