• 追加された行はこの色です。
  • 削除された行はこの色です。
#contents

* ニュース [#fe78e44b]

:2015年3月4日～6日|[[第17回プログラミングおよびプログラミング言語ワークショップ (PPL 2015)>http://www-kb.is.s.u-tokyo.ac.jp/ppl2015/]]が愛媛県松山市道後温泉で開催されました。
:[[過去のニュース]]|

* イベント [#fd68b9b8]

:[[Thirteenth International Symposium on Functional and Logic Programming (FLOPS 2016)>http://www.info.kochi-tech.ac.jp/FLOPS2016/]]|
-- March 3-6, 2016, Kochi University of Technology, Japan
-- PC Co-Chairs: Andy King (University of Kent), Oleg Kiselyov (Tohoku University)
-- General Chair: Yukiyoshi Kameyama (Tsukuba University)
-- Local Chair: Kiminori Matsuzaki (Kochi University of Technology)
:[[Seventeenth International Symposium on Functional and Logic Programming (FLOPS 2024)>https://conf.researchr.org/home/flops-2024]]|
-- 15-17 May, 2024, Kumamoto
-- PC Co-Chairs: Jeremy Gibbons (Oxford University), Dale Miller (INRIA Saclay)
-- General Chair: Shin-ya Katsumata (National Institute of Informatics)
-- Local Co-Chairs: Naohiko Hoshino (Sojo University)

:第18回プログラミングおよびプログラミング言語ワークショップ (PPL 2016)|
-- 2016年3月7日(月)～9日(水) 場所：岡山県 鷲羽山 [[下電ホテル>http://shimoden.bonvoyage.co.jp/]]
-- プログラム委員長：青戸 等人（東北大学）、鵜川 始陽（高知工科大学）
-- 組織委員長：海野 広志（筑波大学）

:[[終了したイベント]]|

* プログラミング論研究会について [#g2f3613a]

** 概要 [#ee896185]

「プログラミング論研究会（略称：PPL）」は、 プログラミング言語とプログラミング方法論に関する研究討論の場を提供することを目的としています。理論面では，新しいプログラミングパラダイム等のための形式系の構築，プログラミング言語や仕様記述システムの設計理論等の構築，プログラム変換の形式化などを対象とし，実践面では，理論を適用した実装技術の開発や言語処理系の試作，およびそれらの具体的な問題領域への適用，さらにツール化，プログラミング環境などを対象としています。 

現在の主な活動は、PPLワークショップ（毎年３月頃）、PPLサマースクール（毎年９月頃）の主催、研究会メイリングリストの運営、国際会議FLOPSの主催などです。

** メイリングリスト [#we0eba91]

プログラミングの理論と実践に関する研究者の情報交換を目的としたメイリングリストを運営しています．入会方法は[[こちら:http://www.fos.kuis.kyoto-u.ac.jp/cgi-bin/mailman/listinfo/jssst-ppl]]を御覧ください． 
プログラミングの理論と実践に関する研究者の情報交換を目的としたメイリングリストを運営しています．入会方法は[[こちら:https://www.fos.kuis.kyoto-u.ac.jp/mailman3/postorius/lists/jssst-ppl.fos.kuis.kyoto-u.ac.jp/]]を御覧ください． 

** 研究会運営委員会の構成（2015年4月現在）[#d62f1a0d]
** 研究会運営委員会の構成（2023年4月現在）[#d62f1a0d]
- 稲葉 一浩 (Google)
- [[上野 雄大:https://researchers.adm.niigata-u.ac.jp/html/200002607_ja.html]] (新潟大学)
- [[海野 広志:http://www.cs.tsukuba.ac.jp/~uhiro/]] (筑波大学)
- 江本 健斗 (九州工業大学)
- [[小宮 常康:http://www.spa.is.uec.ac.jp/~komiya/]] (電気通信大学)
- [[寺内 多智弘:http://www.f.waseda.jp/terauchi/index-j.html]] (早稲田大学)
- [[中野 圭介:http://www.riec.tohoku.ac.jp/~ksk/]] (東北大学・主査)
- [[平石 拓:https://researchmap.jp/7000008752]] (京都橘大学)
- [[松田 一孝:http://www2.sf.ecei.tohoku.ac.jp/~kztk/]] (東北大学)
- [[渡部 卓雄:https://www.psg.c.titech.ac.jp/~takuo/]] (東京工業大学)

- [[馬谷 誠二:http://www.fos.kuis.kyoto-u.ac.jp/~umatani/index-j.html]]（京都大学）
- [[勝股 審也:http://www.kurims.kyoto-u.ac.jp/~sinya/]]（京都大学）
- [[河内谷 清久仁:http://researcher.ibm.com/researcher/view_person_subpage.php?id=4319]]（日本IBM）
- [[住井 英二郎:http://www.kb.ecei.tohoku.ac.jp/~sumii/]]（東北大学・主査）
// - [[千葉 滋:http://www.csg.is.titech.ac.jp/~chiba/]]（東京大学）
- [[中野 圭介:http://millsmess.cs.uec.ac.jp/~ksk/]]（電気通信大学）
- [[長谷川 真人:http://www.kurims.kyoto-u.ac.jp/~hassei/]]（京都大学）
- [[浜名 誠:http://www.cs.gunma-u.ac.jp/~hamana/]]（群馬大学）
- [[前田 敦司:http://www.ialab.cs.tsukuba.ac.jp/~maeda/]]（筑波大学）
- [[八杉 昌宏:http://www.yasugi.ai.kyutech.ac.jp/2012/]]（九州工業大学）
- [[結縁 祥治:http://ampei.agusa.i.is.nagoya-u.ac.jp/~yuen/]]（名古屋大学）

** 研究会運営規則・過去の運営委員など [#gdf8d605]

- [[日本ソフトウェア科学会プログラミング論研究会主査に関する規定]]
- [[日本ソフトウェア科学会プログラミング論研究会運営委員会に関する規定]]
- [[PPLプログラム委員長に関する規定>PPL プログラム委員長に関する規定]]（※PPL2015より「実行委員長」が「組織委員長」となったため一部obsolete）
- [[PPL実行委員長に関する規定>PPL 実行委員長に関する規定]]（※同上）
- [[PPLプログラム委員長に関する規定>PPL プログラム委員長に関する規定]]
- [[PPL組織委員長に関する規定>PPL 実行委員長に関する規定]]
- [[PPLプログラム委員に関する規定]]

----
SIG-PPL（研究会）に関する問い合わせ，提案等は，電子メールで，研究会主査あてにお寄せください。PPLワークショップ、PPLサマースクールなど個別のイベントについてのお問い合わせは、上記のプログラム委員長、組織委員長、幹事に御連絡ください。