[Windows]→[設定]→[更新とセキュリティ]→[Window Update]→[更新の履歴]
Windows UpdateによるDriverの更新が2017/05/16に行わている。
[Windows] + 'x'→[デバイスマネージャ]→[オーディオの入力と出力]→[スピーカー]→(右クリックして)[プロパティ]→[ドライバー]
バージョンが10.0.14393.0になっている(1)。
C://Users//Public
MicTray.logが無いので、問題は解決しているようだ。
Windows 10をインストール後に、BIOSのライセンスコードを調べるには、次のようにする。
wmic path SoftwareLicensingService get OA3xOriginalProductKey
「xxxxx-xxxxx-xxxxx-xxxxx-xxxxx」の形式のコードが表示される。
slmgr /upk
slmgr /ipk xxxxx-xxxxx-xxxxx-xxxxx-xxxxx
次のコマンドで、sudokubundle.insをtypeset
$ platex sudokubundle.ins
すると、createsudoku.styなど、色々なファイルが作られる。
次のコマンドで、sudokuc.texをtypeset
$ platex sudokuc.tex $ dvipdfmx sudokuc
すると、数独の問題と答の入ったファイルができる。
【双対原理】射影平面内の幾何に関して,定理で用いられている『点』に関する用語と『線』に関する用語を,そっくり入れ換えれば,入れ換えて作った定理も成り立ちます.