■ - ymlabのブログ

TeX記法を実装した。

TeX記法とは、mimeTeXを使って、TeXの記法をサポートするもの。

ルールは、[ここに数式のTeX:ｔｅｘ]でOK。ただし、texは小文字
例えば、こんな数式を日記に書くことができる。

$\large\displaystyle \left(\int^{\infty}_{0}\frac{\sin x}{\sqrt{x}}dx\right)^{2}=\sum^{\infty}_{k=0}\frac{(2k)!}{2^{2k}(k!)^{2}}\frac{1}{2k+1}=\prod_{k=1}^\infty \frac{4k^{2}}{4k^{2}-1}=\frac{\pi}{2}$

ちなみに、mimeTeXというのは、TeXのブラウザ版と思えばよいだろう。
ＴｅＸは、論文書くのに最適化されたものである。43

それをブラウザとかインターネットでも簡単に使いたい。という主張で、mimeTexは生まれた。
あ、ちなみにTeXは、大学ではみんな「テフ」と読んでいた。社会人になり、他の大学出身（少なくとも、佐賀大学、東京都立大学、京都大学、芝浦工業大学、電気通信大学、大阪府立大学、東京理科大学、なんとか専門学校）でも皆テフって言ってた。本当はテッハとか、テックスとからしい。

やはり、このmimeTeXよりも普通の方が圧倒的に美しいけれども、ネットの書き込みで数式が使えたら便利だと思い、機能を実装。

日記を書くときに、
[\frac{1}{2}：tex] コロンは半角で！
とするだけで、
$\frac{1}{2}$
と出力される。

しかし、どうでもいいが、googlebotが嫌というほど押し寄せてくる。ちょっと嫌がらせレベル。
SEO対策なのかも知れんが・・・。
ちょっと、学校Weblogシステムのトップページに押し寄せてくるサイトのアクセス解析プログラムを軽く作ってみた。
（ログが重たくなったら切り分けたりしないといけないし、面倒なので実装するかどうかは、微妙。）
Googlebotの履歴を見たら、すごいことになっている。
ちょっとだけ紹介。生データなので見づらいかもしれない。
カンマ区切り。
年,月,日,時,分,秒,IPアドレス,ホスト名,どのサイトからやってきたのか。
という情報だ。
３０秒から１分おきにアクセスっておいおい。とか思うわけ。
一日のアクセス数がいつも300台なのはそのわけか。
現在のサイトは、
http://ymlabo.ddo.jp/~ymlab/blog/index.php
ここ

まだ実装してなかったのが悔しい限りだが、上のサイトの開発用2というのがある。そこを見てみると、
ちょっとずつ実装していった様子がわかる。で、誰も見に来ないだろうと思っていたので、
カウント数がビルド番号というなんとものんきなことをしていた。
それから判断すると、
１０月中旬あたりから、伸びてきていることになる。全部Googlebotのせいなんでしょうね。

