情報処理学会 プログラミング研究会

第66回 2007-10-11 ~ 2007-10-12 名古屋大学 理1号館552号室, 理学部A館322号室

(66-1) Parallel Skeletons for Sparse Matrices in SkeTo Skeleton Library
    唐澤 雄気,岩崎 英哉 (電気通信大学)
(66-2) リスト上の最大マーク付け問題を解く並列プログラムの導出
    松崎 公紀,胡 振江,武市 正人 (東京大学)
(66-3) A Type System for Dynamic Delimited Continuations
    米澤 拓央,亀山 幸義 (筑波大学)
(66-4) 多相レコード型に基づくRubyプログラムの型推論
    松本 宗太郎,南出 靖彦 (筑波大学)
(66-5) Evaluation of a Visual Programming Language in the Class Room
    渡部 有隆,ニコライ ミレンコフ,吉岡 廉太郎 (会津大学)
(66-6) Code Generator from Cyberfilm Specifications and an Example of Code Generation Process
    根本 雅昭,ニコライ ミレンコフ,渡部 有隆 (会津大学)
(66-7) セッション型に基づく高信頼ネットワークプログラムの関数型言語による実装手法
    今井 敬吾,結縁 祥治,阿草 清滋 (名古屋大学)
(66-8) オブジェクト毎にセキュリティ制御可能なtaintモデル
    渥美 清隆 (鈴鹿高専),増山 繁 (豊橋技術科学大学)
(66-9) マッシュアップ指向のWiki型プログラミングシステム
    加藤 大志 (日本電気)