本文へジャンプ

研究者情報

データ更新日:2022年08月02日

山根 智 (やまね さとし) 教授 YAMANE Satoshi

メール 研究室ウェブサイト

所属組織・役職等

理工研究域電子情報通信学系

教育分野

【学士課程】
理工学域 電子情報通信学類 情報通信コース
【大学院前期課程】
自然科学研究科 電子情報科学専攻
【大学院後期課程】
自然科学研究科 電子情報科学専攻

所属研究室等

計算機ソフトウェア研究室 TEL:076-234-4856 FAX:076-234-4900

学歴

【出身大学院】
京都大学大学院 修士課程 工学研究科 修了
【出身大学】
京都大学 
【取得学位】
工学(博士) 情報工学

職歴

金沢大学 工学部(2001/08/01-)

生年月

所属学会

EATCS
ACM
IEEEコンピュータソサイエティ
電子情報通信学会 研究会専門運営委員会顧問(2012-2023)
情報処理学会 代表会員(2018-2019)
電子情報通信学会 研究会専門運営委員(2010-2017)
情報処理学会 北陸支部長(2017-2018)
電子情報通信学会 研究会専門運営委員(2011-2014)
電子情報通信学会 研究会専門運営委員、北陸支部評議員(2007-)
電子情報通信学会 研究会専門運営委員、ソサイエティ大会開催委員、北陸支部評議員(2006-)
電子情報通信学会 研究会専門運営委員、fundamental review誌編集委員、常任査読委員(2011-)
情報処理学会 北陸支部評議員(2009-2012)
電子情報通信学会 研究会専門運営委員、特集号編集幹事(2009-)
電子情報通信学会 研究会専門運営委員(2010-)
電子情報通信学会 研究会専門運営委員(2009-)
電子情報通信学会 研究会専門運営委員(2008-)
電子情報通信学会 研究会専門運営委員(2005-)
電子情報通信学会 研究会専門運営委員(2004-)
電子情報通信学会 研究会専門運営委員(2003-)
LA
情報処理学会
日本ソフトウェア科学会
電子情報通信学会 基礎境界領域 回路とシステムのサブソサエティ副会長(2017-2017)
電子情報通信学会 基礎境界領域 システム数理と応用研究会の専門委委員長 年6回(2016-2017)
人工知能学会

学内委員会委員等

○データサイエンス教育推進WG 座長(2020-2021)
○教務委員会 委員(2018-2021)
○教育企画会議 委員(2020-2021)
○理工教務委員会 委員長(2020-2021)
○総合教育部学生受け入れ準備WG 委員(2018-2019)
○教務委員会 その他(2018-2019)
○国際産学連携委員会 その他(2018-2019)
○英語化WG 委員(2018-2019)
○入試制度委員会 委員(2018-2019)
○情報システム維持管理委員会 委員長(2007-2008)
○情報システム部会会長 委員長(2016-2017)
○屋外運動場の再整備に関するWG 委員(2016-2017)
○体育施設管理委員会 委員(2016-2017)
○同仁会幹事長 委員長(2016-2016)

受賞学術賞

○北陸情報通信協議会会長表彰(2022/06/01)
○自然科学研究科長賞(2022/03/22)
○IEEE GCCE2021 Outstanding Student Paper Award(2021/10/16)
○CANDAR Workshop Outstanding Poster Paper(2021/11/30)
○MineRL Competition 2020 世界6位(2021/03/19)
○WebDB Forum 2014 企業賞(2014/11)
○組み込みシンポジュムESS2014奨励賞(2014/10)
○2008年電子情報通信学会CST研究会優秀論文賞(2008/06/30)
○GESTS best paper(2006/03/01)

専門分野

検証 仕様記述 基礎理論、情報学基礎理論、ソフトウェア、計算機システム

専門分野キーワード

人工知能、ソフトウェアモデル検査、機械学習、深層学習、深層強化学習、敵対的生成ネットワーク、時間オートマトン、時相論理、組込システム設計検証、データサイエンス

研究課題

機械学習

ベイズ推論のアルゴリズムや画像認識アルゴリズムを開発する。

分散並列リアルタイムシステム

We study algorithms, operating systems, middlewares for distributed paralllel real-time systems.

リアルタイムシステムの設計実装検証

リアルタイムシステムの設計実装検証 述語抽象化とその精錬を用いて、記号モデル検査する手法CEGAR(CounterExample Guided Abstractuin and Refinement)を開発する。

動的再構成可能組込みシステム&センサネットワークのモデル化、設計、検証、実装

動的再構成可能組込みシステム&センサネットワークのモデル化、設計、検証、実装 動的再構成可能プロセッサ及びセンサネットワークの動作を計算と見なして、オートマトンで仕様記述して検証する。

著書

  • ハイブリッドオートマトン オーム社 電子情報通信学会ハンドブック/知識ベース 2010/08 原著書 共著 7巻 1号 21-29頁

論文

  • Single and Ensemble CNN Models with Out-Category Penalty for Image Classification Yuta Suzuki, Daiki Kuyoshi, Satoshi Yamane International Journal of Networking and Computing 12巻 2号 339-358頁 2021/07/28 査読有 原著論文 研究論文(学術雑誌) 
  • Loss Function of GAN to Make a Clear Judgment Kuniyasu Imade, Toi Tsuneda, Satoshi Yamane, Kousuke Shintani, Taro Kiriyama International Symposium on Computing and Networking Workshops 478-480頁 2021/11/23 査読有 原著論文 研究論文(プロシーディング) 
  • Single and Ensemble CNN Models with Out-Category Penalty in Cifar 10 Yuta Suzuki, Daiki Kuyoshi, Satoshi Yamane International Symposium on Computing and Networking Workshops 464-467頁 2021/11/23 査読有 原著論文 研究論文(プロシーディング) 
  • GANs with Suppressed Mode Collapse Using Intrinsic Rewards Toi Tsuneda, Taro Kiriyama, Kosuke Shintani, Satoshi Yamane International Symposium on Computing and Networking Workshops 187-192頁 2021/11/23 査読有 原著論文 研究論文(プロシーディング) 
  • 動的再構成可能プロセッサのモデル化,仕様記述とモデル検査 南 翔太, 瀧内 新悟, 瀬古口 智, 中居 佑輝, 山根智 コンピュータソフトウェア 28巻 1号 190-216頁 2011/01 査読有 原著論文 研究論文(学術雑誌) 

