等を使って適当に改行を入れた方が良いのかも、とちょっと思いました。22:42)指摘ありがとうございます。<br>最初の二点は早速修正してみました。<br>最後のはHughesPJを使ったことがないので後で試してみます。使ってみましたが、ちょっと長いので<br>http://www.jmuk.org/d/?path=2006/04/27#d27t01<br>に書きました。参考になれば幸いです。02:23)お、いい感じですね。<br>早速取り込んでみました。01:10)はじめまして。2004でお会いしてますが。)<br><br>Coq-ideを使った証明風景もキャプチャしてみました。12:49)ありがとうございます。<br>こうして比べてみるとなかなか面白いですね。2004でお会いしてますが。<br><br>ごめんなさい。15:21)私は受付をしていて、<br>さかいさんはヒビルテにコメントした方を探していました。思い出しました(^^;<br>あの時は探していたtradさんには結局会えませんでしたが、その節はどうも。(はてな版)日記は現代の病です。読み過ぎ書き過ぎはあなたの健康を害する恐れがあります。2.2.10-p489。