計算モデル論では、LCモデルによって命令の意味の表現と、プログラムが正しく終了することの表現について。「命令の列」と「メモリ状態」をひとセットとして、これを公式に従って変形していき、最終的な形に落ち着くならプログラムは正常終了する。そして命…

もうずっと前からの疑問で、前いた合唱団で学指揮やってたときにも結局解決できなかった音楽に関する疑問。それは、「拍子って何？」。 そりゃもちろん、１小節に四分音符が４個あれば４拍子、３個あれば３拍子だってのはわかる。でも小節線を勝手に引き直す…