全て表示

  • 階層構造の抽象化精錬によるステートチャートの自動検証 山崎真一, 山根智 コンピュータソフトウェア 26巻 3号 155-170頁 2009/08 査読有 原著論文 研究論文(学術雑誌) 
  • 確率時間オートマトンの確率時間強模倣検証器の開発 山根智、小寺広志、荒井恒夫 コンピュータソフトウェア 25巻 3号 148-193頁 2008/08 査読有 原著論文 研究論文(学術雑誌) 
  • リアルタイムシステムの形式的検証 S.Yamane コンピュータソフトウェア 25巻 3号 81-87頁 2008/08 査読有 原著論文 
  • A Classifier for Reducing Numerical Errors using Ensemble Method Yuta Suzuki, Toi Tsuneda, Daiki Kuyoshi, Satoshi Yamane IEEE GCCE2021 2021巻 10号 653-654頁 2021/10/12 査読有 原著論文 研究論文(プロシーディング) 
  • Reduction of Timer Interrupts for Embedded Assembly Programs Based on Reduction of Interrupt Handler Executions Taro Kiriyama, Yajun Wu, Satoshi Yamane IEEE GCCE2021 2021巻 10号 464-466頁 2021/10/12 査読有 原著論文 研究論文(プロシーディング) 
  • A study of DQN using VisionTransformer as an image extractor Toshiki Hatano, Toi Tsuneda, Satoshi Yamane IEEE GCCE2021 2021巻 10号 345-346頁 2021/10/12 査読有 原著論文 研究論文(プロシーディング) 
  • Enhanced EVA with Threshold Limit of Similarity Toi Tsuneda, Kuniyasu Imade, Kousuke Shintani, Satoshi Yamane IEEE GCCE2021 2021巻 10号 329-331頁 2021/10/12 査読有 原著論文 研究論文(プロシーディング) 
  • Population Based Training for Text Classification Using Convolutional Neural Network Xie Zhang; Mo Li; Satoshi Yamane IEEE GCCE2021 2021巻 10号 77-79頁 2021/10/12 査読有 原著論文 研究論文(プロシーディング) 
  • SAFPN: Self Adapted Feature Pyramid Networks for Object Detection Zhiying Zhou, Jianqiang Xiao, Satoshi Yamane IEEE GCCE2021 2021巻 10号 1-3頁 2021/10/12 査読有 原著論文 研究論文(プロシーディング) 
  • Shuffle in 3D: A Lightweight Architecture for Stereo Matching Jianqiang Xiao, Satoshi Yamane IEEE GCCE2021 2021巻 10号 675-677頁 2021/10/12 査読有 原著論文 研究論文(プロシーディング) 
  • Proposal of Ephemeral Value Adjustment with Dimensionality Reduction in Deep Reinforcement Learning Daiki Kuyoshi, Yuta Suzuki, Satoshi Yamane IEEE GCCE2021 2021巻 10号 672-674頁 2021/10/12 査読有 原著論文 研究論文(プロシーディング) 
  • Enhanced Conditions Based Deep Convolutional Generative Adversarial Networks Kaixu Chen, Zhengxuan Zhao, Satoshi Yamane IEEE GCCE2021 2021巻 10号 663-665頁 2021/10/12 査読有 原著論文 研究論文(プロシーディング) 
  • CBAM-Unet++: easier to find the target with the attention module "CBAM" Zhengxuan Zhao, Kaixu Chen, Satoshi Yamane IEEE GCCE2021 2021巻 10号 655-657頁 2021/10/12 査読有 原著論文 研究論文(プロシーディング) 
  • Optimizing 3D Convolution Kernels on Stereo Matching for Resource Efficient Computations Jianqiang Xiao, Dianbo Ma, Satoshi Yamane  Sensors 21巻 20号 1-18頁 2021/10/13 査読有 原著論文 研究論文(学術雑誌) 
  • An Image Classification Model that Learns Image Features and Numerical Information Yuta Suzuki, Toshiki Hatano, Toi Tsuneda, Daiki Kuyoshi, Satoshi Yamane International Journal of Networking and Computing 11巻 2号 426-437頁 2021/07/28 査読有 原著論文 研究論文(学術雑誌) 
  • GBDT Modeling of Deep Reinforcement Learning Agents Using Distillation Toshiki Hatano, Toi Tsuneda, Yuta Suzuki, Kuniyasu Imade, Kazuki Seshimo and Satoshi Yamane IEEE International Conference on Mechatronics (ICM2021) 2021巻 2021/03/30 査読有 原著論文 研究論文(プロシーディング)
  • Image Classification with Additional Non-decision Labels using Self-supervised learning and GANs Toshiki Hatano, Toi Tsuneda, Yuta Suzuki, Satoshi Yamane International Workshop on Networking, Computing, Systems, and Software 125-129頁 2020/11/24 査読有 原著論文 研究論文(プロシーディング)
  • An Image Classification Model that Learns MNIST Image Features and Numerical Information Yuta Suzuki, Toshiki Hatano, Toi Tsuneda, Satoshi Yamane International Workshop on Networking, Computing, Systems, and Software 483-485頁 2020/11/24 査読有 原著論文 研究論文(プロシーディング)
  • Q-learning in Continuous Action Space by Extending EVA Toi Tsuneda, Daiki Kuyoshi, Satoshi Yamane International Workshop on Networking, Computing, Systems, and Software 489-491頁 2020/11/24 査読有 原著論文 研究論文(プロシーディング)
  • Efficient Exploration by Decision Making Considering Curiosity and Episodic Memory in Deep Reinforcement Learning Daiki Kuyoshi, Kuniyasu Imade, Satoshi Yamane International Workshop on Networking, Computing, Systems, and Software 465-467頁 2020/11/24 査読有 原著論文 研究論文(プロシーディング)
  • Transfer Learning Algorithm for Object Detection Yuta Suzuki, Daiki Kuyoshi, Satoshi Yamane International Workshop on Networking, Computing, Systems, and Software 10巻 1号 1-3頁 2021/01/01 査読有 原著論文 研究論文(学術雑誌) 
  • Practical Evaluation of Online Heterogeneous Machine Learning Kazuki Seshimo, Akira ohta, Daichi Nishio, Satoshi Yamane  IEICE Trans. Information and Systems 103巻 12号 2620-2631頁 2020/12/01 査読有 原著論文 研究論文(学術雑誌) 
  • Model checking of embedded systems using RTCTL Y. Wu, S. Yamane RIMS KOKYUROKU 2088巻 9-13頁 2018/08/01 査読無 研究論文(その他学術会議資料等) 
  • U-Net++とSE-Netを統合した画像セグメンテーションのための転移学習モデル 鈴木悠太, 山根智 第23回情報論的学習理論ワークショップ 2020/11/24 査読無 研究論文(研究会,シンポジウム資料等)
  • 深層強化学習におけるノンパラメトリックなエピソード記憶を備えたRainbowの評価 久吉大輝, 山根智 第23回情報論的学習理論ワークショップ 2020/11/24 査読無 研究論文(研究会,シンポジウム資料等)
  • Model Checking of Real-Time Properties for Embedded Assembly Program Using Real-Time Temporal Logic RTCTL and Its Application to Real Microcontroller Software Yajun WU, Satoshi Yamane  IEICE Trans. Information and Systems 103巻 4号 800-812頁 2020/04/01 査読有 原著論文 研究論文(学術雑誌)
  • 組込みシステムのフォーマルメソッドにおけるハイブリッドシステムの仕様記述と形式的検証 Satoshi Yamane Fundamental review 2巻 1号 22-34頁 2008/08/01 査読有 解説 研究論文(その他学術会議資料等) 
  • Random Projection in Neural Episodic Control Daichi Nishio, Satoshi Yamane Proceedings of Machine Learning Research 101巻 1-15頁 2019/11/17 査読有 研究論文(学術雑誌) 
  • Angle Estimation Network Using Polar Transformation for Object Classification Nishiki Katayama, Satoshi Yamane IEEE GCCE2020 2020巻 9号 652-653頁 2020/10/13 査読有 原著論文 研究論文(プロシーディング)
  • Text Classification Using Convolutional Neural Network by Genetic Algorithms Mo Li, Xie Zhang, Satoshi Yamane, Ang Yang Lin IEEE GCCE2020 2020巻 9号 188-190頁 2020/10/13 査読有 原著論文 研究論文(プロシーディング)
  • Proposal of Quantized Tree-LSTM and Its Experimental Evaluation Kazuki Takamura, Satoshi Yamane IEEE GCCE2020 2020巻 9号 280-282頁 2020/10/13 査読有 原著論文 研究論文(プロシーディング)
  • Transfer Learning Model for Image Segmentation by Integrating U-Net++ and SE Block Yuta Suzuki, Satoshi Yamane IEEE GCCE2020 2020巻 9号 129-131頁 2020/10/13 査読有 原著論文 研究論文(プロシーディング)
  • Boosting Binary Neural Networks for FPGA Toshiki Hatano, Satoshi Yamane IEEE GCCE2020 2020巻 9号 837-839頁 2020/10/13 査読有 原著論文 研究論文(プロシーディング)
  • Discriminator Soft Actor Critic Without Extrinsic Rewards Daichi Nishio, Toi Tsuneda, Daiki Kuyoshi, Satoshi Yamane IEEE GCCE2020 2020巻 9号 147-150頁 2020/10/13 査読有 原著論文 研究論文(プロシーディング)
  • Comparative Experiment of SPIN and SMT in Model Checking of Embedded Assembly Program Satoshi Yamane, Kosuke Umemura IEEE GCCE2020 2020巻 9号 63-66頁 2020/10/13 査読有 原著論文 研究論文(プロシーディング)
  • Software Model Checking for Real-Time Properties of Embedded Assembly Programs Based on Lazy Abstraction and Refinement Yajun Wu, Hiromu Kamide, Satoshi Yamane  IEEE GCCE2020 2020巻 9号 71-74頁 2020/10/13 査読有 原著論文 研究論文(プロシーディング)
  • Lazy Abstractionと精練を用いた組込みアセンブリプログラムのリアルタイム性のソフトウェアモデル検査 H. Kamide, S. Yamane RIMS KOKYUROKU 京都大学数理解析研究所 2154巻 1号 1-8頁 2020/04/01 査読無 原著論文 研究論文(その他学術会議資料等) 
  • 確率時間CEGARの開発とその実証実験 清水、森下、山根 情報処理学会論文誌 プログラミング 5巻 2号 43-66頁 2012/03 査読有 原著論文 研究論文(学術雑誌)
  • 確率時間ゲーム理論による組込みシステムのモデル化, 仕様記述及び検証 林 将志、山根智 電子情報通信学会論文誌 93巻 7号 1214-1225頁 2010/07 査読有 原著論文 研究論文(学術雑誌)
  • 事例研究:プリエンプティブな周期タスクからなる組込みソフトウェアのモデリング,仕様記述と有限モデル検査 瀧内 新悟、山根智 電子情報通信学会論文誌 93巻 11号 2403-2415頁 2010/11 査読有 原著論文 研究論文(学術雑誌)
  • 確率ゾーングラフを用いた確率時間強模倣関係による検証 橋爪裕樹、山根智 電子情報通信学会論文誌 92巻 1号 25-38頁 2009/01 査読有 原著論文 研究論文(学術雑誌)
  • Deductive Probabilistic Verification Methods for Embedded and Ubiquitous Computing S. Yamane,T. Kanatani LECTURE NOTES IN COMPUTER SCIENCE 3207巻 1号 163-195頁 2004/08 査読有 原著論文 研究論文(学術雑誌)
  • Deductive Probabilistic Timed Verification S. Yamane Fourth International Workshop on 4巻 1号 1-10頁 2005/04 査読有 原著論文 研究論文(プロシーディング)
  • Automata-Theoretic Performance Analysis Method of Soft Real-Time Systems S.Yamane LECTURE NOTES IN COMPUTER SCIENCE 3823,pp巻 1211-1224頁 2005/11 査読有 原著論文 研究論文(学術雑誌)
  • Timed Weak Simulation Verification and its application to Stepwise Refinement of Real-Time Software S.Yamane LECTURE NOTES IN COMPUTER SCIENCE 3824巻 381-394頁 2005/11 査読有 原著論文 研究論文(学術雑誌)
  • Deductive Probabilistic Verification Methods of Safety, Liveness and Nonzenoness for Distributed Real-Time Systems S.Yamane LECTURE NOTES IN COMPUTER SCIENCE 3820,pp巻 332-345頁 2005/12 査読有 原著論文 研究論文(学術雑誌)
  • Specification and Verification Techniques of Embedded Systems using Probabilistic Linear Hybrid Automata Y. Mutsuda, T. Kato, S. Yamane LECTURE NOTES IN COMPUTER SCIENCE 3820,pp巻 346-360頁 2005/12 査読有 原著論文 研究論文(学術雑誌)
  • The automatic verification system for real-time systems using symbolic model-checking S.Yamane Real-Time Systems VOl.8巻 137-152頁 2007/03 査読有 原著論文 研究論文(学術雑誌)
  • Theory and practice of probabilistic timed game for Embedded Systems S.Yamane LECTURE NOTES IN COMPUTER SCIENCE 4523,pp巻 109-120頁 2007/05 査読有 原著論文 研究論文(学術雑誌)
  • A New Approach to Specify and Verify Embedded Systems consisting of CPU and DRP R.Yanase, S.Yamane The 18th IEEE Pacific Rim International Symposium on Dependable Computing  18巻 1-2頁 2012/08 査読有 原著論文 研究論文(プロシーディング)
  • Trace-mining Profile for Large-Scale Distributed Framework Hadoop Yusuke Shimizu, Kouhei Sakurai, Satoshi Yamane The 18th IEEE Pacific Rim International Symposium on Dependable Computing  18巻 1-2頁 2012/08 査読有 研究論文(プロシーディング)
  • Hybrid Automata Theoretic Specification and Verification of CPU-DRP Embedded Systems R.Yanase, S.Yamane  Bulletin of Networking, Computing, Systems, and Software 1巻 1号 16-20頁 2012/12 査読有 原著論文 研究論文(学術雑誌)
  • Development of SMT-Based Bounded Model Checker for Embedded Assembly Program J.Kobashi, A.Takeshita, S.Yamane IEEE 3rd Global Conference on Consumer Electronics 1-4頁 2014/10/09 査読有 原著論文 研究論文(プロシーディング)
  • Model Generation by the Exhaustive Search for Embedded Assembly Programs and Application to Model Checking R.Konoshita, S. Yamane, K.Sakurai IEEE 3rd Global Conference on Consumer Electronics 1-4頁 2014/10/09 査読有 原著論文 研究論文(プロシーディング)
  • Development of Probabilistic Timed CEGAR Satoshi Yamane, Takaya Shimizu IEEE International Conference on Systems and Informatics 1-10頁 2014/11/19 査読有 原著論文 研究論文(プロシーディング)
  • A method of generating traces of Hadoop YARN by lightweight profile data Yosuke Nakagawa, Kouhei Sakurai, Satoshi Yamane Annual Meeting on Advanced Computing System and Infrastructure 1-6頁 2015/01/26 査読有 原著論文 研究論文(プロシーディング)
  • Parallel Distributed Graph Clustering Algorithm on Apache Spark with Node Partition and Aggregation in Large-Scale Graphs R.Asayama, K.Sakurai,S.Yamane International Workshop on Innovative Algorithms for Big Data 1巻 1号 1-2頁 2015/09/13 査読有 原著論文 研究論文(プロシーディング)
  • Formal Verification of Dynamically Reconfigurable Systems  R.Yanase, T.Sakai,M.Sakai,S.Yaname IEEE 4th Global Conference on Consumer Electronics (GCCE 2015) 4巻 2015/10/27 査読有 
  • Distributed CFG-based Symbolic Execution for Assembly Programs  T.Adachi, S.Yamane, K.Sakurai IEEE 4th Global Conference on Consumer Electronics (GCCE 2015) 4巻 76-80頁 2015/10/27 査読有 研究論文(プロシーディング) 
  • Integration of Supervised and Unsupervised Learning for Deep Neural Network T.Uchiyama, S.Yamane,K.Sakurai,T.Kurita The Korea-Japan joint workshop on Frontiers of Computer Vision (FCV) 2016/02/23 査読有 原著論文 研究論文(プロシーディング)
  • LogChamber: Inferring Source Code Locations Corresponding to Mobile Applications Run-time Logs Yuki Ono, Kouhei Sakurai, Satoshi Yamane  Journal of Information Processing 24巻 4号 700-710頁 2016/07/07 査読有 原著論文 研究論文(学術雑誌)
  • Detecting Bank Conflict of GPU Programs Using Symbolic Execution K.Hamaya, S.Yamane IEEE 5th Global Conference on Consumer Electronics (GCCE 2015) 5巻 1-3頁 2016/10/12 査読有 原著論文 研究論文(プロシーディング) 
  • A Case Study of Formal Approach to Dynamically Reconfigurable Systems by Using Dynamic Linear Hybrid Automata  Ryo Yanase, Tatsunori Sakai, Makoto Sakai and Satoshi Yamane Lecture Notes in Computer Science 10009 10009巻 74-89頁 2016/11/15 査読有 原著論文 研究論文(学術雑誌) 
  • Abstraction Refinement for Non-Zeno Fairness Verification of Linear Hybrid Automata R.Yanase, S.Yamane 10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017)Doctoral Symposium 10巻 1頁 2017/03/17 査読有 原著論文 研究論文(プロシーディング) 
  • Recognition of Rotated Images by Angle Estimation Using Feature Map with CNN Nishiki Katayama, Satoshi Yamane IEEE GCCE2017 2017巻 1-4頁 2017/10/24 査読有 原著論文 研究論文(プロシーディング)
  • Formal Probabilistic Refinement Verification Method of Embedded Real-Time Systems S. Yamane IEEE Workshop on Software Technologies for Future Embedded Systems. WSTFES 2003 1巻 1号 79-82頁 2003/05/01 査読有 原著論文 研究論文(プロシーディング)
  • Formal verification of real-time software by symbolic model checker Kazuhiro nakamura, Satoshi Yamane International Conference on Application of Concurrency to System Design 1巻 10頁 1998/03/10 査読有 原著論文 研究論文(学術雑誌)
  • A method for the Specifications and Verification of Distributed Systems by Timed Automaton Satoshi Yamane Systems and Computers in Japan 28巻 2号 10頁 1997/12/12 査読有 原著論文 研究論文(学術雑誌)
  • Symbolic Model-checking method based on approximation and BDDs for real-time systems S.Yamane, K.Nakamura Lecture Notes in Computer Science 1281巻 23頁 1997/10/10 査読有 原著論文 研究論文(学術雑誌)
  • The symbolic model-checking for real-time systems Satoshi Yamane Concurrency:theory and applications,RIMS,KYOTO University 996巻 21頁 1997/10/10 査読有 原著論文 研究論文(プロシーディング)
  • Automatic Verification Method for distributed and concurrent systems using timed language inclusion Satoshi Yamane Journal of Parallel and Distributed Computing Practices 1巻 2号 14頁 1998/06/10 査読有 原著論文 研究論文(学術雑誌)
  • Specifications and Verification Method of Concurrent Systems by Restricted Timed Automaton S. Yamane Lecture Notes in Computer Science 1231巻 15頁 1997/05/10 査読有 原著論文 研究論文(学術雑誌)
  • Study on verification method of statechart by fixpoint computation Satoshi Yamane Systems and Computers in Japan 27巻 13号 12頁 1997/06/01 査読有 原著論文 研究論文(学術雑誌)
  • A Practical Hierachical Design by Timed Simulation Relations for Real-Time Systems Satoshi Yamane LECTURE NOTES IN COMPUTER SCIENCE 1641巻 17頁 1999/10/10 査読有 原著論文 研究論文(学術雑誌)
  • Faster Deep Q-learning using Neural Episodic Control D. Nishio, S. Yamane CoRR abs/1801.01968 (2018) 42号 1-6頁 2018/06/01 査読無 原著論文 研究論文(その他学術会議資料等) 
  • Rainbow with Episodic Memory in Deep Reinforcement Learning Daiki Kuyoshi, Toi Tsuneda, Satoshi Yamane IEEE GCCE2020 2020巻 9号 1-4頁 2020/10/13 査読有 原著論文 研究論文(プロシーディング)
  • Deductively Verifying Embedded Software in the Era of Artificial Intelligence = Machine Learning + Software Science Satoshi Yamane IEEE GCCE2017 2017巻 1-4頁 2017/10/24 査読有 原著論文 研究論文(プロシーディング)
  • Model Check of Real-time Property of Embedded Assembly Program Using CEGAR Hiromu Kamide, Kosuke Uemura, Satoshi Yamane IEEE COMPSAC 2018 42巻 42号 799-800頁 2018/07/23 査読有 原著論文 研究論文(プロシーディング)
  • Machine Translation Considering Context Informaiton Using Encoder-Decoder Model Satoshi Yamane, Tetsuto Takano IEEE COMPSAC 2018 42巻 42号 793-794頁 2018/07/23 査読有 原著論文 研究論文(プロシーディング)
  • Model Checking of Embedded Systems Using RTCTL while Generating Timed Kripke Structure Yajun Wu, S. Yamane IEEE COMPSAC 2018 42巻 42号 1頁 2018/07/23 査読有 原著論文 研究論文(プロシーディング)
  • Faster Deep Q-learning using Neural Episodic Control D. Nishio, S. Yamane IEEE COMPSAC 2018 42巻 42号 1-6頁 2018/07/23 査読有 原著論文 研究論文(プロシーディング)
  • Machine translation considering context informaiton using Encoder-Decoder model T. Takano, S. Yamane CoRR arXiv:1904.00160 (2019) 1-4頁 2019/03/01 査読無 原著論文 研究論文(その他学術会議資料等)
  • Online Heterogeneous Mixture Learning for Big Data Kazuki Seshimo, Ota Akira, Nishio Daichi, Yamane Satoshi arXiv:1906.08068(2019) 1-2頁 2019/06/01 査読無 原著論文 研究論文(その他学術会議資料等)
  • Verification Method of Safety Properties of Embedded Assembly Program by Combining SMT-Based Bounded Model Checking and Reduction of Interrupt Handler Executions Satoshi Yamane, Jumpei Kobashi, Kousuke Uemura Electronics in the Section Computer Science & Engineering 2020, 9(7) 9巻 7号 1-24頁 2020/06/27 査読有 原著論文 研究論文(学術雑誌) 
  • Deductive Verification Method of Real-Time Safety Properties for Embedded Assembly Programs Satoshi Yamane Electronics in the Section Computer Science & Engineering 2019, 8(10) 8巻 10号 1-16頁 2019/10/14 査読有 原著論文 研究論文(学術雑誌) 
  • Generalize IoT Device's Client Application with Virtual Machine H.Kawakami, S.Yamane IEEE GCCE2019 2019巻 8号 992-995頁 2019/10/16 査読有 原著論文 研究論文(プロシーディング)
  • Online Heterogeneous Mixture Learning for Big Data K.Seshimo, A.Ohta, D.Nshio, S.Yamane IEEE GCCE2019 2019巻 8号 699-701頁 2019/10/16 査読有 原著論文 研究論文(プロシーディング)
  • SMT-Based Bounded Model Checking of Embedded Assembly Program with Interruptions Satoshi Yamane, Kousuke Uemura The 17th IEEE International Conference on Dependable, Autonomic and Secure Computing 17巻 1号 633-639頁 2019/08/05 査読有 原著論文 研究論文(プロシーディング)
  • Similarity Calculation for Face Verification with Convolutional Neural Network Nishiki Katayama, Satoshi Yamane SICE Annual Conference 2017 2017巻 2017/09/12 査読有 原著論文
  • Improving Minimal Gated Unit for Sequential Data K.Takamura, S.Yamane IEEE GCCE2019 2019巻 8号 696-698頁 2019/10/16 査読有 原著論文 研究論文(プロシーディング)
  • Simulation and Model checking of embedded assembly program Satoshi Yamane,Tomonori Kato,Ryosuke Konoshita ESS2016 2016/10/20 査読有 原著論文 研究論文(プロシーディング)
  • Model checking of embedded assembly program based on simulation S.Yamane, R.Konoshita, T.Kato IEICE Transactions on Information and Systems  100巻 8号 1819-1826頁 2017/08/01 査読有 原著論文 研究論文(学術雑誌)
  • AspectJを用いたFault-InjectionによるHadoop MapReduceの耐故障処理に関する性能評価 中川洋介,櫻井孝平,清水裕亮,山根智 情報処理学会論文誌コンピューティングシステム 7巻 1号 35-45頁 2014/03/25 査読有 原著論文 研究論文(学術雑誌) 
  • Discriminator Soft Actor Critic without Extrinsic Rewards Daichi Nishio, Daiki Kuyoshi, Toi Tsuneda, Satoshi Yamane CoRR abs/2001.06808 (2020) 1-7頁 2020/01/19 査読無 原著論文 研究論文(その他学術会議資料等)
  • UMLと時間オートマトンを用いたソフトリアルタイムシステムの設計解析手法 坂倉賢昭、山根智 情報処理学会論文誌 48巻 9号 2410-2421頁 2007/09 査読有 原著論文 研究論文(学術雑誌)
  • Timed Weak Simulation Verification and its application to Stepwise Refinement of Real-Time Software Satoshi Yamane 6巻 1号 192-203頁 2006/01 査読有 原著論文 研究論文(学術雑誌)
  • 二分決定グラフによる分散/並行システムの形式的検証手法 山根智 人工知能学会誌 13巻 1号 8頁 1998/01 査読有 原著論文 研究論文(学術雑誌)
  • リアルタイム時相論理の拡張とモデルチェッキング検証手法 山根智 人工知能学会誌 12巻 3号 8頁 1997/07 査読有 原著論文 研究論文(学術雑誌)
  • 統一的セマンティックモデルに基づくリアクティブシステムの形式的開発方法論 山根智 情報処理学会論文誌 41巻 3号 16頁 2000/03 査読有 原著論文 研究論文(学術雑誌)
  • 時間模倣関係による実時間システムの階層的設計手法 山根智 情報処理学会論文誌 40巻 7号 15頁 1999/07 査読有 原著論文 研究論文(学術雑誌)
  • 開放型分散システムの階層的な設計手法 山根智 情報処理学会論文誌 40巻 4号 17頁 1999/04 査読有 原著論文 研究論文(学術雑誌)
  • ハードリアルタイムシステムの形式的仕様記述と形式的検証 山根智 情報処理学会論文誌 42巻 6号 13頁 2001/06 査読有 原著論文 研究論文(学術雑誌)
  • Formal development methodology of hybrid systems based on both control theory and computer science s. yamane IKE\'02 469-4頁 2002/06 査読有 原著論文 研究論文(プロシーディング)
  • Refinement Theory of Embedded systems based on Hybrid models s. yamane IKE\'02 455-4頁 2002/06 査読有 原著論文 研究論文(プロシーディング)
  • Real-Time Symbolic Model Checking for Hard Real-Time Systems 館宜伸、山根智 Proc. International Conference on Real-Time Computing Systems and Applications 7巻 4頁 1999/11 査読有 原著論文 研究論文(プロシーディング)
  • Deductive Refinement Verification Methods based on Assume-Guarantee Style and their Experimental Evaluations of Real-Time Software 山ノ口崇、山根智 International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computeing 2巻 8頁 2001/08 査読有 原著論文 研究論文(プロシーディング)
  • Modular Specification and Verification Method for Hybrid Real-time Systems 山根智 Proc. International Conference on Real-Time Computing Systems and Applications 10巻 8頁 2002/03 査読有 原著論文 研究論文(プロシーディング)
  • Hierarchical design method real-time distributed systems 山根智 Proc. International Workshop on Real-Time Computing Systems and Applications 6巻 4頁 1998/11 査読有 原著論文 研究論文(学術雑誌)
  • Deductive Schedulability Verification Methodology of Real-Time Software using both Refinement Verification and Hybrid Automata Satoshi Yamane IEE PROCEEDINGS-COMPUTERS AND DIGITAL TECHNIQUES 27巻 1号 527-533頁 2003/11 査読有 原著論文 研究論文(学術雑誌)
  • Probabilistic Timed Simulation Verification and Its Application to Stepwise Refinement of Real-Time Systems Satoshi Yamane LECTURE NOTES IN COMPUTER SCIENCE 2896巻 1号 276-290頁 2003/12 査読有 原著論文 研究論文(学術雑誌)
  • Formal refinement verification method of real-time systems with discrete probability distributions S. Yamane 無限システムの自動検証に関するワークショップ 2巻 202-215頁 2003/04 査読有 原著論文 研究論文(プロシーディング)
  • 実時間システムのための近似手法に基づいた記号モデル検査器の開発と評価 山根智、中村一博 電子情報通信学会論文誌 86巻 4号 232-247頁 2003/04 査読有 原著論文 研究論文(学術雑誌)
  • 離散確率分布を持つリアルタイムシステムの確率時間双模倣関係と確率時間時相論理式の保存 山根智 情報処理学会論文誌 45巻 5号 1201-127頁 2004/05 査読有 原著論文 研究論文(学術雑誌)
  • 離散確率分布を持つリアルタイムシステムの詳細化検証手法 山根智 情報処理学会論文誌 44巻 8号 2189-2199頁 2003/08 査読有 原著論文 研究論文(学術雑誌)
  • ハイブリッドシステムのモジュールの仕様記述と検証の手法 山根 智 情報処理学会論文誌 44巻 3号 867-9頁 2003/03 査読有 原著論文 研究論文(学術雑誌)
  • Formal Verification of schedulability of real-time software s. yamane IFICT 209-2頁 2003/01 査読有 原著論文 研究論文(プロシーディング)
  • Refinement Verification of Hybrid Automata for Embedded Systems s. yamane IFICT 203-2頁 2003/01 査読有 原著論文 研究論文(プロシーディング)
  • 時間オートマトンによるソフトリアルタイムシステムの性能解析手法 山根智 情報処理学会論文誌 Vol.46, No11,pp巻 2410-2421頁 2005/11 査読有 原著論文 研究論文(学術雑誌)
  • Symbolic Reachability Analysis of Probabilistic Linear Hybrid Automata IEICE transaction on fundamentals Vol.E88-A No.11, pp巻 2972-2981頁 2005/11 査読有 原著論文 研究論文(学術雑誌)
  • 時間弱模倣検証に基づくリアルタイムソフトウェアの詳細化設計手法 山根 智、中野善光 電子情報通信学会論文誌 J88-D-I,No.10,pp巻 1555-1570頁 2005/10 査読有 原著論文 研究論文(学術雑誌)
  • 離散確率分布を持つリアルタイムシステムの 山根智 情報処理学会論文誌 45巻 6号 1421-1430頁 2004/06 査読有 原著論文 研究論文(学術雑誌)
  • Assume-Guarantee検証による実時間システムの階層的設計支援手法 山根智 情報処理学会論文誌 41巻 12号 11頁 2000/12 査読有 原著論文 研究論文(学術雑誌)
  • オートマトン理論に基づく通信プロトコルのタイミング検証方式─実時間シンボリック言語包含検証─ 山根智 人工知能学会誌 12巻 2号 10頁 1997/05 査読有 原著論文 研究論文(学術雑誌)
  • Detecting Bank Conflict of GPU Programs Using Symbolic Execution - Case Study Khoki Hamaya, Satoshi Yamane Journal of Software Engineering and Applications 10巻 2号 159-167頁 2017/02/21 査読有 原著論文 研究論文(学術雑誌) 
  • 組込みアセンブリプログラム解析によるSMTモデル検査 小橋 潤平 , 竹下 淳 , 山根 智 組込みシステム シンポジウム2014 22-27頁 2014/10/23 査読有 原著論文 研究論文(研究会,シンポジウム資料等) 
  • 組込みアセンブリプログラムのモデル構築によるモデル検査 公下 亮佑 ,山根 智,櫻井 孝平 組込みシステム シンポジウム2014 13-21頁 2014/10/23 査読有 原著論文 研究論文(研究会,シンポジウム資料等) 
  • アクターモデルに基づいたストリームデータに対する分散オンライン決定木学習手法 山本幸一、櫻井孝平、山根智 WebDB Forum 2014 1-8頁 2014/11/19 査読有 原著論文
  • 動的再構成可能システムの仕様記述言語の提案およびその検証実験 山田 英史, 中居 祐輝, 山根 智 情報処理学会論文誌 プログラミング 6巻 3号 1-19頁 2013/12/20 査読有 原著論文 研究論文(学術雑誌) 
  • 確率線形ハイブリッドオートマトンの到達可能性検証 情報処理学会論文誌 53巻 12号 2671-2681頁 2012/12 査読有 研究論文(学術雑誌)
  • Development of Model Checker of Dynamic Linear Hybrid Automata IEEE 37th COMPSAC 37巻 2013/07 査読有 研究論文(プロシーディング)

