• 追加された行はこの色です。
  • 削除された行はこの色です。
[http://ppl.jssst.or.jp/index.php?ss2010 In Japanese]
CENTER:&size(24){''PPL Summer School 2010''};
~
CENTER:&size(24){''New Languages in the Multicore Era''};
~
~
CENTER:''URL:'' http://ppl.jssst.or.jp/index.php?ss_2010e
CENTER:''URL:'' http://ppl.jssst.or.jp/index.php?ss2010e
~
CENTER:''Date:'' 2010 Sep. 12 (Sun) 10:30-16:40 (social gathering -18:00)
CENTER:''Date:'' 2010 Sep. 12 (Sun) %%10:30%%&color(red,){''10:15''};-16:40 (social gathering -18:00)
~
CENTER:''Location:'' [http://www.tsuda.ac.jp/en/access/ Tsuda Colleage Kodaira Campus] Room 5101
~
CENTER:''Sponsored by'' [Special Interest Group on Programming and Programming Languages (PPL) http://ppl.jssst.or.jp/] (Japan Society for Software Science and Technology http://www.jssst.org/)
CENTER:''Sponsored by'' [http://ppl.jssst.or.jp/Special Interest Group on Programming and Programming Languages (PPL)] [http://www.jssst.org/ Japan Society for Software Science and Technology]
~
CENTER:(Co-located with [http://www.informaticians.org/jssst2010/ the 27th JSSST Symposium])
~
LEFT:&size(16){''Table of Contents''};
#contents
~
*&size(24){''Overview''}; [#ac6c9112]
*&size(24){''Overview''}; [#k6f3bf11]
PPL Summer School is an annual tutorial event hosted by Japan Society for Software Science and Technology's Special Interest Group on Programming and Programming Languages. The 8th summer school of this year is also co-located with the society's symposium.

This year's lecture is titled "New Languages in the Multicore Era" and gives the following three interesting languages for multicores. They are open source software.
This year's lecture is titled "New Languages in the Multicore Era" and gives the following three interesting languages designed for multicore. They are open source software.

- [http://projectfortress.sun.com/ Fortress]
- [http://golang.org/ Go]
- [http://x10.codehaus.org/ X10]

- [http://x10-lang.org/ X10]
~
*&size(24){''From the Chair''}; [#pbe11726]
スーパーコンピューターから、デスクトップ、ノートパソコン、携帯まで、マルチコアは日常的に使われるプロセッサの構成となりました。しかし、マルチコア上でのプログラミングの開発効率、プログラムの性能、など、従来の言語における様々な問題にお悩みの方も多いと思います。~
これらの問題を解決するために、近年様々な言語が提案されています。今回のサマースクールでは、その中からオープンソースで開発されている３つの言語を取り上げます。それぞれについて、言語の実際の開発者、の方にお越し頂いて講演いただけることになりました。~

*&size(24){''From the Chair''}; [#n62dda5a]
Multicore is becoming pervasive. There are some problems such as productivity or performance for programming on multi-core. To address these problems, several languages are proposed. We selected the three excellent speakers who are developing or developped these languages.~
We asked the following questions to speakers beforehand.
- What is the design principle of your language ?~
- What does your language identify problems on multi-core ?~
- How does your language solve these problems ?~

We believe that speakers will give interesting talk including these answers, design principle, specifications, implementations, and so on.
~
We tried to make it attractive to a variety of audience including:

- Those daily write programs
- Those develop programs whose primary concerns are something on multicore
- Those want to write programs by exploiting multicore
- Those want to design own languages for multicore
- Those are interested in performance on multicore
~
We will held this summer school on Sunday. Therefore, we expect that people, who are very busy on weekday, can attend.
- Those are interested in performance on multicore~

~
*&size(24){''Program''}; [#g140f44b]
We will held this summer school on Sunday. Therefore, we expect that people, who are very busy on weekday, can attend.
*&size(24){''Program''}; [#x129f2ec]
CENTER:''2010 Sep. 12 (Sun)''
|10:00-10:30|Open room and registration|
|BGCOLOR(#afeeee):10:30-11:45|BGCOLOR(#afeeee):''Title: Project Fortress: A Multicore Language for Scientists and Engineers''&br;&br;''Speaker'': [http://plrg.kaist.ac.kr/ryu Sukyoung Ryu] (KAIST, Korea)&br;''Abstract'': The computing world is currently undergoing dramatic changes.  More powerful computers have brought high-performance computing (HPC), an endeavor historically relegated to national labs and government institutions, to the mainstream.  At the same time, microchip manufacturers are designing new chips that contain increasing numbers of cores on a single chip to improve performance. Yet unfortunately, modern programming languages are ill-equipped for these changes. Most languages do not directly support any notion of parallelism and even languages with support for parallelism, such as the Java Programming Language, support only course-grained notions of parallelism, best suited for tasks such as networking and GUI programming. Fortress is a new programming language designed for HPC with high programmability.&br;It provides mathematical syntax to enable scientists and engineers to write programs in a notation they are accostomed to. It also provides built-in support for parallel programming. Fortress is designed for growth by community participation and development and its syntax and semantics have been formally designed and specified. This tutorial will introduce Project Fortress, which is an open-source project with a reference implementation of the Fortress programming language. Anyone who works on scientific programming, parallel programming, quality-critical software development, or open-source projects will find this tutorial of interest.&br;''Short bio.'': Sukyoung Ryu is an Assistant Professor at the Computer Science Department of KAIST (Korea Advanced Institute of Science and Technology).  Before joining KAIST in December 2009, she worked as a Member of Technical Staff in Sun Microsystems Laboratories, where she worked on formally designing and developing the Fortress programming language.|
|11:45-13:00|Lunch（Registration will be opened at 12:30-13:00）|
|BGCOLOR(#afeeee):13:00-14:45|BGCOLOR(#afeeee):''Title: xxx''&br;&br;Speaker:　xxx&br;Abstract: xxx|
|&color(red,){''9:45-10:15''};|Open room and registration|
|BGCOLOR(#afeeee):&color(red,){''10:15-12:00''};|BGCOLOR(#afeeee):''Title: Project Fortress: A Multicore Language for Scientists and Engineers''&br;&br;''Speaker'': [http://plrg.kaist.ac.kr/ryu Sukyoung Ryu] (KAIST, Korea)&br;''Abstract'': The computing world is currently undergoing dramatic changes.  More powerful computers have brought high-performance computing (HPC), an endeavor historically relegated to national labs and government institutions, to the mainstream.  At the same time, microchip manufacturers are designing new chips that contain increasing numbers of cores on a single chip to improve performance. Yet unfortunately, modern programming languages are ill-equipped for these changes. Most languages do not directly support any notion of parallelism and even languages with support for parallelism, such as the Java Programming Language, support only course-grained notions of parallelism, best suited for tasks such as networking and GUI programming. Fortress is a new programming language designed for HPC with high programmability.&br;It provides mathematical syntax to enable scientists and engineers to write programs in a notation they are accostomed to. It also provides built-in support for parallel programming. Fortress is designed for growth by community participation and development and its syntax and semantics have been formally designed and specified. This tutorial will introduce Project Fortress, which is an open-source project with a reference implementation of the Fortress programming language. Anyone who works on scientific programming, parallel programming, quality-critical software development, or open-source projects will find this tutorial of interest.&br;''Short bio.'': Sukyoung Ryu is an Assistant Professor at the Computer Science Department of KAIST (Korea Advanced Institute of Science and Technology).  Before joining KAIST in December 2009, she worked as a Member of Technical Staff in Sun Microsystems Laboratories, where she worked on formally designing and developing the Fortress programming language.|
|&color(red,){''12:00-13:00''};|Lunch (Registration will be opened at 12:30-13:00)|
|BGCOLOR(#afeeee):13:00-14:45|BGCOLOR(#afeeee):''Title: Programming Language Go'' (in Japanese)&br;&br;''Speaker:'' Fumitoshi Ukai&br;Abstract: '''Coming soon'''|
|14:45-15:00|Break|
|BGCOLOR(#afeeee):15:00-16:45|BGCOLOR(#afeeee):''Title: xxx''&br;&br;Speaker:　xxx&br;Abstract: xxx|
|16:50-18:00|Social gathering with speakers(free）|
|BGCOLOR(#afeeee):15:00-16:45|BGCOLOR(#afeeee):''Title: Programming Language X10'' (in Japanese)&br;&br;''Speaker:'' Kiyokuni Kawachiya&br;Abstract: '''Coming soon'''|
|16:50-18:00|Social gathering with speakers (free）|

*&size(24){''Fee''}; [#d7741270]
*&size(24){''Fee''}; [#w09f2595]
LEFT:
It's reduced if you are JSSST member or applying to it.

||JSSST member|JSSST non-member|
|students|1,000 JPY|2,000 JPY|
|non-students|2,000 JPY|3,000 JPY|
Please pay at the desk on site.
*&size(24){''Access''}; [#s7547d52]
You can walk from the following two stations
- Takanodai Station on Seibu Kokubunji Line (8 min. on foot)
- Shinkodaira Station on JR Musashino Line (18 min. on foot)

~
See the detail in [http://www.tsuda.ac.jp/en/access/ ''Access''].

*&size(24){''交通アクセス''}; [#i00273c3]
津田塾大学小平キャンパスの最寄り駅は、
- 西武国分寺線鷹の台駅下車、徒歩約8分
- JR武蔵野線新小平駅下車、徒歩約18分

です。詳しくは、[http://www.tsuda.ac.jp/contents02.php?contents_id=ydzYkgFkKxXI ''交通アクセス'']をご参照ください。地方などから参加の場合、前日泊を考慮いただくことをお勧めいたします。

参考までに講演開始ぎりぎりだとこうなりますよというお知らせです。実際には可能であれば少し余裕を持って到着されることをおすすめいたします。

- [http://www.navitime.co.jp/?orvStationName=%E4%BB%99%E5%8F%B0&orvStationSelect=&orvStationCode=00005125&dnvStationName=%E9%B7%B9%E3%81%AE%E5%8F%B0&dnvStationCode=00005808&thrStationName1=&thrStationCode1=&thrStationName2=&thrStationCode2=&thrStationName3=&thrStationCode3=&month=2010/9&day=12&hour=10&minute=15&basis=0&sort=0&wspeed=83&airplane=1&sprexprs=1&utrexprs=1&ctl=020010&init=0&through=0 仙台より]~
- [http://www.navitime.co.jp/?orvStationSelect=00008576,%E5%90%8D%E5%8F%A4%E5%B1%8B&dnvStationSelect=00005808,%E9%B7%B9%E3%81%AE%E5%8F%B0&month=2010/9&day=12&hour=10&minute=15&basis=0&sort=0&wspeed=83&airplane=1&sprexprs=1&utrexprs=1&ctl=020010&init=0 名古屋より]~
- [http://www.navitime.co.jp/?orvStationName=%E4%BA%AC%E9%83%BD&orvStationSelect=&orvStationCode=00001756&dnvStationName=%E9%B7%B9%E3%81%AE%E5%8F%B0&dnvStationCode=00005808&thrStationName1=&thrStationCode1=&thrStationName2=&thrStationCode2=&thrStationName3=&thrStationCode3=&month=2010/9&day=12&hour=10&minute=15&basis=0&sort=0&wspeed=83&airplane=1&sprexprs=1&utrexprs=1&ctl=020010&init=0&through=0 京都より]~
- [http://www.navitime.co.jp/?orvStationName=%E5%A4%A7%E9%98%AA&orvStationSelect=&orvStationCode=00005602&dnvStationName=%E9%B7%B9%E3%81%AE%E5%8F%B0&dnvStationCode=00005808&thrStationName1=&thrStationCode1=&thrStationName2=&thrStationCode2=&thrStationName3=&thrStationCode3=&month=2010/9&day=12&hour=10&minute=15&basis=0&sort=0&wspeed=83&airplane=1&sprexprs=1&utrexprs=1&ctl=020010&init=0&through=0 大阪より]~
- [http://www.navitime.co.jp/?orvStationName=%E5%B2%A1%E5%B1%B1%E7%A9%BA%E6%B8%AF&orvStationSelect=&orvStationCode=&dnvStationName=%E9%B7%B9%E3%81%AE%E5%8F%B0&dnvStationCode=&thrStationName1=&thrStationCode1=&thrStationName2=&thrStationCode2=&thrStationName3=&thrStationCode3=&month=2010/9&day=12&hour=10&minute=15&basis=0&sort=0&wspeed=100&airplane=1&sprexprs=1&utrexprs=1&ctl=020010&init=0&through=0 岡山空港より]~
- [http://www.navitime.co.jp/?orvStationSelect=00008120,%E7%B1%B3%E5%AD%90%E7%A9%BA%E6%B8%AF(%E7%A9%BA%E6%B8%AF)&dnvStationSelect=00005808,%E9%B7%B9%E3%81%AE%E5%8F%B0&thrStationName1=&thrStationSelect1=&thrStationName2=&thrStationSelect2=&thrStationName3=&thrStationSelect3=&month=2010/9&day=12&basis=4&hour=10&minute=15&sort=0&wspeed=100&airplane=1&sprexprs=1&utrexprs=1&ctl=020010&init=0 米子空港より]~

*&size(24){''注意事項''}; [#k266e319]
- 当日、''印刷された資料は用意しません''。当日、会場でWiFi、USBメモリ、CD-ROMなどの手段で電子的に配布するか、後日Webサイトからダウンロード可能、にする予定です。
- 当日、座席で利用可能なAC電源は、申し訳ありませんが用意できません。
- 構内では受付でお渡しする''名札をつけていただき''、受付でお渡しする用紙に書かれた所定の場所以外へ立ち入らないようお願いいたします（お帰りの際には、名札の返却をお願いいたします）。
- ''サマースクールが行われる教室は飲食禁止''です。飲食可能なスペースは2Fに設けます(サマースクールの教室は1Fです)。
- サマースクールは日曜日に開催されるため、''学内の施設（食堂・売店）はお休み''です。昼食は、学外でとっていただくようお願いいたします（後ほど"食事処マップ"を公開予定です）。
*&size(24){''Considerations''}; [#y7ca6e16]
- We will not prepare the printed material. We are planning to deliver electric materials thru Wifi, USB memory, or CD-ROM. We will deliver them on Web site later.
- Sorry. We cannot prepare AC power at your seat.
- Please wear your name tag that will be given at the desk. Please return it when you leave.
- %%No food or drink%% Only water and green tea are permitted in the room. No food or juice in the room. You can eat and drink at the second floor (This summer school will be held at the first floor).
- All of facilities are closed. You should eat lunch out of the colleage. 
~
*&size(24){''参加申込み''}; [#f7003c35]
料金などはその場で徴収致しますが、部屋の大きさの関係で定員がありますので、参加申し込みをお願いいたします。以下の情報を、E-mailで ppl_ss10[at]sato.kuis.kyoto-u.ac.jp に、2010/8/31までにお送り頂けると助かります(個人情報については、本サマースクールに関するお知らせが必要になった際、それをお送りするためにのみ用います)。~
予定が不明、などで事前申込みが難しい場合でも、参加申し込み自体は当日まで受け付けています。また、事前参加申込み無しで、当日直接来て頂いても結構です（これらの場合、受付に多少時間がかかることをご了承下さい）。
*&size(24){''Application Form''}; [#fa04294e]
Though payment is on site, since the capacity of the room is limited, please make an advanced registration as possible. Please send the following information to ppl_ss10[at]sato.kuis.kyoto-u.ac.jp by 8/28.

   メールの件名: PPLサマースクール2010参加申し込み
   メールの宛先: ppl_ss10[at]sato.kuis.kyoto-u.ac.jp　([at]を半角@に置き換えて下さい)
   Subject: Application to PPL Summer School 2010
   To: ppl_ss10[at]sato.kuis.kyoto-u.ac.jp　(Replace [at] with @)
   
   氏名: [ ]
   ふりがな: [ ]
   所属: [ ]
   電子メール: [ ]
   Name: [ ]
   Affiliation: [ ]
   E-mail: [ ]
   
   一般・学生の別: [一般・学生]　(該当する部分を残し、不要な部分を消去してください)
   日本ソフトウェア科学会会員: [会員・非会員]　(該当する部分を残し、不要な部分を消去してください)
   会員の場合、会員番号(または申込中、非会員は空白): [会員番号・手続き中]　(入会手続き中の場合は 手続き中 を選んで下さい)
   領収書の宛先が名前以外を希望される場合の宛先: [ ]　(なければ空白)
   その他の特別な希望があれば: [ ]　(なければ空白)
   student?: [student / non-student]
   JSSST member?: [member / non-member]
   If you are a member, its ID number (or say you are applying to it): [ID number / applying]
   Any special request: [ ]
*&size(24){''Past summber schools''}; [#g13a5cda]

~
*&size(24){''過去のサマースクール''}; [#v8a45743]
- [http://www.ipl.t.u-tokyo.ac.jp/~hu/ppl_ss03/ 1st (PPL Summer School 2003)]
- [http://logic.is.tsukuba.ac.jp/~kam/ppl_ss04/ 2nd (PPL Summer School 2004)]
- [http://www.math.kyoto-u.ac.jp/~susumu/ppl_ss05/ 3rd (PPL Summer School 2005)]
- [http://www.math.nagoya-u.ac.jp/~garrigue/ppl_ss06/ 4th (PPL Summer School 2006)]
- [http://www.jaist.ac.jp/~mizuhito/ppl_ss07/ 5th (PPL Summer School 2007)]
- [http://www.logos.t.u-tokyo.ac.jp/ppl_ss08/ 6th (PPL Summer School 2008)]
- [http://www.is.noda.tus.ac.jp/ppl_ss09/ 7th (PPL Summer School 2009)]

- [http://www.ipl.t.u-tokyo.ac.jp/~hu/ppl_ss03/ 第1回 PPLサマースクール (PPL Summer School 2003)]
- [http://logic.is.tsukuba.ac.jp/~kam/ppl_ss04/ 第2回 PPLサマースクール (PPL Summer School 2004)]
- [http://www.math.kyoto-u.ac.jp/~susumu/ppl_ss05/ 第3回 PPLサマースクール (PPL Summer School 2005)]
- [http://www.math.nagoya-u.ac.jp/~garrigue/ppl_ss06/ 第4回 PPLサマースクール (PPL Summer School 2006)]
- [http://www.jaist.ac.jp/~mizuhito/ppl_ss07/ 第5回 PPLサマースクール (PPL Summer School 2007)]
- [http://www.logos.t.u-tokyo.ac.jp/ppl_ss08/ 第6回 PPLサマースクール (PPL Summer School 2008)]
- [http://www.is.noda.tus.ac.jp/ppl_ss09/ 第7回 PPLサマースクール (PPL Summer School 2009)]
*&size(24){''Contact''}; [#m6d59157]

*&size(24){''問い合わせ先''}; [#hda3c2ee]
''Summer school chair''

''サマースクール幹事''
IBM Japan, Ltd. IBM Research - Tokyo~
[http://www.trl.ibm.com/people/ishizaki/ Kazuaki ishizaki]

日本アイ・ビー・エム　東京基礎研究所
石崎　一明
1623-14, Shimotsuruma, Yamato, Kanagawa 242-8502, Japan~
E-mail: ppl_ss10[at]sato.kuis.kyoto-u.ac.jp

〒242-8502　大和市下鶴間1623-14~
E-mail: kiszk@acm.org