そんなACL2のデモ。 http://www.cs.utexas.edu/users/moore/publications/flying-demo/script.html Web上で、クライアントサイドスクリプトやCGIやらいろんな形式でスライドを作っているのを見てきた気がする。けれどこれが今までの中でベストかも。試してな…

http://nyaos.org/d/?date=20050912#p02 MAN HIMAZINE INTERFACE-II 妄想最速理論 にて先日の私の感想 極私的経験というか、私の周りの人（妻、高校時代の友人や先輩、 大学時代の友人知人、恩人）から聞いていた範囲では、 互換性の無さのお話と、 ネガティ…

HTMLに変換可能で、日記っぽいものを表記するのに適している。 特徴としては、plain textとして読んでも差し支えないこと。 reStructuredTextなどとは考え方が違うというか、reStructuredTextからMarkdown生成してもいいというか。。。どっちでもいいけれど…

http://blogsearch.google.com いや、日本語でblogsearch.google.comを含むページが無かったので試しに何か書いてみる。 http://blogsearch.google.comの使い方。。1つ目。 blog読みたくない人はGoogleAPIにて、普通のGoogleの検索結果からblog searchの検索…