http://www.forkosh.com/mimetex.html このmimetexを詳しく調べたところ、どうも実態は新バージョンのmathtexっぽい。 http://www.forkosh.com/mathtex.html このmathtexをビルドしてみたけど、デフォルトでlatexとdvipngコマンド、それにキャッシュディレク…

http://d.hatena.ne.jp/bellbind/20071030/1193720960 で数式をいっぱい書いた Φfact^* => ∨{Φfact^n(０) | n ∈ N}べき乗みたいなのわかりにくいが、tex記法を使えばいいみたい。 数式を表示する（tex記法） - はてなダイアリーのヘルプ \Phi_{fact}^{*}=\sq…

(追記: 書籍のこのレジュメとは別に、不動点意味論の直感的イメージについての補足を、一番下に書き加えました。) メモというよりは補間てかんじ。プログラム意味論 (情報数学講座)作者: 横内寛文出版社/メーカー: 共立出版発売日: 1994/06/01メディア: 単行…

http://us.archive.ubuntu.com/ubuntu/dists/hardy/ さていつ切り替えていこうか。

みんながオレ言語をつくるようになったのはすごくいいことなんだけど。 http://sirokuro.s206.xrea.com/?DLR%20%A4%C7%B8%C0%B8%EC%C0%BD%BA%EE DLRは言語共通のプラットフォームになる方面にも向いていて、その仕組みもMicrosoft.Scripting.dllには入ってい…

英語圏で、ewwwwwとかいうのは「うええ」みたいな感じの嫌悪感を表す表現らしいす(!=ｗっうぇｗｗ)。 http://en.wikipedia.org/wiki/Eww wの数は決まってなくて、多いほうがより気分悪いってことかな。wはいくつでも引っかかるので、面白かったから、いろい…

ここ最近ニコニコ動画にアップされ続けてる春閣下立志伝は面白い。そのリプレイで使われてるPS2版の太閤立志伝５(KOEIベスト)を買ってやってみたらやっぱり面白いの。太閤立志伝は2まではやったことがあるし、いまさらあえてやろうとは思ってなかった。でも…

10/1から、ビニールプラスチック類がおおむね燃えるごみ化する。そして新たに発泡スチロールが資源ごみ化した。うちからでていたごみがほとんど燃えないごみだったのが、ほとんどは燃えるほうになりそう。

http://www.tokyometro.jp/rosen/eki/yushima/index.html 千代田線だから使うことがなく、今まで一度も見たことがなかった。秋葉原まで歩いてたら偶然気がついてしまい、ちょっとだけよってみた。つかこの春日通りは何度も利用してたけど、なんでずっと気が…

テレ玉もチバテレビも。どこかシーンの差し替えとかあったのかな。

http://www.tokai-tv.com/whatsnew/24/24394.html ちばてれびも右に習うのかなあ。そうなったら残念すぎる。 http://tv.yahoo.co.jp/uhf_bs/tokyo/2007092423.html?g=&c=0 昨日は斧少女消滅させてたXENOGLOSSIAは放送してたが。。。

OpenOfficeで作って、pptで保存して、google docsにアップロードして修正するという感じで以下のものを作れました。プレゼン資料も、実際今日の発表で使ったものなので、DLRの解析内容もまともに書いてます（自分に勘違いがなければだけれど）。 Google スラ…

WikiWordって普通はそのページへの直接のリンクになってるけど、データが多くなってくるとむしろ検索をベースにたどるほうが多いんじゃないだろうかと思う。タグ付けとも似てるけど、本文中の単語だけがソースになるリンクは、単にページ名だけじゃなく、い…

http://www.crypton.co.jp/mp/pages/prod/vocaloid/cv01.jsp MIDI打ち込みとほとんど同じなのでちょっと難しいけど。

単純なクエリなら理解できる。 father(ieyasu, hirotada). father(hirotada, kiyoyasu). granpa(D, A) <- father(D, M), father(M, A). で ?- granpa(ieyasu, X).とかすればX=kiyoyasuになることぐらいまでは。 たとえば、リスト二つをつなぎ合わせるappend…

