検索
AND検索
OR検索
トップ
|
リロード
|
新規
|
一覧
|
単語検索
|
最終更新
|
ヘルプ
ss2012 をテンプレートにして作成
リンク
日本ソフトウェア科学会
PPL 2024
Total:0/Today:0
開始行:
CENTER:&size(24){''PPLサマースクール2012''};
CENTER:&size(32){''関数型言語ベースの先進的Webフレームワ...
CENTER:[[日本ソフトウェア科学会 (JSSST):http://www.jssst....
CENTER:[[日本ソフトウェア科学会第29回大会:http://jssst12....
CENTER:&size(32){2012年 8月 21日 (火)};
CENTER:&size(24){10:00 - 17:30};
CENTER:&size(32){[[法政大学 小金井キャンパス:http://www.h...
CENTER:&size(24){西館 W103号室};
// (建物・部屋未定:追って本ページに掲載いたします)
CENTER:Webページ: http://ppl.jssst.or.jp/index.php?ss2012
// CENTER:(短縮URL: http://j.mp/MxV90R)
// CENTER:&ref(http://www.kb.ecei.tohoku.ac.jp/~sumii/tmp...
#br
* お礼ならびに事後連絡 [#x18e47a0]
本サマースクールは盛況のうちに終了しました。参加者ご各位...
今後のご連絡がある場合は本ホームページ(および特に必要な...
-Twitterのハッシュタグ「#pplss2012」つきのtweet(RTを除く)...
-今井先生のスライドは[[こちら:http://proofcafe.org/~keigo...
-会場に服などの入った布バッグのお忘れ物がありました。お心...
-領収書のお忘れ物がありました。必要でしたら上と同様にお知...
* 準備のお願い [#f1a439f4]
&size(24){'''※ 実習のためにご自身のノートPCにあらかじめ仮...
- 10GB程度の空きディスク容量、2GB程度のメインメモリ、およ...
- 仮想マシンソフトウェアとして[[VirtualBox:https://www.vi...
- 圧縮されている仮想マシンイメージを展開するために[[7-Zip...
- 圧縮された仮想マシンイメージ(pplss2012-distv1.7z)を htt...
- VirtualBoxを起動し、上の「仮想マシン」メニューから...
- ''重要: VirtualBox上の「設定」ボタンをクリックし、...
- 「起動」ボタン(「設定」ボタンの右)を押し、仮想マシン...
- 仮想マシンのOSはUbuntu Linuxです。ユーザ名およびパスワ...
- ''初回起動後に一回だけ、ターミナル(コマンドライン)で...
- 英語キーボード等をご利用の方は、仮想マシン内のデスクト...
- 仮想マシンを終了する際は、ウィンドウごと閉じて「仮想マ...
- 不明な点はお気軽にTwitter (@esumii)もしくはメール (sumi...
実習にはインターネット接続が必要です。電源およびネットワ...
* プログラム [#w509e820]
|9:30 - 10:00|受付|
|10:00 - 13:00&br;(実習・休憩を含む) |''HaskellでWebアプ...
|13:00 - 14:30|昼休み|
|14:30 - 17:30&br;(実習・休憩を含む) |''OCamlで構築するモ...
- ''HaskellでWebアプリ作成 ~Webアプリケーションフレーム...
島崎 清山 (株式会社ワークスアプリケーションズ)
> ''概要'': 関数型言語でのWebアプリケーション作成、と言う...
しかし実はHaskellでは手続き型言語と似た感覚でWebアプリケ...
これを可能にするのがYesodという、Haskell製のWebアプリケー...
他の有力なフレームワークと同様に、コマンド一回でアプリケ...
作法にのっとってコードを書くことでWebアプリケーションを実...
加えてHaskellを使うメリットである堅牢性などを享受したプロ...
今回はYesodを紹介し、アプリ作成の実習を通し、関数型言語で...
> ''略歴'': 2009年にワークスアプリケーションズに入社し、...
セキュリティ技術を専門として、主にWebアプリケーションのセ...
現在はCloudインフラ上でのサービス提供のため、技術検証やサ...
- ''OCamlで構築するモダンWeb:型付きHTML5プログラミングの...
今井 敬吾 (有限会社ITプランニング)
> ''概要'': 本チュートリアルでは、OCamlによりHTML5などを...
> 処理系として、OCamlのバイトコードを効率のよいJavaS...
> ''略歴'': 2010年有限会社ITプランニング入社。静的型付け...
#clear
* 参加費・参加申し込み [#j3f5561b]
学生会員1000円, 学生非会員2000円, 一般会員2000円, 一般非...
%%[[日本ソフトウェア科学会第29回大会のWebサイト:http://js...
事前申し込みは終了いたしました。多くのお申し込みをいただ...
以降のお申し込みは当日の会場にて、上と同じ参加費(''現金...
* 問い合わせ先 [#h05c0cb9]
''PPLサマースクール2012 幹事''&br;
[[住井 英二郎:http://www.kb.ecei.tohoku.ac.jp/~sumii/]] (...
E-mail: sumii [at] ecei.tohoku.ac.jp
* 過去のサマースクール [#e90eabd1]
- [[第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):http...
&br;
マルチコア時代の新言語
- [[第9回 PPLサマースクール (PPL Summer School 2011):http...
&br;
クラウドのプログラミング
終了行:
CENTER:&size(24){''PPLサマースクール2012''};
CENTER:&size(32){''関数型言語ベースの先進的Webフレームワ...
CENTER:[[日本ソフトウェア科学会 (JSSST):http://www.jssst....
CENTER:[[日本ソフトウェア科学会第29回大会:http://jssst12....
CENTER:&size(32){2012年 8月 21日 (火)};
CENTER:&size(24){10:00 - 17:30};
CENTER:&size(32){[[法政大学 小金井キャンパス:http://www.h...
CENTER:&size(24){西館 W103号室};
// (建物・部屋未定:追って本ページに掲載いたします)
CENTER:Webページ: http://ppl.jssst.or.jp/index.php?ss2012
// CENTER:(短縮URL: http://j.mp/MxV90R)
// CENTER:&ref(http://www.kb.ecei.tohoku.ac.jp/~sumii/tmp...
#br
* お礼ならびに事後連絡 [#x18e47a0]
本サマースクールは盛況のうちに終了しました。参加者ご各位...
今後のご連絡がある場合は本ホームページ(および特に必要な...
-Twitterのハッシュタグ「#pplss2012」つきのtweet(RTを除く)...
-今井先生のスライドは[[こちら:http://proofcafe.org/~keigo...
-会場に服などの入った布バッグのお忘れ物がありました。お心...
-領収書のお忘れ物がありました。必要でしたら上と同様にお知...
* 準備のお願い [#f1a439f4]
&size(24){'''※ 実習のためにご自身のノートPCにあらかじめ仮...
- 10GB程度の空きディスク容量、2GB程度のメインメモリ、およ...
- 仮想マシンソフトウェアとして[[VirtualBox:https://www.vi...
- 圧縮されている仮想マシンイメージを展開するために[[7-Zip...
- 圧縮された仮想マシンイメージ(pplss2012-distv1.7z)を htt...
- VirtualBoxを起動し、上の「仮想マシン」メニューから...
- ''重要: VirtualBox上の「設定」ボタンをクリックし、...
- 「起動」ボタン(「設定」ボタンの右)を押し、仮想マシン...
- 仮想マシンのOSはUbuntu Linuxです。ユーザ名およびパスワ...
- ''初回起動後に一回だけ、ターミナル(コマンドライン)で...
- 英語キーボード等をご利用の方は、仮想マシン内のデスクト...
- 仮想マシンを終了する際は、ウィンドウごと閉じて「仮想マ...
- 不明な点はお気軽にTwitter (@esumii)もしくはメール (sumi...
実習にはインターネット接続が必要です。電源およびネットワ...
* プログラム [#w509e820]
|9:30 - 10:00|受付|
|10:00 - 13:00&br;(実習・休憩を含む) |''HaskellでWebアプ...
|13:00 - 14:30|昼休み|
|14:30 - 17:30&br;(実習・休憩を含む) |''OCamlで構築するモ...
- ''HaskellでWebアプリ作成 ~Webアプリケーションフレーム...
島崎 清山 (株式会社ワークスアプリケーションズ)
> ''概要'': 関数型言語でのWebアプリケーション作成、と言う...
しかし実はHaskellでは手続き型言語と似た感覚でWebアプリケ...
これを可能にするのがYesodという、Haskell製のWebアプリケー...
他の有力なフレームワークと同様に、コマンド一回でアプリケ...
作法にのっとってコードを書くことでWebアプリケーションを実...
加えてHaskellを使うメリットである堅牢性などを享受したプロ...
今回はYesodを紹介し、アプリ作成の実習を通し、関数型言語で...
> ''略歴'': 2009年にワークスアプリケーションズに入社し、...
セキュリティ技術を専門として、主にWebアプリケーションのセ...
現在はCloudインフラ上でのサービス提供のため、技術検証やサ...
- ''OCamlで構築するモダンWeb:型付きHTML5プログラミングの...
今井 敬吾 (有限会社ITプランニング)
> ''概要'': 本チュートリアルでは、OCamlによりHTML5などを...
> 処理系として、OCamlのバイトコードを効率のよいJavaS...
> ''略歴'': 2010年有限会社ITプランニング入社。静的型付け...
#clear
* 参加費・参加申し込み [#j3f5561b]
学生会員1000円, 学生非会員2000円, 一般会員2000円, 一般非...
%%[[日本ソフトウェア科学会第29回大会のWebサイト:http://js...
事前申し込みは終了いたしました。多くのお申し込みをいただ...
以降のお申し込みは当日の会場にて、上と同じ参加費(''現金...
* 問い合わせ先 [#h05c0cb9]
''PPLサマースクール2012 幹事''&br;
[[住井 英二郎:http://www.kb.ecei.tohoku.ac.jp/~sumii/]] (...
E-mail: sumii [at] ecei.tohoku.ac.jp
* 過去のサマースクール [#e90eabd1]
- [[第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):http...
&br;
マルチコア時代の新言語
- [[第9回 PPLサマースクール (PPL Summer School 2011):http...
&br;
クラウドのプログラミング
ページ名: