#contents

* ニュース [#fe78e44b]

:[[過去のニュース]]|

* イベント [#fd68b9b8]

- [[第22回プログラミングおよびプログラミング言語サマースクール（PPL Summer School 2025）>ss2025]]
-- 2025年9月2日(月) 東海大学品川キャンパス・オンライン ハイブリッド開催&color(red){（予定）};（日本ソフトウェア科学会42回大会併設）
-- 2025年9月2日(月) 東海大学品川キャンパス・オンライン ハイブリッド開催（対面主体・日本ソフトウェア科学会42回大会併設）
-- 幹事： 川端 英之（広島市立大学）

- [[18th International Symposium on Functional and Logic Programming (FLOPS 2026):https://functional-logic.org/events/flops/2026/]]
-- May 26-May 28, 2026 in Akita

- [[第28回プログラミングおよびプログラミング言語ワークショップ（PPL 2026）:https://jssst-ppl.org/workshop/2026/]]
-- 日時: 2026年3月9日(月)〜12日(木)
-- プログラム委員長： 西田 直樹 (名古屋大学)，宋 剛秀 (神戸大学)
-- 組織委員長： 橋本 健二 (香川大学)

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

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

** 概要 [#ee896185]

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

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

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

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

** 研究会運営委員会の構成（2025年4月現在）[#d62f1a0d]
- [[安部 達也:https://abetatsuya.github.io/]] (千葉工業大学)
- 稲葉 一浩 (Google)
- 江本 健斗 (九州工業大学)
- [[川端 英之:http://www.ca.info.hiroshima-cu.ac.jp/users/kawabata/wiki/doku.php]] (広島市立大学)
- [[小宮 常康:http://www.spa.is.uec.ac.jp/~komiya/]] (電気通信大学)
- [[塚田 武志:https://takeshi-tsukada.github.io/]] (千葉大学)
- 番原 睦則 (名古屋大学・主査)
-[[日高 宗一郎:https://cis.hosei.ac.jp/depts/cs/hidaka/]] (法政大学)
- [[松田 一孝:http://www2.sf.ecei.tohoku.ac.jp/~kztk/]] (東北大学)
- [[渡部 卓雄:https://www.psg.c.titech.ac.jp/~takuo/]] (東京工業大学)

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

- [[日本ソフトウェア科学会プログラミング論研究会主査に関する規定]]
- [[日本ソフトウェア科学会プログラミング論研究会運営委員会に関する規定]]
- [[PPLプログラム委員長に関する規定>PPL プログラム委員長に関する規定]]
- [[PPL組織委員長に関する規定>PPL 実行委員長に関する規定]]
- [[PPLプログラム委員に関する規定]]

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