2018/10/20(土) Javaプログラミング教科書

●Javaプログラミング教科書
・2限目のpk1を参観し、第6章の原稿が授業中に活用されるかどうかを見守った
・この授業中にいくつか気付いた点があり、これに基づいて図を追加・修正・改訂した
・この作業結果を GitHub に push した
・サマリの誤記に気付き、S先生からも修正方法を教わったが、共有ブランチにいったん push してしまうと修正は難しいようであった
・アンケート回答率はまだ低いようであったが、この夜時点の回答の集計結果をExcelファイルとして整理し、メール添付で他の先生方に送った

●計算機環境の整備
★自室デスクトップPC crescent (Windows 7 Professional) での Tex Live のアップデート
・昨日、TeX Live のバージョンが多分2012年か2013年頃のもので otf.sty が入っていないらしく、\utf というシーケンスを扱うことができないことが判った
・otf.sty を追加しようにも要領がよく分からないので、この際 TeX Live 2018 にアップグレードした
・ISOファイルはダウンロード済みであったが、Windows 7 標準の機能ではこれをドライブにマウントできない
・次の手順で実行した

1) ノートPC hail (Windows 10) にISOファイルをコピーし、そちらでマウントした
2) このドライブのプロパティを変更し、このドライブをネットワークで共有できるようにした
3) crescent から \\hail にアクセスし、このドライブをネットワークドライブとしてマウントした
4) crescent でこのドライブのバッチファイルをダブルクリックしてインストールを実行した
5) 長いこと待たされたがこれで crescent の C:\texlive\2018 に導入された
6) このフォルダ下の bin が環境変数 PATH に追加されていることを確認した
7) 念のため PATH から旧バージョンの bin である C:\w32tex\bin を削除した
8) Java教科書のコンパイルを実行し、\UTF を含め問題なくコンパイルできることを確認した

●公開授業参観
・2限目を参観した（前述）ので、その記録を公開授業参観アンケートの書式にまとめ、メール添付で事務室に提出した