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

日程

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