情報処理学会 プログラミング研究会
第10回 1996-10-31 ~ 1996-11-01 山梨大学
(10-1) 分散メモリ型並列計算機を対象とする並列化トランスレータ
忠政 慎也，小畑 正貴 (岡山理科大学)
(10-2) 並列化コンパイラ TINPAR による非均質計算機環境向けコード生成手法
後藤 慎也，窪田 昌史，田中 利彦，五島 正裕，森 眞一郎，中島 浩，富田 眞治 (京都大学)
(10-3) 動的負荷分散機構を備えた分散 lisp 処理系の実装
嶋田 一郎 (慶應義塾大学)，松井 俊浩 (電子技術総合研究所)，中西 正和 (慶應義塾大学)
(10-4) 関数型言語の分散メモリ上での並列実行における粒度の選定
西出 康司，前田 敦司，中西 正和 (慶應義塾大学)
(10-5) VP リストを用いたデータ並列言語のアクティビティ制御
貴島 寿郎 (豊橋技術科学大学)，湯淺 太一 (京都大学)
(10-6) 双方向環状リストを用いた世代別並列ゴミ集め処理
荻原 拓也，近藤 豪，田中 詠子，中西 正和 (慶應義塾大学)
(10-7) 分散仮想マシンを用いたオブジェクト指向プログラミング環境
地引 昌弘，芦原 栄登士，山下 雄三，上田 哲郎，大木 敦雄，久野 靖 (筑波大学)
(10-8) KLIC におけるゴール・スケジューリング最適化
伊川 雅彦，大野 和彦，五島 正裕，森 眞一郎，中島 浩，富田 眞治 (京都大学)
(10-9) 関数論理型言語の停止性検証
田中 あずさ，中西 正和 (慶應義塾大学)
(10-10) Shortcut Deforestation におけるコストの比較
西田 誠幸，都倉 信樹 (大阪大学)
(10-11) 帰納法に基づく定理証明器によるシストリックアレイの検証
高橋 和子 (三菱電機)，藤田 博 (九州大学)
(10-12) 逐次性 v.s. ストリクト性 -非線形項書換え系の最適化戦略にむけて-
小川 瑞史 (NTT)