検索
AND検索
OR検索
トップ
|
リロード
|
新規
|
一覧
|
単語検索
|
最終更新
|
ヘルプ
ss2018 をテンプレートにして作成
リンク
日本ソフトウェア科学会
FLOPS 2024
Total:0/Today:0
開始行:
//LEFT:&color(red){&size(20){本ページは準備中です.};};
CENTER:&size(32){''PPLサマースクール2018''};
CENTER:&size(32){''SML#コンパイラを使いこなす''};
#br
CENTER:[[日本ソフトウェア科学会 (JSSST):http://www.jssst....
CENTER:[[日本ソフトウェア科学会第35回大会:https://jssst20...
#br
CENTER:&size(24){講師:上野 雄大(東北大学) 大堀 淳 (...
#br
CENTER:&size(24){2018年8月28日(火) 10時〜17時(9時30分 受...
CENTER:&size(24){大阪大学コンベンションセンター 会議室2};
CENTER:&size(24){(〒565-0871 大阪府吹田市山田丘1-1)};
#br
* ニュース [#z64cd865]
- 参加登録を開始しました (7/19).
- Webページを公開しました(7/19).
* 概要 [#e054fcc5]
SML#は,東北大学電気通信研究所で開発が進められている,日...
SML#の一般的な目標のひとつは,MLを,既存のシステムやソフ...
本セミナーでは,SML#コンパイラが,これらの特徴的な機能を...
受講にあたっては,λ計算や型システムなどについての学部程度...
* 講師紹介 [#ce82511f]
[[上野 雄大(うえの かつひろ):https://www.riec.tohoku.ac...
> 東北大学電気通信研究所准教授.博士(情報科学).プログ...
[[大堀 淳 (おおほり あつし):http://www.pllab.riec.tohok...
> 東北大学電気通信研究所教授.1957年生.1981年東京大学文...
* プログラム [#afb2978f]
|RIGHT:9:30 - 10:00|受付|
|RIGHT:10:00 - 11:30|第1部:SML#の概要と開発最前線|
|RIGHT:11:30 - 13:00|昼休み|
|RIGHT:13:00 - 15:00|第2部:SML#ハンズオンセミナー|
|RIGHT:15:00 - 15:30|休憩|
|RIGHT:15:30 - 17:00|第3部:SML#コンパイラの内部構造|
''第1部: SML#の概要と開発最前線(講師:大堀,上野)''
> 導入として,SML#言語およびSML#コンパイラを紹介し,その...
''第2部: SML#ハンズオンセミナー(講師:上野)''
> 実習形式で,SML#のインストールおよびSML#プログラミング...
''第3部: SML#コンパイラの内部構造(講師:上野)''
> SML#コンパイラを構成するコンパイルフェーズ群と中間表現...
* 参加費・参加申し込み [#j3a71acd]
PPLサマースクールの参加費は以下の通りです.
学生会員1000円, 学生非会員2000円, 一般会員2000円, 一般非...
//参加登録ページ(準備中)
参加ご希望の方は
[[日本ソフトウェア科学会第35回大会:https://jssst2018.word...
[[参加登録ページ:https://jssst2018.wordpress.com/%e5%8f%8...
からお申し込みください.
事前登録をお願いしております.
* 受講者へのご連絡 [#sd328918]
- 会場でのネット接続は eduroam が利用可能です.
- LinuxがインストールされたノートPC,またはMac Bookをご持...
- セミナーではSML#のインストール方法から解説する予定です...
* 問い合わせ先 [#z4e23a61]
''PPLサマースクール2018 幹事''&br;
番原 睦則(神戸大学)&br;
E-mail: E-mail: banbara[at]kobe-u[dot]ac[dot]jp
* 過去のサマースクール [#ice4545b]
- [[第1回 PPLサマースクール (PPL Summer School 2003):http...
- [[第2回 PPLサマースクール (PPL Summer School 2004):http...
- [[第3回 PPLサマースクール (PPL Summer School 2005):http...
- [[第4回 PPLサマースクール (PPL Summer School 2006):http...
- [[第5回 PPLサマースクール (PPL Summer School 2007):http...
- [[第6回 PPLサマースクール (PPL Summer School 2008):http...
&br;
今日から使える! みんなの静的解析・バグ検出ツール
- [[第7回 PPLサマースクール (PPL Summer School 2009):http...
- [[第8回 PPLサマースクール (PPL Summer School 2010)>ss20...
&br;
マルチコア時代の新言語
- [[第9回 PPLサマースクール (PPL Summer School 2011)>ss20...
&br;
クラウドのプログラミング
- [[第10回 PPLサマースクール (PPL Summer School 2012)>ss2...
&br;
関数型言語ベースの先進的Webフレームワーク
- [[第11回 PPLサマースクール (PPL Summer School 2013)>htt...
&br;
高階モデル検査とその応用
- [[第12回 PPLサマースクール (PPL Summer School 2014)>ss2...
&br;
高性能計算のプログラミングの最前線
- [[第13回 PPLサマースクール (PPL Summer School 2015)>ss2...
&br;
プログラミング言語のゲーム意味論
- [[第14回 PPLサマースクール (PPL Summer School 2016)>ss2...
&br;
商用Java処理系の研究開発
- [[第15回 PPLサマースクール (PPL Summer School 2017)>ss2...
&br;
Isabelle/HOL による証明とプログラミング
終了行:
//LEFT:&color(red){&size(20){本ページは準備中です.};};
CENTER:&size(32){''PPLサマースクール2018''};
CENTER:&size(32){''SML#コンパイラを使いこなす''};
#br
CENTER:[[日本ソフトウェア科学会 (JSSST):http://www.jssst....
CENTER:[[日本ソフトウェア科学会第35回大会:https://jssst20...
#br
CENTER:&size(24){講師:上野 雄大(東北大学) 大堀 淳 (...
#br
CENTER:&size(24){2018年8月28日(火) 10時〜17時(9時30分 受...
CENTER:&size(24){大阪大学コンベンションセンター 会議室2};
CENTER:&size(24){(〒565-0871 大阪府吹田市山田丘1-1)};
#br
* ニュース [#z64cd865]
- 参加登録を開始しました (7/19).
- Webページを公開しました(7/19).
* 概要 [#e054fcc5]
SML#は,東北大学電気通信研究所で開発が進められている,日...
SML#の一般的な目標のひとつは,MLを,既存のシステムやソフ...
本セミナーでは,SML#コンパイラが,これらの特徴的な機能を...
受講にあたっては,λ計算や型システムなどについての学部程度...
* 講師紹介 [#ce82511f]
[[上野 雄大(うえの かつひろ):https://www.riec.tohoku.ac...
> 東北大学電気通信研究所准教授.博士(情報科学).プログ...
[[大堀 淳 (おおほり あつし):http://www.pllab.riec.tohok...
> 東北大学電気通信研究所教授.1957年生.1981年東京大学文...
* プログラム [#afb2978f]
|RIGHT:9:30 - 10:00|受付|
|RIGHT:10:00 - 11:30|第1部:SML#の概要と開発最前線|
|RIGHT:11:30 - 13:00|昼休み|
|RIGHT:13:00 - 15:00|第2部:SML#ハンズオンセミナー|
|RIGHT:15:00 - 15:30|休憩|
|RIGHT:15:30 - 17:00|第3部:SML#コンパイラの内部構造|
''第1部: SML#の概要と開発最前線(講師:大堀,上野)''
> 導入として,SML#言語およびSML#コンパイラを紹介し,その...
''第2部: SML#ハンズオンセミナー(講師:上野)''
> 実習形式で,SML#のインストールおよびSML#プログラミング...
''第3部: SML#コンパイラの内部構造(講師:上野)''
> SML#コンパイラを構成するコンパイルフェーズ群と中間表現...
* 参加費・参加申し込み [#j3a71acd]
PPLサマースクールの参加費は以下の通りです.
学生会員1000円, 学生非会員2000円, 一般会員2000円, 一般非...
//参加登録ページ(準備中)
参加ご希望の方は
[[日本ソフトウェア科学会第35回大会:https://jssst2018.word...
[[参加登録ページ:https://jssst2018.wordpress.com/%e5%8f%8...
からお申し込みください.
事前登録をお願いしております.
* 受講者へのご連絡 [#sd328918]
- 会場でのネット接続は eduroam が利用可能です.
- LinuxがインストールされたノートPC,またはMac Bookをご持...
- セミナーではSML#のインストール方法から解説する予定です...
* 問い合わせ先 [#z4e23a61]
''PPLサマースクール2018 幹事''&br;
番原 睦則(神戸大学)&br;
E-mail: E-mail: banbara[at]kobe-u[dot]ac[dot]jp
* 過去のサマースクール [#ice4545b]
- [[第1回 PPLサマースクール (PPL Summer School 2003):http...
- [[第2回 PPLサマースクール (PPL Summer School 2004):http...
- [[第3回 PPLサマースクール (PPL Summer School 2005):http...
- [[第4回 PPLサマースクール (PPL Summer School 2006):http...
- [[第5回 PPLサマースクール (PPL Summer School 2007):http...
- [[第6回 PPLサマースクール (PPL Summer School 2008):http...
&br;
今日から使える! みんなの静的解析・バグ検出ツール
- [[第7回 PPLサマースクール (PPL Summer School 2009):http...
- [[第8回 PPLサマースクール (PPL Summer School 2010)>ss20...
&br;
マルチコア時代の新言語
- [[第9回 PPLサマースクール (PPL Summer School 2011)>ss20...
&br;
クラウドのプログラミング
- [[第10回 PPLサマースクール (PPL Summer School 2012)>ss2...
&br;
関数型言語ベースの先進的Webフレームワーク
- [[第11回 PPLサマースクール (PPL Summer School 2013)>htt...
&br;
高階モデル検査とその応用
- [[第12回 PPLサマースクール (PPL Summer School 2014)>ss2...
&br;
高性能計算のプログラミングの最前線
- [[第13回 PPLサマースクール (PPL Summer School 2015)>ss2...
&br;
プログラミング言語のゲーム意味論
- [[第14回 PPLサマースクール (PPL Summer School 2016)>ss2...
&br;
商用Java処理系の研究開発
- [[第15回 PPLサマースクール (PPL Summer School 2017)>ss2...
&br;
Isabelle/HOL による証明とプログラミング
ページ名: