お久しぶりです。大学の近くに引っ越して、段ボールの山と格闘しつつ研究を始めています。とりあえずAgda含む日本語論文を書く環境を何とかしようと思い、LuaTeX-jaをごにょごにょしようと思っていたのですが、冷静に考えてみるとTeXの何がどう動いているの…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。