情報処理学会電子図書館-論文誌　プログラミング（PRO）

Home

論文誌(トランザクション)

論文誌　プログラミング（PRO）一覧

論文誌　プログラミング（PRO）
Vol.40 No.SIG07 PRO4

まえがき
1.	「情報処理学会論文誌 : プログラミング」の編集について
	プログラミング研究会論文誌編集委員会
通常論文
1.	オブジェクトの世代を考慮に入れたインクリメンタルなごみ集め処理
	小池龍信、岩井輝男、中西正和
2.	宣言的プログラムのアンフォールド変換
	赤間清、繁田良則、宮本衛一
3.	ハイブリッドガーベッジコレクションの実装と評価
	宮本崇生、寺島元章
4.	部分冗長コードの多重ループ外への一挙移動方式
	佐瀬拓矢、鈴木貢、渡邊坦
5.	ベクターコンポーネント：コンポーネント結合による差分プログラミング
	上田哲郎、久野靖
6.	場所の概念を備えたJava言語とその処理系
	渡辺昌寛、伊藤貴康
7.	プログラマに単一マシンビューを提供する分散オブジェクトシステムの実現
	首藤一幸、根山亮、村岡洋一
発表概要（論文はありません。概要のみ（1ページ）になります。）
1.	エージェント指向点字図書館情報システム
	神田英信、水野舜
2.	同期操作を隠蔽した並列プログラミングライブラリの実装と評価
	手塚忠則、末吉敏則、有田五次郎
3.	緩やかな分散オブジェクト連携モデル(Field-Reactor Model)における拡張型契約ネットプロトコル-FRMにおけるメッセージパターン連携-
	岩尾忠重、岡田誠、高田裕志
4.	Javaベース広域並列処理環境の構築
	山本孝、手塚忠則、Bernady O.Apdehan、有田五次郎
5.	等価変換パラダイムにおける制約充足問題のプログラミング
	繁田良則、赤間清、宮本衛一
6.	Generating Diagnostic Information for Probabilistic Processes
	SHOJI YUEN
7.	線形論理から非同期π計算への変換における等価関係保存について
	森大輔、村上昌己
8.	変数代入構造上の等価変換の基礎理論
	赤間清、小池秀勝、宮本衛市
9.	分子計算から見た平行計算?Making Chemical Abstract Machines More Chemical?
	萩谷昌己、西川明男
10.	Lazy Reference Count を用いた Linear Lisp
	太田誠、岩井輝男、中西正和
11.	ISLisp処理系の開発と複合他システムインタフェースについて
	高橋順一、五味弘、各務寛之、山田雅彦、新谷義弘、長坂篤、梅村恭司、湯淺太一
12.	RISC向けの高性能中間コードによるマルチプラットホーム実行環境の実現
	黄顔上、鈴木貢、渡邊坦
13.	Java向け静的コンパイラによるクラス間最適化
	千葉雄司
14.	自然言語記述からプログラムへの生成を支援するシステムの提案
	任福継、財満康通
15.	高階等式論理に基づいたIF-THEN-EHILEプログラムの等価性の導出
	海老原一郎
16.	等価変換ルールの生成方法の理論的基礎
	赤間清、小池英勝、宮本衛市
17.	変数条件に基づく原始帰納関数の再帰融合について
	湯浅能史
18.	標準プログラム言語の国際化
	今城哲二、佐藤敬幸、木戸彰夫、野田誠、高田正之、越田一郎、中村克彦、湯淺太一、植村俊亮
19.	日本語プログラム言語文献解題
	今城哲二、植村俊亮
20.	使いやすさ・透過性・拡張性の高い分散オブジェクトシステムRyORB
	根山亮、首藤一幸、村岡洋一