#contents -- * 今回は [#ped3a7e5] - 日時:2008年 5月 29日 (木) 17:40〜19:30 - 場所:いつもの - ネタ:デバドラ,OSCネタ * オープンソースカンファレンスで話すネタについて [#e3fb9099] Open Source Conference @ Nagoya , 8/9(Sat) 2008 at 名古屋市立大学 http://www.ospn.jp/osc2008-nagoya/ - 題目: 関数型言語OCamlの紹介 (仮) - 喋る人:よしひろ - 時間:45分 ** タイトル案 [#n2bd23cd] - OCamlでらくらく関数型プログラミング - 今更聞けない関数型言語OCamlの紹介 -- 関数型言語の時代 〜 オブジェクトなんてもう古い! (←これはまずいかも) - あなたでもできる!!! ** 何を話すのか [#id9616f8] - 他の言語との比較 -- Javaとの比較 - こんなに冗長なJava -- Scala も紹介するとか - オープンソースのカスタマイズ (OCamlで作られたプログラムの紹介とカスタマイズ) -- 3.MLDonkey -- 9.MTASC MTASCは、世界初のオープンソースActionScript2コンパイラである。 -- 業界大手金融機関の某ソフトウェア (ページビュー n/日) はOCamlで書かれています - 大手企業のシステムで使われています - OCamlで動くソフトウェアのデモ!! - 古さを強調 - 1985年(Caml)から作られているので処理系は相当枯れてます(信頼性バリ高) OCamlは1996〜 -- Javaより古くて新しい -- 伝統が語る信頼性 <- さらっと -- コンパイラ老舗の〜〜 - あなたでもできる!!! -- Webアプリケーションが簡単に書ける! - 大企業向け? OCamlプログラマを募集すると能力の高い人がくる ←嫌みではないか? - ocaml サイトの紹介 -- サイトの中身をつぶさに説明 - 速い! <- さらっと - 信頼性 <- さらっと - 聴衆はある程度プログラミング言語を知っているはず -- 既に (Java|Ruby|Perl|...) を学んでいる人がOCamlを学ぶとこういう利点が!! --- λ抽象などの関数的な考え方 ... --- (Javaの人向け)静的型検査+(Ruby他の人向け)型推論 -- 関数型言語はこわくない - 導入ギャップが少ない (かも) - COCANWIKI 紹介 ** 流れ [#e48a0e0f] - OCamlって? -- 関数型言語/OCamlの利点? (n分) -- OCamlで書かれたソフトウェア(n分) - あなたもできるOCaml (n分) <-- 他の言語使いでも入りやすくする - Webアプリケーションのデモ (n分) -- 簡単なもの, 3日で作ったwikiとか? -- ちょっと難しげだが、簡単なものをナイーブに改造すればできそうなもの - OCaml学習のためのサポートサイトの紹介 (n分) * Windows デバイスドライバ開発 概説 by 今井 [#wd32ff16] - Windowsのデバイスドライバ開発キットWDK(http://www.microsoft.com/whdc/devtools/WDK/default.mspx) について解説 -- アーキテクチャ説明,サンプルコード紹介,モデル検査器SDVの簡単な紹介など * 次回 [#ydb1eec9] - 日時:2008年 6月 12日 (木) 17:30- - 場所:名古屋大学 IB館 南棟 5階 562室 - 内容:Don't Panic 続き, Haskellでカン拡張!? (http://comonad.com/reader/2008/kan-extensions/)