462びぼーろく; 祝(?)十周年

2020/4/21をもってブログ開設10年となった。
もうずいぶん書いたもんだ。そしてこんなに続くとは。

10年めにしてこのような騒ぎになるとはなぁ。


さて、スライドを作っているとminipage環境を多用するようになったので鬱陶しくなって省力化することにした。
以下をプリアンブルに追加して対応。

\def\MINI#1#2#3#4{
 \begin{minipage}{#1\linewidth}
  #3
 \end{minipage}
 \begin{minipage}{#2\linewidth}
  #4
 \end{minipage}
}