2006,11,10,23,05,52,66.249.72.110,crawl-66-249-72-110.googlebot.com,
2006,11,10,23,24,59,66.249.72.110,crawl-66-249-72-110.googlebot.com,
2006,11,10,23,25,00,66.249.72.110,crawl-66-249-72-110.googlebot.com,
2006,11,10,23,25,40,66.249.72.110,crawl-66-249-72-110.googlebot.com,
2006,11,10,23,26,38,66.249.72.110,crawl-66-249-72-110.googlebot.com,
2006,11,10,23,27,41,66.249.72.110,crawl-66-249-72-110.googlebot.com,
2006,11,10,23,28,43,66.249.72.110,crawl-66-249-72-110.googlebot.com,
2006,11,10,23,29,46,66.249.72.110,crawl-66-249-72-110.googlebot.com,
2006,11,10,23,30,49,66.249.72.110,crawl-66-249-72-110.googlebot.com,
2006,11,10,23,31,52,66.249.72.110,crawl-66-249-72-110.googlebot.com,
2006,11,10,23,32,55,66.249.72.110,crawl-66-249-72-110.googlebot.com,
2006,11,10,23,33,57,66.249.72.110,crawl-66-249-72-110.googlebot.com,
2006,11,10,23,35,00,66.249.72.110,crawl-66-249-72-110.googlebot.com,
2006,11,10,23,36,03,66.249.72.110,crawl-66-249-72-110.googlebot.com,
2006,11,10,23,37,05,66.249.72.110,crawl-66-249-72-110.googlebot.com,
2006,11,10,23,38,08,66.249.72.110,crawl-66-249-72-110.googlebot.com,
2006,11,10,23,39,11,66.249.72.110,crawl-66-249-72-110.googlebot.com,
2006,11,10,23,40,14,66.249.72.110,crawl-66-249-72-110.googlebot.com,
2006,11,10,23,41,16,66.249.72.110,crawl-66-249-72-110.googlebot.com,
2006,11,10,23,42,19,66.249.72.110,crawl-66-249-72-110.googlebot.com,
2006,11,10,23,43,22,66.249.72.110,crawl-66-249-72-110.googlebot.com,
2006,11,10,23,44,24,66.249.72.110,crawl-66-249-72-110.googlebot.com,
2006,11,10,23,45,27,66.249.72.110,crawl-66-249-72-110.googlebot.com,
2006,11,10,23,46,30,66.249.72.110,crawl-66-249-72-110.googlebot.com,
2006,11,10,23,47,33,66.249.72.110,crawl-66-249-72-110.googlebot.com,
2006,11,10,23,48,35,66.249.72.110,crawl-66-249-72-110.googlebot.com,
2006,11,10,23,49,38,66.249.72.110,crawl-66-249-72-110.googlebot.com,
2006,11,10,23,50,41,66.249.72.110,crawl-66-249-72-110.googlebot.com,
2006,11,10,23,51,43,66.249.72.110,crawl-66-249-72-110.googlebot.com,
2006,11,10,23,52,46,66.249.72.110,crawl-66-249-72-110.googlebot.com,
2006,11,10,23,53,49,66.249.72.110,crawl-66-249-72-110.googlebot.com,
2006,11,10,23,54,52,66.249.72.110,crawl-66-249-72-110.googlebot.com,
2006,11,10,23,55,54,66.249.72.110,crawl-66-249-72-110.googlebot.com,
2006,11,10,23,56,57,66.249.72.110,crawl-66-249-72-110.googlebot.com,
2006,11,10,23,58,00,66.249.72.110,crawl-66-249-72-110.googlebot.com,
2006,11,10,23,59,03,66.249.72.110,crawl-66-249-72-110.googlebot.com,
2006,11,11,00,00,05,66.249.72.110,crawl-66-249-72-110.googlebot.com,
2006,11,11,00,01,08,66.249.72.110,crawl-66-249-72-110.googlebot.com,
2006,11,11,00,02,11,66.249.72.110,crawl-66-249-72-110.googlebot.com,
2006,11,11,00,03,13,66.249.72.110,crawl-66-249-72-110.googlebot.com,
2006,11,11,00,04,16,66.249.72.110,crawl-66-249-72-110.googlebot.com,
2006,11,11,00,05,19,66.249.72.110,crawl-66-249-72-110.googlebot.com,
2006,11,11,00,06,22,66.249.72.110,crawl-66-249-72-110.googlebot.com,
2006,11,11,00,07,24,66.249.72.110,crawl-66-249-72-110.googlebot.com,
2006,11,11,00,08,27,66.249.72.110,crawl-66-249-72-110.googlebot.com,
2006,11,11,00,09,30,66.249.72.110,crawl-66-249-72-110.googlebot.com,
2006,11,11,00,10,32,66.249.72.110,crawl-66-249-72-110.googlebot.com,
2006,11,11,00,11,35,66.249.72.110,crawl-66-249-72-110.googlebot.com,
2006,11,11,00,12,38,66.249.72.110,crawl-66-249-72-110.googlebot.com,
2006,11,11,00,13,41,66.249.72.110,crawl-66-249-72-110.googlebot.com,
2006,11,11,00,14,44,66.249.72.110,crawl-66-249-72-110.googlebot.com,
2006,11,11,00,15,46,66.249.72.110,crawl-66-249-72-110.googlebot.com,
2006,11,11,00,16,49,66.249.72.110,crawl-66-249-72-110.googlebot.com,
2006,11,11,00,17,51,66.249.72.110,crawl-66-249-72-110.googlebot.com,
2006,11,11,00,18,54,66.249.72.110,crawl-66-249-72-110.googlebot.com,
2006,11,11,00,19,57,66.249.72.110,crawl-66-249-72-110.googlebot.com,
2006,11,11,00,21,00,66.249.72.110,crawl-66-249-72-110.googlebot.com,
2006,11,11,00,29,58,66.249.72.110,crawl-66-249-72-110.googlebot.com,
2006,11,11,00,38,40,66.249.72.110,crawl-66-249-72-110.googlebot.com,