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

* ニュース [#fe78e44b]

:2012.8.21|[[PPLサマースクール2012「関数型言語ベースの先進的Webフレームワーク」:http://ppl.jssst.or.jp/index.php?ss2012]]は盛況のうちに終了しました。参加者、講師、サポートスタッフ（ボランティア）の皆様、本当にありがとうございました。
:[[過去のニュース]]|

* イベント [#fd68b9b8]

:[[第15回プログラミングおよびプログラミング言語ワークショップ (PPL2013):http://www.pllab.riec.tohoku.ac.jp/ppl2013/]]|
--2013年3月4日(月)〜6日(水) 場所: 会津若松市 東山温泉「[[御宿東鳳:http://www.onyado-toho.co.jp/]]」
--プログラム委員長： [[勝股 審也:http://www.kurims.kyoto-u.ac.jp/~sinya/]] (京都大学)、 [[権藤 克彦:http://www.sde.cs.titech.ac.jp/~gondow/]] (東京工業大学) 
--実行委員長： [[上野 雄大:http://www.pllab.riec.tohoku.ac.jp/~katsu/]] (東北大学) 
:[[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)


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

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

** 概要 [#ee896185]

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

現在の主な活動は、PPLワークショップ（毎年３月頃）、PPLサマースクール (毎年９月頃）の主催、研究会メイリングリストの運営、国際会議FLOPSの主催などです。
現在の主な活動は、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/]]を御覧ください． 

** 研究会運営委員会の構成(2012年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/~igarashi/]] (京都大学)
- [[岩崎 英哉:http://ipl.cs.uec.ac.jp/~iwasaki/]] (電気通信大学)
- [[首藤 一幸:http://www.shudo.net/]] (東京工業大学)
- [[住井 英二郎: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://ampei.agusa.i.is.nagoya-u.ac.jp/~yuen/]] (名古屋大学)

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

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

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