https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&indexId=985
No.SIG4(PRO3)
情報学広場:情報処理学会電子図書館
2009-08-10T14:19:24+09:00
2009-06-23T00:00:00+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=17000&itemNo=1
プログラミング研究会論文誌編集委員会
「情報処理学会論文誌 : プログラミング」の編集について
2009-06-30T00:33:30+09:00
2009-06-30T00:33:30+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=17001&itemNo=1
MUNEHIRO, IWAMI
MUNEHIROIWAMI
YOSHIHITO, TOYAMA
YOSHIHITOTOYAMA
Simplification Ordering for Higher-Order Rewrite Systems
2009-06-30T00:33:30+09:00
2009-06-30T00:33:30+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=17002&itemNo=1
村上, 昌己
村上昌己
線形論理を用いた逐次型プロセスの並列実行
2009-06-30T00:33:30+09:00
2009-06-30T00:33:30+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=17003&itemNo=1
戸田, 洋三
戸田洋三
萩谷, 昌己
萩谷昌己
タクティクからのプログラム抽出とその応用
2009-06-30T00:33:30+09:00
2009-06-30T00:33:30+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=17004&itemNo=1
春名, 修介
春名修介
坂田, 俊幸
坂田俊幸
富永, 宣輝
富永宣輝
漆原, 誠一
漆原誠一
田中, 裕久
田中裕久
湯川, 博司
湯川博司
C++言語における機器組み込み向け最適化手法
2009-06-30T00:33:30+09:00
2009-06-30T00:33:30+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=17005&itemNo=1
八杉, 昌宏
八杉昌宏
動的スコープの利用による並列言語の同期・例外処理の階層的構造化
2009-06-30T00:33:30+09:00
2009-06-30T00:33:30+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=17006&itemNo=1
岩井, 輝男
岩井輝男
中西, 正和
中西正和
Snapshot型並列GCにおけるルート挿入時間の削減
2009-06-30T00:33:30+09:00
2009-06-30T00:33:30+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=17007&itemNo=1
富樫, 敦
富樫敦
金指, 文明
金指文明
π計算に対する様相証明システム
2009-06-30T00:33:30+09:00
2009-06-30T00:33:30+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=17008&itemNo=1
植田, 佐知子
植田佐知子
木村, 晋二
木村晋二
渡邉, 勝正
渡邉勝正
オブジェクト指向プログラミングにおける平文形式の仕様の生成について
2009-06-30T00:33:30+09:00
2009-06-30T00:33:30+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=17009&itemNo=1
吉田, 忠行
吉田忠行
赤間, 清
赤間清
宮本, 衛市
宮本衛市
一階論理制約の等価変換の正当性
2009-06-30T00:33:30+09:00
2009-06-30T00:33:30+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=17010&itemNo=1
地引, 昌弘
地引昌弘
芦原, 栄登士
芦原栄登士
大木, 敦雄
大木敦雄
久野, 靖
久野靖
分散指向言語におけるオブジェクト外部情報の利用
2009-06-30T00:33:30+09:00
2009-06-30T00:33:30+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=17011&itemNo=1
YOSHINORI, SHIGETA
YOSHINORISHIGETA
KIYOSHI, AKAMA
KIYOSHIAKAMA
EIICHI, MIYAMOTO
EIICHIMIYAMOTO
A Specialization System for Domain Variables and Equivalent Transformation for Non-Equality Constraints
2009-06-30T00:33:30+09:00
2009-06-30T00:33:30+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=17012&itemNo=1
松岡, 聡
松岡聡
加法性を持つ拡張インタラクション・ネット : 線形論理に基づく新しいプログラミング言語
2009-06-30T00:33:30+09:00
2009-06-30T00:33:30+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=17013&itemNo=1
畠, 俊一
畠俊一
大鎌広
藤原, 祥隆
藤原祥隆
イベントループの分散カプセル化によるGUIフレームワーク : Partskit
2009-06-30T00:33:30+09:00
2009-06-30T00:33:30+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=17014&itemNo=1
KIYOSHI, AKAMA
KIYOSHIAKAMA
HIDEKATSU, KOIKE
HIDEKATSUKOIKE
EIICHI, MIYAMOTO
EIICHIMIYAMOTO
Generating Equivalent Transformation Rules from Specifications of Problems
2009-06-30T00:33:30+09:00
2009-06-30T00:33:30+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=17015&itemNo=1
金指, 文明
金指文明
陸暁松
富樫, 敦
富樫敦
システム要求記述と形式仕様の導出 : デバッグ結果の反映方法
2009-06-30T00:33:30+09:00
2009-06-30T00:33:30+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=17016&itemNo=1
金指, 文明
金指文明
塚崎, 悟
塚崎悟
富樫, 敦
富樫敦
π計算に対する視覚化システム
2009-06-30T00:33:30+09:00
2009-06-30T00:33:30+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=17017&itemNo=1
南, 俊朗
南俊朗
大谷, 武
大谷武
沢村, 一
沢村一
論証プログラミング
2009-06-30T00:33:30+09:00
2009-06-30T00:33:30+09:00