9.3.2　Webから検索する方法

　インターネットに接続できる環境にあれば，Web で検索することもできます．
　ブラウザで

http://markun.cs.shinshu-u.ac.jp/Mirror/search_mml.html

という URL を開いてください．図９.１のような検索画面が表示されます．
　この画面で調べたい用語をタイプし（図9.1では Metric ），abstract file から探すのか miz file から探すのか，あるいは両方から探すのかラジオボタンで選択して（図9.1では abstract file） search をクリックすることで検索できます．

図9.1　Webでの検索画面