[
ホーム
|
講義
]
2015年度後期・応用数理I (社会数理概論I)
盛田 洋光【NTエンジニアリング(株)】
講義資料
Emacs設定ガイド
Emacs用設定ファイル:
caml.emacs.el
5月15日の資料:
le_15_mai.tar.gz
5月22日の資料:
le_22_mai.tar.gz
5月29日の資料:
le_29_mai.tar.gz
EmacsでCoqを使う
ガウス整数:
gauss_integer.v
6月12日の資料:
le_12_juin.tar.gz
6月19日の資料:
le_19_juin.tar.gz
追加資料
MathComp 利用によるGrassmann 多様体:
prepare_grassmann.v
MathComp 利用による超幾何関数:
prepare_gelfand.v
遅れを含む微分方程式の Semidiscretization Method のデモ:
semidiscrete.zip
ウェーブレット変換の計算例:
wavelet.zip
月惑星探査機の着陸応答制御のデモ:
u_damper.zip
最終更新2015.10.7