Ishikawa Lab. English >

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

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

記事

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

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

自動(運転)車システムのためのAI的自動テスト生成
2018年12月・自動車システムに対するサーチベースドテスティングや反例探索に関する研究紹介
AIを活用したテスト・デバッグ技術 チュートリアル
2018年12月・サーチベースドテスティング,自動プログラム修正,反例探索に関するチュートリアル
機械学習応用システムの品質保証ガイドに向けて
2018年10月・機械学習応用システムにおける品質の考え方(短縮版・標準化セッション内)
AI時代における品質保証のチャレンジ ~ 機械学習の難しさと(AIによる)テスティング
2018年7月・機械学習ソフトウェアのテスト・検証などの考え方など、特に自動車領域でのサーチベースドテスティング活用など、ESTIC 2018
機械学習における品質保証のチャレンジ~産学連携による突破への期待
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,クラウドなどのオムニバス