<?xml version="1.0" encoding="UTF-8"?>
<rss version="2.0"
	xmlns:content="http://purl.org/rss/1.0/modules/content/"
	xmlns:wfw="http://wellformedweb.org/CommentAPI/"
	xmlns:dc="http://purl.org/dc/elements/1.1/"
	xmlns:atom="http://www.w3.org/2005/Atom"
	xmlns:sy="http://purl.org/rss/1.0/modules/syndication/"
	xmlns:slash="http://purl.org/rss/1.0/modules/slash/"
	>

<channel>
	<title>edubase</title>
	<atom:link href="http://edubase.jp/index/feed/" rel="self" type="application/rss+xml" />
	<link>http://edubase.jp/index</link>
	<description>Total solutions for education</description>
	<lastBuildDate>Wed, 22 Feb 2012 07:30:02 +0000</lastBuildDate>
	<language>ja</language>
	<sy:updatePeriod>hourly</sy:updatePeriod>
	<sy:updateFrequency>1</sy:updateFrequency>
	<generator>http://wordpress.org/?v=3.1.2</generator>
		<item>
		<title>授業パッケージ「IaaSクラウドを支えるサーバ・インフラ技術を学ぶハンズオンセミナー(2011年)」</title>
		<link>http://edubase.jp/index/2012/02/22/%e6%8e%88%e6%a5%ad%e3%83%91%e3%83%83%e3%82%b1%e3%83%bc%e3%82%b8%e3%80%8ciaas%e3%82%af%e3%83%a9%e3%82%a6%e3%83%89%e3%82%92%e6%94%af%e3%81%88%e3%82%8b%e3%82%b5%e3%83%bc%e3%83%90%e3%83%bb%e3%82%a4/</link>
		<comments>http://edubase.jp/index/2012/02/22/%e6%8e%88%e6%a5%ad%e3%83%91%e3%83%83%e3%82%b1%e3%83%bc%e3%82%b8%e3%80%8ciaas%e3%82%af%e3%83%a9%e3%82%a6%e3%83%89%e3%82%92%e6%94%af%e3%81%88%e3%82%8b%e3%82%b5%e3%83%bc%e3%83%90%e3%83%bb%e3%82%a4/#comments</comments>
		<pubDate>Wed, 22 Feb 2012 07:30:02 +0000</pubDate>
		<dc:creator>admin</dc:creator>
				<category><![CDATA[edubase Stream News]]></category>
		<category><![CDATA[Top news]]></category>
		<category><![CDATA[授業パッケージ]]></category>

		<guid isPermaLink="false">http://edubase.jp/index/?p=1988</guid>
		<description><![CDATA[IaaSクラウドを支えるサーバ・インフラ技術を学ぶハンズオンセミナー(2011年)を授業パッケージとしてまとめました。 第一部(その１)「Eucalyptusとedubase Cloud」 第一部(その２)「edubas [...]]]></description>
			<content:encoded><![CDATA[<p><a href="http://stream.edubase.jp/packages/view/55">IaaSクラウドを支えるサーバ・インフラ技術を学ぶハンズオンセミナー(2011年)</a>を授業パッケージとしてまとめました。</p>
<ul>
<li><a href="http://stream.edubase.jp/contents/view/571">第一部(その１)「Eucalyptusとedubase Cloud」</a></li>
<li><a href="http://stream.edubase.jp/contents/view/572">第一部(その２)「edubase CloudによるIaaSインフラ活用演習」</a></li>
<li><a href="http://stream.edubase.jp/contents/view/598">第二部(その１)「IaaSクラウドを支えるサーバ・インフラ技術（講義）」</a></li>
<li><a href="http://stream.edubase.jp/contents/view/599">第二部(その2)「IaaSクラウドを支えるサーバ・インフラ技術（講義）」</a></li>
</ul>
<p><div id="attachment_2474" class="wp-caption alignnone" style="width: 310px"><a href="http://edubase.jp/stream/wp-content/uploads/2012/02/b5ad2e33c05488ecfd4ef2b34809327f.png"><img src="http://edubase.jp/stream/wp-content/uploads/2012/02/b5ad2e33c05488ecfd4ef2b34809327f-300x224.png" alt="図表１：IaaSクラウドを支えるサーバ・インフラ技術を学ぶハンズオンセミナー(2011年)" title="図表１：IaaSクラウドを支えるサーバ・インフラ技術を学ぶハンズオンセミナー(2011年)" width="300" height="224" class="size-medium wp-image-2474" /></a><p class="wp-caption-text">図表１：IaaSクラウドを支えるサーバ・インフラ技術を学ぶハンズオンセミナー(2011年)</p></div>
<p><font color="#B4B4B4" size="-2">Post Footer automatically generated by <a href="http://www.freetimefoto.com/add_post_footer_plugin_wordpress" style="color: #B4B4B4; text-decoration:underline;">Add Post Footer Plugin</a> for wordpress.</font></p>
]]></content:encoded>
			<wfw:commentRss>http://edubase.jp/index/2012/02/22/%e6%8e%88%e6%a5%ad%e3%83%91%e3%83%83%e3%82%b1%e3%83%bc%e3%82%b8%e3%80%8ciaas%e3%82%af%e3%83%a9%e3%82%a6%e3%83%89%e3%82%92%e6%94%af%e3%81%88%e3%82%8b%e3%82%b5%e3%83%bc%e3%83%90%e3%83%bb%e3%82%a4/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>IaaSクラウドを支えるサーバ・インフラ技術を学ぶハンズオンセミナー(2011年)～が人気 &#8211; 授業パッケージランキング（２０１２年２月１３日〜２月１９日）</title>
		<link>http://edubase.jp/index/2012/02/22/iaas%e3%82%af%e3%83%a9%e3%82%a6%e3%83%89%e3%82%92%e6%94%af%e3%81%88%e3%82%8b%e3%82%b5%e3%83%bc%e3%83%90%e3%83%bb%e3%82%a4%e3%83%b3%e3%83%95%e3%83%a9%e6%8a%80%e8%a1%93%e3%82%92%e5%ad%a6%e3%81%b6-2/</link>
		<comments>http://edubase.jp/index/2012/02/22/iaas%e3%82%af%e3%83%a9%e3%82%a6%e3%83%89%e3%82%92%e6%94%af%e3%81%88%e3%82%8b%e3%82%b5%e3%83%bc%e3%83%90%e3%83%bb%e3%82%a4%e3%83%b3%e3%83%95%e3%83%a9%e6%8a%80%e8%a1%93%e3%82%92%e5%ad%a6%e3%81%b6-2/#comments</comments>
		<pubDate>Wed, 22 Feb 2012 02:45:31 +0000</pubDate>
		<dc:creator>admin</dc:creator>
				<category><![CDATA[edubase Stream News]]></category>
		<category><![CDATA[Top news]]></category>

		<guid isPermaLink="false">http://edubase.jp/index/?p=2026</guid>
		<description><![CDATA[２０１２年２月１３日〜２月１９日でもっとも人気のあった授業パッケージは、 IaaSクラウドを支えるサーバ・インフラ技術を学ぶハンズオンセミナー(2011年) でした。 第２位：形式仕様記述（応用編）(2010年度) 第３ [...]]]></description>
			<content:encoded><![CDATA[<p>２０１２年２月１３日〜２月１９日でもっとも人気のあった授業パッケージは、<br />
<a href="http://stream.edubase.jp/packages/view/55">IaaSクラウドを支えるサーバ・インフラ技術を学ぶハンズオンセミナー(2011年)</a><br />
でした。<br />
<div id="attachment_2524" class="wp-caption alignnone" style="width: 310px"><a href="http://edubase.jp/stream/wp-content/uploads/2012/02/0166979fa92ec71e47c2c224269aa7f3.png"><img src="http://edubase.jp/stream/wp-content/uploads/2012/02/0166979fa92ec71e47c2c224269aa7f3-300x221.png" alt="図表１：IaaSクラウドを支えるサーバ・インフラ技術を学ぶハンズオンセミナー(2011年)" title="図表１：IaaSクラウドを支えるサーバ・インフラ技術を学ぶハンズオンセミナー(2011年)" width="300" height="221" class="size-medium wp-image-2524" /></a><p class="wp-caption-text">図表１：IaaSクラウドを支えるサーバ・インフラ技術を学ぶハンズオンセミナー(2011年)</p></div></p>
<p>第２位：<a href="http://stream.edubase.jp/packages/view/49">形式仕様記述（応用編）(2010年度)</a><br />
第３位：<a href="http://stream.edubase.jp/packages/view/60">プロセス分析ツールＰＡＴで学ぶ並行プロセスのモデル検査（2011年）</a><br />
第４位：<a href="http://stream.edubase.jp/packages/view/53">クラウド実践（2011年収録）</a><br />
第５位：<a href="http://stream.edubase.jp/packages/view/50">edubase Cloudで学ぶクラウド入門 ～OpenStackを作ってみよう～</a><br />
　<br />
先週は、クラウド関連の授業パッケージに人気が集まりました。今年もクラウドは引き続きキーワードとなりそうです。
<p><font color="#B4B4B4" size="-2">Post Footer automatically generated by <a href="http://www.freetimefoto.com/add_post_footer_plugin_wordpress" style="color: #B4B4B4; text-decoration:underline;">Add Post Footer Plugin</a> for wordpress.</font></p>
]]></content:encoded>
			<wfw:commentRss>http://edubase.jp/index/2012/02/22/iaas%e3%82%af%e3%83%a9%e3%82%a6%e3%83%89%e3%82%92%e6%94%af%e3%81%88%e3%82%8b%e3%82%b5%e3%83%bc%e3%83%90%e3%83%bb%e3%82%a4%e3%83%b3%e3%83%95%e3%83%a9%e6%8a%80%e8%a1%93%e3%82%92%e5%ad%a6%e3%81%b6-2/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>【お知らせ】【クラウドシリーズ】トップエスイー特別講義「分散処理アプリ演習」開催</title>
		<link>http://edubase.jp/index/2012/02/21/%e3%80%90%e3%81%8a%e7%9f%a5%e3%82%89%e3%81%9b%e3%80%91%e3%80%90%e3%82%af%e3%83%a9%e3%82%a6%e3%83%89%e3%82%b7%e3%83%aa%e3%83%bc%e3%82%ba%e3%80%91%e3%83%88%e3%83%83%e3%83%97%e3%82%a8%e3%82%b9%e3%82%a4/</link>
		<comments>http://edubase.jp/index/2012/02/21/%e3%80%90%e3%81%8a%e7%9f%a5%e3%82%89%e3%81%9b%e3%80%91%e3%80%90%e3%82%af%e3%83%a9%e3%82%a6%e3%83%89%e3%82%b7%e3%83%aa%e3%83%bc%e3%82%ba%e3%80%91%e3%83%88%e3%83%83%e3%83%97%e3%82%a8%e3%82%b9%e3%82%a4/#comments</comments>
		<pubDate>Tue, 21 Feb 2012 07:30:25 +0000</pubDate>
		<dc:creator>admin</dc:creator>
				<category><![CDATA[Top news]]></category>
		<category><![CDATA[ピックアップ]]></category>
		<category><![CDATA[お知らせ]]></category>

		<guid isPermaLink="false">http://edubase.jp/index/?p=2034</guid>
		<description><![CDATA[3月13日(火)に国立情報学研究所 GRACEセンター、NPO法人 トップエスイー教育センターは【クラウドシリーズ】トップエスイー特別講義「分散処理アプリ演習」を開催します。 概　要 本講座では、分散処理技術として広く利 [...]]]></description>
			<content:encoded><![CDATA[<p>3月13日(火)に<a href="http://grace-center.jp/">国立情報学研究所 GRACEセンター</a>、<a href="http://topse.or.jp/">NPO法人 トップエスイー教育センター</a>は<a href="http://www.topse.or.jp/docs/?q=node/37">【クラウドシリーズ】トップエスイー特別講義「分散処理アプリ演習」</a>を開催します。</p>
<h3>概　要</h3>
<p>本講座では、分散処理技術として広く利用されているHadoopを通して、実際の業務に役立つ事例を中心とした題材を使用し、実践的に分散処理アプリケーションの開発を学びます。具体的には、Hadoopの構成要素であるMapReduceや、Hadoopの周辺技術でありSQLライクなインターフェイスであるHiveについて、POSデータ分析等を題材として、解説・演習を行います。<br />
　<br />
日　時：2012年3月13日(火) 10:30～18:30 (受付開始: 10:00)<br />
会　場（予定）：国立情報学研究所 20階 ミーティングルーム１・２(2009, 2010)<br />
対　象：25名(先着順)※定員に達し次第，申し込みを締め切らせていただきます。<br />
参加費：会員 無料、一般非会員 16,000円（税込み）、学生非会員 8,000円（税込み）<br />
※NPO法人 トップエスイー教育センター会員は優先的にご参加いただけます。<br />
　<br />
詳しくは、下記サイトをご覧ください。<br />
<a href="http://www.topse.or.jp/docs/?q=node/37">【クラウドシリーズ】トップエスイー特別講義「分散処理アプリ演習」</a>
<p><font color="#B4B4B4" size="-2">Post Footer automatically generated by <a href="http://www.freetimefoto.com/add_post_footer_plugin_wordpress" style="color: #B4B4B4; text-decoration:underline;">Add Post Footer Plugin</a> for wordpress.</font></p>
]]></content:encoded>
			<wfw:commentRss>http://edubase.jp/index/2012/02/21/%e3%80%90%e3%81%8a%e7%9f%a5%e3%82%89%e3%81%9b%e3%80%91%e3%80%90%e3%82%af%e3%83%a9%e3%82%a6%e3%83%89%e3%82%b7%e3%83%aa%e3%83%bc%e3%82%ba%e3%80%91%e3%83%88%e3%83%83%e3%83%97%e3%82%a8%e3%82%b9%e3%82%a4/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>【お知らせ】２月に限定公開が終了する講義について</title>
		<link>http://edubase.jp/index/2012/02/20/%e3%80%90%e3%81%8a%e7%9f%a5%e3%82%89%e3%81%9b%e3%80%91%ef%bc%92%e6%9c%88%e3%81%ab%e9%99%90%e5%ae%9a%e5%85%ac%e9%96%8b%e3%81%8c%e7%b5%82%e4%ba%86%e3%81%99%e3%82%8b%e8%ac%9b%e7%be%a9%e3%81%ab%e3%81%a4/</link>
		<comments>http://edubase.jp/index/2012/02/20/%e3%80%90%e3%81%8a%e7%9f%a5%e3%82%89%e3%81%9b%e3%80%91%ef%bc%92%e6%9c%88%e3%81%ab%e9%99%90%e5%ae%9a%e5%85%ac%e9%96%8b%e3%81%8c%e7%b5%82%e4%ba%86%e3%81%99%e3%82%8b%e8%ac%9b%e7%be%a9%e3%81%ab%e3%81%a4/#comments</comments>
		<pubDate>Mon, 20 Feb 2012 01:30:50 +0000</pubDate>
		<dc:creator>admin</dc:creator>
				<category><![CDATA[edubase Stream News]]></category>
		<category><![CDATA[Top news]]></category>

		<guid isPermaLink="false">http://edubase.jp/index/?p=1991</guid>
		<description><![CDATA[現在公開している下記コンテンツにつきましては、２月末で非公開となります。 並行システムの検証と実装(2010年度) ソフトウェアパターン（2008年収録） 形式仕様記述（応用編）(2010年度) ぜひ、この機会にご覧くだ [...]]]></description>
			<content:encoded><![CDATA[<p>現在公開している下記コンテンツにつきましては、２月末で非公開となります。</p>
<ul>
<li><a href="http://stream.edubase.jp/packages/view/45">並行システムの検証と実装(2010年度)</a></li>
<li><a href="http://stream.edubase.jp/packages/view/48">ソフトウェアパターン（2008年収録）</a></li>
<li><a href="http://stream.edubase.jp/packages/view/49">形式仕様記述（応用編）(2010年度)</a></li>
</ul>
<p>ぜひ、この機会にご覧ください。<br />
　<br />
また、edubase Mobileを活用すれば、上記講義をダウンロードして、いつでも閲覧することが可能です。<br />
※ダウンロードには、edubase Streamの会員登録とWi-fi環境が必要となります。</p>
<p>・<a href="http://itunes.apple.com/jp/app/edubase-mobile/id464194690">edubase Mobile iPhone版</a><br />
iPhone版の使い方は<a href="http://edubase.jp/stream/?p=679">こちら</a>からご覧いただけます。<br />
・<a href="https://market.android.com/details?id=jp.edubase.mobile">edubase Mobile Android版</a><br />
Android版の使い方は<a href="http://edubase.jp/stream/?p=1363">こちら</a>からご覧いただけます。
<p><font color="#B4B4B4" size="-2">Post Footer automatically generated by <a href="http://www.freetimefoto.com/add_post_footer_plugin_wordpress" style="color: #B4B4B4; text-decoration:underline;">Add Post Footer Plugin</a> for wordpress.</font></p>
]]></content:encoded>
			<wfw:commentRss>http://edubase.jp/index/2012/02/20/%e3%80%90%e3%81%8a%e7%9f%a5%e3%82%89%e3%81%9b%e3%80%91%ef%bc%92%e6%9c%88%e3%81%ab%e9%99%90%e5%ae%9a%e5%85%ac%e9%96%8b%e3%81%8c%e7%b5%82%e4%ba%86%e3%81%99%e3%82%8b%e8%ac%9b%e7%be%a9%e3%81%ab%e3%81%a4/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>【公開】授業パッケージ「プロセス分析ツールＰＡＴで学ぶ並行プロセスのモデル検査（2011年）」</title>
		<link>http://edubase.jp/index/2012/02/17/%e3%80%90%e5%85%ac%e9%96%8b%e3%80%91%e6%8e%88%e6%a5%ad%e3%83%91%e3%83%83%e3%82%b1%e3%83%bc%e3%82%b8%e3%80%8c%e3%83%97%e3%83%ad%e3%82%bb%e3%82%b9%e5%88%86%e6%9e%90%e3%83%84%e3%83%bc%e3%83%ab%ef%bd%90/</link>
		<comments>http://edubase.jp/index/2012/02/17/%e3%80%90%e5%85%ac%e9%96%8b%e3%80%91%e6%8e%88%e6%a5%ad%e3%83%91%e3%83%83%e3%82%b1%e3%83%bc%e3%82%b8%e3%80%8c%e3%83%97%e3%83%ad%e3%82%bb%e3%82%b9%e5%88%86%e6%9e%90%e3%83%84%e3%83%bc%e3%83%ab%ef%bd%90/#comments</comments>
		<pubDate>Fri, 17 Feb 2012 07:30:23 +0000</pubDate>
		<dc:creator>admin</dc:creator>
				<category><![CDATA[edubase Stream News]]></category>
		<category><![CDATA[Top news]]></category>
		<category><![CDATA[授業パッケージ]]></category>

		<guid isPermaLink="false">http://edubase.jp/index/?p=1976</guid>
		<description><![CDATA[プロセス分析ツールＰＡＴで学ぶ並行プロセスのモデル検査（2011年）を授業パッケージとしてまとめました。 　 本セミナーでは、プロセス代数(CSP)に基づくモデル検査ツールPAT (Process Analysis To [...]]]></description>
			<content:encoded><![CDATA[<p><a href="http://stream.edubase.jp/packages/view/60">プロセス分析ツールＰＡＴで学ぶ並行プロセスのモデル検査（2011年）</a>を授業パッケージとしてまとめました。<br />
　<br />
本セミナーでは、プロセス代数(CSP)に基づくモデル検査ツールPAT (Process Analysis Toolkit)の基本的な使い方を理解します。第一部は、英語での講義です。</p>
<ul>
<li><a href="http://stream.edubase.jp/contents/view/596">第一部「PAT Model Checking System」（その1）</a></li>
<li><a href="http://stream.edubase.jp/contents/view/597">第一部「PAT Model Checking System」（その2）</a></li>
<li><a href="http://stream.edubase.jp/contents/view/594">第二部「PAT ハンズオン～ふれながら学ぶモデル検査～」（その１）</a></li>
<li><a href="http://stream.edubase.jp/contents/view/600">第二部「PAT ハンズオン～ふれながら学ぶモデル検査～」（その２）</a></li>
</ul>
<p><div id="attachment_2459" class="wp-caption alignnone" style="width: 310px"><a href="http://edubase.jp/stream/wp-content/uploads/2012/02/1b918a01210e1d0b66b9bf49b998429d.png"><img src="http://edubase.jp/stream/wp-content/uploads/2012/02/1b918a01210e1d0b66b9bf49b998429d-300x220.png" alt="図表１：プロセス分析ツールＰＡＴで学ぶ並行プロセスのモデル検査（2011年）" title="図表１：プロセス分析ツールＰＡＴで学ぶ並行プロセスのモデル検査（2011年）" width="300" height="220" class="size-medium wp-image-2459" /></a><p class="wp-caption-text">図表１：プロセス分析ツールＰＡＴで学ぶ並行プロセスのモデル検査（2011年）</p></div><br />
※このビデオは、2011年10月24日(月)に行われました、トップエスイー教育センターのセミナーを撮影、編集したものです。<br />
詳しくは下記をご覧ください。<br />
<a href="http://www.topse.or.jp/docs/?q=node/30">http://www.topse.or.jp/docs/?q=node/30</a>
<p><font color="#B4B4B4" size="-2">Post Footer automatically generated by <a href="http://www.freetimefoto.com/add_post_footer_plugin_wordpress" style="color: #B4B4B4; text-decoration:underline;">Add Post Footer Plugin</a> for wordpress.</font></p>
]]></content:encoded>
			<wfw:commentRss>http://edubase.jp/index/2012/02/17/%e3%80%90%e5%85%ac%e9%96%8b%e3%80%91%e6%8e%88%e6%a5%ad%e3%83%91%e3%83%83%e3%82%b1%e3%83%bc%e3%82%b8%e3%80%8c%e3%83%97%e3%83%ad%e3%82%bb%e3%82%b9%e5%88%86%e6%9e%90%e3%83%84%e3%83%bc%e3%83%ab%ef%bd%90/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>【公開】プロセス分析ツールＰＡＴで学ぶ並行プロセスのモデル検査 第二部「PAT ハンズオン～ふれながら学ぶモデル検査～」（その２）</title>
		<link>http://edubase.jp/index/2012/02/15/%e3%80%90%e5%85%ac%e9%96%8b%e3%80%91%e3%83%97%e3%83%ad%e3%82%bb%e3%82%b9%e5%88%86%e6%9e%90%e3%83%84%e3%83%bc%e3%83%ab%ef%bd%90%ef%bd%81%ef%bd%94%e3%81%a7%e5%ad%a6%e3%81%b6%e4%b8%a6%e8%a1%8c%e3%83%97-3/</link>
		<comments>http://edubase.jp/index/2012/02/15/%e3%80%90%e5%85%ac%e9%96%8b%e3%80%91%e3%83%97%e3%83%ad%e3%82%bb%e3%82%b9%e5%88%86%e6%9e%90%e3%83%84%e3%83%bc%e3%83%ab%ef%bd%90%ef%bd%81%ef%bd%94%e3%81%a7%e5%ad%a6%e3%81%b6%e4%b8%a6%e8%a1%8c%e3%83%97-3/#comments</comments>
		<pubDate>Wed, 15 Feb 2012 05:00:38 +0000</pubDate>
		<dc:creator>admin</dc:creator>
				<category><![CDATA[edubase Stream News]]></category>
		<category><![CDATA[Top news]]></category>

		<guid isPermaLink="false">http://edubase.jp/index/?p=1945</guid>
		<description><![CDATA[プロセス分析ツールＰＡＴで学ぶ並行プロセスのモデル検査 第二部「PAT ハンズオン～ふれながら学ぶモデル検査～」（その２）を公開いたしました。 　 本セミナーでは、プロセス代数(CSP)に基づくモデル検査ツールPAT ( [...]]]></description>
			<content:encoded><![CDATA[<p><a href="http://stream.edubase.jp/contents/view/600">プロセス分析ツールＰＡＴで学ぶ並行プロセスのモデル検査 第二部「PAT ハンズオン～ふれながら学ぶモデル検査～」（その２）</a>を公開いたしました。<br />
　<br />
本セミナーでは、プロセス代数(CSP)に基づくモデル検査ツールPAT (Process Analysis Toolkit)の基本的な使い方を理解します。実際にツールを使って頂きながら、PATを利用したモデルの作成方法、シミュレーション方法、検査方法を解説します。<br />
　<br />
その２では、PATの２つの流儀について解説します。<br />
１）プロセスの等価性、プロセスの詳細化関係の成立を検査<br />
２）時相論理（LTL）による検査<br />
また、簡単なモデルを元に検証までのプロセスを紹介します。</p>
<p><div id="attachment_2420" class="wp-caption alignnone" style="width: 310px"><a href="http://edubase.jp/stream/wp-content/uploads/2012/02/a4ce1d422dd9d2cc80545f8d5167ca3a.png"><img src="http://edubase.jp/stream/wp-content/uploads/2012/02/a4ce1d422dd9d2cc80545f8d5167ca3a-300x176.png" alt="図表１：プロセス分析ツールＰＡＴで学ぶ並行プロセスのモデル検査 第二部「PAT ハンズオン～ふれながら学ぶモデル検査～」（その２）" title="図表１：プロセス分析ツールＰＡＴで学ぶ並行プロセスのモデル検査 第二部「PAT ハンズオン～ふれながら学ぶモデル検査～」（その２）" width="300" height="176" class="size-medium wp-image-2420" /></a><p class="wp-caption-text">図表１：プロセス分析ツールＰＡＴで学ぶ並行プロセスのモデル検査 第二部「PAT ハンズオン～ふれながら学ぶモデル検査～」（その２）</p></div><br />
※このビデオは、2011年10月24日(月)に行われました、トップエスイー教育センター<br />
のセミナーを撮影、編集したものです。ビデオは2分割しており、このビデオは2つ目です。<br />
詳しくは下記をご覧ください。<br />
<a href="http://www.topse.or.jp/docs/?q=node/30">http://www.topse.or.jp/docs/?q=node/30</a>
<p><font color="#B4B4B4" size="-2">Post Footer automatically generated by <a href="http://www.freetimefoto.com/add_post_footer_plugin_wordpress" style="color: #B4B4B4; text-decoration:underline;">Add Post Footer Plugin</a> for wordpress.</font></p>
]]></content:encoded>
			<wfw:commentRss>http://edubase.jp/index/2012/02/15/%e3%80%90%e5%85%ac%e9%96%8b%e3%80%91%e3%83%97%e3%83%ad%e3%82%bb%e3%82%b9%e5%88%86%e6%9e%90%e3%83%84%e3%83%bc%e3%83%ab%ef%bd%90%ef%bd%81%ef%bd%94%e3%81%a7%e5%ad%a6%e3%81%b6%e4%b8%a6%e8%a1%8c%e3%83%97-3/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>【公開】IaaSクラウドを支えるサーバ・インフラ技術を学ぶハンズオンセミナー第二部(その2)「IaaSクラウドを支えるサーバ・インフラ技術（講義）」</title>
		<link>http://edubase.jp/index/2012/02/15/%e3%80%90%e5%85%ac%e9%96%8b%e3%80%91iaas%e3%82%af%e3%83%a9%e3%82%a6%e3%83%89%e3%82%92%e6%94%af%e3%81%88%e3%82%8b%e3%82%b5%e3%83%bc%e3%83%90%e3%83%bb%e3%82%a4%e3%83%b3%e3%83%95%e3%83%a9%e6%8a%80-2/</link>
		<comments>http://edubase.jp/index/2012/02/15/%e3%80%90%e5%85%ac%e9%96%8b%e3%80%91iaas%e3%82%af%e3%83%a9%e3%82%a6%e3%83%89%e3%82%92%e6%94%af%e3%81%88%e3%82%8b%e3%82%b5%e3%83%bc%e3%83%90%e3%83%bb%e3%82%a4%e3%83%b3%e3%83%95%e3%83%a9%e6%8a%80-2/#comments</comments>
		<pubDate>Wed, 15 Feb 2012 02:45:29 +0000</pubDate>
		<dc:creator>admin</dc:creator>
				<category><![CDATA[edubase Stream News]]></category>
		<category><![CDATA[Top news]]></category>

		<guid isPermaLink="false">http://edubase.jp/index/?p=1940</guid>
		<description><![CDATA[IaaSクラウドを支えるサーバ・インフラ技術を学ぶハンズオンセミナー第二部(その2)「IaaSクラウドを支えるサーバ・インフラ技術（講義）」を公開いたしました。 　 本セミナーでは、Eucalyptusを利用して構築され [...]]]></description>
			<content:encoded><![CDATA[<p><a href="http://stream.edubase.jp/contents/view/599">IaaSクラウドを支えるサーバ・インフラ技術を学ぶハンズオンセミナー第二部(その2)「IaaSクラウドを支えるサーバ・インフラ技術（講義）」</a>を公開いたしました。<br />
　<br />
本セミナーでは、Eucalyptusを利用して構築された教育用クラウド環境「edubase Cloud」を使用したハンズオンも行います。Eucalyptusの実践的な活用方法やIaaSクラウドを利用した分散コンピューティング（GlusterFSなど）の実現について、edubase Cloudの実環境を通して触れていただきます。クラウドの構築に興味のあるエンジニアの方だけではなく、サーバ・インフラ技術をクラウドの視点で基礎から学び直したいLinux/Unixエンジニアの方にもお勧めです。<br />
　<br />
その２では、Elasitic Block Storage(EBS)とLinuxのiSCSI機能について解説していきます。また、まとめとしてGlusterFSの概要や利用手順、ボリューム構成例について紹介します。<br />
<div id="attachment_2413" class="wp-caption alignnone" style="width: 310px"><a href="http://edubase.jp/stream/wp-content/uploads/2012/02/55f35aa668d116ef9a6796fb9154f0fa.png"><img src="http://edubase.jp/stream/wp-content/uploads/2012/02/55f35aa668d116ef9a6796fb9154f0fa-300x176.png" alt="図表１：IaaSクラウドを支えるサーバ・インフラ技術を学ぶハンズオンセミナー第二部(その2)「IaaSクラウドを支えるサーバ・インフラ技術（講義）」" title="図表１：IaaSクラウドを支えるサーバ・インフラ技術を学ぶハンズオンセミナー第二部(その2)「IaaSクラウドを支えるサーバ・インフラ技術（講義）」" width="300" height="176" class="size-medium wp-image-2413" /></a><p class="wp-caption-text">図表１：IaaSクラウドを支えるサーバ・インフラ技術を学ぶハンズオンセミナー第二部(その2)「IaaSクラウドを支えるサーバ・インフラ技術（講義）」</p></div></p>
<p>※このビデオは、2011年11月21日(月)に行われました、トップエスイー教育センター<br />
のセミナーを撮影、編集したものです。ビデオは2分割しており、このビデオは2つ目です。<br />
詳しくは下記をご覧ください。<br />
<a href="http://www.topse.or.jp/docs/?q=node/31">http://www.topse.or.jp/docs/?q=node/31</a>
<p><font color="#B4B4B4" size="-2">Post Footer automatically generated by <a href="http://www.freetimefoto.com/add_post_footer_plugin_wordpress" style="color: #B4B4B4; text-decoration:underline;">Add Post Footer Plugin</a> for wordpress.</font></p>
]]></content:encoded>
			<wfw:commentRss>http://edubase.jp/index/2012/02/15/%e3%80%90%e5%85%ac%e9%96%8b%e3%80%91iaas%e3%82%af%e3%83%a9%e3%82%a6%e3%83%89%e3%82%92%e6%94%af%e3%81%88%e3%82%8b%e3%82%b5%e3%83%bc%e3%83%90%e3%83%bb%e3%82%a4%e3%83%b3%e3%83%95%e3%83%a9%e6%8a%80-2/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>【公開】形式仕様記述（セキュリティ編）　その1(2010年度)</title>
		<link>http://edubase.jp/index/2012/02/14/%e3%80%90%e5%85%ac%e9%96%8b%e3%80%91%e5%bd%a2%e5%bc%8f%e4%bb%95%e6%a7%98%e8%a8%98%e8%bf%b0%ef%bc%88%e3%82%bb%e3%82%ad%e3%83%a5%e3%83%aa%e3%83%86%e3%82%a3%e7%b7%a8%ef%bc%89%e3%80%80%e3%81%9d%e3%81%ae1/</link>
		<comments>http://edubase.jp/index/2012/02/14/%e3%80%90%e5%85%ac%e9%96%8b%e3%80%91%e5%bd%a2%e5%bc%8f%e4%bb%95%e6%a7%98%e8%a8%98%e8%bf%b0%ef%bc%88%e3%82%bb%e3%82%ad%e3%83%a5%e3%83%aa%e3%83%86%e3%82%a3%e7%b7%a8%ef%bc%89%e3%80%80%e3%81%9d%e3%81%ae1/#comments</comments>
		<pubDate>Tue, 14 Feb 2012 02:45:24 +0000</pubDate>
		<dc:creator>admin</dc:creator>
				<category><![CDATA[edubase Stream News]]></category>
		<category><![CDATA[Top news]]></category>

		<guid isPermaLink="false">http://edubase.jp/index/2012/02/14/%e3%80%90%e5%85%ac%e9%96%8b%e3%80%91%e5%bd%a2%e5%bc%8f%e4%bb%95%e6%a7%98%e8%a8%98%e8%bf%b0%ef%bc%88%e3%82%bb%e3%82%ad%e3%83%a5%e3%83%aa%e3%83%86%e3%82%a3%e7%b7%a8%ef%bc%89%e3%80%80%e3%81%9d%e3%81%ae1/</guid>
		<description><![CDATA[形式仕様記述（セキュリティ編）　その1(2010年度)を公開いたしました。 本講義では、定理証明、モデル検査、段階的詳細化について、Z、SPIN/Promela、Event-Bの手法を使ってセキュリティ・ポリシの検証につ [...]]]></description>
			<content:encoded><![CDATA[<p><a href="http://stream.edubase.jp/contents/view/601">形式仕様記述（セキュリティ編）　その1(2010年度)</a>を公開いたしました。</p>
<p>本講義では、定理証明、モデル検査、段階的詳細化について、Z、SPIN/Promela、Event-Bの手法を使ってセキュリティ・ポリシの検証について学んでいきます。<br />
※本講義は、2010年度のトップエスイー講義を収録、編集したものです。<br />
<div id="attachment_2407" class="wp-caption alignnone" style="width: 310px"><a href="http://edubase.jp/stream/wp-content/uploads/2012/02/89125cb280069d691f74382f37158f2e.png"><img src="http://edubase.jp/stream/wp-content/uploads/2012/02/89125cb280069d691f74382f37158f2e-300x176.png" alt="図表１：形式仕様記述（セキュリティ編）　その1(2010年度)" title="図表１：形式仕様記述（セキュリティ編）　その1(2010年度)" width="300" height="176" class="size-medium wp-image-2407" /></a><p class="wp-caption-text">図表１：形式仕様記述（セキュリティ編）　その1(2010年度)</p></div><br />
2012年度のシラバスは以下を参照してください。<br />
<a href="http://www.topse.jp/syllabus/07/pdf/FM3.pdf">http://www.topse.jp/syllabus/07/pdf/FM3.pdf</a>
<p><font color="#B4B4B4" size="-2">Post Footer automatically generated by <a href="http://www.freetimefoto.com/add_post_footer_plugin_wordpress" style="color: #B4B4B4; text-decoration:underline;">Add Post Footer Plugin</a> for wordpress.</font></p>
]]></content:encoded>
			<wfw:commentRss>http://edubase.jp/index/2012/02/14/%e3%80%90%e5%85%ac%e9%96%8b%e3%80%91%e5%bd%a2%e5%bc%8f%e4%bb%95%e6%a7%98%e8%a8%98%e8%bf%b0%ef%bc%88%e3%82%bb%e3%82%ad%e3%83%a5%e3%83%aa%e3%83%86%e3%82%a3%e7%b7%a8%ef%bc%89%e3%80%80%e3%81%9d%e3%81%ae1/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>【お知らせ】トップエスイー特別講義「定理証明と検証」開催</title>
		<link>http://edubase.jp/index/2012/02/13/%e3%80%90%e3%81%8a%e7%9f%a5%e3%82%89%e3%81%9b%e3%80%91%e3%83%88%e3%83%83%e3%83%97%e3%82%a8%e3%82%b9%e3%82%a4%e3%83%bc%e7%89%b9%e5%88%a5%e8%ac%9b%e7%be%a9%e3%80%8c%e5%ae%9a%e7%90%86%e8%a8%bc%e6%98%8e/</link>
		<comments>http://edubase.jp/index/2012/02/13/%e3%80%90%e3%81%8a%e7%9f%a5%e3%82%89%e3%81%9b%e3%80%91%e3%83%88%e3%83%83%e3%83%97%e3%82%a8%e3%82%b9%e3%82%a4%e3%83%bc%e7%89%b9%e5%88%a5%e8%ac%9b%e7%be%a9%e3%80%8c%e5%ae%9a%e7%90%86%e8%a8%bc%e6%98%8e/#comments</comments>
		<pubDate>Mon, 13 Feb 2012 05:00:58 +0000</pubDate>
		<dc:creator>admin</dc:creator>
				<category><![CDATA[ピックアップ]]></category>
		<category><![CDATA[お知らせ]]></category>

		<guid isPermaLink="false">http://edubase.jp/index/?p=1906</guid>
		<description><![CDATA[トップエスイー特別講義「定理証明と検証」を開催します。 概要 本講義では，定理証明器の一つであるCoqをとりあげます．Coqは，強力な仕様記述能力を持ち，また証明を支援する機構を備えています．講義は検証技術の基本から始め [...]]]></description>
			<content:encoded><![CDATA[<p><a href="http://www.topse.or.jp/docs/?q=node/36">トップエスイー特別講義「定理証明と検証」</a>を開催します。</p>
<h3>概要</h3>
<p>本講義では，定理証明器の一つであるCoqをとりあげます．Coqは，強力な仕様記述能力を持ち，また証明を支援する機構を備えています．講義は検証技術の基本から始め，Coq を使った関数型プログラミングの手法やタクティックを使った証明の技法を学んでいきます．さらに，企業での取り組みや例題を交えながら実際のプロジェクトに適用する際の問題点や注意点についても紹介します．その際，講師自身が開発した，Java や Scala と連携するための<br />
coq2scala 機能を使用して，証明されたプログラムを既存のプロジェクトに導入する方法についても説明します．</p>
<h3>日　程</h3>
<p>2012年3月22日(木) 10:30-18:00<br />
3月23日(金) 10:30-16:15（2日間）</p>
<h3>会　場</h3>
<p>国立情報学研究所 20階　ミーティングルーム1・2（2009・2010）<br />
〒101-8430 東京都千代田区一ツ橋２－１－２<br />
<a href="http://www.nii.ac.jp/introduce/access1-j.shtml">http://www.nii.ac.jp/introduce/access1-j.shtml</a></p>
<h3>参加費</h3>
<p> 無料<br />
※NPO法人 トップエスイー教育センター会員は優先的にご参加いただけます。<br />
　<br />
詳しくは、<a href="http://www.topse.or.jp/docs/?q=node/36">トップエスイー特別講義「定理証明と検証」</a>をご覧ください。
<p><font color="#B4B4B4" size="-2">Post Footer automatically generated by <a href="http://www.freetimefoto.com/add_post_footer_plugin_wordpress" style="color: #B4B4B4; text-decoration:underline;">Add Post Footer Plugin</a> for wordpress.</font></p>
]]></content:encoded>
			<wfw:commentRss>http://edubase.jp/index/2012/02/13/%e3%80%90%e3%81%8a%e7%9f%a5%e3%82%89%e3%81%9b%e3%80%91%e3%83%88%e3%83%83%e3%83%97%e3%82%a8%e3%82%b9%e3%82%a4%e3%83%bc%e7%89%b9%e5%88%a5%e8%ac%9b%e7%be%a9%e3%80%8c%e5%ae%9a%e7%90%86%e8%a8%bc%e6%98%8e/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>【お知らせ】トップエスイー講義「ソフトウェア工学入門」開催</title>
		<link>http://edubase.jp/index/2012/02/10/%e3%80%90%e3%81%8a%e7%9f%a5%e3%82%89%e3%81%9b%e3%80%91%e3%83%88%e3%83%83%e3%83%97%e3%82%a8%e3%82%b9%e3%82%a4%e3%83%bc%e8%ac%9b%e7%be%a9%e3%80%8c%e3%82%bd%e3%83%95%e3%83%88%e3%82%a6%e3%82%a7%e3%82%a2/</link>
		<comments>http://edubase.jp/index/2012/02/10/%e3%80%90%e3%81%8a%e7%9f%a5%e3%82%89%e3%81%9b%e3%80%91%e3%83%88%e3%83%83%e3%83%97%e3%82%a8%e3%82%b9%e3%82%a4%e3%83%bc%e8%ac%9b%e7%be%a9%e3%80%8c%e3%82%bd%e3%83%95%e3%83%88%e3%82%a6%e3%82%a7%e3%82%a2/#comments</comments>
		<pubDate>Fri, 10 Feb 2012 05:00:22 +0000</pubDate>
		<dc:creator>admin</dc:creator>
				<category><![CDATA[ピックアップ]]></category>
		<category><![CDATA[お知らせ]]></category>

		<guid isPermaLink="false">http://edubase.jp/index/?p=1907</guid>
		<description><![CDATA[トップエスイー講義「ソフトウェア工学入門」を開催いたします。 概要 本講義では、ソフトウェア工学の基本的なトピック（要求分析、設計、プロジェクトマネージメント、形式手法）ごとに専門講師陣が分かりやすく解説します。ソフトウ [...]]]></description>
			<content:encoded><![CDATA[<p><a href="http://www.topse.or.jp/docs/?q=node/35">トップエスイー講義「ソフトウェア工学入門」</a>を開催いたします。</p>
<h3>概要</h3>
<p>本講義では、ソフトウェア工学の基本的なトピック（要求分析、設計、プロジェクトマネージメント、形式手法）ごとに専門講師陣が分かりやすく解説します。ソフトウェアにおける要求とは何か？設計をうまく行うにはどうすれば良いか？プロジェクトを円滑に進めるポイントは？フォーマルメソッドとは？など、ソフトウェア工学の基礎的な知識を押さえておきたいという方は是非参加ください。</p>
<h3>日　程</h3>
<p>2012年2月24日(金) 、29日(水)、3月14日(水)、3月21日(水) 18:20-21:30（受付開始：18:00）</p>
<h3>会　場</h3>
<p>国立情報学研究所 20階　ミーティングルーム1・2（2009・2010）<br />
〒101-8430 東京都千代田区一ツ橋２－１－２<br />
<a href="http://www.nii.ac.jp/introduce/access1-j.shtml">http://www.nii.ac.jp/introduce/access1-j.shtml</a></p>
<h3>参加費</h3>
<p>会員 無料<br />
一般非会員 15,000円（税込み）<br />
学生非会員 7,000円（税込み）<br />
※NPO法人 トップエスイー教育センター会員は優先的にご参加いただけます。<br />
　<br />
詳しくは、<a href="http://www.topse.or.jp/docs/?q=node/35">トップエスイー講義「ソフトウェア工学入門」</a>をご覧ください。
<p><font color="#B4B4B4" size="-2">Post Footer automatically generated by <a href="http://www.freetimefoto.com/add_post_footer_plugin_wordpress" style="color: #B4B4B4; text-decoration:underline;">Add Post Footer Plugin</a> for wordpress.</font></p>
]]></content:encoded>
			<wfw:commentRss>http://edubase.jp/index/2012/02/10/%e3%80%90%e3%81%8a%e7%9f%a5%e3%82%89%e3%81%9b%e3%80%91%e3%83%88%e3%83%83%e3%83%97%e3%82%a8%e3%82%b9%e3%82%a4%e3%83%bc%e8%ac%9b%e7%be%a9%e3%80%8c%e3%82%bd%e3%83%95%e3%83%88%e3%82%a6%e3%82%a7%e3%82%a2/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
	</channel>
</rss>

