ゲシュタルト原理に基づく状態機械の見える化とその応用

• 資料種別: 博士論文
• タイトル: ゲシュタルト原理に基づく状態機械の見える化とその応用
• 著者・編者: BUI, DUY DANG
• 著者標目: BUI, DUY DANG
• 出版年月日等: 2022-12
• 出版年（W3CDTF）: 2022-12
• 授与機関名: 北陸先端科学技術大学院大学
• 授与年月日: 2022-12-23
• 報告番号: 甲第1357号
• 学位: 博士(情報科学)
• 本文の言語コード: eng
• 件名標目: state machine graphical animations; r-SMGA; likely invariant discovery; Gestalt principles; inter- active theorem proving
• 対象利用者: 一般
• 一般注記: Supervisor: 緒方 和博; 先端科学技術研究科; 博士; identifier:https://dspace.jaist.ac.jp/dspace/handle/10119/18189
• 記録形式（IMT）: application/pdf
• オンライン閲覧公開範囲: インターネット公開
• 連携機関・データベース: 国立情報学研究所 : 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）; https://irdb.nii.ac.jp
• 提供元機関・データベース: 北陸先端科学技術大学院大学 : JAIST学術研究成果リポジトリ

目次

https://dspace.jaist.ac.jp/dspace/bitstream/10119/18189/1/abstract.pdf fulltext

https://dspace.jaist.ac.jp/dspace/bitstream/10119/18189/2/paper.pdf fulltext

https://dspace.jaist.ac.jp/dspace/bitstream/10119/18189/3/summary.pdf fulltext