このページではJSPS科研費26560089の助成により作成した講義資料を公開します。（内容は逐次更新しています。）

• Snap!(BYOB4.0)の日本語入力について
• Snap!(BYOB 4.0)で四則演算を固定小数点計算で扱う方法について
• 数学III「式と曲線」のコンピュータ利用にSnap!(BYOB 4.0)を用いる
• Raspberry Pi 2/3 Model B（Raspbian Jessie with PIXEL)でRStudioを使う
• Raspberry Pi 2/3 Model B（Raspbian Jessie with PIXEL)でR-3.4.0を使う

  ---

• Snap!(BYOB)による計算論入門(pdf)
• Snap!(BYOB)とFrama-Cによるホーア論理入門(pdf)
• Snap!(BYOB)とSpinによるモデル検査入門(pdf)
• Coqによる定理証明入門(pdf)
• 「論理的思考能力育成のための次世代数理科学教育の研究」資料集
  Snap!(BYOB)による計算機数学入門(pdf)
  （上記の4つのpdf文書にSnap!の解説をつけてまとめたものです。）