情報処理学会 プログラミング研究会
第18回 1998-03-23 ~ 1998-03-24 電気通信大学 (23日:並列分散, 24日PRO個別)
(18-1) 動的負荷分散を用いたDPマッチングの並列処理
酒井 秀宣，松尾 啓志，岩田 彰 (名古屋工業大学)
(18-2) 超並列項書換えシステムの実装と評価
平田 寛道，五百蔵 重典，緒方 和博，二木 厚吉 (北陸先端科学技術大学院大学)
(18-3) A Process Algebra Debugger for Testing Equivalences with Visual LTS Manipulation
平手 孝，結縁 祥治，坂部 俊樹，稲垣 康善 (名古屋大学)
(18-4) オブジェクト指向HDLに向けた自律再構成可能アーキテクチャ
小西 隆介，小栗 清，永見 康一，塩澤 恒道，伊藤 秀之 (NTT)
(18-5) 準弱双模倣性をもとにした仕様の段階的合成方法
磯部 祥尚，佐藤 豊，大蒔 和仁 (電子技術総合研究所)
(18-6) AgentSpace: 高階モーバイルエージェントシステム
佐藤 一郎 (お茶の水女子大学)
(18-7) BDIアーキテクチャを用いた分散協調戦略選択機構
山崎 賢治，楢崎 修二，牛島 和夫 (九州大学)
(18-8) Alpha-chipマシン上のPHL処理系について
佐藤 圭史，青木 徹，寺島 元章 (電気通信大学)
(18-9) Javaにおける分散開発環境の研究
小池 誠，岩澤 京子 (東京農工大学)
(18-10) 通信プロトコルの回復処理における設計誤りの Real-Time Temporal Logic を用いた検出
長野 伸一，角田 良明，菊野 亨 (大阪大学)
(18-11) 命題論理に基づいた並行システムの仕様記述
菅原 佳菜，高橋 薫 (仙台電波高専)
(18-12) ATMスイッチにおける三段階スケジューリング法の提案とその評価
西尾 嘉晃，藤田 聡，山下 雅史 (広島大学)
(18-13) 問題のサイズより小さい再構成メッシュ上でのソーティングアルゴリズム
松前 進，笹田 良治，都倉 信樹 (大阪大学)
(18-14) 固定サイズの再構成メッシュ上で凸包を求めるアルゴリズム
笹田 良治，松前 進，都倉 信樹 (大阪大学)
(18-15) リングネットワーク上での排他制御問題に対する故障封じ込め自己安定アルゴリズム
千星 裕，桝田 秀夫，辻野 嘉宏，都倉 信樹 (大阪大学)
(18-16) 日本語: n次元立方体の線形配置のコストについて
橋口 攻三郎，神保 秀司，山本 治 (岡山大学)
(18-17) Parallel selection algorithms for CGM and BSP with application to sorting
藤原 暁宏 (九州工業大学)，石水 隆，井上 美智子，増澤 利光 (奈良先端科学技術大学院大学)
(18-18) 並行オブジェクト指向言語における再帰にともなうデッドロックの回避機構の設計と実装
柳川 和久，佐藤 直人，大澤 範高，弓場 敏嗣 (電気通信大学)
(18-19) ページのプリフェッチングにおける動的調整機構
小野 貴寛，大澤 範高，弓場 敏嗣 (電気通信大学)
(18-20) 木再帰プログラムからの再帰還元
二村 良彦 (早稲田大学)，大谷 啓記 (NTTコムウェア)，筧 一彦，坂本 巨樹，小西 善二郎 (早稲田大学)
(18-21) 線形再帰プログラムからの再帰除去実現とその問題点
坂本 巨樹，川本 史生，小西 善二郎，二村 良彦 (早稲田大学)
(18-22) 一般部分計算における形式的推論体系の利用について
湯浅 能史 (早稲田大学)
(18-23) PaiLispプログラミングのための視覚的ツールの試み
三森 哲，伊藤 貴康 (東北大学)
(18-24) SSA形式を中間言語とするコンパイラの属性文法による定式化と開発
佐々木 晃，佐伯 賢司，奥平 雄吾，廣田 哲志，市川 哲生，佐々 政孝 (東京工業大学)