講演・口頭発表等

  • ブロックチェーン技術を用いた多品種少量生産システムの提案とそのペトリネット記述 (会議名:電子情報通信学会ソサエティ大会)(2018/09/12)
  • システムと信号処理サブソサイエティの役割 ~ 研専およびサブソのロードマップその1 ~(会議名:電子情報通信学会回路とシステム)(2018/06/15)
  • CNNの特徴マップを用いた回転角推定の連続実行による回転画像認識 IEICE Technical Reprt IBISML2017-63, pp.215-218(会議名:IBIS2017)(2017/11/10)
  • Deductive Verification of real-time safety properties for embedded assembly program using theorem prover Princess(会議名:電子情報通信学会システム数理と応用研究会)(2018/03/13)
  • 組込みアセンブリプログラムのリアルタイム安全性の演繹的検証(会議名:電子情報通信学会システム数理と応用研究会)(2018/03/13)

全て表示

  • Invite paper: Deductively Verifying Embedded Software in the Era of Artificial Intelligence = Machine Learning + Software Science(会議名:IEEE GCCE2017)(2017/10/27)
  • 組込みアセンブリプログラムのリアルタイム安全性の演繹的検証(会議名:電子情報通信学会システム数理と応用研究会)(2017/06/20)
  • 組込みアセンブリプログラムのリアルタイム性の検証手法(会議名:電子情報通信学会システム数理と応用研究会)(2017/03/16)
  • オンライン型異種混合機械学習による時系列データ解析 IEICE Technical Reprt IBISML2016-54, PP.59-64(会議名:IBIS2016)(2016/11/16)
  • 英日機械翻訳のための畳み込みニューラルネットワークによる文表現生成モデル IEICE Technical Reprt IBISML2016-52, PP.51-54(会議名:IBIS2016)(2016/11/16)
  • 組込みシステムの仕様記述と形式的手法(会議名:平成25年度電気関係学会北陸支部連合大会)(2013/09)
  • リアルタイムシステムの仕様記述と検証(会議名:組込みシンポジュウムESS2007)(2007/11)
  • 組込みシステムの形式的手法(会議名:第22回回路とシステム軽井沢ワークショップ)(2009/04)
  • 電子情報通信学会コンカレント工学研究会専門委員。 電子情報通信学会特集号の編集委員および編集幹事。(2011)
  • 電子情報通信学会コンカレント工学研究会専門委員。 電子情報通信学会特集号の編集委員および編集幹事。(2012)
  • 電子情報通信学会コンカレント工学研究会専門委員。 電子情報通信学会特集号の編集委員および編集幹事。(2010)
  • 電子情報通信学会コンカレント工学研究会専門委員。 電子情報通信学会特集号の編集委員および編集幹事。 電子情報通信学会”回路とシステムワークショップ”で招待講演を行った。(2009)
  • 電子情報通信学会コンカレント工学研究会専門委員。 電子情報通信学会ソサイエティ大会シンポジュウム企画。 電子情報通信学会特集号の編集委員および編集幹事。(2008)

