情報処理学会 プログラミング研究会

第21回 1998-10-30 ~ 1998-10-31 静岡大学情報学部(浜松市) (理論特集)

(21-1) π計算に対する様相証明システム
    金指 文明,富樫 敦 (静岡大学)
(21-2) Simplification Ordering for Higher-Order Rewrite Systems.
    岩見 宗弘,外山 芳人 (北陸先端科学技術大学院大学)
(21-3) オブジェクト指向プログラミングにおける平文形式の仕様の生成について
    植田 佐知子,渡邉 勝正 (奈良先端科学技術大学院大学)
(21-4) Correctness Proof of Equivalent Transformation Rules for First-order Logical Constraints. (一階論理制約の等価変換の正当性)
    吉田 忠行,赤間 清,宮本 衛市 (北海道大学)
(21-5) 分散指向言語におけるオブジェクト外部情報の利用
    地引 昌弘 (筑波大学),芦原 栄登士 (光栄),大木 敦雄,久野 靖 (筑波大学)
(21-6) A Specialization System for Domain Variables and Equivalent Transformation for Not-Equal Constraints.
    繁田 良則,赤間 清,宮本 衛市 (北海道大学)
(21-7) Additive Interaction Nets: Yet Another Linear Logic Programming Language. (加法性を持つ拡張インタラクション・ネット:線形論理に基づく新しいプログラミング言語)
    松岡 聡 (名古屋工業大学)
(21-8) イベントループの分散カプセル化によるGUIフレームワーク:Partskit
    畠 俊一,大鎌 広,藤原 祥隆 (北見工業大学)
(21-9) Generating Equivalent Transformation Rules from Specifications of Problems.
    赤間 清,小池 秀勝,宮本 衛市 (北海道大学)
(21-10) 線形論理を用いた逐次型プロセスの並列実行
    村上 昌己 (岡山大学)
(21-11) システム要求記述と形式仕様の導出 - デバッグ結果の反映方法 -
    金指 文明,陸 暁松,富樫 敦 (静岡大学)
(21-12) タクティクを用いたモデル検査系の合成
    戸田 洋三 (千葉大学),萩谷 昌己 (東京大学)
(21-13) π計算に対する視覚化システム
    金指 文明,塚崎 悟,富樫 敦 (静岡大学)
(21-14) C++言語における機器組み込み向け最適化手法
    春名 修介,坂田 俊幸,富永 宣輝,漆原 誠一,田中 裕久,湯川 博司 (松下電器産業)
(21-15) 動的スコープの利用による並列言語の同期・例外処理の階層的構造化
    八杉 昌宏 (京都大学)
(21-16) 論証プログラミング
    南 俊朗,大谷 武 (富士通研究所),沢村 一 (新潟大学)
(21-17) Snapshot型並列GCにおけるルート挿入時間の削減
    岩井 輝男,中西 正和 (慶應義塾大学)