https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&indexId=6387
ipsjX000003
No.2
情報学広場:情報処理学会電子図書館
2011-09-16T11:14:23+09:00
2011-03-29T17:02:47+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=73759&itemNo=1
プログラミング研究会論文誌編集委員会
「情報処理学会論文誌 プログラミング」の編集について
2011-03-29T17:04:16+09:00
2011-03-29T17:04:16+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=73760&itemNo=1
Sho, Suzuki
ShoSuzuki
Keiichirou, Kusakari
KeiichirouKusakari
Frederic, Blanqui
FredericBlanqui
Argument Filterings and Usable Rules in Higher-order Rewrite Systems
2011-03-29T17:04:16+09:00
2011-03-29T17:04:16+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=73761&itemNo=1
濱口, 毅
濱口毅
酒井, 正彦
酒井正彦
馬場, 正貴
馬場正貴
阿草, 清滋
阿草清滋
例外処理を持つ関数型プログラムの停止性・非停止性証明法
2011-03-29T17:04:16+09:00
2011-03-29T17:04:16+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=73762&itemNo=1
塚田, 武志
塚田武志
小林, 直樹
小林直樹
文脈自由言語と超決定性言語の包含判定問題の決定可能性の型理論を用いた証明
2011-03-29T17:04:16+09:00
2011-03-29T17:04:16+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=73763&itemNo=1
坂本, 諒
坂本諒
千葉, 雄司
千葉雄司
久保田, 光一
久保田光一
土居, 範久
土居範久
SH4A向けコンパイラにおける0-1整数計画法を使った浮動小数点演算精度指定命令の選択と挿入
2011-03-29T17:04:16+09:00
2011-03-29T17:04:16+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=73764&itemNo=1
伊尾木, 将之
伊尾木将之
千葉, 滋
千葉滋
2つのメソッド呼び出しに関わる最適化を可能にするアスペクト指向言語
2011-03-29T17:04:16+09:00
2011-03-29T17:04:16+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=73765&itemNo=1
水島, 宏太
水島宏太
前田, 敦司
前田敦司
山口, 喜教
山口喜教
最適化Packrat Parserの空間計算量の計算手法の提案
2011-03-29T17:04:16+09:00
2011-03-29T17:04:16+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=73766&itemNo=1
田中, 雄一
田中雄一
大山口, 通夫
大山口通夫
静的単一代入形式を用いたポインタ解析アルゴリズム
2011-03-29T17:04:16+09:00
2011-03-29T17:04:16+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=73767&itemNo=1
白田, 佳章
白田佳章
木山, 真人
木山真人
芦原, 評
芦原評
同一入力位置で複数発生する左再帰へ対応したPackrat Parsingの設計と実装
2011-03-29T17:04:16+09:00
2011-03-29T17:04:16+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=73768&itemNo=1
森畑, 明昌
森畑明昌
松崎, 公紀
松崎公紀
武市, 正人
武市正人
領域限定言語に基づく最適経路問合せ
2011-03-29T17:04:16+09:00
2011-03-29T17:04:16+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=73769&itemNo=1
涌井, 智寛
涌井智寛
沼崎, 隼一
沼崎隼一
三塚, 恵嗣
三塚恵嗣
畠山, 正行
畠山正行
ブラウザ上のWebアプリケーションの応答性を高める実装手法
2011-03-29T17:04:16+09:00
2011-03-29T17:04:16+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=73770&itemNo=1
木村, 紀介
木村紀介
スクリプト言語GavaOneの設計と実装
2011-03-29T17:04:16+09:00
2011-03-29T17:04:16+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=73771&itemNo=1
坪井, 啓明
坪井啓明
前田, 敦司
前田敦司
山口, 喜教
山口喜教
Scheme言語によるリスト構造に特化したXMLデータ処理の効率化と記述性の向上
2011-03-29T17:04:16+09:00
2011-03-29T17:04:16+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=73772&itemNo=1
ipsjX000003
論文誌編集委員会
2011-03-29T17:04:16+09:00
2011-03-29T17:04:16+09:00