| 日程: | 2021年3月9日(火) 〜 11日(木) |
|---|---|
| 会場: | オンライン開催 |
| 主催: | 日本ソフトウェア科学会 プログラミング論研究会 |
これまでのPPLは合宿形式で開催しておりましたが，COVID-19の影響によりPPL 2021はオンライン（Zoom と Gather）での開催となります．
受賞理由：スライディング式マークコンパクトゴミ集め(GC)はメモリ使用効率が良いが，ヒープ走査中にメタオブジェクトが参照できなくなるためメタオブジェクトもGCの対象とするオブジェクト指向言語処理系には適用できない問題があった．本論文では通常オブジェクトとメタオブジェクトをそれぞれヒープの両端から割り当て，メタオブジェクトを通常オブジェクトの後にヒープ走査することでスライディング式GCを適用可能にした．適切な動機付け，明確な提案手法の記述，及び詳細で信頼度の高い実験により有効性を示したことを高く評価して論文賞とする．
PPL2021論文賞は，カテゴリ1の採択論文の中から，特に独創的なアイディアや顕著な成果を含むものとしてPPL2021プログラム委員会により選定された論文です． PPL2021発表賞，ポスター賞はそれぞれ，PPL参加者の投票により「最もよいと思った発表」として最多の票を集めたものです．
講演の詳細につきましては「招待講演」ページをご覽ください．
| 高瀬 英希 | 京都大学 | 関数型言語ElixirのIoTシステム開発への展開 |
|---|---|---|
| 松本 宗太郎 | Square, Inc. | Ruby 3の新機能としての静的型検査の開発 |
プログラムはこちらからご覽ください．
PPL 2021は，プログラミングとプログラミング言語に関連する幅広い分野の研究者・技術者・学生が一堂に会し，最新の研究成果や新たな研究課題の提案・討論・アイディア交換を行うことを目的とした研究集会です．代表的なトピックは以下のようなものですが，これに限らず，プログラミング・プログラミング言語に関する内容であれば，基礎理論・実装技術の研究からソフトウェアやツールの実現に至るまで，幅広く受け入れます．
| 基礎理論: | 意味論，ラムダ計算，型理論，項書き換え，形式論理と証明，形式言語とオートマトン，圏論，チューリング機械，アルゴリズムなど |
|---|---|
| 言語デザイン: | 各種プログラミングパラダイム（オブジェクト指向・関数型・論理型・アスペクト指向，その他あらゆるパラダイムを含む），モジュール化，メタプログラミング，並行・並列・分散計算，型システム，言語や言語システム等の相互運用，領域限定言語など |
| 言語処理系技術: | コンパイラ，インタプリタ，実行時システム，仮想機械，プログラム最適化，プログラム解析，プログラム変換，メモリ管理など |
| プログラミング補助: | プログラム検証器，デバッガ，プロファイラ，統合開発環境，プログラム合成，リファクタリングなど |
| ケーススタディ: | ソフトウェア開発報告，プログラミング技法，ツールの紹介など |
| 応用: | システムソフトウェア， Webシステム，データベースシステム，数値計算，ユーザーインタフェース，セキュリティ，プログラミング教育，人工知能・機械学習など |
発表募集は以下の4カテゴリに分けて行います．
| カテゴリ1: | 国内外未発表論文 |
|---|---|
| カテゴリ2: | 国外既発表論文 |
| カテゴリ3: | ポスター・デモ発表 |
| カテゴリ4: | サーベイ・チュートリアル |
国内外で未発表の論文発表を募集します．PPLでの議論をもとに研究を発展させ，国際会議や学術論文誌への投稿につなげることを奨励しています．そのため，予稿集の配布は参加者のみへの限定的なものとします．参加者相互で実りある議論ができるような，発展途上の研究を特に歓迎します．複数名の査読者による研究の発展性・重要性・根拠の確かさ・説明の明瞭さの評価をもとにプログラム委員会で議論し，採否を判断します．特に以下の点にご注意ください．
カテゴリ1で発表された研究のうち，PPL 2021プログラム委員会により優れていると認められたものは， PPL 2021終了後，「コンピュータソフトウェア」誌のPPL 2021推薦論文としての投稿（2021年6月中旬投稿締切予定）が可能です．推薦論文は，PPL 2021プログラム委員が引き続き査読を行うことによる，迅速な査読プロセスを特長としています．また，特集号の締切後であっても，推薦を受けた研究もしくはそれをさらに発展させた研究をPPL 2021推薦論文として「コンピュータソフトウェア」誌に投稿することが可能です．たとえば，PPL 2021で発表した研究を国際会議等で発表した後，さらに発展させて推薦論文として投稿することができます．
発表申込締切: 2020年12月28日(月) 17:00 (JST)
論文提出締切: 2021年1月8日(金) 17:00 (JST)
採否通知: 2021年2月1日(月)
国際会議や国際学術論文誌等で発表された，または採録決定済みの，国内では未発表の研究成果の紹介を募集します．PPLとの関連性，プログラム全体のバランス，発表された媒体等をもとにプログラム委員会で議論し，採否を判断します．
発表申込締切: 2021年2月1日(月) 17:00 (JST)
採否通知：2021年2月8日(月)
PPLに関連する内容のポスター・デモ発表を募集します．未発表・既発表の別を問いません．萌芽的なアイディアの紹介やツールのデモンストレーションなども歓迎します．PPLとの関連性・プログラム全体のバランスに基づき、プログラム委員による議論によって採否を判断します．
発表申込締切: 2021年 2月15日（月）17:00 (JST)
採否通知: 2021年 2月 19日（金）
研究動向の紹介や分野間の相互理解など，PPLの聴衆にとって有益な学術知識の紹介を募集します．未発表・既発表の別を問いません．PPLとの関連性，内容の重要性，発表者の経歴，プログラム全体のバランス等をもとにプログラム委員会で議論し，採否を判断します．
発表申込締切: 2021年2月1日(月) 17:00 (JST)
採否通知：2021年2月8日(月)
すべてのカテゴリの投稿・発表について，以下のURLから申し込んでください．
| https://easychair.org/conferences/?conf=ppl2021 |
投稿手続きは2段階です．発表申込を行った上で論文提出を行ってください．
| 発表申込締切 | 2020年12月28日(月) 17:00 (JST) |
|---|---|
| 著者名，所属，論文タイトル，論文概要（日本語300〜400字程度，もしくは英語200 words程度），キーワード（3つ以上）を提出してください． | |
| 論文提出締切 | 2021年1月8日(金) 17:00 (JST) |
| 本文10〜15ページ程度（参考文献を除く）の論文（日本語もしくは英語，PDF形式．PPL2021ウェブページにて指定のスタイルファイルを利用のこと）を提出してください．最大ページ数を超える付録は投稿版に入れることができます（最終原稿においては削除いただく可能性があります）．著者のWebページ等においてソースコードや 実験データなどを載せて引用しても構いません．最大ページ数を超える付録やWebページ等の情報については査読において考慮されない場合もあります． | |
| 採否通知 | 2021年2月1日(月) |
| 採録された論文の最終原稿の提出方法は，採否通知にてお知らせします． |
(注) 採録された論文等著作物は，日本ソフトウェア科学会著作権規定にもとづいて利用されますので，予めご確認ください．また，採録された論文等著作物に対して著作権の譲渡を求めません．
(注) 投稿論文と類似の論文を，他の会議（予稿集を出版するもの）・論文誌などに同時投稿する場合は，査読の有無にかかわらず，その旨を発表申込および論文提出の際に明記してください．PPLでは同時投稿の事実のみをもって論文を不採録とすることはありませんが，採否の決定に利用する場合があります（他の会議との重複を避けるため，発表内容についての条件付採録とすることもあります）．
| 発表申込締切 | 2021年2月1日(月) 17:00 (JST) |
|---|---|
| 原論文（ページ数不問，PDF形式）と論文概要（テキスト形式）を，著者名，所属，論文タイトル，キーワード（3つ以上）と併せて提出してください．論文概要にて，原論文の出典（発表会議名，掲載済／予定の別等を含む）も明記してください． | |
| 採否通知 | 2021年2月8日(月) |
| 発表申込締切 | 2021年2月15日(月) 17:00 (JST) |
|---|---|
| 著者名，所属，発表タイトル，発表概要（200〜300字程度），キーワード（3つ以上），発表形態を提出してください．発表形態はフォームで選ぶだけでなく，発表タイトルの末尾に括弧書きで「（ポスター）」「（デモ）」「（ポスター・デモ）」のいずれかの発表形態を記載してください． | |
| 採否通知 | 2021年2月19日(金) |
ポスター・デモセッションは Gather (https://gather.town/) での開催を予定しています．ポスター画像と画面共有機能を用いて，オフラインと遜色ないインタラクティブな発表形態を実現するべく調整中です．カテゴリ3に採択された場合は，バーチャル会場に貼り出す画像データを会期前に提出していただきます．データの提出方法は採否通知にてお知らせします．
| 発表申込締切 | 2021年2月1日(月) 17:00 (JST) |
|---|---|
| 著者名，所属，発表タイトル，キーワード（3つ以上），発表概要（3ページ以内，PDF形式．目的，カバーする話題，想定する聴衆，必要な知識の記述を含むもの）を提出してください． | |
| 採否通知 | 2021年2月8日(月) |
カテゴリ1の原稿作成の際に下記のスタイルファイルをご利用下さい．
| スタイルファイル | ppl2021-style.zip |
|---|
ppl2021-oc［ａｔ］googlegroups.com （［ａｔ］を @ に置き換えてください）
ppl2021-pc-chair［ａｔ］jssst-ppl.org （［ａｔ］を @ に置き換えてください）
| プログラム共同委員長 | 上野 雄大 | 東北大学 |
|---|---|---|
| プログラム共同委員長 | 海野 広志 | 筑波大学 |
| 浅井 健一 | お茶の水女子大学 | |
| 浅田 和之 | 東北大学 | |
| 荒堀 喜貴 | 東京工業大学 | |
| 五十嵐 淳 | 京都大学 | |
| 石井 大輔 | JAIST | |
| 石尾 隆 | NAIST | |
| 岩間 太 | 日本IBM | |
| 鵜川 始陽 | 東京大学 | |
| 馬谷 誠二 | 神奈川大学 | |
| 大平 怜 | IBM | |
| 篠埜 功 | 芝浦工業大学 | |
| 佐藤 重幸 | 東京大学 | |
| 佐藤 哲也 | 東京工業大学 | |
| 澄川 靖信 | 東京都立大学 | |
| 滝坂 透 | NII | |
| 田中 哲 | 産業技術総合研究所 | |
| 照井 一成 | 京都大学 | |
| 橋本 健二 | 名古屋大学 | |
| 廣川 直 | JAIST | |
| 松田 一孝 | 東北大学 | |
| 水島 宏太 | 株式会社オプト | |
| 室屋 晃子 | 京都大学 | |
| 山崎 進 | 北九州市立大学 | |
| 山下 伸夫 | 聖徳大学短期大学部 |
| 組織委員長 | 関山 太朗 | 国立情報学研究所 |
|---|---|---|
| 組織副委員長 | 佐藤 亮介 | 東京大学 |
| 財務担当 | 山田 晃久 | 産業技術総合研究所 |
| 財務副担当 | 塚田 武志 | 千葉大学 |
| 会場担当 | 今井 敬吾 | 岐阜大学 |
| 会場副担当 | 叢 悠悠 | 東京工業大学 |
| 会場副担当 | 新屋 良磨 | 秋田大学 |
| 渉外担当 | 堀江 倫大 | 日本IBM |
| ポスターセッション副チェア（Gather担当） | 佐藤 重幸 | 東京大学 |
| プログラム共同委員長 | 上野 雄大 | 東北大学 |
| プログラム共同委員長 | 海野 広志 | 筑波大学 |
| 前プログラム共同委員長 | 平石 拓 | 京都大学 |
| 前プログラム共同委員長 | 森畑 明昌 | 東京大学 |
