剛体振り子
( Java のソース)