http://drops.dagstuhl.de/opus/volltexte/2013/3898/pdf/4.pdf http://static.googleusercontent.com/media/research.google.com/ja//pubs/archive/40678.pdf 結局ワールドというのはモデル図にもなるという話なのか、なんかすごいな。あとでちゃんと読むが…

とりあえず、LuaLaTeX上でLuaTeX-jaパッケージを動かして、日本語表示とunicodeのマニアックな記号表示を両立されるところまではできたぞ。環境はWindows7上のTeXWorks。 成果物はGithubに https://github.com/kino3/luatex-ja フォントの制御はまだうまくで…

今日から1日3コマ×3週間でAgdaを使った定理証明実習という講義がはじまる。ぼくはTAとして参加予定で現在インストール手順など作っています。思ったこと。 やっぱり日本語文献を書かねば・・・ WebでAgdaができる環境があればインストールしなくてもいいのに…

お久しぶりです。大学の近くに引っ越して、段ボールの山と格闘しつつ研究を始めています。とりあえずAgda含む日本語論文を書く環境を何とかしようと思い、LuaTeX-jaをごにょごにょしようと思っていたのですが、冷静に考えてみるとTeXの何がどう動いているの…