• プロフィール （岩手県立大学 研究者総覧）
  
• 
  • 小学生のためのプログラミング教育（学内限定）
  • 高信頼性プログラム開発のためのソースコード静的解析
  • モデルベース開発による高信頼性プログラム生成
  講座配属を考えている学部学生へ（2017年度学内限定）
• 
  • 『計算モデルとプログラミング』（森北出版ＨＰ）
    
  • 『Arduino で学ぶ組込みシステム入門』（森北出版ＨＰ）
    
  • 『Scheme による記号処理入門』（森北出版ＨＰ）
    
  • 『数理科学のための基礎数学』（三恵社ＨＰ）
  • 『ソフトウェア情報学のための離散数学ー第２版ー』（三恵社ＨＰ）
  • 『UNIXとCプログラミング（三訂版）』（成山堂書店ＨＰ）
• 
  • IPU-Scheme (iScheme) RTS講座で開発したScheme処理系(2015)
    
  • チューリング機械シミュレータ(C言語)
  • レジスタ機械シミュレータ(C言語)
  • ペトリネットシミュレータ(C言語・Java)
    
  • 有限オートマトンシミュレータ(C言語)
  • ライフゲームシミュレータ(C言語)
    
• 
  2019（対象：小学生４年生〜６年生）
  • 開催案内(学部ＨＰ)
    
  サマーセミナー2019（対象：中学生・高校生）
  • 開催案内(学部ＨＰ)
    
  
  
• (学内限定)
  ２０１9年度
  
  • 離散数学 -ソフトウェア情報学部--
  • モデリング実践論 -ソフトウェア情報学部--
  • 組込みシステム論 -ソフトウェア情報学部--
  • プログラム言語特論(Theory of Programming Languages) --大学院博士(前期)課程--
  
  
• 各種プログラミング言語解説
  • Prolog処理系の使い方

---

ソフトウェア情報学部 岩手県立大学(学外版)

---