Document Actions
ひらめき☆ときめきサイエンス〜ようこそ大学の研究室へ〜
2008年8月22日に行った，日本学術振興会と筑波大学で共催した研究紹介プログラム 『コンピュータ折紙と幾何学定理の自動証明 』のページです
ポスタです． ポスタ
- 当日配布したリーフレットです． リーフレット
当日に撮影した写真です．自由にダウンロードしてください． フォトアルバム
パスワードで保護しています．
当日用いたアカウント名から最後の2桁の数字をのぞいた名前がユーザー名になります．パスワードは当日に用いたものと同じです．分からないときは hirano@score.cs.tsukuba.ac.jpまでご連絡ください．
- 講義「コンピュータと折紙」と演習で使ったノートのファイルです。
PDFファイル Mathematica ノートブック
(注意）
PDFファイルはアドビー社のアクロバットリーダーで読めます．このソフトウェアは無料でダウンロードできます．だいたい、どのコンピュータにもついています。
MathematicaノートブックはWolfram社のMathPlayer で読むことができます。MathPlayerは無料でダウンロードできます
ひらめき☆ときめきサイエンス〜ようこそ大学の研究室へ〜
Workshop on Symbolic Computation and Software Verification