「プログラミング・シンポジウム」へ戻る


第55回プログラミング・シンポジウム プログラム

日程
2014年1月10日(金) 13:00 開会
2014年1月12日(日) 12:10 閉会
会場
ラフォーレ倶楽部伊東温泉湯の庭
Sponsored by サイボウズ株式会社

第1日 1月10日

開会,ガイダンス 13:00-13:20

セッション1 13:20 ~ 15:20   座長:丸山一貴(明星大学)

一般人にプログラミングの重要さを伝える
原田康徳 (NTT)
物語の内容想起支援インタフェースの開発
田中翔太郎,岡部誠,尾内理紀夫 (電気通信大学)
流体の3次元化による動画作成支援
山口尊嗣,岡部誠,尾内理紀夫 (電気通信大学)

セッション2 15:40 ~ 17:00   座長:前田敦司(筑波大学)

メモリ階層対応ダイナミックコンパイレーション機構の動作原理とコードプロファイリング
佐藤幸紀 (北陸先端科学技術大学院大学)
JVMバイトコードへの低水準操作を簡潔に記述可能なマクロシステム
馬谷誠二 (京都大学)

ポスターセッション紹介,報告・表彰 17:00 ~ 18:00

夕食 18:00

ポスター・デモセッション,GPCC 19:30 ~ 21:00

<ポスター・デモ> 強い型によるOSの開発手法の提案
岡部究 (Metasepi Project)
<ポスター> 手続き型言語からのHaskellコード変換
竹岡尚三,倉光君郎 (株式会社アックス,横浜国立大学)
<デモ> 一般人にプログラミングの重要さを伝える
原田康徳 (NTT)
<デモ> JVMバイトコードへの低水準操作を簡潔に記述可能なマクロシステム
馬谷誠二 (京都大学)
<デモ> 変数名を用いないプログラミングの試み
服部隆志 (慶應義塾大学)
<デモ> GreenTeaScript:ユニバーサルスクリプトに向けて
倉光君郎,若松悠樹,内田篤,関口渚,松村哲郎 (横浜国立大学)

第2日 1月11日

セッション3 9:00 ~ 10:20   座長:松崎公紀(高知工科大学)

Agda での Programming 技術
河野真治 (琉球大学)
変数名を用いないプログラミングの試み
服部隆志 (慶應義塾大学)

セッション4 10:40 ~ 12:00   座長:山田浩史(東京農工大学)

携帯端末における仮想機械でのCPU周波数抑制による消費電力の削減
橘田頼之,鵜川始陽,岩崎英哉 (電気通信大学)
GreenTeaScript:ユニバーサルスクリプトに向けて
倉光君郎,若松悠樹,内田篤,関口渚,松村哲郎 (横浜国立大学)

招待講演 13:20-14:50   座長:辻 尚史(千葉大学)

視覚の数理モデルと錯視図形の設計法
杉原厚吉 (明治大学)

セッション5 15:20 ~ 16:40   座長:竹迫良範(サイボウズ・ラボ株式会社)

リアルタイムセキュリティコンテスト可視化システムの提案
原田悠我,豊田美咲,近藤秀樹,小出洋 (九州工業大学)
無音動画に対する効果音貼付けシステムの開発
鈴木喜也,岡部誠,尾内理紀夫 (電気通信大学)

山内賞受賞講演(予定) 17:00 ~ 18:00   座長:三好健文((株)イーツリーズ・ジャパン)

夕食 18:00

夜のセッション 19:30~

第3日 1月12日

セッション6 9:00 ~ 10:20   座長:鵜川始陽(電気通信大学)

書き換え規則に基づくAPIベース言語拡張のためのCOINSを用いたフレームワークの設計と実装
塩出拓也,川端英之,北村俊明 (広島市立大学)
コンパイラ共通基盤COINSのLLVM向け拡張
酒井宏城,澄川靖信,滝本宗宏 (東京理科大学)

セッション7 10:40 ~ 12:00   座長:江本健斗(九州工業大学)

Cerium Task ManagerにおけるGPUとMultiCore CPUの同時実行
渡真利勇飛,河野真治,小久保翔平 (琉球大学)
ストリーム解析処理に置けるFPGA利用の検討
秋岡明香 (明治大学)

閉会 12:00-12:10