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


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

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

第1日 1月11日

開会,ガイダンス 13:30 - 13:40

セッション1 13:40 - 15:00

大衆化におけるプログラミングのバリアフリー
原田康徳 (Digital Pocket LLC)
グラフ並列分散処理のための計算モデルを選択可能な領域特化言語
秋葉柊哉, 岩崎英哉 (電気通信大学)

セッション2 15:20 - 16:40

CbC を用いたPerl6 処理系
清水隆博, 河野真治 (琉球大学)
JVM 上の動的言語のための抽象解釈の実装
馬谷誠二 (京都大学)

ポスターセッション紹介,各種報告,スポンサー講演 (株式会社フィックスターズ) 17:10 - 18:00

夕食 18:00

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

<ポスター> 自由文による思考プログラミング
中村圭介 (ナレルシステム株式会社)
<ポスター> 継続を中心とした言語 Gears OS のデモンストレーション
宮城光希, 河野真治 (琉球大学)
<ポスター> 日本語スマートコントラクト記述の実現に向けて
渡邉遥輔 (横浜国立大学), 松本彩花 (日本女子大学), 多田拓 (横浜国立大学), 倉光君郎 (日本女子大学)
<ポスター> 解析表現文法をベースにしたトランスパイラフレームワークの設計と実装
多田拓, 渡邉遥輔, 加瀬豊, 山口大輔 (横浜国立大学), 倉光君郎 (日本女子大学)
<デモ> 大衆化におけるプログラミングのバリアフリー
原田康徳 (Digital Pocket LLC)
<デモ> JVM 上の動的言語のための抽象解釈の実装
馬谷誠二 (京都大学)

第2日 1月12日

セッション3 9:00 - 10:20

ニューラルネットワークによる2048 プレイヤの内部動作解析
松崎公紀, 寺村舞童華 (高知工科大学)
本の厚みによる歪みを考慮した光学文字認識
比留川翔哉, 丸山一貴 (明星大学)

セッション4 情報科学若手の会 特別セッション 10:40 - 12:00

第51回情報科学若手の会開催報告
黒崎優太 (株式会社サイバーエージェント)
イマドキと言われる言語機能について
志村舜琳 (Idein Inc.)
Cコンパイラを利用したRubyのJITコンパイラ
国分崇志 (Arm Treasure Data, Inc.)
CTFと現実世界
市川遼 (東京農工大学)

招待講演 13:30 - 15:00

富士通 農業×ICTの取り組み 酒米栽培実証および醸造AI実証などの事例を交えて
加納正裕(富士通株式会社), 菊地亮太(株式会社富士通研究所)
概要:
富士通は2008年より4年間の農業現場における実証実験を踏まえて, 2012年には食・農クラウド「Akisai」を発表, ニーズに合わせて進化させてきました. そのような農業分野に対するICT支援の取り組みについて, 酒米栽培実証などの事例や実証現場の声などを交えてご紹介いたします. また, 2018年4月より旭酒造と富士通研究所は, 富士通研究所が開発した日本酒造りを支援するAI予測モデルを用いて, 旭酒造が製造・販売する日本酒「獺祭」の醸造を行う共同実証実験を実施しましたので, 実証試験の概要についてもご紹介いたします.

セッション5 15:20 - 16:40

eJSVM における対話的なプログラミング環境の実現
大林健造, 岩崎英哉 (電気通信大学)
ランダムな変異を用いたバグ入りプログラムの生成
寺田実 (電気通信大学)

山内奨励賞表彰・受賞講演, スポンサー講演 (サイボウズ株式会社) 17:00 - 18:00

山内奨励賞受賞論文: Linuxアプリケーションバイナリにおけるコンパイラセキュリティオプションの有効性の静的解析
近藤秀太, 渡辺亮平, 菅原捷汰, 横山雅展 (明治大学大学院), 中村慈愛 (明治大学), 須崎有康 (産業技術総合研究所), 齋藤孝道 (明治大学); 発表者: 菅原 捷汰(明治大学)

夕食 18:00

夜のセッション 19:30 -

第3日 1月13日

セッション6 9:00 - 10:20

解析表現文法をベースにしたトランスパイラフレームワークの設計と実装
加瀬豊, 渡邉遥輔, 多田拓, 山口大輔 (横浜国立大学), 倉光君郎 (日本女子大学)
並行プログラムのPartial Store Ordering での実行をモデル検査するためのRelease メモリバリア
鵜川始陽, 松元稿如, 飯干寛幸 (高知工科大学)

セッション7 10:40 - 12:00

初期局面の有利不利に適応したレーティング手法の検証
高尾海州, 松崎公紀 (高知工科大学)
マクロ回転によるルービック・キューブ完成術
和田英一 (IIJ技術研究所)

閉会 12:00 - 12:10


Sponsored by 株式会社フィックスターズ
株式会社フィックスターズ
Sponsored by サイボウズ株式会社
サイボウズ株式会社