blog.devshinchi.jp
講義情報 | 開発深知ブログ
http://blog.devshinchi.jp/category/講義情報
セキュリティ要求工学技術とその実効性 – 東京サブワークショップ第8回. 開発深知 から要求工学ワーキンググループが2013年5月13日に開催した東京サブワークショップ第8回 セキュリティ要求工学技術とその実効性 の講義動画を紹介します。 動画をご覧になるには、開発深知の会員登録 無料 が必要 Continue Reading. 情報通信技術の社会への貢献度を事前見積りする手法 – 東京サブワークショップ第6回. 開発深知 から要求工学ワーキンググループが2012年9月10日に開催した東京サブワークショップ第6回 情報通信技術への貢献度を事前見積りする手法 の講義動画を紹介します。 動画をご覧になるには、開発深知の会員登録 無料 Continue Reading. プロブレムフレームに於ける要求と仕様 – 東京サブワークショップ第5回. 開発深知 から要求工学ワーキンググループが2012年4月18日に開催した東京サブワークショップ第5回 プロブレムフレームに於ける要求と仕様 の講義動画を紹介します。 動画をご覧になるには、開発深知の会員登録 無料 が必要 Continue Reading.
ploguser.blogspot.com
plog: 2008/03
http://ploguser.blogspot.com/2008_03_01_archive.html
Sans、sans-serif、monospaceのフォントを変更する @ubuntu 8.04. Posted by NAE @ 22:24. Ubuntu 8.04 Hardy Heronでは少し勝手が違うようです。 Posted by NAE @ 1:30. 付け焼き刃ながら「マインドマップ」というものを使ってみたのですが、. おお、考えががまとまる・・・新しいアイデアが浮かぶ・・・. これで「MECE」や「So what? 12301;がきちんとできれば、かなり役に立ちそうです。 Posted by NAE @ 12:56. このテンプレート、デザインはいいんですが、一つ問題があります。 アップした画像を表示させるとき、「この画像のURL」的なものがどこかにあると思うので、. で、Bloggerのレイアウト変更画面で「HTMLを直接編集」し、. 外部サイトの画像URL (url(.) をコメントアウトし、先ほどのURLを張り付けます。 IEとSpeipnirは平気だったのに・・・・なんで？？ Posted by NAE @ 0:39. Posted by NAE @ 12:24.
msyk.net
about msyk
http://www.msyk.net/works.html
国立情報学研究所 GRACEセンター(トップエスイー) 特任研究員 非常勤 継続中. 2001年度 理事、2002年度 常任理事および幹事、2003年度 幹事. 京都工芸繊維大学大学院 工芸学研究科 電気工学専攻 修了 工学修士. 一種情報処理技術者 1985年 二種情報処理技術者 1984年. Apple Certified Trainer (10.3, 10.4, 10.5, 10.6, 10.7, 10.8). Apple Certified Help Desk Specialist (10.3, 10.4). Apple Certified Support Professional (10.5, 10.6, 10.7, 10.8). Apple Certified Technical Coordinator (10.3, 10.4, 10.5, 10.6, 10.7, 10.8). Apple Certified System Administrator (10.3, 10.4, 10.5, 10.6). FileMaker 8/9/11 Certified Developer. Proceed...
cent.xii.jp
Tanabe Yoshinori / 田辺良則
http://cent.xii.jp/tanabe.yoshinori
Mail: y-tanabe (atmark) nii (dot) ac (dot) jp. 吉岡信和，田辺良則，田原康之，長谷川哲夫，磯部祥尚: モデル検査による設計検証 コンピュータ ソフトウェア (採録決定). 逸見港，田辺良則，今井宜洋，萩谷昌己: 検証済みのコードによるCoqからScalaへのコード抽出 第31回ソフトウェア科学会大会 (2014年9月10日). 坂本一憲, 田辺良則: ハッカソン形式の実践的IT教育の実施報告 第31回ソフトウェア科学会大会 (2014年9月8日). 島田工，前澤悠太，鄭顕志，田辺良則，本位田真一: Scalaの並行プログラム検査における状態空間探索手法 第9回ソフトウェアエンジニアリングシンポジウム (SES2014), 2014. (ショートペーパー). 姜 帆, 田辺 良則, 本位田 真一: Coq を使用したMapReduce アプリケーションの検証とScala コード 電子情報通信学会論文誌, Vol.J97-D, No.3, pp.625-634, 2014. 逸見 港, 田辺 良則, 萩谷 昌己: CoqによるOpenFlowネットワークの形式化...
formal.mri.co.jp
公的プロジェクト情報｜ディペンダブル・システムのための形式手法の実践ポータル
http://formal.mri.co.jp/source/public-projects.html
三菱総合研究所, 日立ソリューションズ、NII、早稲田大学、NTTデータ 経済産業省委託事業. 三菱総合研究所 情報技術研究センター 石黒正揮 TEL:03-6705-6047. Http:/ formal.mri.co.jp/. JAIST, SRA, 三菱総合研究所, ユニシス IPA事業. JAIST, 三菱総合研究所, SRA, ユニシス, NEC, 日立、管理工学研究所 IPA事業). Http:/ sec.ipa.go.jp/reports/20080606.html. 三菱総合研究所 情報技術研究センター 石黒正揮 TEL:03-6705-6047. 三菱総合研究所 情報技術研究センター 石黒正揮 TEL:03-6705-6047. 三菱総合研究所 情報技術研究センター 石黒正揮 TEL:03-6705-6047. Http:/ sec.ipa.go.jp/reports/20100729.html. Http:/ www.topse.jp/. Http:/ stage.tksc.jaxa.jp/jxithp/. Http:/ www.event-b.org/. 既存のシステム開発に形式手...
grace-center.jp
テクニカルレポート | GRACEセンター
http://grace-center.jp/rsc_tr-html
IPA と NII の協力体制について. GRACE テクニカルレポートは、GRACEセンター 先端ソフトウェア工学 国際研究センター における研究 技術成果をいち早く報告するものです。 The Under-Appreciated Put: Implementing Delta-Alignment in BiGUL. 8212; Functional Pearl —. Jorge Mendes, Hsiang-Shang Ko, Zhenjiang Hu. GRACE-TR 2016-03, GRACE Center, National Institute of Informatics, April 2016, 7 pages. Graph Generation via Reverse Iterative Query Processing,. Makoto ONIZUKA,Hiroyuki KATO,Soichiro HIDAKA,Keisuke NAKANO,Zhenjiang HU. Tianqi Zhao,Tao Zan,Haiyan Zhao,Zhenjiang Hu,Zhi Jin,.
grace-center.jp
活動紹介 | GRACEセンター
http://grace-center.jp/overview/activities
IPA と NII の協力体制について. 第1回: セキュリティ セーフティのためのソフトウェア工学プロジェクト SSE. 第４回: FMBoK (Formal Methods Body of Knowledge) に向けて FMET. 本位田真一、 先端ソフトウェア工学国際研究センター の活動概要 (PDF). 胡振江、 先端ソフトウェア工学国際研究センター の国際連携 研究事例 (PDF). Prof Bashar Nuseibeh The Open University. Grand and Global with GRACE: Software Research Challenges and Collaboration (PDF).
honiden.nii.ac.jp
学生インタビュー | 本位田研究室
http://www.honiden.nii.ac.jp/recruit/interview
本位田研究室の大きな特徴は，その内外における様々な人々，すなわち様々な視点に恵まれていることだと思います 学生は，東大 理学部 情報科学科でみっちりと基礎理論としてのコンピュータ科学を学んだ人，他の理工系学部出身の人，そして企業に勤める社会人と様々です 本位田先生はGRACEセンターという一大組織を率いていますので，例えば企業の開発者が毎年30人，ソフトウェア工学手法 ツールの活用を議論しに来ていますし，それに対応する講師も様々な大学 企業から来ています 他にも自前のクラウドを持っていますのでその関連研究者も集まっていますし，国立情報学研究所内の他の関連研究室とも連携しています そういった中で，他の方に意見 ヒントをもらうことももちろんできますが，何よりも， 基礎理論でしっかり保証できているのか 他分野のこういう研究との関係はどうなのか どれだけ役に立つのか 等，様々な視点からの疑問 意見に揉まれ，自身の研究 アイディア 企画を高めていくことができます. 大学院の研究室というと閉鎖的なコミュニティを連想する方がいらっしゃるかもしれませんが， もしくは実際にそうなってしまっている研究室も多いと聞きますが ...
edubase.jp
イベントEvents | edubase ポータル
http://edubase.jp/en/events
edubase.jp
概要 | edubase ポータル
http://edubase.jp/en/overview
GRACEセンターでは、文部科学省からの受託事業を契機に、教育 研究基盤の整備を目的として、edubase(Cloud:学術用クラウド環境、Space:多目的学習 研究スペース、Stream 教材公開Ｗｅｂサイト)を運営しています。 Edubase Streamは、全国の大学やその他教育機関における講義映像、映像教材その他電子教材をアップロードでき、これらを学びたい学生や社会人向けに公開し、必要な教材を検索、閲覧できる シンクロコンテンツ 形態でこれをWeb上で作成できる点を最大の特徴としています。 Edubase Spaceには、edubase Cloudに繋げるためのIT環境 シンクライアント、.
SOCIAL ENGAGEMENT