その他(報告書など)

  • 組込みシステムのフォーマルメソッドにおけるハイブリッドシステムの仕様記述と形式的検証 2巻 1号 22-34頁 2008/08/01 ⑫書評・文献紹介等 
  • 「システムと信号処理サブソサイエティ企画 パネル討論」の開催報告 山根智 Fundamentals Review 12 巻巻 4 号号 p. 313頁 2019/04/01 ⑬会議報告書等 
  • ハイブリッドオートマトン オーム社 2009/08 ⑫書評・文献紹介等
  • 確率時間CEGAR 森下篤 京都大学数理解析研究所 1649巻 47-54頁 2009/05 ⑬会議報告書等
  • Special Section on Concurrent/Real-time and Hybrid Systems: Theory and Applications 電子情報通信学会 91巻 11頁 2008/11 ⑪講演資料等(セミナー,チュートリアル,講習,講義他)

芸術・フィールドワーク

特許

○分散データベース格納方式(公開年月:1993/05/01)(特許番号:特開平5-32448)

共同研究希望テーマ

○組込みソフトウェアの検証

科研費

○基盤研究(C)「時相論理と並行計算,オートマトンの統合化による自律性のある分散システムの設計支援」(1999-2001) 代表者
○基盤研究(C)「ハイブリッドモデルによる組込みシステムの高信頼性設計方法論の構築と支援環境の開発」(2002-2004) 代表者
○基盤研究(C)「述語抽象化検証による大規模組込みシステム向きオブジェクト指向設計自動検証手法」(2007-2009) 代表者
○基盤研究(C)「音響心理の定量的計測を目標とした心理モデルの構築と実験的検討」(1997-1998) 分担者
○基盤研究(C)(一般)「割込みを持つ組込みアセンブリプログラムのリアルタイム性のソフトウェアモデル検査」(2021-2023) 代表者
○基盤研究(C)(一般)「組込みアセンブリプログラムのリアルタイム性検証」(2018-2020) 代表者
○基盤研究(C)(一般)「革新的ソフトウェアモデル検査による組込みアセンブリプログラムの安全性検証」(2015-2017) 代表者
○基盤研究(C)(一般)「動的ハイブリッドオートマトンによる動的再構成可能組込みシステムの高度な設計検証」(2012-2014)
○基盤研究(C)「動的ハイブリッドオートマトンによる動的再構成可能組込みシステムの高度な設計検証」(2012-2014) 代表者

