SSAとはStatic Single Assignment formのこと．大量の中間変数とパス依存性を表現する関数φを導入することで，ある変数への代入が2回行われることがないようにする，プログラム変換の一種．データフロー解析等の形式化にとても役立つので中間言語として最近…

昨日と今日の実験は，ねじれ振動と共振について．んで振動の角度を計るためにロータリーエンコーダの出力をD/A変換してオシロにつないでデータを集めたんだが，アナログ式の古典的なオシロとデジタル処理を介したおニューのオシロとで恐ろしい差があることを…