投稿者: topse-center

SMVで学ぶモデル検査入門(5/26開催)[終了]

投稿日時: 投稿者: topse-center

■日　程：2011年5月26日(木)
■会　場：国立情報学研究所 20階ミーティングルーム(2009, 2010)
■講　師：早水　公二（株式会社フォーマルテック）

セミナー概要
日　時 2011年5月26日(木) 10:00-17:00(9:30受付開始)
会　場 国立情報学研究所 20階 ミーティングルーム1・2(2009, 2010)
概　要 近年、産業界で注目を集めている形式手法の１つであるモデル検査の入門講座です。モデル検査はシステムが取り得る全状態を網羅的に検査するため、要求された性質や挙動を満たさない状態が1つでもあれば、その状態に至るまでのパスを発見することができます。微妙なタイミングや多くの条件が重なることで発生する不具合の発見・解析に非常に有効です。本セミナーでは、モデル検査の概要に加えて、企業での取り組みやデモ、多くの例題を交えながら初心者の方にも分かりやすく説明します。また、演習問題も用意していますので、実際にモデル検査ツールSMVを操作することで、より深い理解を得ることができます。
内容のレベル 基礎
講　師 早水　公二（株式会社フォーマルテック）
対　象 一般　※　定員 36 名（先着順）
参加費(税込) 一般会員 10,000円、一般非会員 23,000円
学生会員 3,000円、学生非会員 8,000円
※参加費の一部（10%）を、東日本大震災の義援金として寄付いたします。
主　催 NPO法人 トップエスイー教育センター
協　力 国立情報学研究所 GRACEセンター
お問合せ窓口 セミナーに関するご質問などは、下記アドレスにて承ります。
seminar@topse.or.jp

 

ソフトウェア技術者・研究者のための暗号入門 (5/24開催)[終了]

投稿日時: 投稿者: topse-center

■日　程：2011年5月24日(火)
■会　場：国立情報学研究所 20階ミーティングルーム(2009, 2010)
■講　師：伊豆 哲也、森川 郁也 （株式会社富士通研究所 セキュアコンピューティング研究部）

セミナー概要
日　時 2011年5月24日(火)10:00-17:00(9:30受付開始)
会　場 国立情報学研究所 20階 ミーティングルーム1・2(2009, 2010)
概　要 暗号は紀元前から知られている技術ですが、インターネットの普及や情報技術の進展を経て、現在では極めて身近な技術になっています。多くの場合、利用者が暗号の仕組みにまで触れることはありませんが、より高い安心・安全を達成するには、暗号の原理や機能を理解することが重要です。実際、不適切な暗号の使い方によって問題が生じることがあります。
本講義では、暗号技術の中で重要な技術である共通鍵暗号・公開鍵暗号・ディジタル署名・ハッシュ関数などの要素技術の仕組みや安全性を説明し、その原理や利用法を習得してもらうことが目的です。また、実際のシステム開発の場面を想定して、暗号技術の選択・実装・開発法も紹介する予定です。
1. 暗号技術とは
2. 共通鍵暗号
3. 公開鍵暗号・ディジタル署名
4. 単純な秘匿認証からより高度な機能へ
5. 暗号技術の実装・開発について

参考書：今井秀樹(監修)、伊豆哲也、岩田哲、佐藤証、田中実、 花岡悟一郎著， 「トコトンやさしい暗号の本」，日刊工業新聞社，2010年

内容のレベル 基礎
講　師 伊豆 哲也、森川 郁也
（株式会社富士通研究所 セキュアコンピューティング研究部）
対　象 一般　※　定員 36 名（先着順）
参加費 会員：1,500円、一般非会員：12,000円、学生：1,500円
※参加費には参考書代（1,470円）を含みます。
※日本ソフトウェア科学会会員, 情報処理学会 コンピュータセキュリティ研究会会員の方は参加費は1,500円（会員扱い）となります
※参加費の一部（10%）を、東日本大震災の義援金として寄付いたします。
主　催 NPO法人 トップエスイー教育センター
協　力 国立情報学研究所 GRACEセンター
協　賛 日本ソフトウェア科学会 ソフトウェア工学の基礎研究会
情報処理学会 コンピュータセキュリティ研究会
お問合せ窓口 セミナーに関するご質問などは、下記アドレスにて承ります。
seminar@topse.or.jp

