(BIN) ikeda4.dvi
 (HTM) ikeda4.html
 (DOC) ikeda4.pdf
 (TXT) ikeda4.ps
 (TXT) ikeda4.tex