本文へジャンプ

研究者情報

データ更新日:2017年09月07日

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

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

所属組織・役職等

理工研究域 電子情報学系

教育分野

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

所属研究室等

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

学歴

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

職歴

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

生年月

所属学会

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

学内委員会委員等

○建物情報システム維持管理委員長 委員長(2016-2017)
○屋外運動場の再整備に関するWG 委員(2016-2017)
○体育施設管理委員会 委員(2016-2017)
○同仁会幹事長 委員長(2016-2016)

受賞学術賞

○GESTS best paper(2006/03/01)
○2008年電子情報通信学会CST研究会優秀論文賞(2008/06/30)
○WebDB Forum 2014 企業賞(2014/11)
○組み込みシンポジュムESS2014奨励賞(2014/10)

専門分野

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

専門分野キーワード

リアルタイムOS、動的再構成可能システム、モデル検査

研究課題

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

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

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

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

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

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

著書

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

論文

  • 確率ゾーングラフを用いた確率時間強模倣関係による検証 橋爪裕樹 電子情報通信学会論文誌 92巻 1号 25-38頁 2009/01 査読有 原著論文 研究論文(学術雑誌)
  • 階層構造の抽象化精錬によるステートチャートの自動検証 山崎真一 コンピュータソフトウェア 26巻 3号 155-170頁 2009/08 査読有 原著論文 研究論文(学術雑誌)
  • 事例研究:プリエンプティブな周期タスクからなる組込みソフトウェアのモデリング,仕様記述と有限モデル検査 瀧内 新悟 電子情報通信学会論文誌 93巻 11号 2403-2415頁 2010/11 査読有 原著論文 研究論文(学術雑誌)
  • 確率時間ゲーム理論による組込みシステムのモデル化, 仕様記述及び検証 林 将志 電子情報通信学会論文誌 93巻 7号 1214-1225頁 2010/07 査読有 原著論文 研究論文(学術雑誌)
  • Development Method for Real-Time Software based on Timed Weak Simulation Verification Embedded Systems: Status and Perspective 2011/12 査読有 原著論文 研究論文(学術雑誌)