edubase Cloud 活用入門(3/1開催)[終了]

投稿日時: 投稿者: topse-center
■日　程：2011年3月1日(火)　13:30-16:45 (計2コマ)
■会　場：国立情報学研究所 20階ミーティングルーム(2009, 2010)
■講　師：横山重俊 (NII特任教授)、長久 勝 (NII 特任技術専門員)、プロビン カランジト(有限会社 e-ambition)

セミナー概要
日　時 2011年3月1日(火) 13:30-16:45 (計2コマ) (受付　13:00- )
会　場 国立情報学研究所 20階 ミーティングルーム1・2(2009, 2010)
概　要 国立情報学研究所にて運用している教育クラウド edubase Cloudを活用してＩＴ教育における演習環境を作成する方々を想定したedubase Cloud活用半日入門コースです。
クラウド基盤としてのedubase Cloudの使い方を学んだ後、実際にedubase Cloudを使った演習を体験することにより自ら演習環境を作成するヒントが得られることを目的とした講義です。
（１）edubase Cloud 利用導入
– edubase Cloud の概要
– edubase Cloud 利用演習
（２）edubase Cloud 活用演習例
– Hadoop Hive 演習（以上、予定）
内容のレベル 入門、応用技術
講　師 横山重俊 (NII特任教授)、長久 勝 (NII 特任技術専門員)、プロビン カランジト(有限会社 e-ambition)
対　象 一般　※　定員 32 名（先着順）
参加費 無料
主　催 NPO法人 トップエスイー教育センター
協　力 国立情報学研究所 GRACEセンター
お問合せ窓口 セミナーに関するご質問などは、下記アドレスにて承ります。
seminar@topse.or.jp

トップエスイー科目単位での受講・聴講サービスのご案内

投稿日時: 投稿者: topse-center
トップエスイー教育センターでは、GRACEセンターが運営する「トップエスイー」の講義を受講したいという方のために、科目単位で受講することができるサービスを提供しています。
「トップエスイーに関心があるが、時間的な制約などの事情により正規履修生になることが難しい」
「業務に直結したテーマに限定してまずは受講したい」

こうした方々にお勧めしたいプログラムです。

※聴講サービスとは講義を受講するのみでレポート採点などのサービスを除いたものです。詳細は【費用】をご覧ください

詳細

【対象者】
    • トップエスイーの開講科目の受講を希望される方
    • 受講される科目のすべての講義に原則参加可能な方（１科目あたり、7～15コマの講義です）

※）科目単位受講スケジュール表で講義開始日と申込締切日をご確認ください。

【人数】

科目あたり数名程度。希望者が多数の場合、先着順に受講人数を調整します。

費用

受講の場合：
NPO会員 非会員
一般 学生 一般 学生
15コマの科目 ￥120,000 ￥38,000 ￥150,000 ￥54,000
7もしくは8コマの科目 ￥56,000 ￥17,000 ￥70,000 ￥26,000
  • トップエスイー正規履修生と同じくレポートおよび成績を評価します
  • 単位として認定されます（後日トップエスイーの履修生になった場合、取得した単位は修了必要単位に振り替えられます）
聴講の場合：
NPO会員 非会員
一般 学生 一般 学生
15コマの科目 ￥80,000 ￥18,000 ￥100,000 ￥30,000
7もしくは8コマの科目 ￥37,000 ￥8,000 ￥46,000 ￥14,000
  • 講義の受講のみで、レポート等の採点は行いません
  • 講義運営上の事情で、トップエスイーの正規受講生を優先させていただくことがあります
  • 単位として認定されません。
  • 「NPO会員」とは、個人正会員、個人賛助会員、もしくは団体賛助会員が指定する者を指します。なお、当センターの団体賛助会員は、NII GRACEセンターの協賛企業とは異なります。
