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


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

日程
2015年1月9日(金) 11:30 受付開始(予定)
2015年1月9日(金) 13:00 開会
2015年1月11日(日) 12:10 閉会
会場
ラフォーレ倶楽部伊東温泉湯の庭

第1日 1月9日

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

セッション1 13:20 - 14:40   座長: 田中 哲朗(東京大学)

視覚化と穴埋め問題を組み合わせた初学者のためのプログラミング学習ツールの提案
大泉良介,岩崎英哉 (電気通信大学)
札譜データの学習を用いた大貧民モンテカルロプレイヤの強化
岡和人,松崎公紀 (高知工科大学)

セッション2 15:00 - 17:00   座長: 馬谷 誠二(京都大学)

ScalaによるFPGAアプリケーション開発用DSLの設計
三好健文 (わさらぼ)
脅威トレースのためのシステムモデル記述言語の実装
山口凌,熊野修平,村上隆俊,小出洋 (九州工業大学)
コードクローンに基づく括り出し法
那須孝志,滝本宗宏 (東京理科大学)

スポンサ企業・プレゼンテーション,ポスターセッション紹介,各種報告 17:00 ~ 18:00

夕食 18:00

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

<デモ> ビスケットの教育向けコンパイラ
原田康徳 (NTT)
<ポスター・デモ> 実践的課題を題材としたシステム開発教育の提案
齊藤光俊 (新潟経営大学)
<デモ> ScalaによるFPGAアプリケーション開発用DSLの設計
三好健文 (わさらぼ)
<デモ> 環境にメソッドを直接格納する新しいオブジェクトシステムの提案
林拓人,前田敦司 (筑波大学)
<デモ> 脅威トレースのためのシステムモデル記述言語の実装
山口凌,熊野修平,村上隆俊,小出洋 (九州工業大学)
<ポスター> COINSとLLVMの連携による例外処理対応とその評価
産一傑,川端英之,北村俊明 (広島市立大学)
<デモ> 視覚化と穴埋め問題を組み合わせた初学者のためのプログラミング学習ツールの提案
大泉良介,岩崎英哉 (電気通信大学)
<デモ> スマートグラスを用いたログイン認証の試作
石川寛朗,鈴木宏哉,山口利恵 (東京大学)

第2日 1月10日

セッション3 9:00 - 10:20   座長: 岩崎 英哉(電気通信大学)

GPMとそのプログラム
和田英一 (IIJ技術研究所)
TeXによる言語処理系の実装
白田靜哉

セッション4 10:40 - 12:00   座長: 竹内 郁雄(IPA)

ビスケットの教育向けコンパイラ
原田康徳 (NTT)
文法最小化を目指した日本語プログラミング言語「敷島」の構想
大岩 元 (慶応義塾大学),中鉢欣秀 (産業技術大学院大学)

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

縮退パラメトリック発振器ネットワークを用いたコヒーレントイジングマシーン
山本喜久 (革新的研究開発推進プログラム(ImPACT)/スタンフォード大学ギンツトン研究所)
組み合わせ最適化問題を解くコヒーレントイジングマシンのベンチマークとその応用
宇都宮聖子 (国立情報学研究所)

セッション5 15:40 - 17:00   座長: 中野 圭介(電気通信大学)

Agda による型推論器の実装の試み
門脇香子,浅井健一 (お茶の水女子大学)
環境にメソッドを直接格納する新しいオブジェクトシステムの提案
林拓人,前田敦司 (筑波大学)

山内賞表彰・受賞講演17:20 - 18:00   座長: 石畑 清(明治大学)

夕食 18:00

夜のセッション 19:30~

第3日 1月11日

セッション6 9:00 - 10:20   座長:疋田 敏朗(トヨタIT開発センター)

おいしそうな料理写真撮影を支援するシステムの検討
柿森隆生,岡部誠,尾内理紀夫 (電気通信大学)
オンラインゲームにおけるゲームバランスの自動調整手法の提案
中山心太

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

脅威トレースの並列分散化
松元拓也,三牧麻美,神武克海,小出洋 (九州工業大学)
ifarm: インライン重複除外機構を導入した並列分散ファイルシステム
松宮遼 (電気通信大学),佐々木慎 (電気通信大学),高橋一志 (電気通信大学,CREST),大山 恵弘 (電気通信大学,CREST)

閉会 12:00-12:10


Sponsored by
Fixstars