第66回プログラミング研究会 プログラム

10月11日（木）＠理1号館552号室

10:45〜12:15

(1) Parallel Skeletons for Sparse Matrices in SkeTo Skeleton Library
    唐澤雄気，岩崎英哉（電通大）

(2) リスト上の最大マーク付け問題を解く並列プログラムの導出
    松崎公紀，胡 振江，武市正人（東大）

13:15〜14:45

(3) A Type System for Dynamic Delimited Continuations
    米澤拓央，亀山幸義（筑波大）

(4) 多相レコード型に基づくRubyプログラムの型推論
    松本宗太郎，南出靖彦（筑波大）

15:00〜16:30

(5) Evaluation of a Visual Programming Language in the Class Room
    渡部有隆，ニコライ・ミレンコフ，吉岡廉太郎（会津大）

(6) Code Generator from Cyberfilm Specifications and an Example of Code
    Generation Process
    根本雅昭，ニコライ ミレンコフ，渡部有隆（会津大）

10月12日（金）＠理学部Ａ館322号室

10:00〜12:15

(7) セッション型に基づく高信頼ネットワークプログラムの関数型言語による実装手法
    今井敬吾，結縁祥治，阿草清滋（名大）

(8) オブジェクト毎にセキュリティ制御可能なtaintモデル
    渥美清隆（鈴鹿高専），増山 繁（豊技大）

(9) マッシュアップ指向のWiki型プログラミングシステム
    加藤大志 (NEC)