Ishikawa Lab. English >

このページでは講義・セミナーなどの資料を公開しています.

個々の研究に関する論文・発表資料等は,数が多くここでは公開していません.論文はDBLPGoogle Scholarなどから探していただくか,お問い合わせ下さい.

研究関連の講演・チュートリアル・記事

「形式手法」を複雑化するものづくりの現場に活かす AIと結びつくことで品質向上や次世代技術へ展開
2017年・NII Today 形式手法をものづくりへ ERATO「蓮尾メタ数理システムデザインプロジェクト」
機械学習によるシステム開発に工学的アプローチを、ソフトウェア工学研究会のパネルディスカッション(IT Leaders)
2017年・SES 2017パネルディスカッションの記事
IoT・スマート時代を支えるエージェント指向のシステムづくり
2016年・JAWS 2016プレスクール: エージェント,IoT/CPSなどにおける工学的挑戦,ソフトウェア工学における自己適応やModels@run.time
無線センサーネットワークの共有化がもたらす新展開
2013年・NII Today 次世代無線ネットワーク

技術解説Webサイト

ディペンダブル・システムのための形式手法の実践ポータル
形式手法に関する様々な情報・ガイドラインなど
「VDM++による形式仕様記述」Webサイト
書籍の関連情報,ツールの利用法やFAQなど

産業界向け発表

機械学習ソフトウェアにおける技術的負債
2015年・Google の論文の紹介(Sculley et al., Machine Learning: The High-Interest Credit Card of Technical Debt, SE4ML @ NIPS 2014)
Crescendoツール(DESTECSプロジェクト) セミナー
2014年・物理・連続系モデルとソフトウェア設計との連動シミュレーター
形式手法入門・形式手法を学ぶということ
2012年・日本科学技術連盟SQiP研究会「形式仕様と仕様記述」イントロ資料(VDM,SPIN,Alloyを中心とした紹介
形式手法概論
2011年・NPO法人トップエスイー教育センターにおけるセミナー「VDM,SPINからはじめる形式手法入門」の初日資料(VDMとSPINを中心とした紹介)

大学院講義

東京大学・東京工業大学講義「分散システム基礎とクラウドでの活用」
分散システム概論,複製管理の仕組み,クラウドサービスにおける設計思想,CAP定理・BASEトランザクションなど
電気通信大学講義「並行システムの検証と実装」
マルチスレッドプログラミング,並行システムモデリング,モデル検査
電気通信大学講義「プログラム検証」
プログラム検証基礎理論,形式仕様記述,テスト技法
総合研究大学院大学講義「サービス指向コンピューティング」
分散オブジェクト,XML,Webサービス,Semantic Web,クラウドなどのオムニバス