Personal Information
Entreprise/Lieu de travail
Japan, Miyagi Japan
Profession
at Sendai National College of Technology
Secteur d’activité
Education
Site Web
http://ameblo.jp/kenkyu-nisshi/
- Présentations
- Documents
- Infographies
Waise 2021 Uber ATG Safety Case Framework and ANSI/UL 4600
Kenji Taguchi
•
il y a 2 ans
機械学習工学と機械学習応用システムの開発@SmartSEセミナー(2021/3/30)
Nobukazu Yoshioka
•
il y a 3 ans
強化学習の基礎と深層強化学習（東京大学 松尾研究室 深層強化学習サマースクール講義資料）
Shota Imai
•
il y a 3 ans
2020 safecomp-sep18
Kenji Taguchi
•
il y a 3 ans
[Tutorial] Sentence Representation
Hiroki Shimanaka
•
il y a 5 ans
[旧版] JSAI2018 チュートリアル「"深層学習時代の" ゼロから始める自然言語処理」
Yuki Arase
•
il y a 5 ans
機械学習モデルの判断根拠の説明
Satoshi Hara
•
il y a 5 ans
『鼎談：新しいプログラミングパラダイムとしての深層学習』 資料（萩谷 昌己）
MLSE
•
il y a 4 ans
If文から機械学習への道
nishio
•
il y a 6 ans
HAZOP 3.0 Safety and Security 28 Q&A added version
Kiyoshi Ogawa
•
il y a 6 ans
恊働ロボットCOROの開発における形式的仕様の適用事例
Life Robotics
•
il y a 7 ans
Tutorial 4 how to edit the unsafe control actions of stpa project in xstampp
Asim Abdulkhaleq, Dr.rer.nat
•
il y a 7 ans
Tutorial1: How to install and configure XSTAMPP
Asim Abdulkhaleq, Dr.rer.nat
•
il y a 7 ans
Coq Tutorial
tmiya
•
il y a 13 ans
よくわかるCoqプログラミング
Real_analysis
•
il y a 12 ans
数理的に組み込みソフトを開発する方法入門
Toshiyuki Fujikura
•
il y a 11 ans
Design by contractとホーア論理
Takuya Matsunaga
•
il y a 11 ans
Model-Based Approaches for Railway Safety, Reliability & Security
Francesco Flammini
•
il y a 11 ans
テストを分類してみよう!
Kenji Okumura
•
il y a 12 ans
「Frama-Cによるソースコード検証」 (mzp)
Hiroki Mizuno
•
il y a 12 ans