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

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


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

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

第1日 1月8日

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

セッション1 13:20 - 15:20   座長: 横山 大作(東京大学)

3人の賢者の問題 ―― 愚者は賢者をシミュレートできるか?
竹内郁雄 (東京大学)
「2048」プレイヤの評価関数:1人プレイと対戦プレイでの評価
岡和人,松崎公紀 (高知工科大学)
SATソルバーを用いた制約プログラミングシステムとその応用
宋剛秀 (神戸大学)

セッション2 15:40 - 17:00   座長: 上田 真史(リプレックス株式会社)

有線LAN上のPC画面配信システムTreeVNCの改良
伊波立樹,河野真治 (琉球大学)
Web Components開発におけるドキュメント同時生成手法の提案
海老澤雄太 (電気通信大学),丸山一貴 (明星大学),寺田実 (電気通信大学)

ポスターセッション紹介,各種報告 17:20 ~ 18:00

夕食 18:00

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

<デモ> SATソルバーを用いた制約プログラミングシステムとその応用
宋剛秀 (神戸大学)
<デモ> 有線LAN上のPC画面配信システムTreeVNCの改良
伊波立樹,河野真治 (琉球大学)
<デモ> Web Components開発におけるドキュメント同時生成手法の提案
海老澤雄太 (電気通信大学),丸山一貴 (明星大学),寺田実 (電気通信大学)
<ポスター> 深化する記憶装置階層のための大規模データ処理基盤の提案
松宮遼 (電気通信大学),遠藤敏夫 (東京工業大学),大山恵弘 (電気通信大学)
<ポスター> 下呂数
田中二郎 (開智国際大学)
<ポスター> 有限体積法を高速化するための領域特化言語のC++への埋め込み
伊藤 正勝, 宮島 敬明, 藤田 直行 (宇宙航空研究開発機構)
<ポスター> 定理証明支援系のGUIにおける証明木表示機能の拡張
田中雄太,川端英之,北村俊明 (広島市立大学)
<ポスター> 並行GC中のCPU周波数抑制による消費電力の削減
片岡崇史,鵜川始陽 (高知工科大学)
<ポスター・デモ> DolittleからJavaScriptへのトランスパイル実行
本多佑希 (大阪電気通信大学),長慎也 (明星大学),大村基将 (大阪電気通信大学),
久野靖 (筑波大学),兼宗進 (大阪電気通信大学)
<ポスター> 高等学校情報科における教科担任の現状
中山泰一(電気通信大学),中野由章(神戸市立科学技術高等学校),角田博保(電気通信大学),
久野靖(筑波大学),鈴木貢(島根大学),和田勉(長野大学),萩谷昌己(東京大学),筧捷彦(早稲田大学)

第2日 1月9日

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

移動履歴の匿名化手法の許容解導出に関する検討
疋田敏朗,山口利恵 (東京大学)
構文拡張可能なプログラミング言語をいかに設計するか
赤間仁志 (東京工業大学),川合秀実 (サイボウズ・ラボ)

セッション4 10:40 - 12:00   座長: 小出 洋(九州工業大学)

分散フレームワークAliceのPC画面配信システムへの応用
照屋のぞみ,河野真治 (琉球大学)
Cop: 部品化を指向したWebアプリケーション開発の枠組
山本竜太郎,岩崎英哉 (電気通信大学)

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

機械学習入門
鹿島久嗣 (京都大学)

セッション5 15:00 - 16:20   座長: 中山 心太(Emotion Intelligence)

機械学習を用いたパターン認識による筆者識別
高橋真奈茄,小出洋 (九州工業大学)
日本の東西分割を通じた機械学習手法の評価
宮野祐輔,崔誠云,疋田敏朗,小林良輔,鈴木宏哉,山口利恵 (東京大学)

山内賞表彰・受賞講演・スポンサー講演 16:40 - 18:00   座長: 石畑 清(明治大学)

夕食 18:00

夜のセッション 19:30~

第3日 1月10日

セッション6 9:00 - 10:20   座長: 長 慎也(明星大学)

大学情報入試の必要性と情報入試研究会の活動
中野 由章(神戸市立科学技術高等学校), 久野 靖(筑波大学), 佐久間 拓也(文教大学), 谷 聖一(日本大学),
筧 捷彦(早稲田大学), 村井 純(慶應義塾大学), 植原 啓介(慶應義塾大学), 中山 泰一(電気通信大学),
伊藤 一成(青山学院大学), 角田 博保(電気通信大学), 鈴木 貢(島根大学), 辰己 丈夫(放送大学),
永松 礼夫(神奈川大学), 西田 知博(大阪学院大学), 松永 賢次(専修大学), 山崎 浩二(明治大学)
参照基準から情報教育へ
萩谷昌己 (東京大学)

セッション7 10:40 - 12:00   座長: 鵜川 始陽(高知工科大学)

正規言語の零壱則とその応用について
新屋良磨 (東京工業大学)
GUIテスト効率化のための継続的仕様書インテグレーション
上田真史,岡崎光隆 (リプレックス)

閉会 12:00-12:10


Sponsored by
Cybozu, Inc