Wikipediaの劉備を見てたら、左の多国語版に興味が行った。 刘备 - 维基百科，自由的百科全书: はじめ何の文字かと思ったけど、簡体字なだけだった。でも本文中には繁体字の「劉備」の字もあるんだよな。 漢昭烈皇帝 - 維基大典: zh-classicalだそうだ。漢字…

http://docs.amazonwebservices.com/AmazonFPS/2007-01-08/DevGuide/ コードはPaymentInstractionプロパティ等にセットすることになる。 サンプルはSOAPだけだけど、RESTインタフェースだとURL文字列に埋め込まれるのか。 http://docs.amazonwebservices.com…

やっぱりヌンチャクじゃカーソルが細かく合わせられない。64のときもアナログ対応できなかったし。 クラシックコントローラ買おう。

Visual C#2008 Beta2に入れかえたので、C#3.0のLinqコードを、どれだけ可用になるかみるため、実際にコンパイルしてみた。 C#3.0のcscは c:\Windows\Microsoft.NET\Framework\v3.5\csc.exe にある。Linq1.cs using System; using System.Linq; class Linq1 {…

http://lambda-the-ultimate.org/node/2370 より。JavaでC#のyield return(Python/JavaScriptのyieldの簡易版)っぽいことをやるライブラリ。 使い方については、コード例を見ればわかる。 http://infomancers-collections.googlecode.com/svn/trunk/Collecti…

期待ほどじゃなかった。裏面に張ってある足が浮いて平面でぐらついたり、なにかとケースががたがたしてたりと中国製の悪い点が目立ち、正直萎える。GeForce 8600MのパフォーマンスもなぜかAeroが4.5(最低スコア)でゲームが5.1だったりする。あとIntelマザー…

それにしても比例区の名簿ひどかった。ひらがなばかりなのはともかく、ペンネームなのか、元外国人なのか、よくわからない名前も多かった。とりわけZAKIを見て名簿全体を再確認してしまったひとも多いのでは。それなんてドラクエ？帰りは少し遠回りして浅草…

http://d.hatena.ne.jp/bellbind/20070723/1185215925 Dryadさんにより右下Advanced Settingについて教わり、そちらでキャプチャデバイスを切り替えたらうまく動いた(TunerのあるVista x64でも)。ずっと右クリックのflashの設定でできるものだ思ってたから、…

http://guildwars.plaync.jp/event/en/ USだと事前注文があって、特典武器もらえたり、8/24-26にEarly Accessができるっぽい。 Early Accessは日本ではどうなるのかな。 http://www.guildwars.com/products/eyeofthenorth/preorder/default.php

ustreamだと、PeerCast（というかWindows Media Encoder）では使えているVH Screen Capture Driverでムービーが取れない(XPでもVista x64(の32bit flashplayer)でも)。 http://www.hmelyoff.com/index.php?section=9 もともとデリケートなフィルタだけど、普…

Windows Media センター録画ファイルdvr-msをDirectShowフィルタを利用してmpg(mpeg2)に変換するユーティリティdvrms2mpg。Vista x64でも動く。ソースコードとexe、およびいくつかの自作ユーティリティをつけて置いておきます dvrms2mpg - bellbind.net ffmp…

コマンドラインで、dvr-msファイルをmpgファイルに変換するツールdvrms2mpg http://d.hatena.ne.jp/bellbind/20070718/1184793284 と同等のことをコマンドラインで行うものです 使い方: dvrms2mpg.exe dvrms1 dvrms2 ... $ dvrms2mpg.exe test.dvr-ms Muxer:…

http://d.hatena.ne.jp/bellbind/20070718 の処理を自動化するためにコードを書こうとしたけど、これで使ったDirectShowLibがうまく動かなかった。 http://directshownet.sourceforge.net/ 単に使えるフィルタをリストアップしたいだけだが、そのフィルタが…

完成版↓ DirectShowフィルタを列挙するコマンドラインツール - ラシウラ出張所 - coders はてなグループが重いので一時退避 using System; using System.Security.Permissions; using System.Runtime.InteropServices; using System.Runtime.InteropServices…

勘違いを直したらうまく動かせた。参考は http://www.geocities.co.jp/SiliconValley/7406/tips/dshow2005/dshow2005_2.html http://lists.sourceforge.jp/mailman/archives/freetrain-cvs/2003-January/000228.html 以下はDirectShowフィルタを列挙するコー…