多相型なんて，要するに型変数に代入してるだけだ

適当に検索してみたら，OMSが数式のフォントだということはわかったので，プリアンプルに \usepackage{times}と入れてみたら警告が消えました．やった！

LaTeX Font Warning: Font shape `OMS/cmtt/m/n' undefined (Font) using `OMS/cmsy/m/n' instead (Font) for symbol `textbraceleft' on input line 31.というwarningが\maketitleのところで出るんですけど，どうすればこれ消せますか？実害はないようです…

いまどきの多ボタンマウスには，キーストロークをマウスボタンに割り当てる機能があると思うのですが，将来的にはマウスジェスチャをマウスボタンに割り当てる機能とか出てくるのかも，と思いました．(なんか本末転倒)私は(自宅では)Logitechの8ボタントラッ…