第114回PRO研究発表会
第114回プログラミング研究発表会
プログラム
日 程 ： 2017年6月8日（木）～9日（金）
会 場 ： 静岡県総合社会福祉会館シズウエル 103会議室
（〒420-8670 静岡市葵区駿府町1-70 静岡駅からの経路(Google Map)）
プログラム ：
※発表は1件あたり45分（発表25分，質疑・討論20分）
※○印が登壇者です．
6月8日(木)
■セッション1（13:30-15:00）
2017-1-(1)：13:30-14:15
「マクロ処理の実装に適したパックラットパーサーコンビネーターの設計と実装」
○今泉 良紀，篠埜 功（芝浦工業大学大学院）
2017-1-(2)：14:15-15:00
「解析表現文法パーサ向けの生成的ベンチマーク」
山口 真弥（日本電子電話株式会社），○倉光 君郎（横浜国立大学大学院）
--- 休憩（15:00-15:15）---
■セッション2（15:15-16:45）
2017-1-(3)：15:15-16:00
「超解像処理におけるAccelerateプログラムのオーバーヘッドとその解消」
○朝倉 泉，増原 英彦（東京工業大学），松本 拓也，松崎 公紀（高知工科大学）
2017-1-(4)：16:00-16:45
「非線形方程式求根アルゴリズムの宣言的形式言語の設計と実装」
○嶋吉 隆夫（九州大学），天野 晃（立命館大学）
□懇親会（18:30-20:30） 詳細・参加申込はこちら（6月4日（日）締切）
6月9日(金)
■セッション3（9:30-11:00）
2017-1-(5)：9:30-10:15
「Proof Search of Multiplicative Linear Logic with Backtracking and ID-link Dependency Relations」
○松岡 聡（産業技術総合研究所）
2017-1-(6)：10:15-11:00
「Safe Low-level Code Generation in Coq using Monomorphization and Monadification」
○田中 哲，Reynald Affeldt（産業技術総合研究所），Jacques Garrigue（名古屋大学大学院）
--- 休憩（11:00-11:15）---
■セッション4（11:15-12:00）
2017-1-(7)：11:15-12:00
「ユニケージ開発手法に基づくシェルスクリプトの記述規約と usp Tukubai コマンド」
○中村 和敬，當仲 寛哲（有限会社ユニバーサル・シェル・プログラミング研究所）
会 場 ： 静岡県総合社会福祉会館シズウエル 103会議室
（〒420-8670 静岡市葵区駿府町1-70 静岡駅からの経路(Google Map)）
プログラム ：
※発表は1件あたり45分（発表25分，質疑・討論20分）
※○印が登壇者です．
6月8日(木)
■セッション1（13:30-15:00）
2017-1-(1)：13:30-14:15
「マクロ処理の実装に適したパックラットパーサーコンビネーターの設計と実装」
○今泉 良紀，篠埜 功（芝浦工業大学大学院）
2017-1-(2)：14:15-15:00
「解析表現文法パーサ向けの生成的ベンチマーク」
山口 真弥（日本電子電話株式会社），○倉光 君郎（横浜国立大学大学院）
--- 休憩（15:00-15:15）---
■セッション2（15:15-16:45）
2017-1-(3)：15:15-16:00
「超解像処理におけるAccelerateプログラムのオーバーヘッドとその解消」
○朝倉 泉，増原 英彦（東京工業大学），松本 拓也，松崎 公紀（高知工科大学）
2017-1-(4)：16:00-16:45
「非線形方程式求根アルゴリズムの宣言的形式言語の設計と実装」
○嶋吉 隆夫（九州大学），天野 晃（立命館大学）
□懇親会（18:30-20:30） 詳細・参加申込はこちら（6月4日（日）締切）
6月9日(金)
■セッション3（9:30-11:00）
2017-1-(5)：9:30-10:15
「Proof Search of Multiplicative Linear Logic with Backtracking and ID-link Dependency Relations」
○松岡 聡（産業技術総合研究所）
2017-1-(6)：10:15-11:00
「Safe Low-level Code Generation in Coq using Monomorphization and Monadification」
○田中 哲，Reynald Affeldt（産業技術総合研究所），Jacques Garrigue（名古屋大学大学院）
--- 休憩（11:00-11:15）---
■セッション4（11:15-12:00）
2017-1-(7)：11:15-12:00
「ユニケージ開発手法に基づくシェルスクリプトの記述規約と usp Tukubai コマンド」
○中村 和敬，當仲 寛哲（有限会社ユニバーサル・シェル・プログラミング研究所）
発表募集（募集は終了しました）
プログラミング研究会（PRO）は，
英語論文の投稿も歓迎します．2015年度以降，英語論文が採録された場合，その論文の正本は英語論文誌JIPに掲載されます．また，和文論文を採録決定後 に英語化し英語論文として掲載する試みを行っています．英語論文の投稿をご検討の方は以下のアナウンスをご覧ください．
http://sigpro.ipsj.or.jp/sigtra4/
「5．英文論文誌JIPとの連携」「6. 和文論文の採録後の英語化」
通常の発表に加え，本研究会で試験的に実施している「短い発表」を今回も募集します．「短い発表」の発表時間は30分（発表20分・質疑10分）です．発表内容は通常の発表と同様ですが，特に，萌芽的なアイデアの提示，進行中の研究の途中報告，システム開発経験や興味深いプログラミング技法の紹介，開発したツールやソフトウェアの紹介などを「短い発表」として歓迎します．発表資料は数ページ程度の短いもので結構です．ただし，「短い発表」の論文誌への投稿はできません．
多くの発表ならびに論文投稿をお待ちしております．
-------------------------------------------------------------
- プログラミング言語の設計，処理系の実装
- プログラミングの理論，基本概念
- プログラミング環境，支援システム
- プログラミング方法論，パラダイム
- これらを応用したシステムの開発事例
- その他，プログラミングに関する面白い話題
英語論文の投稿も歓迎します．2015年度以降，英語論文が採録された場合，その論文の正本は英語論文誌JIPに掲載されます．また，和文論文を採録決定後 に英語化し英語論文として掲載する試みを行っています．英語論文の投稿をご検討の方は以下のアナウンスをご覧ください．
http://sigpro.ipsj.or.jp/sigtra4/
「5．英文論文誌JIPとの連携」「6. 和文論文の採録後の英語化」
通常の発表に加え，本研究会で試験的に実施している「短い発表」を今回も募集します．「短い発表」の発表時間は30分（発表20分・質疑10分）です．発表内容は通常の発表と同様ですが，特に，萌芽的なアイデアの提示，進行中の研究の途中報告，システム開発経験や興味深いプログラミング技法の紹介，開発したツールやソフトウェアの紹介などを「短い発表」として歓迎します．発表資料は数ページ程度の短いもので結構です．ただし，「短い発表」の論文誌への投稿はできません．
多くの発表ならびに論文投稿をお待ちしております．
-------------------------------------------------------------
日 程 ： 2017年6月8日（木）～9日（金）
会 場 ： 静岡県総合社会福祉会館シズウエル 103会議室
（〒420-8670 静岡市葵区駿府町1-70）
発表申込締切 ： 2017年4月7日（金）（通常の発表と「短い発表」の両方とも）
投稿論文原稿提出締切 ： 2017年5月9日（火）
問い合わせ先 ： 平石 拓（京都大学） E-Mail: tasuku [at] media.kyoto-u.ac.jp
担当者 ： 平石 拓（京都大学），今井敬吾（岐阜大学）
会 場 ： 静岡県総合社会福祉会館シズウエル 103会議室
（〒420-8670 静岡市葵区駿府町1-70）
発表申込要領 ：
以下の手引きに従い，著者，タイトル，概要などの情報を記入した発表申込フォームを作成し，下記の送信Webページからお送りください．
- 論文投稿を伴う発表申込 ： https://sigpro.ipsj.or.jp/trans-author/
- 発表のみの申込 ： https://sigpro.ipsj.or.jp/presentation/
- 「短い発表」の申込： 2.に加え，フォームの「『短い発表』の希望」欄で「希望する」を選択してください．
発表申込締切 ： 2017年4月7日（金）（通常の発表と「短い発表」の両方とも）
投稿論文原稿提出締切 ： 2017年5月9日（火）
- 発表申込を送信後，担当者より3日以内に，発表申込フォームの「代表者連絡先」宛に，発表申込を受理した旨のメールをお送りします．もし3日待ってもメールが来なかった場合，担当者までメールでお問い合わせください。
- 多数の発表申込がある場合には発表をお断りすることがございますので，お早めにお申し込みください．
- 研究会の詳細や申込時の諸注意についてはプログラミング研究会のページ https://sigpro.ipsj.or.jp/ をご参照ください．
問い合わせ先 ： 平石 拓（京都大学） E-Mail: tasuku [at] media.kyoto-u.ac.jp
担当者 ： 平石 拓（京都大学），今井敬吾（岐阜大学）