休息の日であった。先日からのPCの不具合の原因と思われるものを1つ特定した。

diary

rest

休息の日なのでだらだらと過ごす。

pc

pcがおかしな挙動をする原因、というか、唐突に再起動する原因についてだが、同僚からもらったDACもしくはその接続が1つの原因かもしれない。

これに気づいたのは、DACを接続し直した時に、Alt+F4の時と同じ挙動が発生したからである。

とりあえずDACを押し入れに入れた。 (HDDの交換はやらねばならないのは変わらない。SSDの交換もやりたいが、金がない。)

sound

DACを含めた、音響機器というのは、私にとっては扱いが難しいものである。

結局、この手の機材というのは、特定の音を強調したい場合や削りたい場合に効果を発揮するものであり、それほどこだわりのない私には勿体ないものである。

平沢進さんが、フリー音源だけで曲を作ったことがあるという話を聞いたが、他の人でそういう話を聞いたことがない。 もちろん、フリー音源で作ることは誰でもできるが、たいていの場合は中途半端であり、出したい音や削りたい音を理解している人であるからこそ、お金を払って、機材や素材を集め使い、素晴らしいものを提供できるわけである。

現にDACの有無で何が変わるのか、私にはわかっていない。

今日の勉強

rust

TRPL p.163

• HashMapはハッシュ関数を利用している
  • ハッシュ関数
    • パフォーマンスの欠落と安全性とのトレードオフ関係がある
    • 標準のハッシュ関数が自分の目的では遅い場合は
      • 異なるhasherを使おう、指定できるから
        • hasherはBuildHasherを実装する型
• 練習問題
  • 整数のリストが与えられ、ベクタを使って以下を求めよ
    • mean
    • median
    • mode
      • ハッシュマップで、valueが最大値となるものを求めるものの実装が思いつかない。　

isabelle

Concrete Semantics

• 最適化のもう一つ
  • 後で必要のない値の変数へのassignmentの削除
• 変数がLiveであるのは
  • コマンドcの実行前の変数xの初期値が、コマンドc実行後の最終状態に影響を影響する場合
    • この条件の弱いバージョンは以下の通り
      • 変数xが上書きされる前の初めて読み込まれたところで、
      • コマンドcのなんらかの潜在的な実行がある場合
• 変数がdeadであるのは、
  • 変数がliveでない場合
• Liveの再帰的な関数の実装
  • もとの変数の集合から、アサインメイントの時に、代入される変数を削って、割り当てられるものの変数を追加する
  • これを再帰的に定義している