デスクトップのSDカードスロットが硬くて入らないので壊れたのかと思いました。（挨拶
くだんの理由で、デスクトップ当機のSDカードの差し込みはノートパソコンの接触端子の向きとは逆なんです。金属端子は上向きが正解の不思議。
また侮れないのは、確定申告を e-TAX でするときに必要なICカードリーダライタの向きです。これも逆でしたね。
接触型 ICカードリーダライタ ACR39-NTTCom ダウンロード
からドライバーをダウンロード、インストールしたはいいけど、ICカードを読み取ってくれない。ソフトウェアにJava が必要だとのこと。（マニュアルはちゃんと読もうね！）
JRE８をダウンロード、インストールして、カード挿入口に磁気テープを上向きにして差し込んだところ認識しました。
これからWindowsもThunderbolt 3 ポートの時代が来るのでしょうか。
USB Type-C 端子で 40Gbps の転送速度、4K × 2 解像度ディスプレイ出力、USB PDなどを内包するThunderbolt 3 ポート拡張ボード ASRock Thunderbolt 3 AIC を、Z370 pro4 のPCIe×4 スロットに取り付けてみようと思います。
開封の儀
中には拡張ボード本体とThunderbolt ヘッダーケーブルと呼ばれる専用端子ケーブルと、デイジーチェーン用にグラフィックボードのDisplayPort 端子とボードを接続するケーブル2種類とドライバーCD が同梱されていました。
公式ページ（Thunderbolt 3 AIC は簡単な手順で取り付けることができます! ）を参考に早速、セットアップ！
マニュアルから Z370 Pro4 のthunderbolt ヘッダー端子の位置を確認して、
カードを挿入。
ケースを元に戻してDisplayPort to Mini DisplayPort 接続ケーブルを配線して
電源投入。UEFI を起動して
[Intel Thunderbolt Technology] を有効にしてから再起動。
ドライバーのインストールして完了なのですが、手持ちのThunderbolt 対応デバイスがないので性能検証ができません。
ぐぬぬっ。（これってもしかして、要らない子では？）
ありがとうございました。
新調したデスクトップPC で何をしようかと考えたところ、今までMediaPlayer やGrooveミュージックで何となく.wma .mp3で取り込んで聴いていたCDアルバムを.wav にリッピング、.flac 形式に一括ファイル変換、ハイレゾ化しようと思い、dbpoweramp をダウンロードしてみました。21日間の無料期間があるので少ないCD枚数ならregister しなくても大丈夫です。今回は、一括ハイレゾ化したいので有料版を公式からダウンロードしました。
CDを高精度にリッピング（dBpoweramp CD Ripper）
手持ちのCD をCD Ripper で.wav ファイルにリッピング、ファイルのタグ編集ができる優れたアプリです。コンピレーションアルバムなどメタデータがなかったりで、収録曲のタグをキーボードから手打ちで編集することが稀にあります。
１．CD をドライブに挿入。
２．.wav 非圧縮24bit 96kHz でリッピングの設定をして・・・。
| Rip to | wave |
| Wave Encoder Settings | Uncompressed |
| Bit Depth | 24bit |
| Sample Rate | 96kHz |
| Channels | [as source] |
３．[Rip] をクリックします。
終わったら次からは、CD をドライブに挿入して[Rip] ボタンを１クリックするだけです。
リッピングした.wav をアルバムごと検索できるのが、Sony のMediaGo です。一時期配布中止で公式からダウンロードできなかったのですが、2019年1月現在では非公式リンクからインストーラーが配布されていたので幸運にもダウンロードできました。
.wav ファイルのタグ編集、アルバムアート（アルバムジャケットが違ったりイメージがない場合は、スキャナーで自炊。）の追加、アルバム情報の検索などもできるので使い慣れてくると重宝します。最初に左ペインの[ミュージック] を右クリック、メニューから[ライブラリからメディアを追加/削除] でフォルダーを追加できます。
１．アルバムアートは、対象のアルバムを右クリック→[プロパティ] から追加。
２．リッピングした .wav を一括してタグ編集するには、アルバムの中のファイルを全選択して右クリックから、[プロパティ] をクリック。
３．右クリックから、[アルバムとして検索] クリックするとメタデータが取得できました。
dbpoweramp でリッピングしたメタデータは、ほとんど修正しなくても使えますが、稀に適合しないときには３．の方法で修正可能でした。
４.wav 形式でリッピング完了したあと、.flac 形式でアルバムを一括変換するには Batch Converter を使います。左ペインからルートフォルダのチェックボックスにチェックすると自動でフォルダ内のアルバムすべてにチェックが入ります。
５．[Convert] ボタンをクリックしてダイアログに従って設定の後、
| Encording | FLAC |
| Lossless Encording | Uncompressed |
| Output To | プルダウンメニューから[Edit Dynamic Naming] |
ルートフォルダ、変換後のファイルの命名規則を設定して、[OK]
すると、ファイル変換が始まります。100枚のCDを30分くらいで終わりました。
近頃は、Spotify Premium でストリーミングしか聴かなくなりましたが今度は、まだ聴いていないクラシックをサブウーファーからシャリドンしたいですね。
ASRock のZ370マザーボード2か所に搭載されているm.2のスロットで、ブートドライブをRAID0 （ストライピング）する方法がYoutubeに載っていたので、SSDのRAID化をしようと思い立ちました。
ただ、m.2 のSSDにもプロトコルの違いから従来のSATA3(6Gbps) とPCIe ×4 レーンを使うNVMeの２種類あり、一瞬悩みましたが、予算を度外視すれば、速い方をつけておけば問題ないと思い、ビックカメラで WDのNVMe（価格が高い方）を2個買ってきました。
リンクはAmazon.co.jp ですが、ビックカメラの店頭販売では、19,800円/個と通販サイトより若干高めでしたが、安心の国内5年保証なので納得でした。
WD 内蔵SSD M.2-2280 / 500GB / WD NVMe Black / PCIe Gen3 NVMe / 5年保証 / WDS500G2X0C
早速、PCケースを開けて確認したところm.2 の取り付けネジが適合しておらず即日、注文。Amazon のレビューを見ると発熱が厳しいようなので、ヒートシンクはマストでは？と考えついでに手配しました。
Silverstone ASUS＆MSIマザーボード上のM.2ソケット用ネジキット SST-CA03 日本正規代理店品
ネジとヒートシンクが届いたので、m.2 SSDを2か所に取り付け。
ケースを戻してUEFI 起動、F6 [Advanced Mode] からRAID設定をしました。再起動の後、あらかじめ ASRock Z370 Pro4 ダウンロード ページから[SATA フロッピーイメージバージョン:16.7.0.1009_64bit] をダウンロード、解凍してUSBメモリに保存しておいたイメージをWindows10 OSインストール前にドライバー読み込ませると、RAID0ボリュームをブートドライブとして指定できるようになりました。
Windows10 をRAID化したSSDボリュームにインストール、OSセットアップしたので早速、CrystalDiskMark でSSDの速度を測定した結果が以下の通りです。
Samsung 860EVO MZ-76E500B /SATA3
WD Black WDS500G2X0C x2 /NVMe RAID0
SATA3接続のSamsung SSDと比べるとシーケンシャルは圧倒的に速いですね。シーケンシャルリード3400MB/s シーケンシャルライト2800MB/s はカタログ値ですが、RAID０ストライピングすることでライトが3135MB/s と速くなっています。しかし、ランダムリード、ライトは思ったより普通でした。
次回は、高速化したSSDでdbpoweramp でCDをリッピングして.wav から batch converter でハイレゾ音源 .flac形式 へ一括変換したいと思います。
しばらく止めていたブログ更新でしたが、初心に戻ってデジタル生活の感動、失敗をマイペースでお届けしていこうと思います。
去年は、デスクトップの自作PCを一から作ろうと思いましたが予算となるパーツ代を計算すると40万円越えとなり断念。カスタマイズ初心者がパーツの互換性検証、正確な組み立てなど無理があると判断。一転、BTOパソコンを注文した所までテンプレです。
LZ パーツ構成（ディスプレイ別）
| CPU | Intel Core i7 8700K |
| メモリ | Samsung M378A1K43CB2(DDR4 PC4-21300 8GB) ×2 |
| SSD | SAMSUNG 860EVO MZ-76E500B(SATA3 500GB) |
| HDD | SEAGATE ST2000DM005(SATA3 2TB 5400rpm) |
| マザーボード | ASRock z370 Pro4(z370 1151 DDR4 ATX) |
| グラフィックボード | NVIDIA Quadro P2000 |
| 電源 | Enhance ATX-1860 (Titanium 600W) |
| OS | MS Windows10 Pro |
ディスプレイはDisplayPort-HDMI 変換ケーブルと一緒に Amazon.co.jp で追加注文、本体配送日と同時に自宅に届きました。
早速セットアップ、マルチディスプレイの接続設定まで無事、完了。
アクティブウィンドウのディスプレイ間の移動ショートカットを覚えました。
[Windows]+[Shift] 同時押しで、[→] or [←]
続く。
命題とは、日本語で分かりやすくいうと、
『広辞苑 第6版』より
真偽を判定することのできる文。また、その意味内容。
だそうです。加えて述べるなら真なら証明を、偽なら反証を挙げることのできる文章を命題というとのことです。
次の文章は命題か否か調べてみましょう。
・すべての花は美しい。
・4以上の偶数は２つの素数の和である。
・6は完全数（自身を除くすべての約数の和に等しい。）である。
・「すべてのクレタ人はうそつきだ」とクレタ人のエピメニデスが言った。
「すべての花は美しい」は、人それぞれの主観が異なるので真偽を判別できないので命題ではありません。
「4以上の偶数は２つの素数の和である。」は、１８世紀の数学者、クリスティン・ゴールドバッハの名前をとってゴールドバッハの予想と呼ばれるものです。コンピュータの計算で数十億桁まで成立することが分かっていますがいまだ証明も反証も得られていないので命題ではありません。
「6は完全数（自身を除くすべての約数の和に等しい。）である。」は、6=1+2+3 より真。よって命題です。
「『すべてのクレタ人はうそつきだ』とクレタ人のエピメニデスが言った」は、エピメニデスが自己言及しているので真偽が判別できないので命題ではありません。
・自然数 n が 6 の倍数ならば、n は 3 の倍数である。 ・自然数 n が 3 の倍数ならば、n は 6 の倍数である。
「自然数 n が 6 の倍数ならば、n は 3 の倍数である。」自然数が 6 の倍数ならば n=6k (kは自然数)と置ける。このとき、n=3・2k だから、n は 3 の倍数である。よって真。
「自然数 n が3の倍数ならば、n は 6 の倍数である。」は、n=3 のとき、3 は ３の倍数であるが、6 の倍数ではないので偽。
このように条件p, q を用いて「p ならばq」の形で表せる命題において、p を仮定、q を結論という。
⇒を用いて、「p ⇒ q」と表す。条件p, q を満たす要素全体の集合をそれぞれP, Q とすると、命題「p ⇒ q」が真であることは
P⊂Q
であることと同じ。
否定 条件p に対して、「p でない」という条件を否定といい、[pmath]overline{p}[/pmath] で表す。条件p を満たす要素の集合をPとすると[pmath]overline{p}[/pmath] を満たす要素の集合は[pmath]overline{P}[/pmath]
条件p, q を満たす要素の集合をそれぞれP, Q とすると、「p かつ q」、「p またはq」を満たす要素の集合をそれぞれ、P∩Q、P∪Q
「かつ」と、「または」の否定（論理についてのド・モルガンの法則）
問題 次の条件の否定を述べなさい。
１）x≠0 かつy≧3 2）1<y≦5
3）a, b はともに負 4）a, b, c の少なくとも一つは1より小さい
5）l, m, n はいずれも素数ではない
解）
1）x=0 またはy<3 2）1≧y または y>5
3）a またはb の少なくとも１つは正または0
4）ド・モルガンの法則 [pmath]overline{A{union}B{union}C}=overline{A}{inter}overline{B}{inter}overline{C}[/pmath] より、a≧1 かつ b≧1 かつ c≧1
5）ド・モルガンの法則 [pmath]overline{A{inter}B{inter}C}=overline{A}{union}overline{B}{union}overline{C}[/pmath] より、l, m, n の少なくとも一つは素数である
数列{[pmath]a_{n}[/pmath]}が、[pmath]a_{1}[/pmath]=3, [pmath]a_{2}[/pmath]=6, [pmath]a_{3}[/pmath]=12, ・・・, [pmath]a_{n}=3[/pmath]・[pmath]2^{n-1}[/pmath]で表されるものを初項３、公比２の等比数列と呼び、一般に初項a、公比r、の等比数列は、[pmath]a_{n}=ar^{n-1}[/pmath]と表され、その和[pmath]S_{n}[/pmath]を等比級数と呼びます。今、試みに[pmath]S_{n}[/pmath]を求めてみると下記、（１）式の両辺にr をかけた（２）式を用意して
[pmath]S_{n}[/pmath]=[pmath]a[/pmath]+[pmath]ar[/pmath]+・・・・+[pmath]ar^{n-1}[/pmath] （１）
[pmath]rS_{n}[/pmath]= [pmath]ar[/pmath]+・・・・+[pmath]ar^{n-1}[/pmath]+[pmath]ar^{n}[/pmath] （２）
r≠1 のとき、（１）式の辺々から（２）を引いて（１）－（２）を計算すると、
[pmath](1-r)S_{n}=a-ar^{n}[/pmath]
[pmath]S_{n}={{a(1-r^{n})}/{1-r}}={{a(r^{n}-1)}/{r-1}}[/pmath]と公式どおり求まりました。
仮に例えば元金G、利息（月利）r、支払回数 n、の車なりマンションを買うとき、ローン返済を組むと、月々の支払いaはいくらになるでしょうか。 続きを読む 等比級数
Linux を管理、メンテナンス、機能の追加をするコマンド、yum のまとめです。
アップデート。一番お世話になるコマンドです。
# yum update
自前でビルドしたwebサーバーがあるときなど、アップデートしたくないパッケージは、/etc/yum.conf にexclude=httpd*などとすると良いでしょう。
インストールされているか確認
# yum list installed | grep php
パッケージをインストール or 削除
# yum install or remove [packages]
パイプを使ってまとめてインストール、削除できます。| grep [packages]
リポジトリからインストール
# yum --enablerepo=epel install [packages]
package が複数ある時は併記するとまとめてインストールできます。
インストール可能なパッケージを探す
# yum search [packages]
* (ワイルドカード)を使って当たりをつけると探しやすいです。
ライブラリを提供しているパッケージを確認
# yum whatprovides libX11.so.6
依存関係にあるライブラリを引きたいときに便利です。
利用可能なパッケージのグループ一覧を表示
# yum grouplist[group]
パッケージをグループでインストール
# yum groupinstall [group]
OSの初期インストールで選択しなかったグループもあとからまとめてインストールできます。
以上、簡単なyum コマンドのまとめでした。
最後までお読みいただき、ありがとうございました。
詳しい説明は、man で確認できます。
# man yum
「q」とタイプすると説明から抜けられます。
以前、作成した落とし穴mod を懲りずに改良してみました。
今回は、敵性mob に殴られているときに有効な転落防止柵付きマイナー版です。
from mcpi.minecraft import Minecraft
from mcpi.block import *
mc = Minecraft.create()
pos = mc.player.getTilePos()
for i in range(2):
mc.setBlock(pos.x+1,pos.y+i,pos.z,DIAMOND_BLOCK)
mc.setBlock(pos.x,pos.y+i,pos.z-1,DIAMOND_BLOCK)
mc.setBlock(pos.x-1,pos.y+i,pos.z,DIAMOND_BLOCK)
mc.setBlock(pos.x,pos.y+i,pos.z+1,DIAMOND_BLOCK)
for posX in range(20):
for posZ in range(20):
for posY in range(20):
mc.setBlock(pos.x+posX,pos.y-posY,pos.z+posZ+1,AIR)
mc.setBlock(pos.x+posX+1,pos.y-posY,pos.z-posZ,AIR)
mc.setBlock(pos.x-posX,pos.y-posY,pos.z+posZ+1,AIR)
mc.setBlock(pos.x-posX-1,pos.y-posY,pos.z-posZ,AIR)
for posX in range(21):
for posZ in range(21):
for posY in range(21):
mc.setBlock(pos.x+posX,pos.y-posY-1,pos.z+posZ,DIAMOND_BLOCK)
mc.setBlock(pos.x+posX,pos.y-posY-1,pos.z-posZ,DIAMOND_BLOCK)
mc.setBlock(pos.x-posX,pos.y-posY-1,pos.z+posZ,DIAMOND_BLOCK)
mc.setBlock(pos.x-posX,pos.y-posY-1,pos.z-posZ,DIAMOND_BLOCK)
for i in range(2):
mc.setBlock(pos.x+1,pos.y+i,pos.z,AIR)
mc.setBlock(pos.x,pos.y+i,pos.z-1,AIR)
mc.setBlock(pos.x-1,pos.y+i,pos.z,AIR)
mc.setBlock(pos.x,pos.y+i,pos.z+1,AIR)
敵に殴り殺される前までに・・・、「天空の城、ラピュタ」のムスカ大佐よろしく、「死ねぇーーーい！」と言いつつコマンド入力、エンターキーを押すのも一興ですね。
今回は、jQuery のライブラリの eachメソッドを使ってループをかけ、DOM(Document Object Model)の Class を操作してリストのバックグラウンドのCSSを変更する方法をご紹介します。
<head>
<style type="text/css">
.even { background-color: #ffffff; }
.odd { background-color: #cccccc; }
</style>
<script src="./jquery-1.6.4.js" type="text/javascript"></script>
<script type="text/javascript">
(function ($) {
$(document).ready(function() {
$("ul > li").each(function(i) {
if (i % 2 ==1) {
$(this).addClass("odd");
}
else {
$(this).addClass("even");
}
});
});
}) (jQuery);
</script>
</head>
<body>
<h2>Plainswalker</h2>
<ul>
<li>Ajani</li>
<li>Jace</li>
<li>Liliana</li>
<li>Chandra</li>
<li>Garruk</li>
<li>Elspeth</li>
<li>Tezzeret</li>
<li>Sorin</li>
<li>Nahiri</li>
<li>Nissa</li>
</ul>
</body>
jQuery からDOM を操作する方法として応用できるのではと思いました。
訂正）Plainswalker のスペルミスを訂正