情報処理学会 プログラミング研究会
第68回 2008-03-17 ~ 2008-03-18 日本アイ・ビー・エム東京基礎研究所
(68-1) SIMD命令を用いるUTF-8文字列デコード処理の高速化
井上 拓，小松 秀昭，中谷 登志男 (日本IBM)
(68-2) SH-3向けTLBプリロード手法の提案
山崎 智広，千葉 雄司，土居 範久 (中央大学)
(68-3) CPU の条件実行機能に対応した型つきアセンブリ言語
飯塚 大輔，前田 俊行，米澤 明憲 (東京大学)
(68-4) 純関数型言語の処理系における効率的な枝刈り機構の実装
田村 知博，高野 保真，岩崎 英哉 (電気通信大学)
(68-5) 再帰的定義を可能にする述語論理の証明支援系上の実装
矢田部 俊介 (産業技術総合研究所)
(68-6) ゲームプログラムに適したリアルタイム性の高いデバッガの提案と実装
丹野 治門 (電気通信大学)
(68-7) ドメイン特化型言語に対するエディタの自動生成手法
佐々木 晃，須賀 康行 (法政大学)
(68-8) 抽象状態同期による高機能ロックの実装と評価
大木 敦雄，久野 靖 (筑波大学)
(68-9) マルチコア向け並列プログラミングモデルの設計と実装
境 隆二，加藤 宣弘，保科 聡，島田 智文 (東芝)
(68-10) 型エラースライシングによるデッドロックの原因特定
飯村 枝里，小林 直樹 (東北大学)，末永 幸平 (東京大学)
(68-11) 動的閾値を用いた構文エラー処理
竹森 彬，木山 真人，芦原 評 (熊本大学)
(68-12) タプル空間によるブラウザ間通信を備えたScheme処理系の開発
原 悠，鵜川 始陽，湯淺 太一，八杉 昌宏 (京都大学)
(68-13) 潜在帰納法を利用した手続き型プログラム検証の試み
古市 祐樹，西田 直樹，酒井 正彦，草刈 圭一朗，坂部 俊樹 (名古屋大学)
(68-14) Featherweight Javaを対象としたプログラム変換に対する型システムの提案
草野 直樹，鎌田 十三郎 (神戸大学)，川上 祐介 (神戸大学/ソニー)