競争的資金・寄付金等

○競争的資金(学外) (1999-2001) 研究 時相論理と並行計算、オートマトンの統合化による自律性のある分散システムの設計支援  科学研究費補助金 文科省
○競争的資金(学外) (2002-2004) 研究 ハイブリッドモデルによる組込みシステムの高信頼性設計方法論の構築と支援環境の開発  科学研究費補助金 文科省
○競争的資金(学外) (2006-2006) 研究 確率時間オートマトンを用いた汎用結合可能性を有する暗号プロトコルの設計手法の構築 電気通信普及財団研究助成 電気通信普及財団
○競争的資金(学外) (2007-2009) 研究 述語抽象化検証による大規模組込みシステム向きオブジェクト指向設計自動検証手法  科学研究費補助金 文科省
○競争的資金(学外) (2002-2004) 研究 測度論による通信プロトコルの信頼性保証 国際コミュニケーション基金研究助成 国際コミュニケーション基金
○競争的資金(学外) (2002-2002) 研究 定理証明技術とハイブリッドオートマトンによる、実時間ソフトウェアの仕様記述とスケジューラビリティ検証の統合化理論の開発とその実験 柏森財団研究助成 柏森財団
○競争的資金(学外) (2003-2003) 研究 時間オートマトン理論と確率測度論の統合化によるユビキタスコンピューティングの仕様記述と形式的検証に関する研究 人工知能研究振興財団研究助成 人工知能研究振興財団
○競争的資金(学外) (1998-1998) 研究 並行計算とモデル検査の統合化理論 電気通信普及財団研究助成 電気通信普及財団
○競争的資金(学外) (2015-2017) 研究 革新的ソフトウェアモデル検査による組込みアセンブリプログラムの安全性検証 科学研究費 文科省
○競争的資金(学外) (2012-2014) 研究 動的ハイブリッドオートマトンによる動的再構成可能組込みシステムの高度な設計検証  科学研究費 文科省
○競争的資金(学外) (2021-2023) 研究 割込みを持つ組込みアセンブリプログラムのリアルタイム性のソフトウェアモデル検査 科学研究費 文科省
○競争的資金(学外) (2018-2020) 研究 組込みアセンブリプログラムのリアルタイム安全性のソフトウェアモデル検査手法の開発 科学研究費 文科省