【申し込み】
  • 受講・聴講申込書をダウンロードし、必要事項を記入の上、遅くとも講義開始10日前までに、事務局まで送付してください。
  • 科目概要、および日程については、トップエスイーの開講科目一覧、および
    時間割をご覧ください。詳細については事務局(inquiry@topse.or.jp)にお問い合わせください。
  • 申込みは随時受け付けます。
  • 請求書、領収書が必要な方は事務局までお問い合わせください。
  • 受講にあたり、前提としている科目や知識がある科目があります。開講科目一覧、および、同ページのシラバスや科目概要 をご覧ください。
  • 原則として、講義開始後のキャンセルはお受けできません。キャンセルがある場合は、講義前日の17:00まで事務局までお知らせください。
【受講開始までの流れ】

受講・聴講申込書を受理後、受講可否をご連絡いたします（※各科目の事情により受講できない場合もございます。予めご了承願います。）
なお、受講可能な場合、受講票をお送りします。

【TopSE特別講義】クラウドを活用したWebシステム開発入門(2/7開催)[終了]

投稿日時: 投稿者: topse-center
【特別講義】クラウドを活用したWebシステム開発入門-スケールする Web システムを作る-
■日　程：2011年2月7日(月)
■会　場：国立情報学研究所 20階ミーティングルーム(2009, 2010)
■講　師：山崎泰宏 (株式会社 あくしゅ)

※定員となりましたので、本NPO会員以外の方のお申し込みは締切とさせていただきます。本NPO会員（または会員登録を予定されている方）のみ、お申し込みの受付をさせていただきます。

セミナー概要
日　時 2011年2月7日(月) 16:30-21:30 （受付16:00開始）
会　場 国立情報学研究所 20階 ミーティングルーム1・2(2009, 2010)
概　要 既存のWebシステムをクラウド上に移行、もしくはWebシステムを新規に開発する時のポイントを実習中心に解説する。
実習には、本年度より国立情報学研究所にて運用を開始している edubase Cloudを利用する。
クラウド基盤の仕組みに関しては edubase Cloud にも採用しているオープンソースソフトウェア
である Eucalyptus を事例に説明し、大規模な利用に対して対応（スケール）可能な
Web システムの仕組みと構築法のポイントについて解説する。

16:30-18:00　クラウドコンピューティング基盤
– OSS クラウド基盤の動作上の仕組みを Eucalyptus などを例に実習を含め説明します
– OSS クラウド基盤改変による機能、性能向上について実例を元に説明します
– OSS クラウド上のアプリケーション。Web三層、Hadoop、MPIなどを使ったスケールするアプリケーション、分散アプリケーションフレームワークについて概説する

18:15-19:45　Web三層モデル (1)
– Web システムの基礎
– Web システムのスケーリング
– クラウド上での Web システムのスケールアウト

20:00-21:30　Web三層モデル (2)
– サンプルアプリケーション設定
– Teracotta を利用したスケールアウト
– Teracotta の利点、欠点

内容のレベル 基礎
講　師 山崎泰宏 (株式会社 あくしゅ)
対　象 一般※　定員 32 名（先着順）
参加費 無料
※ ただし、定員を超えるお申し込みがあった場合、トップエスイー受講生ならびにNPO会員を優先させていただきます。また、最終的には抽選となりますので、予めご了承願います。
※ NPO法人 トップエスイー教育センターへ入会をご希望される方は、備考欄に「NPO法人入会希望」とご記入ください。会員価格にてご参加いただけます。なお、会費（年会費12,000円）は会場受付にてお支払ください。
主　催 NPO法人 トップエスイー教育センター
協　力 国立情報学研究所 GRACEセンター
お問合せ窓口 セミナーに関するご質問などは、下記アドレスにて承ります。
seminar@topse.or.jp

【TopSE特別講義】エージェントモデリング(1/31, 2/1開催)[終了]

投稿日時: 投稿者: topse-center

■日　程：2011年1月31日(月), 2月1日(火)． 各日とも 10:30-18:00
■会　場：国立情報学研究所 20階ミーティングルーム(2009, 2010)
■講　師：妻木 俊彦 (国立情報学研究所　特任教授　/　日本ユニシス)

