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