Ishikawa Lab. English >

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

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

最近のものは SlideShare に置いているのでそちらからもたどれます.

記事

機械学習の「不確かさ」にどう挑むか(NII Today)
2018年10月・機械学習工学分野の紹介
Facebook投稿がきっかけで発足!? 機械学習工学研究会が目指す機械学習議論の「場作り」(AINOW)
2018年10月・機械学習工学研究会紹介
「形式手法」を複雑化するものづくりの現場に活かす AIと結びつくことで品質向上や次世代技術へ展開(NII Today)
2017年・ERATO「蓮尾メタ数理システムデザインプロジェクト」紹介
「形式手法」の“論理の力”による開発効率と品質の向上事例(CodeZine)
2017年・形式手法の事例解説
機械学習によるシステム開発に工学的アプローチを、ソフトウェア工学研究会のパネルディスカッション(IT Leaders)
2017年・SES 2017パネルディスカッションのまとめ
無線センサーネットワークの共有化がもたらす新展開(NII Today)
2013年・ClouTプロジェクト紹介

講演・チュートリアル(主に産業界向け)

IoT/AI時代のテスティング・検証技術の最前線 LinkedIn PDF
2019年1月・機械学習応用システムの品質,テスティング・検証技術,サーチベースドテスティングの活用など
自動(運転)車システムのためのAI的自動テスト生成
2018年12月・自動車システムに対するサーチベースドテスティングや反例探索に関する研究紹介
AIを活用したテスト・デバッグ技術 チュートリアル
2018年12月・サーチベースドテスティング,自動プログラム修正,反例探索に関するチュートリアル
品質保証における発見的・経験的アプローチの活用:ソフトウェアテスティング分野からの知見
2018年11月・サーチベースドテスティングなどのサイバーフィジカルシステムへの応用(第61回自動制御連合講演会)
機械学習応用システムの品質保証ガイドに向けて
2018年10月・機械学習応用システムにおける品質の考え方(短縮版・CEATEC 2018標準化セミナー内)
AI時代における品質保証のチャレンジ ~ 機械学習の難しさと(AIによる)テスティング
2018年7月・機械学習ソフトウェアのテスト・検証などの考え方など、特に自動車領域でのサーチベースドテスティング活用など、ESTIC 2018
(今ちゃんと振り返る) ゴール指向要求分析 入門
2018年6月・ゴール指向要求分析振り返りまとめ
スマートなシステム、スマートなディペンダビリティ保証-次世代システムを頼れるものへ
国立情報学研究所 オープンハウス2018 「研究100連発」内での研究紹介
機械学習における品質保証のチャレンジ~産学連携による突破への期待
2018年3月・機械学習ソフトウェアのテスト・検証などの考え方など、トップエスイーシンポジウム
機械学習における品質保証のチャレンジ
2017年・機械学習ソフトウェアのテスト・検証などの考え方など、JEITA ソフトウェアエンジニアリング技術ワークショップ2017 ~人工知能ブームの中でのソフトウェアエンジニアリング~
INTO-CPS チュートリアル
2017年・多数のモデル(物理・連続系モデルとソフトウェア設計モデル)とのCo-SimulationによるCPSエンジニアリング
IoT・スマート時代を支えるエージェント指向のシステムづくり
2016年・JAWS 2016プレスクール: エージェント,IoT/CPSなどにおける工学的挑戦,ソフトウェア工学における自己適応やModels@run.time
機械学習ソフトウェアにおける技術的負債
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を中心とした紹介)

技術解説Webサイト

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

大学院講義

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