ほんとは年明け前に書くべきだったんだろうが、論文の締め切りが年明けすぐだったもので無理でした。Agda+TeXで日本語論文を書くときの注意点は今度まとめて記事にしたいね。 去年は世界が広がった年だったと思う。プログラミング関係でもないことだけど、今…