雑多

※この頁はメインページとはリンク上連結されていません。

1. 束論の初歩の初歩（PDF形式，約115KB）
2. 統語的曖昧性に関する実験設計（PDF形式，約428KB）
3. 代数数理工学 第0.04版（PDF形式，約244KB）
4. 型なしλ計算のデータ領域理論（PDF形式，約274KB）
5. StructMathプロトタイプ（別窓）
6. マトロイド理論（PDF形式，約350KB）
7. Macrodown ver. 0.9 for Ubuntu （ZIP形式，約100KB）
8. Macrodown ver. 0.9 for Windows（ZIP形式，約180KB）
9. Macrodown ver. 0.9 for Mac（ZIP形式，約146KB） （Mac用バイナリは@doraTeX様により生成して頂きました。10.6以上で動作します。）
10. Macrodown ver. 0.9 仕様書（PDF形式，約159KB）