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

* ニュース [#fe78e44b]

:2010.3.5|[[PPL2010:http://isw3.kankyo-u.ac.jp/ppl2010/]]が終了しました。134名の参加者による活発な討論が行われました。
:2009.9.2|[[FLOPS 2010:http://www.kb.ecei.tohoku.ac.jp/flops2010/]] (2010.4.19-21) の web page をリンクしました。 
:2009.5.1|[[PPL2010:http://isw3.kankyo-u.ac.jp/ppl2010/]] の日程と開催場所が決まりました! 

* これからのイベント [#fd68b9b8]
* イベント [#fd68b9b8]

:第8回プログラミングおよびプログラミング言語サマースクール (PPL Summer School 2010)|
--2010年9月??日、 日本ソフトウェア科学会大会に併設
--幹事： 石崎 一明（日本IBM）

:[[10th International Symposium on Functional and Logic Programming (FLOPS 2010):http://www.kb.ecei.tohoku.ac.jp/flops2010/]] |
--2010年4月19-21日，東北大学
--General Chair: Naoki Kobayashi (Tohoku U.)
--Program Co-Chairs: Matthias Blume (Toyota Technological Institute at Chicago), German Vidal (Technical University of Valencia) 

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

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

** 研究会の概要 [#ee896185]
** 概要 [#ee896185]

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

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

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

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

** 研究会の運営委員会(2010年4月現在) [#d62f1a0d]
** 研究会運営委員会の構成(2010年4月現在) [#d62f1a0d]

- [[五十嵐 淳:http://www.sato.kuis.kyoto-u.ac.jp/~igarashi/]] (京都大学、主査)
- [[亀山 幸義:http://logic.cs.tsukuba.ac.jp/~kam/]] (筑波大学)
- [[木下 佳樹:http://staff.aist.go.jp/kinoshita.yoshiki/]] (産業技術総合研究所)
- [[首藤 一幸:http://www.shudo.net/]] (東京工業大学)
- [[滝本 宗宏:http://www.cs.is.noda.tus.ac.jp/]] (東京理科大)
- [[滝本 宗宏:http://www.cs.is.noda.tus.ac.jp/]] (東京理科大学)
- 千代 英一郎 (日立製作所)
- [[千葉 滋:http://www.csg.is.titech.ac.jp/~chiba/]] (東京工業大学)
- [[胡 振江:http://research.nii.ac.jp/~hu/]] (国立情報学研究所)
- [[南出 靖彦:http://www.score.cs.tsukuba.ac.jp/~minamide]] (筑波大学)

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

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

** その他 [#ba0b5048]

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