Diary/2020-10-19の変更点

• 追加された行はこのように表示されます。
• 削除された行はこのように表示されます。

!ポインタ解析あれこれ
高位合成におけるポインタ解析の現状などの説明をして欲しい，と
頼まれたので資料を整理．
よく使われている方法と，最近の論文で試みられている方法と．