セミナー概要
日　時 2011年1月31日(月), 2月1日(火). 各日とも 10:30-18:00 （受付10:00開始）
会　場 国立情報学研究所 20階 ミーティングルーム1・2(2009, 2010)
概　要 情報社会の高度化に伴い，複雑な人間社会との関わりの中で自律的に問題を解決するためのソフトウェアが求められるようになってきました．要求工学のゴール指向要求分析を使うことにより，多様で変化に富んだ世界を整理し要件を分析することができます．エージェント指向開発法は，そうした成果を実際のシステムとして実現するための技術です．本特別講義では，エージェント指向開発法として代表的な手法であるGaiaとTroposを通してエージェントのモデリング方法について学習します．
内容のレベル 応用　
※ 受講される方は、「オブジェクトモデリング」と「i*法」の知識が必要です。
トップエスイーの開講科目「コンポーネントベース開発」「ゴール指向要求分析」を受講していることが望ましいです。
講　師 妻木 俊彦 (国立情報学研究所　特任教授　/　日本ユニシス)
対　象 一般 ※　定員 32 名（先着順）
参加費 一般会員30,000円（税込み）、一般非会員 50,000円（税込み）
学生会員10,000円（税込み）、学生非会員 16,000円（税込み）
※ NPO法人 トップエスイー教育センターへ入会をご希望される方は、備考欄に「NPO法人入会希望」とご記入ください。会員価格にてご参加いただけます。なお、会費（年会費12,000円）は会場受付にてお支払ください。
主　催 NPO法人 トップエスイー教育センター
協　力 国立情報学研究所 GRACEセンター
お問合せ先 セミナーに関するご質問などは、下記アドレスにて承ります。
seminar@topse.or.jp

【TopSEチュートリアル】「アスペクト指向ソフトウェア開発入門」(12/22開催)[終了]

投稿日時: 投稿者: topse-center

■日　程：2010年12月22日(水)
■会　場：国立情報学研究所 20階ミーティングルーム(2009, 2010)
■講　師：鷲崎弘宜（早稲田大学 理工学術院 准教授 ／ 国立情報学研究所 客員准教授）,　
鄭 顕志（国立情報学研究所 アーキテクチャ科学研究系 助教）

セミナー概要
日　時 2010年12月22日(水) 10:00-17:00
会　場 国立情報学研究所 20階 ミーティングルーム1・2（2004・2005）
概　要 オブジェクト指向を超えて高度な関心事の分離を達成する新世代の開発パラダイム・アスペクト指向について、基礎と理論を体系的に説明し、グループ議論や統合開発環境による演習を通じて使いどころを具体的に解説します。従来のオブジェクト指向開発ではモジュール化が困難であった横断的な関心事（例えばロギング）を、新たなモジュール「アスペクト」へとまとめあげて以降のタイミングで合成するアスペクト指向プログラミングを習得します。特に、Javaの実用的なアスペクト指向拡張であるAspectJを演習環境として取り上げます。さらに、ユースケースを用いて開発の上流工程から横断的関心事を識別し分離するアスペクト指向開発手法を習得します。オブジェクト指向開発をよりよく実現したいと考えるプログラムやSE、オブジェクト指向を超えた先に興味のあるマネージャまで幅広く対応し、アスペクト指向を基本から学びたい初学者にも最適です。

1. はじめに: アスペクト指向の概念
2. アスペクト指向プログラミングの基礎
3. AspectJの基礎（開発環境演習含む）
4. AspectJによる振る舞いへの作用（適用演習含む）
5. AspectJによる構造への作用（適用演習含む）
6. 様々なアスペクト指向プログラミング環境と適用事例
7. ユースケースによるアスペクト指向開発
8. まとめ

※参考書（チュートリアル受講には必須でありません）：長瀬, 天野, 鷲崎, 立堀著, “AspectJによるアスペクト指向プログラミング入門”, ソフトバンクパブリッシング, , 2004年
I. Jacobson and P.W. Ng 著, 鷲崎, 太田, 鹿糠, 立堀 訳,“ユースケースによるアスペクト指向ソフトウェア開発”,翔泳社, 2006年

