English
形式手法・関数型言語セミナー
今日、業界誌やWebサイト等で関数型言語や形式手法が頻繁に紹介され、国内でも商用ソフトウェア開発での利用場面が増加しています。
ITプランニング出張セミナー
関数型言語・定理証明系による開発のエッセンスを出張セミナーでご紹介します（料金応相談）。 詳細は、弊社小笠原までお問い合わせ下さい。
2011年公開セミナー
Scala入門
- 日程: 2011年10月25日(火)
- 場所: 名古屋ソフトウェアセンター
- 主催: (株)名古屋ソフトウェアセンター
- 申し込み
F#で学ぶ関数型言語
- 日程: 2011年09月06日(火)
- 場所: 名古屋ソフトウェアセンター
- 主催: (株)名古屋ソフトウェアセンター
- 申し込み
現場で活かす関数型プログラミング(F#編)
- 日程: 2011年08月08日(月)
- 場所: 豆蔵トレーニングルーム
- 主催: 株式会社豆蔵
- 申し込み
Coqで学ぶ定理証明器入門
- 日程: 2011年07月12日(火)
- 場所: 国立情報学研究所 20階 ミーティングルーム１・２
- 主催: トップエスイー教育センター
- 申し込み
2010年公開セミナー
関数型言語＆形式手法セミナー (2010年度 冬, 終了しました)
(株)豆蔵と(有)ITプランニングの共催で、次のセミナーが開催され、ご好評のうちに終了いたしました：
受講して頂いた皆様および株式会社豆蔵様に御礼申し上げます。
関数型言語セミナー (2010年秋(終了しました))
名古屋ソフトウェアセンター主催「F#で学ぶ関数型言語 (2010/9/6)」が開催され、ご好評のうちに終了いたしました。 受講して頂いた皆様および名古屋ソフトウェアセンター様に御礼申し上げます。