共同研究・受託研究実績

A-STEP採択課題

学域・学類担当授業科目

○情報通信工学実験2(2022)
○コンパイラB(2022)
○コンパイラA(2022)
○オペレーティングシステムB(2022)
○オペレーティングシステムA(2022)
○オペレーティングシステムA(2021)
○先端テクノロジー概論(2021)
○分散システムB(2020)
○分散システムA(2020)
○オペレーティングシステムB(2020)
○オペレーティングシステムA(2020)
○コンパイラA(2020)
○先端情報通信技術論B(2020)
○離散数学(2020)
○自主課題研究(2020)
○情報基礎B(2020)
○情報基礎A(2020)
○先端情報通信技術論A(2020)
○先端テクノロジー概論(2020)
○コンパイラB(2020)
○オペレーティングシステムA(2020)
○オペレーティングシステムB(2020)
○分散コンピューティングB(2020)
○分散コンピューティングA(2020)
○オペレーティングシステムA(2020)
○コンパイラA(2020)
○オペレーティングシステムB(2020)
○コンパイラB(2020)
○コンパイラ(2020)
○分散コンピューティングB(2020)
○分散コンピューティングA(2020)
○先端テクノロジー概論(2019)
○オペレーティングシステムB(2019)
○オペレーティングシステムA(2019)
○コンパイラ(2019)
○コンパイラ(2018)
○先端テクノロジー概論(2018)
○自主課題研究(2018)
○分散コンピューティング(2018)
○オペレーティングシステムB(2018)
○オペレーティングシステムA(2018)
○計算機システム(2018)
○自主課題研究(2017)
○コンパイラ(2017)
○計算機システム(2017)
○オペレーティングシステム(2017)
○分散コンピューティング(2017)
○計算機システム(2017)
○計算機システム(2016)
○オペレーティングシステム(2016)
○コンパイラ(2016)
○分散コンピューティング(2016)
○卒業研究(2016)
○自主課題研究(2016)
○卒業研究(2015)
○自主課題研究(2015)
○オペレーティングシステム(2015)
○コンパイラ(2015)
○分散コンピューティング(2015)
○計算機システム(2015)
○卒業研究(2014)
○自主課題研究(2014)
○計算機システム(2014)
○コンパイラ(2014)
○オペレーティングシステム(2014)
○ソフトウェア基礎論(2014)
○卒業研究(2013)
○自主課題研究(2013)
○卒業研究(2013)
○情報システム工学特別講義(2013)
○オペレーティングシステム(2013)
○計算機システム(2013)
○大学・社会生活論(2013)
○電子情報生命工学序論(2013)
○コンパイラ(2013)
○ソフトウェア基礎論(2013)