内容のレベル 初級
講　師 鷲崎弘宜（早稲田大学 理工学術院 准教授 ／ 国立情報学研究所 客員准教授）
鄭 顕志（国立情報学研究所 アーキテクチャ科学研究系 助教）
対　象 一般※　定員 32 名（先着順）
参加費 一般会員 12,000円（税込み）、一般非会員 25,000円（税込み）
学生会員 5,000円（税込み）、学生非会員 8,000円（税込み）
※NPO法人 トップエスイー教育センター、日本ソフトウェア科学会の会員の方は割引の対象となります。
※GRACEセンター協賛企業の方は別途お問い合わせ下さい。
NPO法人 トップエスイー教育センターへ入会をご希望される方は、備考欄に「NPO法人入会希望」とご記入ください。会員価格にてご参加いただけます。なお、会費（年会費12,000円）は会場受付にてお支払ください。
主　催 NPO法人 トップエスイー教育センター
協　力 国立情報学研究所 GRACEセンター
協　賛 日本ソフトウェア科学会 ソフトウェア工学基礎研究会
お問合せ先 セミナーに関するご質問などは、下記アドレスにて承ります。
seminar@topse.or.jp

【TopSEチュートリアル】VDM++による形式仕様記述(1/25開催)[終了]

投稿日時: 投稿者: topse-center

■日　程：2011年1月25日(火)
■会　場：国立情報学研究所 20階ミーティングルーム(2009, 2010)
■講　師：石川　冬樹 (国立情報学研究所)

セミナー概要
日　時 2011年1月25日(火) 10:00-17:00 （受付開始：9:30）
会　場 国立情報学研究所 20階 ミーティングルーム1・2（2009・2010）
概　要 本チュートリアルでは，形式手法VDM++によるソフトウェアの仕様記述と検証・分析について，ツールを使った実習を交えて解説します。
ソフトウェア開発では，開発の早い段階での誤りが後の工程へと引き継がれることに起因する，システムの信頼性低下や手戻りによるコスト増大が大きな問題となっています．このため，開発の初期段階の仕様書や設計書等の中間成果物に対して，科学的・系統的に分析・検証を行い誤りを除いておくことが重要であると考えられます．そのためのアプローチとして，数理的な基礎のもとにモデル化と検証・分析を行う，形式手法が最近注目されています．しかし，これまで開発者 が身につけてきたものとは異なる知識・スキルが求められるので，敷居が高いという側面があるのも事実です．
本チュートリアルでは，ライトウェイトな形式手法であるVDMをとり上げます．VDMでは，システムの状態を表す変数やそれに対する操作を抽象的にモデル化し，インタプリタ実行によるテストを中心とした方法で検証・分析を行います．このため，一般の開発者にとって身近な方法により，実装詳細を捨象した形での仕様の厳密化・明確化，および実行を通した検証・分析を行うことができます．
また，形式手法としてのVDMの考え方・アプローチと，オブジェクト指向に基づいたVDM++言語を使った仕様記述について，解説します．さらに，ツールを用いた仕様の実行と検証・分析方法についても，具体例に基づく実習と実演を交えて，説明します．
内容のレベル 初級
講　師 石川冬樹 (国立情報学研究所)
対　象 一般※　定員 32 名（先着順）
参加費(税込) 一般会員 10,000円、一般非会員 15,000円
学生会員 3,000円、学生非会員 6,000円
※NPO法人 トップエスイー教育センター、日本ソフトウェア科学会の会員の方は割引の対象となります。
※GRACEセンター協賛企業の方は別途お問い合わせ下さい。
NPO法人 トップエスイー教育センターへ入会を希望される方は、備考欄に「NPO法人入会希望」とご記入ください。会員価格にてご参加いただけます。なお、会費（年会費12,000円）は会場受付にてお支払ください。
主　催 日本ソフトウェア科学会
協　力 NPO法人 トップエスイー教育センター
国立情報学研究所 GRACEセンター
株式会社　CSK
お問合せ先 本セミナーに関するご質問などは、下記アドレスにて承ります。
vdm-tutorial@topse.jp

edubase Cloudで学ぶクラウド入門(10/1開催)[終了]

投稿日時: 投稿者: topse-center

