「プログラミング・シンポジウム」へ戻る
第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