3月13日(火)に国立情報学研究所 GRACEセンター、NPO法人 トップエスイー教育センターは【クラウドシリーズ】トップエスイー特別講義「分散処理アプリ演習」を開催します。 概 要 本講座では、分散処理技術として広く利 [...]
トップエスイー特別講義「定理証明と検証」を開催します。 概要 本講義では，定理証明器の一つであるCoqをとりあげます．Coqは，強力な仕様記述能力を持ち，また証明を支援する機構を備えています．講義は検証技術の基本から始め [...]
トップエスイー講義「ソフトウェア工学入門」を開催いたします。 概要 本講義では、ソフトウェア工学の基本的なトピック（要求分析、設計、プロジェクトマネージメント、形式手法）ごとに専門講師陣が分かりやすく解説します。ソフトウ [...]
スマートフォンのAndroid端末において、通知パネル（ステータスバー）からダウンロード情報が消えない場合の対処方法を紹介いたします。 紹介する情報については、参考情報であり、試す場合にはご自身の責任で行ってください。 [...]
ソフトウェア開発見積もり手法セミナー 日程：2012年1月17日(火) 、24日（火） 18:20-21:30（受付開始：18:00） 会場：国立情報学研究所 20階 ミーティングルーム1・2（2009・2010） [...]
モデル駆動開発で著名な研究者であるJean Bezivin教授の講義が国立情報学研究所（NII）にて行われます。 講義名：Principles and Applications of Model Driven Eng [...]
この度、私たち鷲崎研究室ではグリー株式会社様の協賛により、 国際プログラミングコンテスト「早稲田×GREE Samurai coding」を開催すること になりました。 昨年の「早稲田×楽天 プログラミングコンテスト」に [...]
日 程 2012年1月6日(金)、13(金)、26(木)、2月10(金) 各10:20〜(受付開始: 10:00) 会 場 国立情報学研究所 20階 ミーティングルーム1・2（2009・2010） 〒101-8430 東 [...]
遠隔地における学習方法というと、eラーニングが挙げられる事が多い。eラーニングで考えられる事が多いが、他の学習アプローチと組み合わせる事で、それぞれの長所と短所を補える。遠隔地の学習アプローチとしては、従来の印刷物や電話 [...]
クラウドサービスが注目される点の１つに省エネがある。膨大なデータの処理や保持には、コストがかかる。一時期グリーンクラウドという取り上げ方もされたが、コストの観点も効率的なリソース管理は、今後の課題の１つと言える。イリノイ [...]