大学院担当授業科目

○分散並列リアルタイムシステム構成論(2018)
○分散並列リアルタイムシステム構成論(2017)
○分散並列リアルタイムシステム設計検証論(2017)
○分散並列リアルタイムシステム設計検証論(2017)
○分散並列リアルタイムシステム設計検証論(2017)
○分散並列リアルタイムシステム設計検証論(2017)
○分散並列リアルタイムシステム構成論(2016)
○分散並列リアルタイムシステム設計検証論(2016)
○分散並列リアルタイムシステム設計検証論(2015)
○分散並列リアルタイムシステム構成論(2015)
○分散並列リアルタイムシステム設計検証論(2014)
○形式的検証特論(2014)
○ソフトウェア工学特論(2014)
○分散並列リアルタイムシステム構成論(2014)
○形式的検証特論(2013)
○分散並列リアルタイムシステム構成論(2013)
○ソフトウェア工学特論(2013)

他大学の客員教授

教育活動(FD)に関する研究

国際事業協力

○基礎科学・先端科学技術プログラムワーキングロシアロシア(20171020-20210331)ロシア留学生の受け入れ、学生派遣

留学生参加の社会活動

審議会等の参加

講演可能なテーマ

○リアルタイムシステムの仕様記述と検証

その他公的社会活動

このページの先頭へ