全て表示

  • Specification and Verification Techniques of Embedded Systems using Probabilistic Linear Hybrid Automata 4巻 1号 178-194頁 2006/01 原著論文 研究論文(学術雑誌)
  • The automatic verification system for real-time systems using symbolic model-checking Real-Time Systems VOl.8巻 137-152頁 2007/03 査読有 原著論文 研究論文(学術雑誌)
  • Theory and practice of probabilistic timed game for Embedded Systems LECTURE NOTES IN COMPUTER SCIENCE 4523,pp巻 109-120頁 2007/05 査読有 原著論文 研究論文(学術雑誌)
  • UMLと時間オートマトンを用いたソフトリアルタイムシステムの設計解析手法 坂倉賢昭、山根智 情報処理学会論文誌 Vol.48, No9,pp巻 2410-2421頁 2007/09 査読有 原著論文 研究論文(学術雑誌)
  • 確率時間オートマトンの確率時間強模倣検証器の開発 山根智、小寺広志、荒井恒夫 コンピュータソフトウェア Vol.25, No.3, pp巻 148-193頁 2008/08 査読有 原著論文 研究論文(学術雑誌)
  • 動的再構成可能プロセッサのモデル化,仕様記述とモデル検査 南 翔太, 瀧内 新悟, 瀬古口 智, 中居 佑輝 コンピュータソフトウェア 28巻 1号 190-216頁 2011/01 査読有 原著論文 研究論文(学術雑誌)
  • Assume-Guarantee検証による実時間システムの階層的設計支援手法 山根智 情報処理学会論文誌 41巻 12号 11頁 2000/12 査読有 原著論文 研究論文(学術雑誌)
  • オートマトン理論に基づく通信プロトコルのタイミング検証方式─実時間シンボリック言語包含検証─ 山根智 人工知能学会誌 12巻 2号 10頁 1997/05 査読有 原著論文 研究論文(学術雑誌)
  • ハードリアルタイムシステムの形式的仕様記述と形式的検証 山根智 情報処理学会論文誌 42巻 6号 13頁 2001/06 査読有 原著論文 研究論文(学術雑誌)
  • リアルタイム時相論理の拡張とモデルチェッキング検証手法 山根智 人工知能学会誌 12巻 3号 8頁 1997/07 査読有 原著論文 研究論文(学術雑誌)
  • 開放型分散システムの階層的な設計手法 山根智 情報処理学会論文誌 40巻 4号 17頁 1999/04 査読有 原著論文 研究論文(学術雑誌)
  • 時間模倣関係による実時間システムの階層的設計手法 山根智 情報処理学会論文誌 40巻 7号 15頁 1999/07 査読有 原著論文 研究論文(学術雑誌)
  • 統一的セマンティックモデルに基づくリアクティブシステムの形式的開発方法論 山根智 情報処理学会論文誌 41巻 3号 16頁 2000/03 査読有 原著論文 研究論文(学術雑誌)
  • 二分決定グラフによる分散/並行システムの形式的検証手法 山根智 人工知能学会誌 13巻 1号 8頁 1998/01 査読有 原著論文 研究論文(学術雑誌)
  • A method for the Specifications and Verification of Distributed Systems by Timed Automaton 山根智 Systems and Computers in Japan 28巻 2号 10頁 1997/12 査読有 原著論文 研究論文(学術雑誌)
  • Automatic Verification Method for distributed and concurrent systems using timed language inclusion 山根智 Journal of Parallel and Distributed Computing Practices 1巻 2号 14頁 1998/06 査読有 原著論文 研究論文(学術雑誌)
  • Study on verification method of statechart by fixpoint computation 山根智 Systems and Computers in Japan 27巻 13号 12頁 1997/06 査読有 原著論文 研究論文(学術雑誌)
  • A Practical Hierachical Design by Timed Simulation Relations for Real-Time Systems 山根智 LECTURE NOTES IN COMPUTER SCIENCE 1641巻 17頁 1999/10 査読有 原著論文 研究論文(学術雑誌)
  • Hierarchical design method real-time distributed systems 山根智 Proc. International Workshop on Real-Time Computing Systems and Applications 6巻 4頁 1998/11 査読有 原著論文 研究論文(プロシーディング)
  • Modular Specification and Verification Method for Hybrid Real-time Systems 山根智 Proc. International Conference on Real-Time Computing Systems and Applications 10巻 8頁 2002/03 査読有 原著論文 研究論文(プロシーディング)
  • Specifications and Verification Method of Concurrent Systems by Restricted Timed Automaton 山根智 Lecture Notes in Computer Science 1231巻 15頁 1997/05 査読有 原著論文 研究論文(学術雑誌)
  • The symbolic model-checking for real-time systems 山根智 Concurrency:theory and applications,RIMS,KYOTO University 996巻 21頁 1997/10 査読有 原著論文 研究論文(プロシーディング)
  • 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 査読有 原著論文 研究論文(プロシーディング)
  • Formal verification of real-time software by symbolic model checker 中村一博、山根智 International Conference on Application of Concurrency to System Design 1巻 10頁 1998/03 査読有 原著論文 研究論文(プロシーディング)
  • Real-Time Symbolic Model Checking for Hard Real-Time Systems 館宜伸、山根智 Proc. International Conference on Real-Time Computing Systems and Applications 7巻 4頁 1999/11 査読有 原著論文 研究論文(プロシーディング)
  • Symbolic Model-checking method based on approximation and BDDs for real-time systems 山根智、中村一博 Lecture Notes in Computer Science 1281巻 23頁 1997/10 査読有 原著論文 研究論文(学術雑誌)
  • Refinement Theory of Embedded systems based on Hybrid models s. yamane IKE\'02 455-4頁 2002/06 査読有 原著論文 研究論文(プロシーディング)
  • Formal development methodology of hybrid systems based on both control theory and computer science s. yamane IKE\'02 469-4頁 2002/06 査読有 原著論文 研究論文(プロシーディング)
  • Refinement Verification of Hybrid Automata for Embedded Systems s. yamane IFICT 203-2頁 2003/01 査読有 原著論文 研究論文(プロシーディング)
  • Formal Verification of schedulability of real-time software s. yamane IFICT 209-2頁 2003/01 査読有 原著論文 研究論文(プロシーディング)
  • ハイブリッドシステムのモジュールの仕様記述と検証の手法 山根 智 情報処理学会論文誌 44巻 3号 867-9頁 2003/03 査読有 原著論文 研究論文(学術雑誌)
  • Formal Probabilistic Refinement Verification Method of Embedded Real-Time Systems S. Yamane 将来の組み込みシステムのためのソフトウェアテクノロジ 1巻 1号 79-82頁 2003/05 査読有 原著論文 研究論文(プロシーディング)
  • 実時間システムのための近似手法に基づいた記号モデル検査器の開発と評価 山根智、中村一博 電子情報通信学会論文誌 86巻 4号 232-247頁 2003/04 査読有 原著論文 研究論文(学術雑誌)
  • Formal refinement verification method of real-time systems with discrete probability distributions S. Yamane 無限システムの自動検証に関するワークショップ 2巻 202-215頁 2003/04 査読有 原著論文 研究論文(プロシーディング)
  • 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 査読有 原著論文 研究論文(学術雑誌)
  • 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 査読有 原著論文 研究論文(プロシーディング)
  • 離散確率分布を持つリアルタイムシステムの詳細化検証手法 山根智 情報処理学会論文誌 44巻 8号 2189-2199頁 2003/08 査読有 原著論文 研究論文(学術雑誌)
  • 離散確率分布を持つリアルタイムシステムの確率時間双模倣関係と確率時間時相論理式の保存 山根智 情報処理学会論文誌 45巻 5号 1201-127頁 2004/05 査読有 原著論文 研究論文(学術雑誌)
  • 離散確率分布を持つリアルタイムシステムの 山根智 情報処理学会論文誌 45巻 6号 1421-1430頁 2004/06 査読有 原著論文 研究論文(学術雑誌)
  • Deductive Probabilistic Verification Methods 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 査読有 原著論文 研究論文(プロシーディング)
  • 時間弱模倣検証に基づくリアルタイムソフトウェアの詳細化設計手法 山根 智、中野善光 電子情報通信学会論文誌 J88-D-I,No.10,pp巻 1555-1570頁 2005/10 査読有 原著論文 研究論文(学術雑誌)
  • Symbolic Reachability Analysis of Probabilistic Linear Hybrid Automata Vol.E88-A No.11, pp巻 2972-2981頁 2005/11 査読有 原著論文 研究論文(学術雑誌)
  • 時間オートマトンによるソフトリアルタイムシステムの性能解析手法 山根智 情報処理学会論文誌 Vol.46, No11,pp巻 2410-2421頁 2005/11 査読有 原著論文 研究論文(学術雑誌)
  • Timed Weak Simulation Verification and its application to Stepwise Refinement of Real-Time Software Vol.6, No.1B, pp巻 192-203頁 2006/01 査読有 原著論文 研究論文(学術雑誌)
  • Automata-Theoretic Performance Analysis Method of Soft Real-Time Systems 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 LECTURE NOTES IN COMPUTER SCIENCE 3824, pp巻 381-394頁 2005/11 査読有 原著論文 研究論文(学術雑誌)
  • Deductive Probabilistic Verification Methods of Safety, Liveness and Nonzenoness for Distributed Real-Time Systems LECTURE NOTES IN COMPUTER SCIENCE 3820,pp巻 332-345頁 2005/12 査読有 原著論文 研究論文(学術雑誌)
  • リアルタイムシステムの形式的検証 コンピュータソフトウェア 25巻 3号 81-87頁 2008/08 査読有 原著論文
  • Specification and Verification Techniques of Embedded Systems using Probabilistic Linear Hybrid Automata LECTURE NOTES IN COMPUTER SCIENCE 3820,pp巻 346-360頁 2005/12 査読有 原著論文 研究論文(学術雑誌)
  • Development of Model Checker of Dynamic Linear Hybrid Automata IEEE 37th COMPSAC 37巻 2013/07 査読有 研究論文(プロシーディング)
  • A New Approach to Specify and Verify Embedded Systems consisting of CPU and DRP The 18th IEEE Pacific Rim International Symposium on Dependable Computing  18巻 1-2頁 2012/08 研究論文(プロシーディング)
  • Trace-mining Profile for Large-Scale Distributed Framework Hadoop The 18th IEEE Pacific Rim International Symposium on Dependable Computing  18巻 1-2頁 2012/08 査読有 研究論文(プロシーディング)
  • Development Method for Real-Time Software based on Timed Weak Simulation Verification Embedded Systems: Status and Perspective 1巻 1号 2013/12 査読有 研究論文(学術雑誌)
  • Hybrid Automata Theoretic Specification and Verification of CPU-DRP Embedded Systems  Bulletin of Networking, Computing, Systems, and Software 1巻 1号 16-20頁 2012/12 査読有 研究論文(学術雑誌)
  • 確率線形ハイブリッドオートマトンの到達可能性検証 情報処理学会論文誌 53巻 12号 2671-2681頁 2012/12 査読有 研究論文(学術雑誌)
  • 確率時間CEGARの開発とその実証実験 情報処理学会論文誌 プログラミング 5巻 2号 43-66頁 2012/03 査読有 研究論文(学術雑誌)
  • A method of generating traces of Hadoop YARN by lightweight profile data 中川洋介、櫻井孝平、山根智 Annual Meeting on Advanced Computing System and Infrastructure 1-6頁 2015/01/26 原著論文 研究論文(プロシーディング)
  • AspectJを用いたFault-InjectionによるHadoop MapReduceの耐故障処理に関する性能評価 中川洋介,櫻井孝平,清水裕亮,山根智 情報処理学会論文誌コンピューティングシステム 7巻 1号 35-45頁 2014/03/25 原著論文 研究論文(学術雑誌)  
  • 動的再構成可能システムの仕様記述言語の提案およびその検証実験 山田 英史, 中居 祐輝, 山根 智 情報処理学会論文誌 プログラミング 6巻 3号 1-19頁 2013/12/20 査読有 原著論文 研究論文(学術雑誌) 
  • Development of Probabilistic Timed CEGAR 山根智、清水隆也 IEEE International Conference on Systems and Informatics 1-10頁 2014/11/19 査読有 原著論文 研究論文(プロシーディング)
  • Model Generation by the Exhaustive Search for Embedded Assembly Programs and Application to Model Checking 公下亮佑、山根智、櫻井孝平 IEEE 3rd Global Conference on Consumer Electronics 1-4頁 2014/10/09 査読有 原著論文 研究論文(プロシーディング)
  • Development of SMT-Based Bounded Model Checker for Embedded Assembly Program 小橋 潤平、竹下淳、山根智 IEEE 3rd Global Conference on Consumer Electronics 1-4頁 2014/10/09 査読有 原著論文 研究論文(プロシーディング)
  • アクターモデルに基づいたストリームデータに対する分散オンライン決定木学習手法 山本幸一、櫻井孝平、山根智 WebDB Forum 2014 1-8頁 2014/11/19 査読有 原著論文
  • 組込みアセンブリプログラム解析によるSMTモデル検査 小橋 潤平 , 竹下 淳 , 山根 智 組込みシステム シンポジウム2014 22-27頁 2014/10/23 査読有 原著論文 研究論文(研究会,シンポジウム資料等) 
  • 組込みアセンブリプログラムのモデル構築によるモデル検査 公下 亮佑 ,山根 智,櫻井 孝平 組込みシステム シンポジウム2014 13-21頁 2014/10/23 査読有 原著論文 研究論文(研究会,シンポジウム資料等) 
  • Model checking of embedded assembly program based on simulation 山根智、公下亮佑、加藤友紀 IEICE Transactions on Information and Systems  100巻 8号 1819-1826頁 2017/08/01 査読有 原著論文 研究論文(学術雑誌)
  • Recognition of Rotated Images by Angle Estimation Using Feature Map with CNN 片山錦、山根智 IEEE GCCE2017 2017巻 1-4頁 2017/10/24 査読有 原著論文 研究論文(プロシーディング)
  • Deductively Verifying Embedded Software in the Era of Artificial Intelligence = Machine Learning + Software Science 山根智 IEEE GCCE2017 2017巻 1-4頁 2017/10/24 査読有 原著論文 研究論文(プロシーディング)
  • Similarity Calculation for Face Verification with Convolutional Neural Network 片山錦、山根智 SICE Annual Conference 2017 2017巻 2017/09/12 査読有 原著論文
  • 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 査読有 原著論文 研究論文(学術雑誌) 
  • A Case Study of Formal Approach to Dynamically Reconfigurable Systems by Using Dynamic Linear Hybrid Automata  柳瀬龍、酒井辰典、酒井誠、山根智 Lecture Notes in Computer Science 10009 10009巻 74-89頁 2016/11/15 査読有 原著論文 研究論文(学術雑誌) 
  • Abstraction Refinement for Non-Zeno Fairness Verification of Linear Hybrid Automata 柳瀬龍、山根智 10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017)Doctoral Symposium 10巻 1頁 2017/03/17 査読有 原著論文 研究論文(プロシーディング) 
  • Speci cation and veri cation of Dynamically Recon gurable Systems using Dynamic Linear Hybrid Automata 柳瀬龍、酒井辰典、酒井誠、山根智 Journal of Software Engineering and Applications 2016巻 9号 452-478頁 2016/09/30 査読有 原著論文 研究論文(学術雑誌) 
  • Simulation and Model checking of embedded assembly program 山根智、加藤友紀、公下亮佑 ESS2016 2016/10/20 査読有 原著論文 研究論文(プロシーディング)
  • Integration of Supervised and Unsupervised Learning for Deep Neural Network 内山貴文、山根智、櫻井孝平、栗田多喜男 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 小野祐貴、櫻井孝平、山根智  Journal of Information Processing 24巻 4号 700-710頁 2016/07/07 査読有 原著論文 研究論文(学術雑誌)
  • Detecting Bank Conflict of GPU Programs Using Symbolic Execution 濱屋光喜、山根智 IEEE 5th Global Conference on Consumer Electronics (GCCE 2015) 5巻 1-3頁 2016/10/12 査読有 研究論文(プロシーディング) 
  • Formal Verification of Dynamically Reconfigurable Systems  柳瀬龍、酒井辰典、酒井誠、山根智 IEEE 4th Global Conference on Consumer Electronics (GCCE 2015) 4巻 2015/10 査読有 
  • Distributed CFG-based Symbolic Execution for Assembly Programs  足立匠、山根智、櫻井孝平 IEEE 4th Global Conference on Consumer Electronics (GCCE 2015) 4巻 76-80頁 2015/10 査読有 研究論文(プロシーディング) 
  • Parallel Distributed Graph Clustering Algorithm on Apache Spark with Node Partition and Aggregation in Large-Scale Graphs 浅山陸、櫻井孝平、山根智 International Workshop on Innovative Algorithms for Big Data 1巻 1号 1-2頁 2015/09 査読有 原著論文 研究論文(プロシーディング)

