山形頼之

国立研究開発法人 産業技術総合研究所 主任研究員

所属: 情報技術研究部門 ソフトウエアアナリティクス研究グループ

研究テーマ: ソフトウェアの検証ほか

English »

最新投稿

国際会議RV

国際会議RV2017で共著論文が発表される予定です。

CAPEレクチャー

京都大学で開かれる第112回CAPEレクチャーで古典論理の証明論的意味論とそれを応用した正規化手続きの停止性証明について話します。

Anomaly Detection of a CPS using Machine Learning

最近の仕事についてのスライドです。