世界標準MIT教科書 ストラング：線形代数イントロダクション


世界標準MIT教科書 ストラング：線形代数イントロダクション

春になると新しいことを学びたくなりますね。NHKの語学講座もいいですが、大学時代に何故か必須でなかった線形代数をかじってみようかと購入してしまいました。積読される確率はかなり高いですが、まずは一歩前進です。

このブログの人気の投稿

故障したPixio PXC32の修理対応が神対応だった

イメージ
「 4KではなくWQHD（2560x1440）31.5インチ曲面ディスプレイを注文しました。 」で書きましたがPixio PXC32を購入して使っていました。 ゲーミングモニターなのでなぜか光るのです。 モニタースタンドにヘッドホンを引っ掛けることができます。 曲面モニターなので厚みがあります。 世界の株価もこの通り。正面からみると曲面を意識することはあまりないです。 1年ちょっとで画面に横縞が生じました。 https://www.materialui.co/colors を表示させてスマホで撮影しました。200あたりがわかりやすいですが横縞が入っています。 2018年11月20日購入で2019年12月10日に修理依頼をしました。実は 2019年2月1日以降の注文は2年保証 になったのですが、それまでは1年保証でした。なので私は保証期間をオーバーしていました。残念！ Amazon経由で購入したため修理依頼もAmazon経由でメールをやり取りします。正直Pixioのモニターを買って失敗したなと思いました。DellやEIZOなど3年保証5年保証とあります。しかし今まで5年やそこらで故障したことはなかったです。故障する前にパネルや解像度が良くなって買い換えることになるものです。バックライトがLEDになってからは可動部もなくほぼ故障することはなくなっています。なので購入時は1年保証でも5年保証でもあまり気にすることはないと思っていました。 でも故障してしまいました。曲面・解像度・サイズ・周波数など気に入っていたので保証期間が過ぎていても修理してもらおうと修理依頼をしました。 ここからがいわゆる神対応でした。保証期間が過ぎていても修理可能であれば無償修理してくれると申し出てくれました。保証期間が2年に延長したことを考慮してくれたのだと思います。さっそくヤマトで翌日午前中指定で送りました。 ヤマトによると翌日11:41に着荷したようです。その後15:46に修理完了し返送したとメールが入りました。驚くほど速いです。よく修理期間中に無償の貸出機を出してくれるメーカーがありますが、これだけ修理が速いと不要でしょう。 今回の修理内容はメイン基板の交換でした。ケーブル不良のチェック用に新品のケーブ
続きを読む

mp3ファイルをcat で結合する方法

イメージ
ここ数年、平日 22:45 - 23:00 にNHKFMで放送しているラジオドラマをタイマー録音しています。「青春アドベンチャー」ですね。同じく「FMシアター」は50分ものなのでウォークマンで聴くのにファイルごとに選べて良いのですが、「青春アドベンチャー」は15分のファイルが10個で一つの物語なので、ファイル管理上不便です。 そこで、音声ファイルを結合してくれるWindowsのフリーウェアを使っていたのですが、ファイルの並び順をGUI で指定する必要があり面倒でした。結果、録音がたまる一方です。 最近はMac を使っているため、何か良いソフトがないかと物色していたのですが、AppStore でmp3結合できるソフトが500円くらいで売っていました。しかし、各種質問サイトによると cat で結合できるらしいと出ているではないですか。 どうやら cat a.mp3 b.mp3 > x.mp3 などとして結合できるようです。 しかし、ファイルが10個もあると cat の引数に渡すのが面倒です。しばらく、放置しておりました。 青春_ＮＨＫ－ＦＭ_1502162245.MP3 青春_ＮＨＫ－ＦＭ_1502172245.MP3 青春_ＮＨＫ－ＦＭ_1502182245.MP3 青春_ＮＨＫ－ＦＭ_1502192245.MP3 青春_ＮＨＫ－ＦＭ_1502202245.MP3 青春_ＮＨＫ－ＦＭ_1502232245.MP3 青春_ＮＨＫ－ＦＭ_1502242245.MP3 青春_ＮＨＫ－ＦＭ_1502252245.MP3 青春_ＮＨＫ－ＦＭ_1502262245.MP3 青春_ＮＨＫ－ＦＭ_1502272245.MP3 さて、ここ１ヶ月ほど私は『 シェルプログラミング 実用テクニック 』などシェル系の本を読んでおりました。「そんな本読んでるんだ、へぇ〜」などと周りの反応は芳しくないものでしたが、めきめきとシェルの使い方が身についてきました。 前置きが、長すぎましたがお急ぎの方は、下記のワンライナーをお試しください。 ls | sort | head -10 | xargs cat > s001.mp3 状況としては、フォルダに音声ファイルがいっぱい入っています。月-金の２週間で10話、1セットと
続きを読む

4KではなくWQHD（2560x1440）31.5インチ曲面ディスプレイを注文しました。

イメージ
今使っているDellの24"モニター（U2412M）が手狭に感じるようになってきました。 そろそろ4Kモニターにしようと思っていたのですが、調べているとWQHD（2560x1440）モニターが良いかもしれないと思うようになりました。 4K/5Kモニターが実はダメな3つの理由＆WQHDモニターがベストな3つの理由 主にWindowsのスケーリングがあまりよろしくないので、できれば100%で使いたいのですが、4Kモニターで現実的な40インチでは文字のサイズが今使っている24インチモニターと比べて7割くらいになりそうです。 あと今使っているモニターは壊れたわけではないのでサブモニターとして使うかもしれません。そうすると2台のモニターのドットピッチがそろっていると使いやすいです。というのも12"のノートパソコンを24"モニターにつないで並べて使うとアイコンなどのサイズがちぐはぐになり違和感があったのです。 ディスプレイ ドットピッチ dpi 比較表 Windowsだと96dpiくらいがスケーリング100%でちょうど良いと記憶しています。 さて、31.5インチWQHDモニターの物色をしたところ大きく2グループに分かれます。3万円くらいか6万円くらい。前者はIODATAやiiyamaなど。後者はLGやMSIなどのゲーミングディスプレイという分類で垂直同期が144Hz程度のものです。 今使っているディスプレイは60Hzなのですがスマホと比較するとスクロールがスムーズでないように感じます。もしかすると眼がより疲れているかもしれません。 という下調べのもと自分にあったディスプレイは以下の３点になりました。 31.5インチ程度（横幅70cmくらい） 解像度はWQHD（2560x1440） 垂直同期が144Hz程度 条件に合致するモニターを2018年11月現在比較すると第一候補としてLGのモニターが良さそうです。価格が5万円弱でした。ディスプレイの高さを調整出来る点も良いです。ただ、以前3万円台で販売された実績があったり海外で300ドルの値付けを見つけたりと購入のタイミングに踏ん切りがつきませんでした。ブラックフライデーとサイバーマンデーのセール直前で値下げされる可能性が高そうです。（追記：値下げされました。
続きを読む