2023-04-26
#日記
<-
2023-04-25
2023-04-27
->
やったこと
授業に出た
システム制御工学
周波数伝達関数
の
ゲイン
と
位相
を求める
バーチャルリアリティ学
頭部伝達関数
(
HRTF
)
バイノーラル
と
アンビソニック
情報論理学
構造的帰納法
と
命題論理
の基礎
[試して理解]Linuxのしくみ―実験と図解で学ぶOS、仮想マシン、コンテナの基礎知識【増補改訂版】
の2章の途中まで読んだ
プログラム意味論の基礎
の一章を読んだ
集合論
と
論理学
の基礎みたいな内容
感想
構造的帰納法の原理の正しさを示すのに,自然数iに関する数学的帰納法を使うのがなぜ許されるのかみたいな言及が良かった
まあ,普遍的な事実として認めちゃっていいらしい