講演・口頭発表等

  • 組込みアセンブリプログラムのリアルタイム安全性の演繹的検証(会議名:電子情報通信学会システム数理と応用研究会)(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)
  • 電子情報通信学会コンカレント工学研究会専門委員。 電子情報通信学会特集号の編集委員および編集幹事。(2012)
  • 電子情報通信学会コンカレント工学研究会専門委員。 電子情報通信学会特集号の編集委員および編集幹事。(2011)
  • 電子情報通信学会コンカレント工学研究会専門委員。 電子情報通信学会特集号の編集委員および編集幹事。 電子情報通信学会”回路とシステムワークショップ”で招待講演を行った。(2009)
  • 電子情報通信学会コンカレント工学研究会専門委員。 電子情報通信学会特集号の編集委員および編集幹事。(2010)
  • 電子情報通信学会コンカレント工学研究会専門委員。 電子情報通信学会ソサイエティ大会シンポジュウム企画。 電子情報通信学会特集号の編集委員および編集幹事。(2008)

芸術・フィールドワーク

特許

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

共同研究希望テーマ

科研費

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

学域・学類担当授業科目

○計算機システム(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)

大学院担当授業科目

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

他大学の客員教授

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

国際事業協力

留学生参加の社会活動

審議会等の参加

講演可能なテーマ

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

その他公的社会活動

このページの先頭へ