最近jquery.js, raphael.jsを使ってjavascriptでゲームを作った。 javascriptの扱いにもだいぶ慣れてきた。 だんだんjavascriptは関数型言語だと思えてきた。

思いつく ↓ 試す ↓ firefox, opera, chromiumでうまくいく ↓ windowsを7ヶ月ぶりに起動する ↓ internet explorerで試す ↓ 未対応（←いまここ）

今日はレポート提出日。 でも、いざコンパイルして印刷しようとしたらコンパイルエラーが出た。 \usemodule[japanese] で参照している font-jap.tex が見つからないらしい。 http://wiki.contextgarden.net/Context_2009.08.19 によると、 TeXLive2008から20…

とりあえず書いてみた。提出前だし、回答は割愛。 記号類にunicode文字を使っても大丈夫みたい。 agdaのunicode入力が便利。フォントの指定方法があっているのか不明。 ConTeXtではMathMLの数式を扱えるらしい、後で使ってみよう。 Mathematicaとかと連携さ…