■日　程：2010年10月1日(金)
■会　場：国立情報学研究所 20階 ミーティングルーム1・2（2009・2010）
■受講料：無料（ただし事前登録が必要です)
■対象：一般（定員 32名, 先着順）

セミナー概要
日　時 2010年10月1日(金) 13:30-16:45
会　場 国立情報学研究所 20階 ミーティングルーム1・2（2009・2010）
概　要 NIIでは、文部科学省先導的ITスペシャリスト育成プログラム拠点間事業の成果として、思う存分自分のアイデアを試せる、オープンソースで構築された教育用クラウド”edubase Cloud（えでゅべーす くらうど）” を構築し、運営しています。”edubase Cloud”は、必要な時に必要なITリソースを確保し、自分のアイデアを試す環境を迅速に作成できるという一般的なクラウドが持つ特徴の他に、以下の4つの特長を持ちます。

(1)専有性：物理的に分離された自分専用のIT実験環境の確保が可能
(2)改変性：基盤からオープンソースで構築されたクラウドであるためクラウド基盤までもカスタマイズ可能
(3)連携性：オープンインタフェースによる外部クラウドサービスとの連携
(4)保存性：マシンイメージを含めたプロジェクト成果のアーカイブ機能

これらの特長により、IT技術を駆使したプロジェクト型学習など、実践的教育に活用できます。
特に、専有性と改変性をあわせ持つことから、今後の先導的IT技術者教育に必要となるクラウド基盤に関する実験も可能となり、今までにない先進的な教育・研究フィールドとなります。

本セミナーでは、実際にedubase Cloudを使いながら、クラウドの概念、アプリケーション構築の実際などを、実習も交えて解説します。
内容のレベル 初級
講　師 長久 勝 (NII 特任技術専門員)、プロビン カランジト(有限会社 e-ambition)
対　象 一般※　定員 32 名（先着順）
受講料 無料（ただし事前登録が必要です)
主　催 NPO法人 トップエスイー教育センター
協　力 国立情報学研究所 GRACEセンター
お問合せ窓口 セミナーに関するご質問などは、下記アドレスにて承ります。
seminar@topse.or.jp

同日開催：第42回先端ソフトウェア科学･工学に関するGRACEセミナー
（詳細ページへ）

【TopSE特別講義】 「セキュリティ特論」(8/10, 24開催)[終了]

投稿日時: 投稿者: topse-center

■日　程：2010年8月10日(火)，8月24日(火) いずれも，18:20-21:30
■会　場：国立情報学研究所
■受講料：無料
■対象：NPO法人 トップエスイー教育センターの会員、およびトップエスイー受講生（定員 32 名、先着順）

※NPO法人 トップエスイー教育センターの会員でない方でも開催日当日までに会員登録をお済みであればご参加いただけます。詳しくは「お問合せ窓口（seminar@topse.or.jp）」にご連絡ください。

セミナー概要
日　時 2010年8月10日(火)，8月24日(火) いずれも，18:20-21:30 (計4コマ)
会　場 国立情報学研究所
概　要 セキュリティ関連の最近の状況を把握し，セキュリティ活動の全体像と対策活動のポイントを，講義する．また，講師の体験談や体験から得たことを紹介する．これは，トップエスイーの研修を今後のキャリア開発により有効に生かしていくための示唆となるであろう．また，セキュリティ関連トップエスイー科目（セキュリティ要求分析，形式記述等）との関連にもふれる．事例や講師の体験を盛り込んだ講義とする．
内容のレベル 応用
講　師 安田 晃 (特定非営利活動法人 ＩＴプロ技術者機構 会長)
対　象 NPO法人 トップエスイー教育センターの会員、およびトップエスイー受講生が対象となります。
※　定員 32 名（先着順）
※NPO法人 トップエスイー教育センターの会員でない方でも開催日当日までに会員登録がお済みであればご参加いただけます。詳しくは下記「お問合せ窓口」にご連絡ください。
受講料 無料
主　催 NPO法人 トップエスイー教育センター
協　力 国立情報学研究所 GRACEセンター
お問合せ窓口 セミナーに関するご質問などは、下記アドレスにて承ります。
seminar@topse.or.jp