講義関係

トップ > 講義関係

このページは私が担当する講義に関係するページです。

2018年度後期のオフィスアワーは水曜昼休みの12:30から13:10までです。研究室は発達科学部A棟7階のA736です。
会議や出張等で研究室を不在にする場合もありますので、あらかじめメール等で在室を確認するようにしてください。オフィスアワー以外の時間でも在室の場合は、質問相談等は受け付けます。

e-mail

ここにはAutomatic : The Enkoder for OS Xを利用してspam対策用にmailtoリンクをJavaScriptでエンコードして掲載しています。従って、JavaScript を使用しないとここに表示しているメールアドレスは読めません。メールアドレスはsakujo-makoto@kobe-u.ac.jpからsakujo-をとったものです。

講義関係

2002年度後期教養原論・数理の世界・「現象の数理」／「数理解析と社会」
- 授業中に紹介したA.チューリングのページは Alan Turing - Home Page です。
- 授業中にお見せした RSA暗号についてのページです。
2005年度幾何学概論Iで使用した授業の資料の一部を改訂して、latex2htmlでhtml化したものを公開します。
作成にあたっては、科学研究費補助金基盤研究(B)「大学における数理情報教育に求められている課題の分析とその改善に関する研究（代表船越俊介）」の助成を受けました。
集合・写像・関係
2012年度計算機科学A第１回の授業資料はこちらです。授業資料（学内のみ）
学外から学内限定のページを見るには情報基盤センターがサービスしているVPN接続を利用します。詳しくは，以下のページを読んで下さい。
http://www.istc.kobe-u.ac.jp/contents/service/standardService/vpn
2013年度計算機数学で使用する資料
- チューリング機械シミュレータ
  Etoysで作るチューリング機械シミュレータ
   BYOBで作るチューリング機械シミュレータ
   Snap!で作るチューリング機械シミュレータ（2017.9.27追加）
- BYOBで計算可能な関数
2013年度計算機科学Aで使用するGMC-4シミュレータ
2012年度情報環境特論2でEtoysを用いて学生が作成したシミュレータgmc4simulator
授業用に一部改変しました。
BYOBによる数理情報教育
Spinのインストール
2016年度情報論理学特論演習1，2017年度情報環境特論2，情報論理学特論演習1，2020年度情報数理Bで使用した授業資料を修正・加筆したもの Coqによる定理証明入門（2021年5月24日版）
Snap!(BYOB4.0)を利用した数理科学教育