- 追加された行はこの色です。
- 削除された行はこの色です。
#norelated
* FrontPage [#qb249ac2]
#contents
このページは、ページを指定しない時に表示されます。
* ニュース [#fe78e44b]
あなたのサイトに合わせ、自由に編集してください :) ((安易なSPAMやいたずらを防止するため、テーマや目的などの説明を加えた後、忘れずに凍結して下さい。パスワードの変更もお忘れなく!))
:[[過去のニュース]]|
* イベント [#fd68b9b8]
** 練習ページ [#if72ced0]
- [[SandBox]] -- 編集をお試しください
- [[InterWikiSandBox]] -- [[InterWiki]]を試してみてください
:[[第26回プログラミングおよびプログラミング言語ワークショップ(PPL 2024)>https://jssst-ppl.org/workshop/2024/]]|
--2024年3月5日(火) 午前 〜 7日(木) 夕方 朱鷺メッセ 新潟コンベンションセンター および オンラインのハイブリッド開催
-- プログラム委員長: 安部 達也(千葉工業大学), 川端 英之(広島市立大学)
-- 組織委員長: 木村 大輔(東邦大学)
** PukiWikiについて [#c2af49f4]
:[[終了したイベント]]|
- [[PukiWiki]] -- PukiWikiのご紹介
* プログラミング論研究会について [#g2f3613a]
*** ドキュメント [#o366701b]
- [[ヘルプ>Help]] -- PukiWikiで編集するには?
- [[テキスト整形のルール(詳細版)>FormattingRules]]
- [[プラグインマニュアル>PukiWiki/1.4/Manual/Plugin]]
** 概要 [#ee896185]
「プログラミング論研究会(略称:PPL)」は、 プログラミング言語とプログラミング方法論に関する研究討論の場を提供することを目的としています。理論面では,新しいプログラミングパラダイム等のための形式系の構築,プログラミング言語や仕様記述システムの設計理論等の構築,プログラム変換の形式化などを対象とし,実践面では,理論を適用した実装技術の開発や言語処理系の試作,およびそれらの具体的な問題領域への適用,さらにツール化,プログラミング環境などを対象としています。
現在の主な活動は、PPLワークショップ(毎年3月頃)、PPLサマースクール(毎年9月頃)の主催、研究会メイリングリストの運営、国際会議FLOPSの主催などです。
** メイリングリスト [#we0eba91]
プログラミングの理論と実践に関する研究者の情報交換を目的としたメイリングリストを運営しています.入会方法は[[こちら:https://www.fos.kuis.kyoto-u.ac.jp/mailman3/postorius/lists/jssst-ppl.fos.kuis.kyoto-u.ac.jp/]]を御覧ください.
** 研究会運営委員会の構成(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/]] (東京工業大学)
** 研究会運営規則・過去の運営委員など [#gdf8d605]
- [[日本ソフトウェア科学会プログラミング論研究会主査に関する規定]]
- [[日本ソフトウェア科学会プログラミング論研究会運営委員会に関する規定]]
- [[PPLプログラム委員長に関する規定>PPL プログラム委員長に関する規定]]
- [[PPL組織委員長に関する規定>PPL 実行委員長に関する規定]]
- [[PPLプログラム委員に関する規定]]
----
SIG-PPL(研究会)に関する問い合わせ,提案等は,電子メールで,研究会主査あてにお寄せください。PPLワークショップ、PPLサマースクールなど個別のイベントについてのお問い合わせは、上記のプログラム委員長、組織委員長、幹事に御連絡ください。