岡村さんから KIF2HTML をいただいた。 掲示板で話題にした投稿図の清書をサポートするソフトである。さっそく，使ってみた。 KIF2HTML の出力 KIF2TeX の出力 自作のKIF2TeXは変化手順の中の分岐まで対応していないのがバレバレですね。見栄えもKIF2TeXは自…