情報処理学会 プログラミング研究会
第12回 1997-03-28 NTT 武蔵野
(12-1) 手続きの完全な入出力について
大場 克彦 (京都医療技術短大)，貴島 寿郎 (豊橋技術科学大学)，湯淺 太一 (京都大学)
(12-2) tactic からのプログラム抽出
戸田 洋三 (千葉大学)，萩谷 昌己 (東京大学)
(12-3) π計算の fair な testing による等価性判別
峰久 美香，村上 昌己 (岡山大学)
(12-4) Nondeterministic Linear Logic
松岡 聡 (名古屋工業大学)
(12-5) クライアント GUI アプリケーション向けのビジュアルプログラミング環境
今村 大輔，小山 徳章，植木 克彦，池本 浩幸 (東芝)
(12-6) 定量的なプロセッサ間通信を意識した並列化コンパイラ中間表現の提案
大森 洋一 (奈良先端科学技術大学院大学)
(12-7) 同期モデルに基づく自動並列化コンパイラ
金山 二郎，飯塚 肇 (成蹊大学)