検索
AND検索
OR検索
トップ
|
リロード
|
新規
|
一覧
|
単語検索
|
最終更新
|
ヘルプ
FrontPage をテンプレートにして作成
リンク
日本ソフトウェア科学会
Total:0/Today:0
開始行:
#contents
* ニュース [#fe78e44b]
:[[過去のニュース]]|
* イベント [#fd68b9b8]
- [[第22回プログラミングおよびプログラミング言語サマース...
-- 2025年9月2日(月) 東海大学品川キャンパス・オンライン ハ...
-- 幹事: 川端 英之(広島市立大学)
- [[18th International Symposium on Functional and Logic ...
-- May 26-May 28, 2026 in Akita
- [[第28回プログラミングおよびプログラミング言語ワークシ...
-- 日時: 2026年3月9日(月)〜12日(木)
-- プログラム委員長: 西田 直樹 (名古屋大学),宋 剛秀 (神...
-- 組織委員長: 橋本 健二 (香川大学)
:[[終了したイベント]]|
* プログラミング論研究会について [#g2f3613a]
** 概要 [#ee896185]
「プログラミング論研究会(略称:PPL)」は、 プログラミン...
現在の主な活動は、PPLワークショップ(毎年3月頃)、PPLサ...
** メイリングリスト [#we0eba91]
プログラミングの理論と実践に関する研究者の情報交換を目的...
** 研究会運営委員会の構成(2025年4月現在)[#d62f1a0d]
- [[安部 達也:https://abetatsuya.github.io/]] (千葉工業大...
- 稲葉 一浩 (Google)
- 江本 健斗 (九州工業大学)
- [[川端 英之:http://www.ca.info.hiroshima-cu.ac.jp/users...
- [[小宮 常康: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(研究会)に関する問い合わせ,提案等は,電子メール...
終了行:
#contents
* ニュース [#fe78e44b]
:[[過去のニュース]]|
* イベント [#fd68b9b8]
- [[第22回プログラミングおよびプログラミング言語サマース...
-- 2025年9月2日(月) 東海大学品川キャンパス・オンライン ハ...
-- 幹事: 川端 英之(広島市立大学)
- [[18th International Symposium on Functional and Logic ...
-- May 26-May 28, 2026 in Akita
- [[第28回プログラミングおよびプログラミング言語ワークシ...
-- 日時: 2026年3月9日(月)〜12日(木)
-- プログラム委員長: 西田 直樹 (名古屋大学),宋 剛秀 (神...
-- 組織委員長: 橋本 健二 (香川大学)
:[[終了したイベント]]|
* プログラミング論研究会について [#g2f3613a]
** 概要 [#ee896185]
「プログラミング論研究会(略称:PPL)」は、 プログラミン...
現在の主な活動は、PPLワークショップ(毎年3月頃)、PPLサ...
** メイリングリスト [#we0eba91]
プログラミングの理論と実践に関する研究者の情報交換を目的...
** 研究会運営委員会の構成(2025年4月現在)[#d62f1a0d]
- [[安部 達也:https://abetatsuya.github.io/]] (千葉工業大...
- 稲葉 一浩 (Google)
- 江本 健斗 (九州工業大学)
- [[川端 英之:http://www.ca.info.hiroshima-cu.ac.jp/users...
- [[小宮 常康: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(研究会)に関する問い合わせ,提案等は,電子メール...
ページ名: