- バックアップ一覧
- 差分 を表示
- 現在との差分 を表示
- ソース を表示
- FrontPage へ行く。
- 1 (2006-10-22 (日) 05:40:27)
- 2 (2010-03-30 (火) 19:06:25)
- 3 (2010-03-31 (水) 01:03:48)
- 4 (2010-04-01 (木) 12:46:16)
- 5 (2010-04-02 (金) 17:20:33)
- 6 (2010-07-27 (火) 00:26:07)
- 7 (2010-07-28 (水) 00:47:15)
- 8 (2010-08-10 (火) 00:52:17)
- 9 (2011-04-06 (水) 12:17:09)
- 10 (2011-07-11 (月) 23:36:02)
- 11 (2011-07-26 (火) 17:02:10)
- 12 (2011-08-22 (月) 22:36:36)
- 13 (2011-08-30 (火) 22:26:55)
- 14 (2011-09-30 (金) 18:05:28)
- 15 (2011-12-09 (金) 15:02:07)
- 16 (2012-04-08 (日) 20:49:24)
- 17 (2012-07-26 (木) 12:28:59)
- 18 (2012-08-22 (水) 07:25:55)
- 19 (2012-08-23 (木) 11:50:41)
- 20 (2012-09-17 (月) 15:27:06)
- 21 (2013-06-23 (日) 22:18:49)
- 22 (2013-06-24 (月) 23:24:57)
- 23 (2013-07-19 (金) 09:40:05)
- 24 (2013-12-16 (月) 00:22:30)
- 25 (2014-02-08 (土) 11:50:43)
- 26 (2014-04-05 (土) 00:16:20)
- 27 (2014-07-17 (木) 02:21:48)
- 28 (2014-07-17 (木) 13:05:40)
- 29 (2014-11-25 (火) 10:37:30)
- 30 (2014-11-25 (火) 13:41:49)
- 31 (2014-12-19 (金) 23:28:22)
- 32 (2015-01-07 (水) 20:32:26)
- 33 (2015-01-07 (水) 20:32:26)
- 34 (2015-03-09 (月) 22:54:07)
- 35 (2015-03-10 (火) 11:07:40)
- 36 (2015-05-15 (金) 14:43:41)
- 37 (2015-06-23 (火) 20:28:26)
- 38 (2015-08-07 (金) 17:45:48)
- 39 (2015-08-07 (金) 21:27:55)
- 40 (2015-09-17 (木) 10:00:10)
- 41 (2015-11-16 (月) 12:05:21)
- 42 (2016-04-14 (木) 15:00:11)
- 43 (2016-04-15 (金) 09:04:17)
- 44 (2016-04-19 (火) 10:12:31)
- 45 (2016-07-27 (水) 12:35:46)
- 46 (2016-08-05 (金) 16:05:32)
- 47 (2016-09-09 (金) 13:32:41)
- 48 (2016-09-23 (金) 16:55:14)
- 49 (2016-10-04 (火) 00:18:03)
- 50 (2017-03-24 (金) 14:25:17)
- 51 (2017-04-05 (水) 23:21:06)
- 52 (2017-04-06 (木) 13:39:44)
- 53 (2017-04-12 (水) 09:55:13)
- 54 (2017-04-25 (火) 12:19:01)
- 55 (2017-07-27 (木) 22:10:33)
- 56 (2017-09-16 (土) 22:28:02)
- 57 (2018-04-01 (日) 09:46:39)
- 58 (2018-07-18 (水) 09:54:55)
- 59 (2018-08-28 (火) 15:27:38)
- 60 (2019-02-08 (金) 18:00:30)
- 61 (2019-03-31 (日) 17:24:00)
- 62 (2019-08-22 (木) 12:51:26)
- 63 (2019-08-26 (月) 10:09:40)
- 64 (2019-11-15 (金) 13:23:04)
- 65 (2020-02-25 (火) 16:00:41)
- 66 (2020-05-08 (金) 19:24:18)
- 67 (2020-05-09 (土) 20:36:25)
- 68 (2020-05-10 (日) 10:28:28)
- 69 (2020-05-17 (日) 09:49:28)
- 70 (2020-08-03 (月) 18:26:41)
- 71 (2020-09-26 (土) 21:27:35)
- 72 (2020-10-08 (木) 11:02:00)
- 73 (2021-01-23 (土) 15:12:33)
- 74 (2021-04-11 (日) 09:14:11)
- 75 (2021-06-15 (火) 13:22:21)
- 76 (2021-07-27 (火) 14:05:56)
- 77 (2021-07-28 (水) 18:46:50)
- 78 (2021-08-31 (火) 15:21:58)
- 79 (2021-09-03 (金) 03:39:12)
- 80 (2021-10-06 (水) 08:44:24)
- 81 (2022-01-11 (火) 13:25:32)
- 82 (2022-02-20 (日) 07:28:26)
- 83 (2022-03-11 (金) 18:22:45)
- 84 (2022-06-12 (日) 23:20:05)
- 85 (2023-02-22 (水) 11:45:09)
- 86 (2023-05-29 (月) 23:35:56)
- 87 (2023-06-21 (水) 08:42:52)
- 88 (2023-08-12 (土) 22:46:38)
- 89 (2023-09-09 (土) 14:19:11)
- 90 (2023-09-20 (水) 08:52:54)
- 91 (2024-02-26 (月) 08:26:52)
ニュース †
- 2010.3.5
- PPL2010が終了しました。134名の参加者による活発な討論が行われました。
- 2009.9.2
- FLOPS 2010 (2010.4.19-21) の web page をリンクしました。
- 2009.5.1
- PPL2010 の日程と開催場所が決まりました!
イベント †
- 10th International Symposium on Functional and Logic Programming (FLOPS 2010)
- 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)
- 第8回プログラミングおよびプログラミング言語サマースクール (PPL Summer School 2010)
- 2010年9月??日、 日本ソフトウェア科学会大会に併設
- 幹事： 石崎 一明（日本IBM）
- 第13回プログラミングおよびプログラミング言語ワークショップ (PPL2011)
プログラミング論研究会について †
概要 †
「プログラミング論研究会(略称：PPL)」は、 プログラミング言語とプログラミング方法論に関する研究討論の場を提供することを目的としています。理論面では，新しいプログラミングパラダイム等のための形式系の構築，プログラミング言語や仕様記述システムの設計理論等の構築，プログラム変換の形式化などを対象とし，実践面では，理論を適用した実装技術の開発や言語処理系の試作，およびそれらの具体的な問題領域への適用，さらにツール化，プログラミング環境などを対象としています。
現在の主な活動は、PPLワークショップ（毎年３月頃）、PPLサマースクール (毎年９月頃）の主催、研究会メイリングリストの運営、国際会議FLOPSの主催などです。
メイリングリスト †
プログラミングの理論と実践に関する研究者の情報交換を目的としたメイリングリストを運営しています．入会方法はこちらを御覧ください．
研究会運営委員会の構成(2010年4月現在) †
- 五十嵐 淳 (京都大学、主査)
- 亀山 幸義 (筑波大学)
- 木下 佳樹 (産業技術総合研究所)
- 首藤 一幸 (東京工業大学)
- 滝本 宗宏 (東京理科大学)
- 千代 英一郎 (日立製作所)
- 千葉 滋 (東京工業大学)
- 胡 振江 (国立情報学研究所)
- 南出 靖彦 (筑波大学)
研究会運営規則・過去の運営委員など †
- 日本ソフトウェア科学会プログラミング論研究会主査に関する規定
- 日本ソフトウェア科学会プログラミング論研究会運営委員会に関する規定
- PPL プログラム委員長に関する規定
- PPL 実行委員長に関する規定
- PPLプログラム委員に関する規定
SIG-PPL (研究会)に関する問合わせ，提案等は，e-mailで， 研究会主査 あてにお寄せください。 PPLワークショップ、PPLサマースクールなど個別のイベントについてのお問い合わせは、上記のプログラム委員長、実行委員長、幹事に御連絡ください。
Based on "PukiWiki" 1.3 by yu-ji.
Skin "GS2" is designed by yiza.
Powered by PHP 5.6.40-0+deb8u12. HTML convert time: 0.015 sec.